Trace number 4285868

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-08-22SAT (TO)1814 1987.72 252.11501

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 benchmark1163
Best CPU time to get the best result obtained on this benchmark2004.46
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-08-22
0.29/0.26	c seed: 1165747984
0.29/0.26	c timeout: 2016
0.29/0.26	c memlimit: 22000
0.29/0.26	c nbcore: 8
0.29/0.28	c Parsing instance...
1.99/0.88	c Parsing done, starting search...
11.18/3.75	o 1956
11.18/3.75	o 1955
11.18/3.75	o 1954
11.18/3.76	o 1953
11.18/3.76	o 1952
11.18/3.76	o 1951
11.18/3.78	o 1950
11.97/3.81	o 1949
11.97/3.82	o 1948
11.97/3.83	o 1947
11.97/3.83	o 1946
11.97/3.83	o 1945
11.97/3.83	o 1944
11.97/3.84	o 1943
11.97/3.84	o 1942
11.97/3.84	o 1941
11.97/3.84	o 1940
11.97/3.85	o 1939
11.97/3.85	o 1938
11.97/3.86	o 1937
11.97/3.86	o 1936
11.97/3.86	o 1935
11.97/3.86	o 1934
11.97/3.87	o 1933
11.97/3.87	o 1932
11.97/3.87	o 1931
11.97/3.87	o 1930
11.97/3.88	o 1929
11.97/3.88	o 1928
11.97/3.89	o 1927
11.97/3.89	o 1926
11.97/3.89	o 1925
11.97/3.89	o 1924
11.97/3.89	o 1923
11.97/3.90	o 1922
12.78/3.91	o 1921
12.78/3.92	o 1920
12.78/3.92	o 1919
12.78/3.93	o 1918
12.78/3.94	o 1917
12.78/3.95	o 1916
12.78/3.95	o 1915
12.78/3.96	o 1914
12.78/3.97	o 1913
12.78/3.98	o 1912
12.78/3.99	o 1911
12.78/3.99	o 1910
12.78/4.00	o 1909
13.31/4.01	o 1908
13.31/4.02	o 1907
13.31/4.03	o 1906
13.31/4.03	o 1905
13.31/4.04	o 1904
13.31/4.05	o 1903
13.31/4.06	o 1902
13.31/4.06	o 1901
13.31/4.07	o 1900
13.31/4.08	o 1899
13.31/4.08	o 1898
13.31/4.09	o 1897
13.31/4.09	o 1896
13.31/4.10	o 1895
13.31/4.11	o 1894
13.70/4.11	o 1893
13.70/4.12	o 1892
13.70/4.12	o 1891
13.70/4.13	o 1890
13.70/4.13	o 1889
13.70/4.14	o 1888
13.70/4.15	o 1887
13.70/4.15	o 1886
13.70/4.16	o 1885
13.70/4.16	o 1884
13.70/4.17	o 1883
13.70/4.17	o 1882
13.70/4.18	o 1881
13.70/4.18	o 1880
13.70/4.18	o 1879
13.70/4.19	o 1878
13.70/4.19	o 1877
13.70/4.20	o 1876
14.02/4.20	o 1875
14.02/4.21	o 1874
14.02/4.21	o 1873
14.02/4.21	o 1872
14.02/4.22	o 1871
14.02/4.22	o 1870
14.02/4.23	o 1869
14.02/4.23	o 1868
14.02/4.24	o 1867
14.02/4.24	o 1866
14.02/4.25	o 1865
14.02/4.25	o 1864
14.02/4.26	o 1863
14.02/4.27	o 1862
14.02/4.28	o 1861
14.02/4.29	o 1860
14.64/4.31	o 1859
15.44/4.41	o 1858
15.44/4.43	o 1857
15.44/4.46	o 1856
15.44/4.49	o 1855
16.30/4.52	o 1854
16.30/4.56	o 1853
16.30/4.58	o 1852
17.03/4.61	o 1851
17.03/4.67	o 1850
18.62/4.85	o 1849
22.54/5.35	o 1848
25.73/5.74	o 1847
28.97/6.12	o 1846
32.11/6.58	o 1845
35.25/6.98	o 1844
38.44/7.39	o 1843
42.42/7.81	o 1842
48.80/8.66	o 1841
55.93/9.51	o 1840
69.44/11.24	o 1839
82.98/12.96	o 1838
97.33/14.73	o 1837
111.67/16.54	o 1836
126.02/18.35	o 1835
140.44/20.17	o 1834
171.53/24.09	o 1833
232.05/31.68	o 1832
289.45/38.85	o 1831
350.83/46.51	o 1830
409.04/53.89	o 1829
469.69/61.45	o 1828
528.64/68.80	o 1827
590.03/76.57	o 1826
649.90/84.09	o 1825
712.03/91.81	o 1824
771.89/99.41	o 1823
893.05/114.59	o 1822
1018.07/130.26	o 1821
1148.81/146.63	o 1820
1278.72/162.91	o 1819
1417.44/180.40	o 1818
1549.71/196.91	o 1817
1679.54/213.24	o 1816
1813.99/230.15	o 1815
1946.95/246.96	o 1814
1987.18/252.05	s SATISFIABLE
1987.18/252.06	v <instantiation>
1987.18/252.06	v 	<list>
1987.18/252.06	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]
1987.18/252.06	v 	</list>
1987.18/252.06	v 	<values>
1987.18/252.06	v 		1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
1987.18/252.06	v 	</values>
1987.18/252.06	v </instantiation>

