Trace number 4284878

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)1801 19883 2520.1499

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-vtxcov/
Pb-vtxcov-v2000-e4000-05.xml
MD5SUM31e85661316b8aad2d1246d7b0a73c1b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1128
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables1957
Number of constraints4000
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1957}]
Minimum variable degree2
Maximum variable degree12
Distribution of variable degrees[{"degree":2,"count":151},{"degree":3,"count":275},{"degree":4,"count":378},{"degree":5,"count":395},{"degree":6,"count":340},{"degree":7,"count":211},{"degree":8,"count":100},{"degree":9,"count":61},{"degree":10,"count":31},{"degree":11,"count":13},{"degree":12,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4000}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4000}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.24/0.40	c version: 2017-08-22
0.24/0.40	c seed: 2020177593
0.24/0.40	c timeout: 20160
0.24/0.40	c memlimit: 22000
0.24/0.40	c nbcore: 8
0.41/0.43	c Parsing instance...
2.22/1.02	c Parsing done, starting search...
12.11/4.12	o 1955
12.11/4.12	o 1954
12.11/4.13	o 1953
12.11/4.13	o 1952
12.11/4.14	o 1951
12.11/4.14	o 1950
12.11/4.17	o 1949
12.11/4.17	o 1948
12.11/4.17	o 1947
12.11/4.17	o 1946
12.11/4.18	o 1945
12.11/4.18	o 1944
12.11/4.19	o 1943
12.11/4.19	o 1942
12.82/4.20	o 1941
12.82/4.20	o 1940
12.82/4.20	o 1939
12.82/4.20	o 1938
12.82/4.22	o 1937
12.82/4.22	o 1936
12.82/4.22	o 1935
12.82/4.22	o 1934
12.82/4.23	o 1933
12.82/4.24	o 1932
12.82/4.24	o 1931
12.82/4.24	o 1930
12.82/4.24	o 1929
12.82/4.25	o 1928
12.82/4.25	o 1927
12.82/4.25	o 1926
12.82/4.25	o 1925
12.82/4.26	o 1924
12.82/4.26	o 1923
12.82/4.27	o 1922
12.82/4.27	o 1921
12.82/4.27	o 1920
12.82/4.27	o 1919
12.82/4.28	o 1918
12.82/4.28	o 1917
13.64/4.31	o 1916
13.64/4.32	o 1915
13.64/4.32	o 1914
13.64/4.33	o 1913
13.64/4.33	o 1912
13.64/4.33	o 1911
13.64/4.34	o 1910
13.64/4.34	o 1909
13.64/4.34	o 1908
13.64/4.34	o 1907
13.64/4.34	o 1906
13.64/4.35	o 1905
13.64/4.35	o 1904
13.64/4.35	o 1903
13.64/4.35	o 1902
13.64/4.35	o 1901
13.64/4.36	o 1900
13.64/4.36	o 1899
13.64/4.36	o 1898
13.64/4.37	o 1897
13.64/4.37	o 1896
13.64/4.37	o 1895
13.64/4.39	o 1894
13.64/4.40	o 1893
14.37/4.40	o 1892
14.37/4.41	o 1891
14.37/4.42	o 1890
14.37/4.42	o 1889
14.37/4.42	o 1888
14.37/4.42	o 1887
14.37/4.42	o 1886
14.37/4.43	o 1885
14.37/4.43	o 1884
14.37/4.43	o 1883
14.37/4.43	o 1882
14.37/4.43	o 1881
14.37/4.44	o 1880
14.37/4.44	o 1879
14.37/4.45	o 1878
14.37/4.45	o 1877
14.37/4.46	o 1876
14.37/4.47	o 1875
14.37/4.48	o 1874
14.37/4.48	o 1873
14.37/4.49	o 1872
14.37/4.50	o 1871
15.02/4.50	o 1870
15.02/4.51	o 1869
15.02/4.52	o 1868
15.02/4.52	o 1867
15.02/4.53	o 1866
15.02/4.53	o 1865
15.02/4.53	o 1864
15.02/4.55	o 1863
15.02/4.55	o 1862
15.02/4.57	o 1861
15.02/4.59	o 1860
15.76/4.62	o 1859
15.76/4.64	o 1858
15.76/4.67	o 1857
16.56/4.71	o 1856
16.56/4.74	o 1855
16.56/4.77	o 1854
17.36/4.81	o 1853
18.15/4.97	o 1852
19.00/5.02	o 1851
19.00/5.06	o 1850
20.53/5.20	o 1849
23.73/5.69	o 1848
26.95/6.11	o 1847
30.07/6.48	o 1846
33.25/6.88	o 1845
36.42/7.30	o 1844
39.61/7.69	o 1843
42.86/8.09	o 1842
49.17/8.89	o 1841
56.35/9.71	o 1840
69.09/11.36	o 1839
82.70/13.02	o 1838
95.39/14.69	o 1837
109.73/16.42	o 1836
123.29/18.13	o 1835
136.78/19.83	o 1834
164.64/23.34	o 1833
219.65/30.24	o 1832
274.72/37.12	o 1831
331.27/44.22	o 1830
387.07/51.25	o 1829
442.88/58.27	o 1828
499.48/65.35	o 1827
558.48/72.78	o 1826
618.27/80.22	o 1825
677.26/87.64	o 1824
739.42/95.45	o 1823
858.98/110.44	o 1822
982.56/125.91	o 1821
1108.45/141.79	o 1820
1238.47/158.06	o 1819
1366.61/174.17	o 1818
1489.26/189.58	o 1817
1612.79/205.05	o 1816
1742.50/221.37	o 1815
1868.75/237.24	o 1814
2123.54/269.52	o 1813
2504.44/317.94	o 1812
3057.64/387.95	o 1811
3492.19/443.11	o 1810
3862.73/490.05	o 1809
4233.59/536.94	o 1808
4905.71/622.18	o 1807
5703.96/723.35	o 1806
6510.08/825.46	o 1805
7580.39/960.99	o 1804
12450.17/1577.26	o 1803
16690.45/2115.50	o 1802
18656.59/2364.63	o 1801
19882.15/2520.07	s SATISFIABLE
19882.15/2520.09	v <instantiation>
19882.15/2520.09	v 	<list>
19882.15/2520.09	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]
19882.15/2520.09	v 	</list>
19882.15/2520.09	v 	<values>
19882.15/2520.09	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 1 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 1 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
19882.15/2520.09	v 	</values>
19882.15/2520.09	v </instantiation>