Verifier Data 

OK	1814

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285868-1503460237/watcher-4285868-1503460237 -o /tmp/evaluation-result-4285868-1503460237/solver-4285868-1503460237 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503449014-10456 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1165747984 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285868-1503460237.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=11869, runsolver pid=11866
Current StackSize limit: 8192 KiB


[startup+0.100115 s]*
/proc/loadavg: 7.54 8.16 7.95 2/198 11889
/proc/meminfo: memFree=23526480/32770624 swapFree=67108860/67108860
[pid=11869] ppid=11866 vsize=26000852 memory=32600 CPUtime=0.12 cores=0-7
/proc/11869/stat : 11869 (java) S 11866 11869 10429 0 -1 1077944320 8553 0 0 0 10 2 0 0 20 0 20 0 179104474 26624872448 8150 33554432000 4194304 4196468 140722172125216 140722172107760 139665127124727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
/proc/11869/statm: 6500213 8150 3410 1 0 6487932 0
[pid=11869/tid=11871] ppid=11866 vsize=26000852 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11869/task/11871/stat : 11871 (java) R 11866 11869 10429 0 -1 4202560 6492 0 0 0 7 1 0 0 20 0 20 0 179104474 26624872448 8150 33554432000 4194304 4196468 140722172125216 139665131341424 139665111205214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11872] ppid=11866 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11869/task/11872/stat : 11872 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 8150 33554432000 4194304 4196468 140722172125216 139665090230800 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11873] ppid=11866 vsize=26000852 memory=139775544542848 CPUtime=0 cores=0-7
/proc/11869/task/11873/stat : 11873 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664684350096 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11874] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11874/stat : 11874 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664683297040 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11875] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11875/stat : 11875 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664682244496 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11876] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11876/stat : 11876 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664681192464 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11877] ppid=11866 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/11869/task/11877/stat : 11877 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664680139920 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11878] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11878/stat : 11878 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664679086864 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11879] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11879/stat : 11879 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664678034320 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11880] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11880/stat : 11880 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104476 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664389191920 139665127135874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11881] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11881/stat : 11881 (java) S 11866 11869 10429 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179104477 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664388138144 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11882] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11882/stat : 11882 (java) S 11866 11869 10429 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179104477 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664387085040 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11883] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11883/stat : 11883 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104479 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664386033616 139665127143323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11884] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11884/stat : 11884 (java) S 11866 11869 10429 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 179104479 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664384981744 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11885] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11885/stat : 11885 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104479 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664383929200 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11886] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11886/stat : 11886 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179104479 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664382876144 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11887] ppid=11866 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/11869/task/11887/stat : 11887 (java) R 11866 11869 10429 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 20 0 179104479 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664381823600 139665119361854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11888] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11888/stat : 11888 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179104480 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664380770784 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11889] ppid=11866 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/11869/task/11889/stat : 11889 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104480 26624872448 8150 33554432000 4194304 4196468 140722172125216 139664379718320 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32600 KiB