Verifier Data 

OK	1801

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284878-1503448213/watcher-4284878-1503448213 -o /tmp/evaluation-result-4284878-1503448213/solver-4284878-1503448213 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1503398604-6745 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2020177593 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284878-1503448213.xml 

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

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

solver pid=14736, runsolver pid=14733

[startup+0.100151 s]*
/proc/loadavg: 6.68 8.21 8.17 2/173 14737
/proc/meminfo: memFree=31211568/32770624 swapFree=67105588/67108860
[pid=14736] ppid=14733 vsize=22928956 memory=5972 CPUtime=0 cores=0-7
/proc/14736/stat : 14736 (java) S 14733 14736 6689 0 -1 1077944320 1808 0 0 0 0 0 0 0 20 0 2 0 147016233 23479250944 1493 18446744073709551615 4194304 4196468 140733816786912 140733816769456 140618069589751 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
/proc/14736/statm: 5732239 1493 1145 1 0 5722209 0
[pid=14736/tid=14738] ppid=14733 vsize=22958292 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14738/stat : 14738 (java) R 14733 14736 6689 0 -1 4202560 736 0 0 0 0 0 0 0 20 0 2 0 147016244 23509291008 1690 18446744073709551615 4194304 4196468 140733816786912 140618073831840 140618061879200 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 22928956 KiB
Current children cumulated memory: 5972 KiB

[startup+0.209152 s]*
/proc/loadavg: 6.68 8.21 8.17 3/192 14756
/proc/meminfo: memFree=31198256/32770624 swapFree=67105588/67108860
[pid=14736] ppid=14733 vsize=25996608 memory=28492 CPUtime=0.07 cores=0-7
/proc/14736/stat : 14736 (java) S 14733 14736 6689 0 -1 1077944320 6938 0 0 0 6 1 0 0 20 0 20 0 147016233 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140733816769456 140618069589751 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
/proc/14736/statm: 6499152 7123 3328 1 0 6487930 0
[pid=14736/tid=14738] ppid=14733 vsize=25996608 memory=0 CPUtime=0.06 cores=0-7
/proc/14736/task/14738/stat : 14738 (java) R 14733 14736 6689 0 -1 4202560 5011 0 0 0 5 1 0 0 20 0 20 0 147016244 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140618073819496 140617711568753 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14739] ppid=14733 vsize=25996608 memory=139641908741760 CPUtime=0 cores=0-7
/proc/14736/task/14739/stat : 14739 (java) S 14733 14736 6689 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147016244 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140617632390288 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14740] ppid=14733 vsize=25996608 memory=139641908741760 CPUtime=0 cores=0-7
/proc/14736/task/14740/stat : 14740 (java) S 14733 14736 6689 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147016244 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140617631337488 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14741] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14741/stat : 14741 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147016244 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140617630284688 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14742] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14742/stat : 14742 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147016244 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140617629231888 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14743] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14743/stat : 14743 (java) S 14733 14736 6689 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147016244 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140617628179088 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14744] ppid=14733 vsize=25996608 memory=-1 CPUtime=0 cores=0-7
/proc/14736/task/14744/stat : 14744 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016244 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140617627126288 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14745] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14745/stat : 14745 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016245 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140617626073488 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14746] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14746/stat : 14746 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016245 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140617625020688 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14747] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14747/stat : 14747 (java) S 14733 14736 6689 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147016246 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140616750029680 140618069600898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14748] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14748/stat : 14748 (java) S 14733 14736 6689 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147016246 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140616748975648 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14749] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14749/stat : 14749 (java) S 14733 14736 6689 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147016247 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140616747922800 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14750] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14750/stat : 14750 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016249 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140616746871120 140618069608347 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14751] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14751/stat : 14751 (java) S 14733 14736 6689 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 147016249 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140616745818480 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14752] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14752/stat : 14752 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147016249 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140616744765680 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14753] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14753/stat : 14753 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147016249 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140616743712880 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14754] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14754/stat : 14754 (java) R 14733 14736 6689 0 -1 4202560 233 0 0 0 0 0 0 0 20 0 20 0 147016249 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140616742660080 140618069611098 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14755] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14755/stat : 14755 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147016249 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140616741608544 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14756] ppid=14733 vsize=25996608 memory=-1 CPUtime=0 cores=0-7
/proc/14736/task/14756/stat : 14756 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016253 26620526592 7123 18446744073709551615 4194304 4196468 140733816786912 140616740555824 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 25996608 KiB
Current children cumulated memory: 28492 KiB