[startup+0.210233 s]*
/proc/loadavg: 7.54 8.16 7.95 2/198 11889
/proc/meminfo: memFree=23517484/32770624 swapFree=67108860/67108860
[pid=11869] ppid=11866 vsize=26000852 memory=41744 CPUtime=0.29 cores=0-7
/proc/11869/stat : 11869 (java) S 11866 11869 10429 0 -1 1077944320 9557 0 0 0 26 3 0 0 20 0 20 0 179104474 26624872448 10436 33554432000 4194304 4196468 140722172125216 140722172107760 139665127124727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
/proc/11869/statm: 6500213 10436 3567 1 0 6487932 0
[pid=11869/tid=11871] ppid=11866 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/11869/task/11871/stat : 11871 (java) R 11866 11869 10429 0 -1 4202560 7120 0 0 0 17 2 0 0 20 0 20 0 179104474 26624872448 10436 33554432000 4194304 4196468 140722172125216 139665131345024 139665111168357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11872] ppid=11866 vsize=26000852 memory=13941 CPUtime=0 cores=0-7
/proc/11869/task/11872/stat : 11872 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 10436 33554432000 4194304 4196468 140722172125216 139665090230800 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11873] ppid=11866 vsize=26000852 memory=4050620972484675232 CPUtime=0 cores=0-7
/proc/11869/task/11873/stat : 11873 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664684350096 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11874] ppid=11866 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/11869/task/11874/stat : 11874 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664683297040 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11875] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11875/stat : 11875 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664682244496 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11876] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11876/stat : 11876 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664681192464 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11877] ppid=11866 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/11869/task/11877/stat : 11877 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664680139920 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11878] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11878/stat : 11878 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664679086864 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11879] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11879/stat : 11879 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179104475 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664678034320 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11880] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11880/stat : 11880 (java) S 11866 11869 10429 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179104476 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664389191920 139665127135874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11881] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11881/stat : 11881 (java) S 11866 11869 10429 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179104477 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664388138144 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11882] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11882/stat : 11882 (java) S 11866 11869 10429 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179104477 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664387085040 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11883] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11883/stat : 11883 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104479 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664386033616 139665127143323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11884] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11884/stat : 11884 (java) S 11866 11869 10429 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 20 0 179104479 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664384981744 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11885] ppid=11866 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/11869/task/11885/stat : 11885 (java) S 11866 11869 10429 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 20 0 179104479 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664383929200 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11886] ppid=11866 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/11869/task/11886/stat : 11886 (java) S 11866 11869 10429 0 -1 1077944384 136 0 0 0 1 0 0 0 20 0 20 0 179104479 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664382876144 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11887] ppid=11866 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/11869/task/11887/stat : 11887 (java) S 11866 11869 10429 0 -1 1077944384 397 0 0 0 5 0 0 0 20 0 20 0 179104479 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664381823600 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11888] ppid=11866 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11888/stat : 11888 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179104480 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664380770784 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11889] ppid=11866 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/11869/task/11889/stat : 11889 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104480 26624872448 10436 33554432000 4194304 4196468 140722172125216 139664379718320 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41744 KiB

[startup+0.309621 s]*
/proc/loadavg: 7.54 8.16 7.95 2/198 11889
/proc/meminfo: memFree=23510660/32770624 swapFree=67108860/67108860
[pid=11869] ppid=11866 vsize=26000872 memory=49424 CPUtime=0.48 cores=0-7
/proc/11869/stat : 11869 (java) S 11866 11869 10429 0 -1 1077944320 10623 0 0 0 44 4 0 0 20 0 20 0 179104474 26624892928 12356 33554432000 4194304 4196468 140722172125216 140722172107760 139665127124727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
/proc/11869/statm: 6500218 12356 3711 1 0 6487932 0
[pid=11869/tid=11871] ppid=11866 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11869/task/11871/stat : 11871 (java) R 11866 11869 10429 0 -1 4202560 7721 0 0 0 26 3 0 0 20 0 20 0 179104474 26624892928 12356 33554432000 4194304 4196468 140722172125216 139665131349136 139665111205214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11872] ppid=11866 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11872/stat : 11872 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104475 26624892928 12356 33554432000 4194304 4196468 140722172125216 139665090230800 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11873] ppid=11866 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11873/stat : 11873 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104475 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664684350096 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11874] ppid=11866 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11874/stat : 11874 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104475 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664683297040 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11875] ppid=11866 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11875/stat : 11875 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104475 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664682244496 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11876] ppid=11866 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/11869/task/11876/stat : 11876 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179104475 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664681192464 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11877] ppid=11866 vsize=26000872 memory=139775415776175 CPUtime=0 cores=0-7
/proc/11869/task/11877/stat : 11877 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104475 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664680139920 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11878] ppid=11866 vsize=26000872 memory=139775415778480 CPUtime=0 cores=0-7
/proc/11869/task/11878/stat : 11878 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104475 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664679086864 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11879] ppid=11866 vsize=26000872 memory=139775415780784 CPUtime=0 cores=0-7
/proc/11869/task/11879/stat : 11879 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179104475 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664678034320 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11880] ppid=11866 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11880/stat : 11880 (java) S 11866 11869 10429 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179104476 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664389191920 139665127135874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11881] ppid=11866 vsize=26000872 memory=279550831568528 CPUtime=0 cores=0-7
/proc/11869/task/11881/stat : 11881 (java) S 11866 11869 10429 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179104477 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664388138144 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11882] ppid=11866 vsize=26000872 memory=279550831575440 CPUtime=0 cores=0-7
/proc/11869/task/11882/stat : 11882 (java) S 11866 11869 10429 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179104477 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664387085040 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11883] ppid=11866 vsize=26000872 memory=279550831516720 CPUtime=0 cores=0-7
/proc/11869/task/11883/stat : 11883 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104479 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664386033616 139665127143323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11884] ppid=11866 vsize=26000872 memory=279550831589264 CPUtime=0.02 cores=0-7
/proc/11869/task/11884/stat : 11884 (java) S 11866 11869 10429 0 -1 1077944384 654 0 0 0 2 0 0 0 20 0 20 0 179104479 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664384981744 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11885] ppid=11866 vsize=26000872 memory=279550831596176 CPUtime=0.04 cores=0-7
/proc/11869/task/11885/stat : 11885 (java) S 11866 11869 10429 0 -1 1077944384 219 0 0 0 4 0 0 0 20 0 20 0 179104479 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664383929200 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11886] ppid=11866 vsize=26000872 memory=279550831593872 CPUtime=0.02 cores=0-7
/proc/11869/task/11886/stat : 11886 (java) S 11866 11869 10429 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 20 0 179104479 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664382876144 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11887] ppid=11866 vsize=26000872 memory=279550831610480 CPUtime=0.08 cores=0-7
/proc/11869/task/11887/stat : 11887 (java) S 11866 11869 10429 0 -1 1077944384 507 0 0 0 8 0 0 0 20 0 20 0 179104479 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664381823600 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11888] ppid=11866 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11888/stat : 11888 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179104480 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664380770784 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11889] ppid=11866 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/11869/task/11889/stat : 11889 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104480 26624892928 12356 33554432000 4194304 4196468 140722172125216 139664379718320 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49424 KiB