[startup+0.309197 s]*
/proc/loadavg: 6.68 8.21 8.17 3/192 14756
/proc/meminfo: memFree=31187880/32770624 swapFree=67105588/67108860
[pid=14736] ppid=14733 vsize=25996608 memory=38536 CPUtime=0.24 cores=0-7
/proc/14736/stat : 14736 (java) S 14733 14736 6689 0 -1 1077944320 10442 0 0 0 21 3 0 0 20 0 20 0 147016233 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140733816769456 140618069589751 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
/proc/14736/statm: 6499152 9634 3515 1 0 6487930 0
[pid=14736/tid=14738] ppid=14733 vsize=25996608 memory=139641908741760 CPUtime=0.16 cores=0-7
/proc/14736/task/14738/stat : 14738 (java) R 14733 14736 6689 0 -1 4202560 8141 0 0 0 14 2 0 0 20 0 20 0 147016244 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140618073814736 140618069611677 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14739] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14739/stat : 14739 (java) S 14733 14736 6689 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147016244 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140617632390288 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14740] ppid=14733 vsize=25996608 memory=139641908741760 CPUtime=0 cores=0-7
/proc/14736/task/14740/stat : 14740 (java) S 14733 14736 6689 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147016244 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140617631337488 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14741] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14741/stat : 14741 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147016244 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140617630284688 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14742] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14742/stat : 14742 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147016244 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140617629231888 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14743] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14743/stat : 14743 (java) S 14733 14736 6689 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147016244 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140617628179088 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14744] ppid=14733 vsize=25996608 memory=-1 CPUtime=0 cores=0-7
/proc/14736/task/14744/stat : 14744 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016244 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140617627126288 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14745] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14745/stat : 14745 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016245 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140617626073488 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14746] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14746/stat : 14746 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016245 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140617625020688 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14747] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14747/stat : 14747 (java) S 14733 14736 6689 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 147016246 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140616750029680 140618069600898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14748] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14748/stat : 14748 (java) S 14733 14736 6689 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147016246 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140616748975648 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14749] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14749/stat : 14749 (java) S 14733 14736 6689 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147016247 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140616747922800 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14750] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14750/stat : 14750 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016249 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140616746871120 140618069608347 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14751] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14751/stat : 14751 (java) S 14733 14736 6689 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 147016249 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140616745818480 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14752] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14752/stat : 14752 (java) S 14733 14736 6689 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 147016249 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140616744765680 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14753] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14753/stat : 14753 (java) S 14733 14736 6689 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 147016249 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140616743712880 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14754] ppid=14733 vsize=25996608 memory=0 CPUtime=0.04 cores=0-7
/proc/14736/task/14754/stat : 14754 (java) S 14733 14736 6689 0 -1 1077944384 388 0 0 0 4 0 0 0 20 0 20 0 147016249 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140616742660080 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14755] ppid=14733 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14755/stat : 14755 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147016249 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140616741608544 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14756] ppid=14733 vsize=25996608 memory=-1 CPUtime=0 cores=0-7
/proc/14736/task/14756/stat : 14756 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016253 26620526592 9634 18446744073709551615 4194304 4196468 140733816786912 140616740555824 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 25996608 KiB
Current children cumulated memory: 38536 KiB