[startup+0.700847 s]
/proc/loadavg: 7.54 8.16 7.95 4/198 11889
/proc/meminfo: memFree=23496888/32770624 swapFree=67108860/67108860
[pid=11869] ppid=11866 vsize=26002920 memory=96588 CPUtime=1.59 cores=0-7
/proc/11869/stat : 11869 (java) S 11866 11869 10429 0 -1 1077944320 15298 0 0 0 153 6 0 0 20 0 20 0 179104474 26626990080 24147 33554432000 4194304 4196468 140722172125216 140722172107760 139665127124727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
/proc/11869/statm: 6500730 24147 3772 1 0 6488444 0
[pid=11869/tid=11871] ppid=11866 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/11869/task/11871/stat : 11871 (java) R 11866 11869 10429 0 -1 4202560 8526 0 0 0 63 4 0 0 20 0 20 0 179104474 26626990080 24147 33554432000 4194304 4196468 140722172125216 139665131362080 139664767086519 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11872] ppid=11866 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11872/stat : 11872 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104475 26626990080 24147 33554432000 4194304 4196468 140722172125216 139665090230800 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11873] ppid=11866 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11873/stat : 11873 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104475 26626990080 24147 33554432000 4194304 4196468 140722172125216 139664684350096 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11874] ppid=11866 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/11869/task/11874/stat : 11874 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179104475 26626990080 24147 33554432000 4194304 4196468 140722172125216 139664683297040 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11875] ppid=11866 vsize=26002920 memory=792 CPUtime=0 cores=0-7
/proc/11869/task/11875/stat : 11875 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104475 26626990080 24147 33554432000 4194304 4196468 140722172125216 139664682244496 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11876] ppid=11866 vsize=26002920 memory=1204 CPUtime=0 cores=0-7
/proc/11869/task/11876/stat : 11876 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179104475 26626990080 24147 33554432000 4194304 4196468 140722172125216 139664681192464 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11877] ppid=11866 vsize=26002920 memory=1728 CPUtime=0 cores=0-7
/proc/11869/task/11877/stat : 11877 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104475 26626990080 24147 33554432000 4194304 4196468 140722172125216 139664680139920 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11878] ppid=11866 vsize=26002920 memory=1440 CPUtime=0 cores=0-7
/proc/11869/task/11878/stat : 11878 (java) S 11866 11869 10429 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179104475 26626990080 24147 33554432000 4194304 4196468 140722172125216 139664679086864 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11879] ppid=11866 vsize=26002920 memory=15880 CPUtime=0 cores=0-7
/proc/11869/task/11879/stat : 11879 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179104475 26626990080 24147 33554432000 4194304 4196468 140722172125216 139664678034320 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11880] ppid=11866 vsize=26002920 memory=16244 CPUtime=0 cores=0-7
/proc/11869/task/11880/stat : 11880 (java) S 11866 11869 10429 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179104476 26626990080 24147 33554432000 4194304 4196468 140722172125216 139664389191920 139665127135874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0

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