[startup+0.70084 s]
/proc/loadavg: 6.68 8.21 8.17 3/192 14756
/proc/meminfo: memFree=31175816/32770624 swapFree=67105588/67108860
[pid=14736] ppid=14733 vsize=25998676 memory=67140 CPUtime=1.05 cores=0-7
/proc/14736/stat : 14736 (java) S 14733 14736 6689 0 -1 1077944320 14047 0 0 0 100 5 0 0 20 0 20 0 147016233 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140733816769456 140618069589751 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
/proc/14736/statm: 6499669 16785 3721 1 0 6488442 0
[pid=14736/tid=14738] ppid=14733 vsize=25998676 memory=0 CPUtime=0.54 cores=0-7
/proc/14736/task/14738/stat : 14738 (java) R 14733 14736 6689 0 -1 4202560 10478 0 0 0 51 3 0 0 20 0 20 0 147016244 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140618073823216 140618069601686 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14739] ppid=14733 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14739/stat : 14739 (java) S 14733 14736 6689 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147016244 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140617632390288 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14740] ppid=14733 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14740/stat : 14740 (java) S 14733 14736 6689 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147016244 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140617631337488 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14741] ppid=14733 vsize=25998676 memory=2241 CPUtime=0 cores=0-7
/proc/14736/task/14741/stat : 14741 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147016244 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140617630284688 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14742] ppid=14733 vsize=25998676 memory=2244 CPUtime=0 cores=0-7
/proc/14736/task/14742/stat : 14742 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147016244 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140617629231888 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14743] ppid=14733 vsize=25998676 memory=14340 CPUtime=0 cores=0-7
/proc/14736/task/14743/stat : 14743 (java) S 14733 14736 6689 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147016244 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140617628179088 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14744] ppid=14733 vsize=25998676 memory=796 CPUtime=0 cores=0-7
/proc/14736/task/14744/stat : 14744 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016244 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140617627126288 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14745] ppid=14733 vsize=25998676 memory=1228 CPUtime=0 cores=0-7
/proc/14736/task/14745/stat : 14745 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016245 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140617626073488 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14746] ppid=14733 vsize=25998676 memory=1428 CPUtime=0 cores=0-7
/proc/14736/task/14746/stat : 14746 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016245 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140617625020688 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14747] ppid=14733 vsize=25998676 memory=15348 CPUtime=0 cores=0-7
/proc/14736/task/14747/stat : 14747 (java) S 14733 14736 6689 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 147016246 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140616750029680 140618069600898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14748] ppid=14733 vsize=25998676 memory=46812 CPUtime=0 cores=0-7
/proc/14736/task/14748/stat : 14748 (java) S 14733 14736 6689 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147016246 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140616748975648 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14749] ppid=14733 vsize=25998676 memory=4044 CPUtime=0 cores=0-7
/proc/14736/task/14749/stat : 14749 (java) S 14733 14736 6689 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147016247 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140616747922800 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14750] ppid=14733 vsize=25998676 memory=7157735280247069009 CPUtime=0 cores=0-7
/proc/14736/task/14750/stat : 14750 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016249 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140616746871120 140618069608347 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14751] ppid=14733 vsize=25998676 memory=7597685182856913236 CPUtime=0.07 cores=0-7
/proc/14736/task/14751/stat : 14751 (java) S 14733 14736 6689 0 -1 1077944384 549 0 0 0 7 0 0 0 20 0 20 0 147016249 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140616745811504 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14752] ppid=14733 vsize=25998676 memory=5932762877087012201 CPUtime=0.08 cores=0-7
/proc/14736/task/14752/stat : 14752 (java) S 14733 14736 6689 0 -1 1077944384 220 0 0 0 8 0 0 0 20 0 20 0 147016249 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140616744765680 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14753] ppid=14733 vsize=25998676 memory=0 CPUtime=0.11 cores=0-7
/proc/14736/task/14753/stat : 14753 (java) S 14733 14736 6689 0 -1 1077944384 519 0 0 0 11 0 0 0 20 0 20 0 147016249 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140616743712880 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14754] ppid=14733 vsize=25998676 memory=0 CPUtime=0.21 cores=0-7
/proc/14736/task/14754/stat : 14754 (java) S 14733 14736 6689 0 -1 1077944384 895 0 0 0 21 0 0 0 20 0 20 0 147016249 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140616742655808 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14755] ppid=14733 vsize=25998676 memory=4580 CPUtime=0 cores=0-7
/proc/14736/task/14755/stat : 14755 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147016249 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140616741608544 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14756] ppid=14733 vsize=25998676 memory=10262 CPUtime=0 cores=0-7
/proc/14736/task/14756/stat : 14756 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147016253 26622644224 16785 18446744073709551615 4194304 4196468 140733816786912 140616740555824 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 25998676 KiB
Current children cumulated memory: 67140 KiB

[startup+1.50087 s]
/proc/loadavg: 6.68 8.21 8.17 5/192 14756
/proc/meminfo: memFree=31118920/32770624 swapFree=67105588/67108860
[pid=14736] ppid=14733 vsize=26002772 memory=197204 CPUtime=3.5 cores=0-7
/proc/14736/stat : 14736 (java) S 14733 14736 6689 0 -1 1077944320 28669 0 0 0 340 10 0 0 20 0 20 0 147016233 26626838528 49301 18446744073709551615 4194304 4196468 140733816786912 140733816769456 140618069589751 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
/proc/14736/statm: 6500693 49301 3767 1 0 6489466 0
[pid=14736/tid=14738] ppid=14733 vsize=26002772 memory=149920 CPUtime=1.34 cores=0-7
/proc/14736/task/14738/stat : 14738 (java) R 14733 14736 6689 0 -1 4202560 14721 0 0 0 128 6 0 0 20 0 20 0 147016244 26626838528 49301 18446744073709551615 4194304 4196468 140733816786912 140618073813056 140617718694192 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14739] ppid=14733 vsize=26002772 memory=139641908746481 CPUtime=0 cores=0-7
/proc/14736/task/14739/stat : 14739 (java) S 14733 14736 6689 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147016244 26626838528 49301 18446744073709551615 4194304 4196468 140733816786912 140617632390288 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14740] ppid=14733 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/14736/task/14740/stat : 14740 (java) S 14733 14736 6689 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147016244 26626838528 49301 18446744073709551615 4194304 4196468 140733816786912 140617631337488 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14741] ppid=14733 vsize=26002772 memory=39908 CPUtime=0 cores=0-7
/proc/14736/task/14741/stat : 14741 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147016244 26626838528 49301 18446744073709551615 4194304 4196468 140733816786912 140617630284688 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0

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