/proc/11869/task/11895/stat : 11895 (java) S 11866 11869 10429 0 -1 1077944384 59 0 0 0 8 0 0 0 20 0 46 0 179104780 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664359970192 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11896] ppid=11866 vsize=27743860 memory=7272328 CPUtime=0.09 cores=0-7
/proc/11869/task/11896/stat : 11896 (java) S 11866 11869 10429 0 -1 1077944384 42 0 0 0 9 0 0 0 20 0 46 0 179104780 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664358917264 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11897] ppid=11866 vsize=27743860 memory=7272328 CPUtime=216.74 cores=0-7
/proc/11869/task/11897/stat : 11897 (java) R 11866 11869 10429 0 -1 4202560 10568 0 0 0 21640 34 0 0 20 0 46 0 179104780 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664357858072 139664775851274 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11898] ppid=11866 vsize=27743860 memory=4096 CPUtime=218.3 cores=0-7
/proc/11869/task/11898/stat : 11898 (java) R 11866 11869 10429 0 -1 4202560 10261 0 0 0 21801 29 0 0 20 0 46 0 179104780 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664356805448 139664771431053 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11899] ppid=11866 vsize=27743860 memory=49968 CPUtime=217.8 cores=0-7
/proc/11869/task/11899/stat : 11899 (java) R 11866 11869 10429 0 -1 4202560 10256 0 0 0 21752 28 0 0 20 0 46 0 179104780 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664355752768 139664775851174 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11900] ppid=11866 vsize=27743860 memory=6791534058613427641 CPUtime=217.33 cores=0-7
/proc/11869/task/11900/stat : 11900 (java) R 11866 11869 10429 0 -1 4202560 10033 0 0 0 21701 32 0 0 20 0 46 0 179104780 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664354703408 139664775851283 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11901] ppid=11866 vsize=27743860 memory=15880 CPUtime=217.83 cores=0-7
/proc/11869/task/11901/stat : 11901 (java) R 11866 11869 10429 0 -1 4202560 10706 0 0 0 21743 40 0 0 20 0 46 0 179104780 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664353650296 139664771251043 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11902] ppid=11866 vsize=27743860 memory=16244 CPUtime=216.29 cores=0-7
/proc/11869/task/11902/stat : 11902 (java) R 11866 11869 10429 0 -1 4202560 11958 0 0 0 21592 37 0 0 20 0 46 0 179104780 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664352594960 139664775851174 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11903] ppid=11866 vsize=27743860 memory=28260 CPUtime=0 cores=0-7
/proc/11869/task/11903/stat : 11903 (java) S 11866 11869 10429 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 179104850 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664281261344 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11904] ppid=11866 vsize=27743860 memory=164 CPUtime=0.01 cores=0-7
/proc/11869/task/11904/stat : 11904 (java) S 11866 11869 10429 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 46 0 179104850 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664280208528 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11905] ppid=11866 vsize=27743860 memory=7236229500900889450 CPUtime=0 cores=0-7
/proc/11869/task/11905/stat : 11905 (java) S 11866 11869 10429 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 46 0 179104850 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664279155984 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11906] ppid=11866 vsize=27743860 memory=7236229500900889450 CPUtime=0 cores=0-7
/proc/11869/task/11906/stat : 11906 (java) S 11866 11869 10429 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 46 0 179104850 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664278102928 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11907] ppid=11866 vsize=27743860 memory=7011348500760777816 CPUtime=0.01 cores=0-7
/proc/11869/task/11907/stat : 11907 (java) S 11866 11869 10429 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 46 0 179104850 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664277050384 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11908] ppid=11866 vsize=27743860 memory=4096 CPUtime=0.01 cores=0-7
/proc/11869/task/11908/stat : 11908 (java) S 11866 11869 10429 0 -1 1077944384 975 0 0 0 1 0 0 0 20 0 46 0 179104851 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664275998352 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11909] ppid=11866 vsize=27743860 memory=49968 CPUtime=0 cores=0-7
/proc/11869/task/11909/stat : 11909 (java) S 11866 11869 10429 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 46 0 179104851 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664274945808 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11910] ppid=11866 vsize=27743860 memory=2428 CPUtime=0.01 cores=0-7
/proc/11869/task/11910/stat : 11910 (java) S 11866 11869 10429 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 46 0 179104851 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664273892752 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11911] ppid=11866 vsize=27743860 memory=7247700 CPUtime=0 cores=0-7
/proc/11869/task/11911/stat : 11911 (java) S 11866 11869 10429 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 179104851 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664272839968 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11912] ppid=11866 vsize=27743860 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11869/task/11912/stat : 11912 (java) S 11866 11869 10429 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 46 0 179104852 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664271787152 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11913] ppid=11866 vsize=27743860 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11869/task/11913/stat : 11913 (java) S 11866 11869 10429 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 179104852 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664270734496 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11914] ppid=11866 vsize=27743860 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11869/task/11914/stat : 11914 (java) S 11866 11869 10429 0 -1 1077944384 1535 0 0 0 0 0 0 0 20 0 46 0 179104853 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664269681552 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11915] ppid=11866 vsize=27743860 memory=2464 CPUtime=0 cores=0-7
/proc/11869/task/11915/stat : 11915 (java) S 11866 11869 10429 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 46 0 179104855 28409712640 1810899 33554432000 4194304 4196468 140722172125216 139664268629008 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
Current children cumulated CPU time: 1752.03 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 7243596 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.004 s]*
/proc/loadavg: 8.55 8.48 8.14 10/225 11923
/proc/meminfo: memFree=16303928/32770624 swapFree=67108860/67108860
[pid=11869] ppid=11866 vsize=27743860 memory=7242608 CPUtime=1987.18 cores=0-7
/proc/11869/stat : 11869 (java) S 11866 11869 10429 0 -1 1077944320 204404 0 0 0 198355 363 0 0 20 0 46 0 179104474 28409712640 1810652 33554432000 4194304 4196468 140722172125216 140722172107760 139665127124727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
/proc/11869/statm: 6935965 1810652 3843 1 0 6923158 0
[pid=11869/tid=11871] ppid=11866 vsize=27743860 memory=6791534058613427641 CPUtime=2.6 cores=0-7
/proc/11869/task/11871/stat : 11871 (java) S 11866 11869 10429 0 -1 1077944384 14469 0 0 0 251 9 0 0 20 0 46 0 179104474 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139665131362432 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11872] ppid=11866 vsize=27743860 memory=4872558044660077418 CPUtime=0.36 cores=0-7
/proc/11869/task/11872/stat : 11872 (java) S 11866 11869 10429 0 -1 1077944384 4329 0 0 0 28 8 0 0 20 0 46 0 179104475 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139665090230800 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11873] ppid=11866 vsize=27743860 memory=2464 CPUtime=0.35 cores=0-7
/proc/11869/task/11873/stat : 11873 (java) S 11866 11869 10429 0 -1 1077944384 5908 0 0 0 27 8 0 0 20 0 46 0 179104475 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664684350096 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11874] ppid=11866 vsize=27743860 memory=4080 CPUtime=0.36 cores=0-7
/proc/11869/task/11874/stat : 11874 (java) S 11866 11869 10429 0 -1 1077944384 3964 0 0 0 28 8 0 0 20 0 46 0 179104475 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664683297040 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11875] ppid=11866 vsize=27743860 memory=932 CPUtime=0.36 cores=0-7
/proc/11869/task/11875/stat : 11875 (java) S 11866 11869 10429 0 -1 1077944384 5853 0 0 0 27 9 0 0 20 0 46 0 179104475 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664682244496 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11876] ppid=11866 vsize=27743860 memory=1584 CPUtime=0.36 cores=0-7
/proc/11869/task/11876/stat : 11876 (java) S 11866 11869 10429 0 -1 1077944384 4136 0 0 0 27 9 0 0 20 0 46 0 179104475 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664681192464 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11877] ppid=11866 vsize=27743860 memory=2196 CPUtime=0.37 cores=0-7
/proc/11869/task/11877/stat : 11877 (java) S 11866 11869 10429 0 -1 1077944384 4599 0 0 0 28 9 0 0 20 0 46 0 179104475 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664680139920 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11878] ppid=11866 vsize=27743860 memory=8052 CPUtime=0.36 cores=0-7
/proc/11869/task/11878/stat : 11878 (java) S 11866 11869 10429 0 -1 1077944384 4276 0 0 0 28 8 0 0 20 0 46 0 179104475 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664679086864 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11879] ppid=11866 vsize=27743860 memory=840 CPUtime=0.37 cores=0-7
/proc/11869/task/11879/stat : 11879 (java) S 11866 11869 10429 0 -1 1077944384 2608 0 0 0 29 8 0 0 20 0 46 0 179104475 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664678034320 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11880] ppid=11866 vsize=27743860 memory=1696 CPUtime=0.19 cores=0-7
/proc/11869/task/11880/stat : 11880 (java) S 11866 11869 10429 0 -1 1077944384 12805 0 0 0 15 4 0 0 20 0 46 0 179104476 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664389191920 139665127135874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11881] ppid=11866 vsize=27743860 memory=920 CPUtime=0 cores=0-7
/proc/11869/task/11881/stat : 11881 (java) S 11866 11869 10429 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 179104477 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664388138208 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11882] ppid=11866 vsize=27743860 memory=5792 CPUtime=0 cores=0-7
/proc/11869/task/11882/stat : 11882 (java) S 11866 11869 10429 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 179104477 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664387085056 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11883] ppid=11866 vsize=27743860 memory=960 CPUtime=0 cores=0-7
/proc/11869/task/11883/stat : 11883 (java) S 11866 11869 10429 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 179104479 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664386033616 139665127143323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11884] ppid=11866 vsize=27743860 memory=2240 CPUtime=1.51 cores=0-7
/proc/11869/task/11884/stat : 11884 (java) S 11866 11869 10429 0 -1 1077944384 5618 0 0 0 149 2 0 0 20 0 46 0 179104479 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664384981744 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11885] ppid=11866 vsize=27743860 memory=2464 CPUtime=1.62 cores=0-7
/proc/11869/task/11885/stat : 11885 (java) S 11866 11869 10429 0 -1 1077944384 8598 0 0 0 160 2 0 0 20 0 46 0 179104479 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664383929200 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11886] ppid=11866 vsize=27743860 memory=4080 CPUtime=1.83 cores=0-7
/proc/11869/task/11886/stat : 11886 (java) S 11866 11869 10429 0 -1 1077944384 4369 0 0 0 182 1 0 0 20 0 46 0 179104479 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664382876144 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11887] ppid=11866 vsize=27743860 memory=932 CPUtime=0.96 cores=0-7
/proc/11869/task/11887/stat : 11887 (java) S 11866 11869 10429 0 -1 1077944384 13513 0 0 0 92 4 0 0 20 0 46 0 179104479 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664381823600 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11888] ppid=11866 vsize=27743860 memory=1584 CPUtime=0 cores=0-7
/proc/11869/task/11888/stat : 11888 (java) S 11866 11869 10429 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 179104480 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664380770784 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11889] ppid=11866 vsize=27743860 memory=2196 CPUtime=0.07 cores=0-7
/proc/11869/task/11889/stat : 11889 (java) S 11866 11869 10429 0 -1 1077944384 738 0 0 0 3 4 0 0 20 0 46 0 179104480 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664379718320 139665127135874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11890] ppid=11866 vsize=27743860 memory=8052 CPUtime=0.01 cores=0-7
/proc/11869/task/11890/stat : 11890 (java) S 11866 11869 10429 0 -1 1077944384 1409 0 0 0 1 0 0 0 20 0 46 0 179104755 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664369426976 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11891] ppid=11866 vsize=27743860 memory=840 CPUtime=0.3 cores=0-7
/proc/11869/task/11891/stat : 11891 (java) R 11866 11869 10429 0 -1 1077944384 3234 0 0 0 10 20 0 0 20 0 46 0 179104767 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664366277424 139665127135874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11892] ppid=11866 vsize=27743860 memory=1696 CPUtime=247.6 cores=0-7
/proc/11869/task/11892/stat : 11892 (java) R 11866 11869 10429 0 -1 4202560 15728 0 0 0 24732 28 0 0 20 0 46 0 179104777 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664365221368 139664775851174 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11893] ppid=11866 vsize=27743860 memory=920 CPUtime=0.08 cores=0-7
/proc/11869/task/11893/stat : 11893 (java) S 11866 11869 10429 0 -1 1077944384 73 0 0 0 8 0 0 0 20 0 46 0 179104778 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664364172960 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11894] ppid=11866 vsize=27743860 memory=5792 CPUtime=247.17 cores=0-7
/proc/11869/task/11894/stat : 11894 (java) R 11866 11869 10429 0 -1 4202560 12664 0 0 0 24688 29 0 0 20 0 46 0 179104778 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664361016808 139664775851330 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11895] ppid=11866 vsize=27743860 memory=4100 CPUtime=0.08 cores=0-7
/proc/11869/task/11895/stat : 11895 (java) S 11866 11869 10429 0 -1 1077944384 59 0 0 0 8 0 0 0 20 0 46 0 179104780 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664359970192 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11896] ppid=11866 vsize=27743860 memory=1156 CPUtime=0.09 cores=0-7
/proc/11869/task/11896/stat : 11896 (java) S 11866 11869 10429 0 -1 1077944384 42 0 0 0 9 0 0 0 20 0 46 0 179104780 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664358917264 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11897] ppid=11866 vsize=27743860 memory=1728 CPUtime=246.02 cores=0-7
/proc/11869/task/11897/stat : 11897 (java) R 11866 11869 10429 0 -1 4202560 11789 0 0 0 24567 35 0 0 20 0 46 0 179104780 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664357858920 139664774813398 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11898] ppid=11866 vsize=27743860 memory=1440 CPUtime=247.53 cores=0-7
/proc/11869/task/11898/stat : 11898 (java) R 11866 11869 10429 0 -1 4202560 11260 0 0 0 24723 30 0 0 20 0 46 0 179104780 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664356808096 139664775850579 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11899] ppid=11866 vsize=27743860 memory=15880 CPUtime=247.07 cores=0-7
/proc/11869/task/11899/stat : 11899 (java) R 11866 11869 10429 0 -1 4202560 11231 0 0 0 24678 29 0 0 20 0 46 0 179104780 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664355753064 140722172607697 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11900] ppid=11866 vsize=27743860 memory=16244 CPUtime=246.56 cores=0-7
/proc/11869/task/11900/stat : 11900 (java) R 11866 11869 10429 0 -1 4202560 11371 0 0 0 24622 34 0 0 20 0 46 0 179104780 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664354703808 139664775408991 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11901] ppid=11866 vsize=27743860 memory=28268 CPUtime=247.1 cores=0-7
/proc/11869/task/11901/stat : 11901 (java) R 11866 11869 10429 0 -1 4202560 11758 0 0 0 24669 41 0 0 20 0 46 0 179104780 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664353648840 139664775851274 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11902] ppid=11866 vsize=27743860 memory=4044 CPUtime=245.56 cores=0-7
/proc/11869/task/11902/stat : 11902 (java) R 11866 11869 10429 0 -1 4202560 12978 0 0 0 24518 38 0 0 20 0 46 0 179104780 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664352597104 139664775851229 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11903] ppid=11866 vsize=27743860 memory=1792 CPUtime=0 cores=0-7
/proc/11869/task/11903/stat : 11903 (java) S 11866 11869 10429 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 179104850 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664281261344 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11904] ppid=11866 vsize=27743860 memory=1440 CPUtime=0.01 cores=0-7
/proc/11869/task/11904/stat : 11904 (java) S 11866 11869 10429 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 46 0 179104850 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664280208528 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11905] ppid=11866 vsize=27743860 memory=15880 CPUtime=0 cores=0-7
/proc/11869/task/11905/stat : 11905 (java) S 11866 11869 10429 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 46 0 179104850 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664279155984 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11906] ppid=11866 vsize=27743860 memory=16244 CPUtime=0 cores=0-7
/proc/11869/task/11906/stat : 11906 (java) S 11866 11869 10429 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 46 0 179104850 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664278102928 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11907] ppid=11866 vsize=27743860 memory=28268 CPUtime=0.01 cores=0-7
/proc/11869/task/11907/stat : 11907 (java) S 11866 11869 10429 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 46 0 179104850 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664277050384 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11908] ppid=11866 vsize=27743860 memory=4044 CPUtime=0.01 cores=0-7
/proc/11869/task/11908/stat : 11908 (java) S 11866 11869 10429 0 -1 1077944384 1171 0 0 0 1 0 0 0 20 0 46 0 179104851 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664275998352 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11909] ppid=11866 vsize=27743860 memory=1792 CPUtime=0 cores=0-7
/proc/11869/task/11909/stat : 11909 (java) S 11866 11869 10429 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 46 0 179104851 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664274945808 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11910] ppid=11866 vsize=27743860 memory=636 CPUtime=0.01 cores=0-7
/proc/11869/task/11910/stat : 11910 (java) S 11866 11869 10429 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 46 0 179104851 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664273892752 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11911] ppid=11866 vsize=27743860 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11869/task/11911/stat : 11911 (java) S 11866 11869 10429 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 179104851 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664272839968 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11912] ppid=11866 vsize=27743860 memory=960 CPUtime=0 cores=0-7
/proc/11869/task/11912/stat : 11912 (java) S 11866 11869 10429 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 46 0 179104852 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664271787152 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11913] ppid=11866 vsize=27743860 memory=2240 CPUtime=0 cores=0-7
/proc/11869/task/11913/stat : 11913 (java) S 11866 11869 10429 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 179104852 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664270734496 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11914] ppid=11866 vsize=27743860 memory=2464 CPUtime=0 cores=0-7
/proc/11869/task/11914/stat : 11914 (java) S 11866 11869 10429 0 -1 1077944384 1678 0 0 0 0 0 0 0 20 0 46 0 179104853 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664269681552 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
[pid=11869/tid=11915] ppid=11866 vsize=27743860 memory=4080 CPUtime=0 cores=0-7
/proc/11869/task/11915/stat : 11915 (java) S 11866 11869 10429 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 46 0 179104855 28409712640 1810652 33554432000 4194304 4196468 140722172125216 139664268629008 139665127134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28471296 140722172126311 140722172126496 140722172126496 140722172129231 0
Current children cumulated CPU time: 1987.18 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 7242608 KiB

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