/proc/14736/task/14762/stat : 14762 (java) S 14733 14736 6689 0 -1 1077944384 462 0 0 0 10 0 0 0 20 0 46 0 147016568 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616720806800 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14763] ppid=14733 vsize=27739616 memory=-8774313645642428999 CPUtime=2452.11 cores=0-7
/proc/14736/task/14763/stat : 14763 (java) R 14733 14736 6689 0 -1 4202560 70463 0 0 0 245149 62 0 0 20 0 46 0 147016568 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616719751072 140617718522897 0 4 1 16800974 0 0 0 -1 1 0 0 41 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14764] ppid=14733 vsize=27739616 memory=78740 CPUtime=0.08 cores=0-7
/proc/14736/task/14764/stat : 14764 (java) S 14733 14736 6689 0 -1 1077944384 60 0 0 0 8 0 0 0 20 0 46 0 147016568 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616718702000 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14765] ppid=14733 vsize=27739616 memory=1240 CPUtime=2455.61 cores=0-7
/proc/14736/task/14765/stat : 14765 (java) R 14733 14736 6689 0 -1 4202560 69369 0 0 0 245503 58 0 0 20 0 46 0 147016568 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616717645040 140617723694612 0 4 1 16800974 0 0 0 -1 6 0 0 37 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14766] ppid=14733 vsize=27739616 memory=2384 CPUtime=2453.79 cores=0-7
/proc/14736/task/14766/stat : 14766 (java) R 14733 14736 6689 0 -1 4202560 68606 0 0 0 245315 64 0 0 20 0 46 0 147016568 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616716593616 140617718522599 0 4 1 16800974 0 0 0 -1 5 0 0 41 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14767] ppid=14733 vsize=27739616 memory=302022848351043610 CPUtime=2454.39 cores=0-7
/proc/14736/task/14767/stat : 14767 (java) R 14733 14736 6689 0 -1 4202560 66273 0 0 0 245377 62 0 0 20 0 46 0 147016568 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616715539184 140617723694682 0 4 1 16800974 0 0 0 -1 4 0 0 39 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14768] ppid=14733 vsize=27739616 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/14736/task/14768/stat : 14768 (java) S 14733 14736 6689 0 -1 1077944384 881 0 0 0 0 0 0 0 20 0 46 0 147016568 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616714491024 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14769] ppid=14733 vsize=27739616 memory=7411872 CPUtime=2453.89 cores=0-7
/proc/14736/task/14769/stat : 14769 (java) R 14733 14736 6689 0 -1 4202560 67538 0 0 0 245319 70 0 0 20 0 46 0 147016568 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616713432408 140617723638874 0 4 1 16800974 0 0 0 -1 7 0 0 40 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14770] ppid=14733 vsize=27739616 memory=1152 CPUtime=0 cores=0-7
/proc/14736/task/14770/stat : 14770 (java) S 14733 14736 6689 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 46 0 147016645 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616710251184 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14771] ppid=14733 vsize=27739616 memory=-8774313645642428999 CPUtime=0 cores=0-7
/proc/14736/task/14771/stat : 14771 (java) S 14733 14736 6689 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 46 0 147016646 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616709199632 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14772] ppid=14733 vsize=27739616 memory=7411872 CPUtime=0 cores=0-7
/proc/14736/task/14772/stat : 14772 (java) S 14733 14736 6689 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 46 0 147016646 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616708146832 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14773] ppid=14733 vsize=27739616 memory=46896 CPUtime=0 cores=0-7
/proc/14736/task/14773/stat : 14773 (java) S 14733 14736 6689 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 147016646 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616707093808 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14774] ppid=14733 vsize=27739616 memory=4044 CPUtime=0 cores=0-7
/proc/14736/task/14774/stat : 14774 (java) S 14733 14736 6689 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 46 0 147016646 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616706041232 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14775] ppid=14733 vsize=27739616 memory=7411872 CPUtime=0 cores=0-7
/proc/14736/task/14775/stat : 14775 (java) S 14733 14736 6689 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616704988208 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14776] ppid=14733 vsize=27739616 memory=1740 CPUtime=0 cores=0-7
/proc/14736/task/14776/stat : 14776 (java) S 14733 14736 6689 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616703935632 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14777] ppid=14733 vsize=27739616 memory=956 CPUtime=0 cores=0-7
/proc/14736/task/14777/stat : 14777 (java) S 14733 14736 6689 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616702882832 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14778] ppid=14733 vsize=27739616 memory=-8774313645642428999 CPUtime=0 cores=0-7
/proc/14736/task/14778/stat : 14778 (java) S 14733 14736 6689 0 -1 1077944384 552 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616701830032 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14779] ppid=14733 vsize=27739616 memory=872 CPUtime=0 cores=0-7
/proc/14736/task/14779/stat : 14779 (java) S 14733 14736 6689 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616700778032 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14780] ppid=14733 vsize=27739616 memory=1992 CPUtime=0 cores=0-7
/proc/14736/task/14780/stat : 14780 (java) S 14733 14736 6689 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616699725232 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14781] ppid=14733 vsize=27739616 memory=1164 CPUtime=0 cores=0-7
/proc/14736/task/14781/stat : 14781 (java) S 14733 14736 6689 0 -1 1077944384 762 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616698672656 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14782] ppid=14733 vsize=27739616 memory=7608 CPUtime=0 cores=0-7
/proc/14736/task/14782/stat : 14782 (java) S 14733 14736 6689 0 -1 1077944384 1064 0 0 0 0 0 0 0 20 0 46 0 147016659 28405366784 1852968 18446744073709551615 4194304 4196468 140733816786912 140616697619856 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
Current children cumulated CPU time: 19742.1 s
Current children cumulated vsize: 27739616 KiB
Current children cumulated memory: 7411872 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.97 8.81 8.73 10/218 14909
/proc/meminfo: memFree=23802032/32770624 swapFree=67105588/67108860
[pid=14736] ppid=14733 vsize=27739616 memory=7412136 CPUtime=19882.2 cores=0-7
/proc/14736/stat : 14736 (java) S 14733 14736 6689 0 -1 1077944320 1589927 0 0 0 1987158 1057 0 0 20 0 46 0 147016233 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140733816769456 140618069589751 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
/proc/14736/statm: 6934904 1853034 3835 1 0 6923156 0
[pid=14736/tid=14738] ppid=14733 vsize=27739616 memory=-8774313645642428999 CPUtime=2.68 cores=0-7
/proc/14736/task/14738/stat : 14738 (java) S 14733 14736 6689 0 -1 1077944384 18012 0 0 0 258 10 0 0 20 0 46 0 147016244 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140618073827456 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14739] ppid=14733 vsize=27739616 memory=-7003737579269690708 CPUtime=11.54 cores=0-7
/proc/14736/task/14739/stat : 14739 (java) S 14733 14736 6689 0 -1 1077944384 99407 0 0 0 1094 60 0 0 20 0 46 0 147016244 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140617632390288 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14740] ppid=14733 vsize=27739616 memory=2032 CPUtime=11.61 cores=0-7
/proc/14736/task/14740/stat : 14740 (java) S 14733 14736 6689 0 -1 1077944384 96860 0 0 0 1102 59 0 0 20 0 46 0 147016244 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140617631337488 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14741] ppid=14733 vsize=27739616 memory=832 CPUtime=11.62 cores=0-7
/proc/14736/task/14741/stat : 14741 (java) S 14733 14736 6689 0 -1 1077944384 93204 0 0 0 1106 56 0 0 20 0 46 0 147016244 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140617630284688 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14742] ppid=14733 vsize=27739616 memory=16436 CPUtime=11.58 cores=0-7
/proc/14736/task/14742/stat : 14742 (java) S 14733 14736 6689 0 -1 1077944384 93891 0 0 0 1101 57 0 0 20 0 46 0 147016244 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140617629231888 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14743] ppid=14733 vsize=27739616 memory=7411872 CPUtime=11.58 cores=0-7
/proc/14736/task/14743/stat : 14743 (java) S 14733 14736 6689 0 -1 1077944384 84065 0 0 0 1101 57 0 0 20 0 46 0 147016244 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140617628179088 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14744] ppid=14733 vsize=27739616 memory=302022891367825718 CPUtime=11.64 cores=0-7
/proc/14736/task/14744/stat : 14744 (java) S 14733 14736 6689 0 -1 1077944384 88113 0 0 0 1105 59 0 0 20 0 46 0 147016244 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140617627126288 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14745] ppid=14733 vsize=27739616 memory=15540738687502695 CPUtime=11.59 cores=0-7
/proc/14736/task/14745/stat : 14745 (java) S 14733 14736 6689 0 -1 1077944384 100088 0 0 0 1099 60 0 0 20 0 46 0 147016245 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140617626073488 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14746] ppid=14733 vsize=27739616 memory=7411872 CPUtime=11.55 cores=0-7
/proc/14736/task/14746/stat : 14746 (java) S 14733 14736 6689 0 -1 1077944384 93874 0 0 0 1101 54 0 0 20 0 46 0 147016245 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140617625020688 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14747] ppid=14733 vsize=27739616 memory=7411872 CPUtime=9.39 cores=0-7
/proc/14736/task/14747/stat : 14747 (java) S 14733 14736 6689 0 -1 1077944384 193151 0 0 0 835 104 0 0 20 0 46 0 147016246 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616750029680 140618069600898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14748] ppid=14733 vsize=27739616 memory=-8774313645642428999 CPUtime=0 cores=0-7
/proc/14736/task/14748/stat : 14748 (java) S 14733 14736 6689 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 46 0 147016246 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616748975712 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14749] ppid=14733 vsize=27739616 memory=7411872 CPUtime=0 cores=0-7
/proc/14736/task/14749/stat : 14749 (java) S 14733 14736 6689 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 46 0 147016247 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616747922816 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14750] ppid=14733 vsize=27739616 memory=4584 CPUtime=0 cores=0-7
/proc/14736/task/14750/stat : 14750 (java) S 14733 14736 6689 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 147016249 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616746871120 140618069608347 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14751] ppid=14733 vsize=27739616 memory=872 CPUtime=1.55 cores=0-7
/proc/14736/task/14751/stat : 14751 (java) S 14733 14736 6689 0 -1 1077944384 5200 0 0 0 154 1 0 0 20 0 46 0 147016249 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616745818480 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 64 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14752] ppid=14733 vsize=27739616 memory=1992 CPUtime=1.8 cores=0-7
/proc/14736/task/14752/stat : 14752 (java) S 14733 14736 6689 0 -1 1077944384 6981 0 0 0 179 1 0 0 20 0 46 0 147016249 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616744765680 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 54 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14753] ppid=14733 vsize=27739616 memory=1164 CPUtime=1.78 cores=0-7
/proc/14736/task/14753/stat : 14753 (java) S 14733 14736 6689 0 -1 1077944384 7179 0 0 0 177 1 0 0 20 0 46 0 147016249 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616743712880 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 61 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14754] ppid=14733 vsize=27739616 memory=7608 CPUtime=1 cores=0-7
/proc/14736/task/14754/stat : 14754 (java) S 14733 14736 6689 0 -1 1077944384 19200 0 0 0 95 5 0 0 20 0 46 0 147016249 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616742660080 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14755] ppid=14733 vsize=27739616 memory=1636 CPUtime=0 cores=0-7
/proc/14736/task/14755/stat : 14755 (java) S 14733 14736 6689 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 147016249 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616741608544 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14756] ppid=14733 vsize=27739616 memory=14340 CPUtime=0.7 cores=0-7
/proc/14736/task/14756/stat : 14756 (java) S 14733 14736 6689 0 -1 1077944384 8118 0 0 0 44 26 0 0 20 0 46 0 147016253 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616740555824 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 60 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14757] ppid=14733 vsize=27739616 memory=288230574492221466 CPUtime=0.01 cores=0-7
/proc/14736/task/14757/stat : 14757 (java) S 14733 14736 6689 0 -1 1077944384 2241 0 0 0 1 0 0 0 20 0 46 0 147016542 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616730264736 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14758] ppid=14733 vsize=27739616 memory=288230617509003574 CPUtime=1.94 cores=0-7
/proc/14736/task/14758/stat : 14758 (java) S 14733 14736 6689 0 -1 1077944384 21966 0 0 0 79 115 0 0 20 0 46 0 147016554 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616727115040 140618069600898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14759] ppid=14733 vsize=27739616 memory=15540738687502695 CPUtime=2471.39 cores=0-7
/proc/14736/task/14759/stat : 14759 (java) R 14733 14736 6689 0 -1 4202560 68577 0 0 0 247079 60 0 0 20 0 46 0 147016565 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616726056536 140617723694566 0 4 1 16800974 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14760] ppid=14733 vsize=27739616 memory=1672 CPUtime=2470.06 cores=0-7
/proc/14736/task/14760/stat : 14760 (java) R 14733 14736 6689 0 -1 4202560 66162 0 0 0 246945 61 0 0 20 0 46 0 147016565 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616725004912 140617723694692 0 4 1 16800974 0 0 0 -1 3 0 0 46 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14761] ppid=14733 vsize=27739616 memory=5768 CPUtime=2469.89 cores=0-7
/proc/14736/task/14761/stat : 14761 (java) R 14733 14736 6689 0 -1 4202560 73843 0 0 0 246931 58 0 0 20 0 46 0 147016566 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616721855352 140617723694477 0 4 1 16800974 0 0 0 -1 5 0 0 37 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14762] ppid=14733 vsize=27739616 memory=4584 CPUtime=0.1 cores=0-7
/proc/14736/task/14762/stat : 14762 (java) S 14733 14736 6689 0 -1 1077944384 462 0 0 0 10 0 0 0 20 0 46 0 147016568 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616720806800 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14763] ppid=14733 vsize=27739616 memory=872 CPUtime=2469.4 cores=0-7
/proc/14736/task/14763/stat : 14763 (java) R 14733 14736 6689 0 -1 4202560 70652 0 0 0 246878 62 0 0 20 0 46 0 147016568 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616719750520 140617723694450 0 4 1 16800974 0 0 0 -1 2 0 0 41 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14764] ppid=14733 vsize=27739616 memory=1992 CPUtime=0.08 cores=0-7
/proc/14736/task/14764/stat : 14764 (java) S 14733 14736 6689 0 -1 1077944384 60 0 0 0 8 0 0 0 20 0 46 0 147016568 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616718702000 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14765] ppid=14733 vsize=27739616 memory=1164 CPUtime=2473.05 cores=0-7
/proc/14736/task/14765/stat : 14765 (java) R 14733 14736 6689 0 -1 4202560 69533 0 0 0 247247 58 0 0 20 0 46 0 147016568 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616717646160 140617723069724 0 4 1 16800974 0 0 0 -1 6 0 0 37 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14766] ppid=14733 vsize=27739616 memory=7608 CPUtime=2471.2 cores=0-7
/proc/14736/task/14766/stat : 14766 (java) R 14733 14736 6689 0 -1 4202560 68806 0 0 0 247055 65 0 0 20 0 46 0 147016568 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616716590920 140617712555367 0 4 1 16800974 0 0 0 -1 1 0 0 41 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14767] ppid=14733 vsize=27739616 memory=1636 CPUtime=2471.8 cores=0-7
/proc/14736/task/14767/stat : 14767 (java) R 14733 14736 6689 0 -1 4202560 66406 0 0 0 247117 63 0 0 20 0 46 0 147016568 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616715537864 140617723638856 0 4 1 16800974 0 0 0 -1 4 0 0 39 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14768] ppid=14733 vsize=27739616 memory=7411872 CPUtime=0 cores=0-7
/proc/14736/task/14768/stat : 14768 (java) S 14733 14736 6689 0 -1 1077944384 881 0 0 0 0 0 0 0 20 0 46 0 147016568 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616714491024 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14769] ppid=14733 vsize=27739616 memory=796 CPUtime=2471.31 cores=0-7
/proc/14736/task/14769/stat : 14769 (java) R 14733 14736 6689 0 -1 4202560 67713 0 0 0 247061 70 0 0 20 0 46 0 147016568 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616713433472 140617712556326 0 4 1 16800974 0 0 0 -1 7 0 0 40 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14770] ppid=14733 vsize=27739616 memory=1228 CPUtime=0 cores=0-7
/proc/14736/task/14770/stat : 14770 (java) S 14733 14736 6689 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 46 0 147016645 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616710251184 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14771] ppid=14733 vsize=27739616 memory=7608 CPUtime=0 cores=0-7
/proc/14736/task/14771/stat : 14771 (java) S 14733 14736 6689 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 46 0 147016646 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616709199632 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14772] ppid=14733 vsize=27739616 memory=1636 CPUtime=0 cores=0-7
/proc/14736/task/14772/stat : 14772 (java) S 14733 14736 6689 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 46 0 147016646 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616708146832 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14773] ppid=14733 vsize=27739616 memory=14340 CPUtime=0 cores=0-7
/proc/14736/task/14773/stat : 14773 (java) S 14733 14736 6689 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 147016646 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616707093808 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14774] ppid=14733 vsize=27739616 memory=796 CPUtime=0 cores=0-7
/proc/14736/task/14774/stat : 14774 (java) S 14733 14736 6689 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 46 0 147016646 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616706041232 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14775] ppid=14733 vsize=27739616 memory=1228 CPUtime=0 cores=0-7
/proc/14736/task/14775/stat : 14775 (java) S 14733 14736 6689 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616704988208 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14776] ppid=14733 vsize=27739616 memory=1428 CPUtime=0 cores=0-7
/proc/14736/task/14776/stat : 14776 (java) S 14733 14736 6689 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616703935632 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14777] ppid=14733 vsize=27739616 memory=15348 CPUtime=0 cores=0-7
/proc/14736/task/14777/stat : 14777 (java) S 14733 14736 6689 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616702882832 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14778] ppid=14733 vsize=27739616 memory=46896 CPUtime=0 cores=0-7
/proc/14736/task/14778/stat : 14778 (java) S 14733 14736 6689 0 -1 1077944384 552 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616701830032 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14779] ppid=14733 vsize=27739616 memory=4044 CPUtime=0 cores=0-7
/proc/14736/task/14779/stat : 14779 (java) S 14733 14736 6689 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616700778032 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14780] ppid=14733 vsize=27739616 memory=644 CPUtime=0 cores=0-7
/proc/14736/task/14780/stat : 14780 (java) S 14733 14736 6689 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616699725232 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14781] ppid=14733 vsize=27739616 memory=1740 CPUtime=0 cores=0-7
/proc/14736/task/14781/stat : 14781 (java) S 14733 14736 6689 0 -1 1077944384 762 0 0 0 0 0 0 0 20 0 46 0 147016648 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616698672656 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
[pid=14736/tid=14782] ppid=14733 vsize=27739616 memory=956 CPUtime=0 cores=0-7
/proc/14736/task/14782/stat : 14782 (java) S 14733 14736 6689 0 -1 1077944384 1064 0 0 0 0 0 0 0 20 0 46 0 147016659 28405366784 1853034 18446744073709551615 4194304 4196468 140733816786912 140616697619856 140618069599957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140733816795499 140733816795685 140733816795685 140733816799183 0
Current children cumulated CPU time: 19882.2 s
Current children cumulated vsize: 27739616 KiB
Current children cumulated memory: 7412136 KiB

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