[startup+252.115 s]
# the end of solver process 11869 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1984.05 s, system=3.66726 s

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

Child status: 143
Real time (s): 252.115
CPU time (s): 1987.72
CPU user time (s): 1984.05
CPU system time (s): 3.66726
CPU usage (%): 788.418
Max. virtual memory (cumulated for all children) (KiB): 27743860
Max. memory (cumulated for all children) (KiB): 7568824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1984.05
system time used= 3.66726
maximum resident set size= 7570872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206465
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46723
involuntary context switches= 42129


# summary of solver processes directly reported to runsolver:
#   pid: 11869
#   total CPU time (s): 1987.72
#   total CPU user time (s): 1984.05
#   total CPU system time (s): 3.66726

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.77557 second user time and 3.44612 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-23 05:36:16
IDJOB=4285868
IDBENCH=135252
IDSOLVER=2682
FILE ID=node148/4285868-1503460237
RUNJOBID= node148-1503449014-10456
PBS_JOBID= 20632159
Free space on /tmp= 61644 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-vtxcov/Pb-vtxcov-v2000-e4000-05.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285868-1503460237/watcher-4285868-1503460237 -o /tmp/evaluation-result-4285868-1503460237/solver-4285868-1503460237 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503449014-10456 --watchdog 312  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1165747984 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285868-1503460237.xml

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

MD5SUM BENCH= 31e85661316b8aad2d1246d7b0a73c1b
RANDOM SEED=1165747984

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.19
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:        23545004 kB
MemAvailable:   31941396 kB
Buffers:          299020 kB
Cached:          8376344 kB
SwapCached:            0 kB
Active:          1730320 kB
Inactive:        7000032 kB
Active(anon):       5900 kB
Inactive(anon):    93296 kB
Active(file):    1724420 kB
Inactive(file):  6906736 kB
Unevictable:        7760 kB
Mlocked:            7760 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42612 kB
Writeback:             0 kB
AnonPages:         61980 kB
Mapped:            56076 kB
Shmem:             41608 kB
Slab:             188908 kB
SReclaimable:     162144 kB
SUnreclaim:        26764 kB
KernelStack:        3200 kB
PageTables:         5240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     343112 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:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61600 MiB
End job on node148 at 2017-08-23 05:40:28