[startup+2520.15 s]
# the end of solver process 14736 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19872.4 s, system=10.6178 s

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

Child status: 143
Real time (s): 2520.15
CPU time (s): 19883
CPU user time (s): 19872.4
CPU system time (s): 10.6178
CPU usage (%): 788.962
Max. virtual memory (cumulated for all children) (KiB): 27739616
Max. memory (cumulated for all children) (KiB): 7566844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19872.4
system time used= 10.6178
maximum resident set size= 7568892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1591799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 910717
involuntary context switches= 442308


# summary of solver processes directly reported to runsolver:
#   pid: 14736
#   total CPU time (s): 19883
#   total CPU user time (s): 19872.4
#   total CPU system time (s): 10.6178

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.5391 second user time and 35.8093 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-23 02:16:07
IDJOB=4284878
IDBENCH=135252
IDSOLVER=2681
FILE ID=node126/4284878-1503448213
RUNJOBID= node126-1503398604-6745
PBS_JOBID= 
Free space on /tmp= 62032 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-4284878-1503448213/watcher-4284878-1503448213 -o /tmp/evaluation-result-4284878-1503448213/solver-4284878-1503448213 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1503398604-6745 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2020177593 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284878-1503448213.xml

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

MD5SUM BENCH= 31e85661316b8aad2d1246d7b0a73c1b
RANDOM SEED=2020177593

node126.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.81
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.81
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.81
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.81
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:        31212244 kB
MemAvailable:   31936552 kB
Buffers:          338440 kB
Cached:           683356 kB
SwapCached:          524 kB
Active:           669620 kB
Inactive:         408560 kB
Active(anon):      12512 kB
Inactive(anon):   102028 kB
Active(file):     657108 kB
Inactive(file):   306532 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             42732 kB
Writeback:             0 kB
AnonPages:         56372 kB
Mapped:            66436 kB
Shmem:             58016 kB
Slab:             179612 kB
SReclaimable:     153008 kB
SUnreclaim:        26604 kB
KernelStack:        3088 kB
PageTables:         4696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     329304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61988 MiB
End job on node126 at 2017-08-23 02:58:07