Trace number 4396228

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
Concrete 3.12.2SAT (TO)718 2520.04 2465.63

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-dimacs/
Pb-hanoi4.xml
MD5SUMa17fae509aff329e2f365d061bb5ebf3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark718
Best CPU time to get the best result obtained on this benchmark108.063
Satisfiable
(Un)Satisfiability was proved
Number of variables1436
Number of constraints5652
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1436}]
Minimum variable degree3
Maximum variable degree29
Distribution of variable degrees[{"degree":3,"count":49},{"degree":4,"count":94},{"degree":5,"count":95},{"degree":6,"count":95},{"degree":7,"count":581},{"degree":9,"count":1},{"degree":10,"count":11},{"degree":11,"count":12},{"degree":12,"count":168},{"degree":15,"count":60},{"degree":19,"count":45},{"degree":21,"count":60},{"degree":23,"count":105},{"degree":29,"count":60}]
Minimum constraint arity1
Maximum constraint arity7
Distribution of constraint arities[{"arity":1,"count":128},{"arity":2,"count":3199},{"arity":3,"count":2280},{"arity":4,"count":15},{"arity":7,"count":30}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":5652}]
Optimization problemYES
Type of objectivemin SUM

Solver Data

0.78/0.55	c Concrete v3.12.2.1568380929293 running
251.30/232.54	o 718
2520.00/2465.60	Exception in thread "main" java.util.concurrent.TimeoutException
2520.00/2465.60		at concrete.MAC.mac(MAC.scala:192)
2520.00/2465.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.00/2465.60		at scala.util.Try$.apply(Try.scala:212)
2520.00/2465.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.00/2465.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.00/2465.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.00/2465.60		at concrete.MAC.oneRun(MAC.scala:265)
2520.00/2465.60		at concrete.MAC.nextSolution(MAC.scala:284)
2520.00/2465.60		at concrete.MAC.nextSolution(MAC.scala:369)
2520.00/2465.60		at concrete.Solver.hasNext(Solver.scala:160)
2520.00/2465.60		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.00/2465.60		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.00/2465.60		at concrete.Solver.foreach(Solver.scala:67)
2520.00/2465.60		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.00/2465.60		at scala.util.Success.map(Try.scala:264)
2520.00/2465.60		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2465.60		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.00/2465.60		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.00/2465.60		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2465.60		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.00/2465.60		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.00/2465.60		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.00/2465.60		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.00/2465.60		at scala.App.$anonfun$main$1(App.scala:75)
2520.00/2465.60		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.00/2465.60		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.00/2465.60		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.00/2465.60		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.00/2465.60		at scala.App.main(App.scala:75)
2520.00/2465.60		at scala.App.main$(App.scala:73)
2520.00/2465.60		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.00/2465.60		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2465.61	v <instantiation
2520.00/2465.61	v         cost = '718'>
2520.00/2465.61	v       <list>
2520.00/2465.61	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]
2520.00/2465.61	v       </list>
2520.00/2465.61	v       <values>
2520.00/2465.61	v         1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1
2520.00/2465.61	v       </values>
2520.00/2465.61	v     </instantiation>
2520.00/2465.62	s SATISFIABLE

Verifier Data

OK	718

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396228-1568407845/watcher-4396228-1568407845 -o /tmp/evaluation-result-4396228-1568407845/solver-4396228-1568407845 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9266 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1895027142 HOME/instance-4396228-1568407845.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100129 s]*
/proc/loadavg: 1.35 1.33 1.35 3/219 12905
/proc/meminfo: memFree=29852120/32770624 swapFree=66934836/67108860
[pid=12848] ppid=12845 vsize=9989820 memory=17604 CPUtime=0.1 cores=0,2,4,6
/proc/12848/stat : 12848 (java) S 12845 12848 9235 0 -1 1077944320 4626 13138 0 0 2 0 5 3 20 0 7 0 417055968 10229575680 4401 33554432000 4194304 4196468 140730503620192 140730503602736 140422978608887 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
/proc/12848/statm: 2497455 4401 1995 1 0 2485893 0
[pid=12848/tid=12901] ppid=12845 vsize=10055356 memory=4627849542029380006 CPUtime=0.09 cores=0,2,4,6
/proc/12848/task/12901/stat : 12901 (java) R 12845 12848 9235 0 -1 4202560 2471 13138 0 0 1 0 5 3 20 0 7 0 417055977 10296684544 4401 33554432000 4194304 4196468 140730503620192 140422950451984 140422960168800 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12902] ppid=12845 vsize=10055356 memory=5793855522996971961 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12902/stat : 12902 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 7 0 417055978 10296684544 4467 33554432000 4194304 4196468 140730503620192 140422982851728 140422978619093 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12903] ppid=12845 vsize=10055356 memory=140271987078784 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12903/stat : 12903 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 7 0 417055978 10296684544 4467 33554432000 4194304 4196468 140730503620192 140422887054352 140422978619093 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12904] ppid=12845 vsize=10055356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12904/stat : 12904 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 7 0 417055978 10296684544 4467 33554432000 4194304 4196468 140730503620192 140422886001552 140422978619093 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12905] ppid=12845 vsize=10055356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12905/stat : 12905 (java) S 12845 12848 9235 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 7 0 417055978 10296684544 4467 33554432000 4194304 4196468 140730503620192 140422884948752 140422978619093 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12906] ppid=12845 vsize=10055356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12906/stat : 12906 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 7 0 417055979 10296684544 4467 33554432000 4194304 4196468 140730503620192 140422437300592 140422978620034 0 0 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9989820 KiB
Current children cumulated memory: 17604 KiB

[startup+0.210111 s]*
/proc/loadavg: 1.35 1.33 1.35 3/228 12914
/proc/meminfo: memFree=29834888/32770624 swapFree=66934836/67108860
[pid=12848] ppid=12845 vsize=10819664 memory=41456 CPUtime=0.27 cores=0,2,4,6
/proc/12848/stat : 12848 (java) S 12845 12848 9235 0 -1 1077944320 7237 13138 0 0 18 1 5 3 20 0 15 0 417055968 11079335936 10364 33554432000 4194304 4196468 140730503620192 140730503602736 140422978608887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
/proc/12848/statm: 2704916 10364 3144 1 0 2667149 0
[pid=12848/tid=12901] ppid=12845 vsize=10819808 memory=-8540663193526752614 CPUtime=0.2 cores=0,2,4,6
/proc/12848/task/12901/stat : 12901 (java) R 12845 12848 9235 0 -1 4202560 3761 13138 0 0 12 0 5 3 20 0 15 0 417055977 11079483392 10364 33554432000 4194304 4196468 140730503620192 140422950441600 140422901686134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12902] ppid=12845 vsize=10819808 memory=4211973998191869322 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12902/stat : 12902 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 417055978 11079483392 10364 33554432000 4194304 4196468 140730503620192 140422982851728 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12903] ppid=12845 vsize=10819808 memory=140271987078784 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12903/stat : 12903 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 417055978 11079483392 10364 33554432000 4194304 4196468 140730503620192 140422887054352 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12904] ppid=12845 vsize=10819808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12904/stat : 12904 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 417055978 11079483392 10364 33554432000 4194304 4196468 140730503620192 140422886001552 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12905] ppid=12845 vsize=10819808 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12905/stat : 12905 (java) S 12845 12848 9235 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 417055978 11079483392 10364 33554432000 4194304 4196468 140730503620192 140422884948752 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12906] ppid=12845 vsize=10819808 memory=140271987078784 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12906/stat : 12906 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 417055979 11079483392 10364 33554432000 4194304 4196468 140730503620192 140422437300592 140422978620034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12907] ppid=12845 vsize=10819808 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12907/stat : 12907 (java) S 12845 12848 9235 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 417055980 11079483392 10364 33554432000 4194304 4196468 140730503620192 140422345122848 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12908] ppid=12845 vsize=10819808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12908/stat : 12908 (java) S 12845 12848 9235 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 417055980 11079483392 10364 33554432000 4194304 4196468 140730503620192 140421741142896 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12909] ppid=12845 vsize=10819808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12909/stat : 12909 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055982 11079483392 10364 33554432000 4194304 4196468 140730503620192 140421500852048 140422978627483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12910] ppid=12845 vsize=10819808 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12848/task/12910/stat : 12910 (java) S 12845 12848 9235 0 -1 1077944384 457 13138 0 0 1 0 5 3 20 0 15 0 417055982 11079483392 10364 33554432000 4194304 4196468 140730503620192 140422436248432 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12911] ppid=12845 vsize=10819972 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12911/stat : 12911 (java) S 12845 12848 9235 0 -1 1077944384 180 13138 0 0 0 0 5 3 20 0 15 0 417055983 11079651328 10430 33554432000 4194304 4196468 140730503620192 140422435195632 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12912] ppid=12845 vsize=10819972 memory=140271987078784 CPUtime=0.11 cores=0,2,4,6
/proc/12848/task/12912/stat : 12912 (java) R 12845 12848 9235 0 -1 4202560 632 13138 0 0 3 0 5 3 20 0 15 0 417055983 11079651328 10430 33554432000 4194304 4196468 140730503620192 140422434142832 140422978630234 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12913] ppid=12845 vsize=10819972 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12913/stat : 12913 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055983 11079651328 10430 33554432000 4194304 4196468 140730503620192 140421467294432 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12914] ppid=12845 vsize=10819972 memory=140271987078784 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12914/stat : 12914 (java) S 12845 12848 9235 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 417055983 11079651328 10430 33554432000 4194304 4196468 140730503620192 140422433090224 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41456 KiB

[startup+0.31053 s]*
/proc/loadavg: 1.35 1.33 1.35 3/228 12914
/proc/meminfo: memFree=29820916/32770624 swapFree=66934836/67108860
[pid=12848] ppid=12845 vsize=10820148 memory=50264 CPUtime=0.4 cores=0,2,4,6
/proc/12848/stat : 12848 (java) S 12845 12848 9235 0 -1 1077944320 10888 13138 0 0 30 2 5 3 20 0 15 0 417055968 11079831552 12566 33554432000 4194304 4196468 140730503620192 140730503602736 140422978608887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
/proc/12848/statm: 2705037 12566 3276 1 0 2667149 0
[pid=12848/tid=12901] ppid=12845 vsize=10820216 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/12848/task/12901/stat : 12901 (java) R 12845 12848 9235 0 -1 4202560 7378 13138 0 0 20 1 5 3 20 0 15 0 417055977 11079901184 12631 33554432000 4194304 4196468 140730503620192 140422950408800 140422978630813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12902] ppid=12845 vsize=10820216 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12902/stat : 12902 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 417055978 11079901184 12631 33554432000 4194304 4196468 140730503620192 140422982851728 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12903] ppid=12845 vsize=10820216 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12903/stat : 12903 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 417055978 11079901184 12631 33554432000 4194304 4196468 140730503620192 140422887054352 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12904] ppid=12845 vsize=10820260 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12904/stat : 12904 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 417055978 11079946240 12631 33554432000 4194304 4196468 140730503620192 140422886001552 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12905] ppid=12845 vsize=10820260 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12905/stat : 12905 (java) S 12845 12848 9235 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 417055978 11079946240 12631 33554432000 4194304 4196468 140730503620192 140422884948752 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12906] ppid=12845 vsize=10820260 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12906/stat : 12906 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 417055979 11079946240 12631 33554432000 4194304 4196468 140730503620192 140422437300592 140422978620034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12907] ppid=12845 vsize=10820260 memory=140271987078783 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12907/stat : 12907 (java) S 12845 12848 9235 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 417055980 11079946240 12631 33554432000 4194304 4196468 140730503620192 140422345122848 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12908] ppid=12845 vsize=10820260 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12908/stat : 12908 (java) S 12845 12848 9235 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 417055980 11079946240 12631 33554432000 4194304 4196468 140730503620192 140421741142896 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12909] ppid=12845 vsize=10820260 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12909/stat : 12909 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055982 11079946240 12631 33554432000 4194304 4196468 140730503620192 140421500852048 140422978627483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12910] ppid=12845 vsize=10820260 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/12848/task/12910/stat : 12910 (java) S 12845 12848 9235 0 -1 1077944384 458 13138 0 0 2 0 5 3 20 0 15 0 417055982 11079946240 12631 33554432000 4194304 4196468 140730503620192 140422436248432 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12911] ppid=12845 vsize=10820260 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/12848/task/12911/stat : 12911 (java) S 12845 12848 9235 0 -1 1077944384 189 13138 0 0 1 0 5 3 20 0 15 0 417055983 11079946240 12631 33554432000 4194304 4196468 140730503620192 140422435195632 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12912] ppid=12845 vsize=10820264 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/12848/task/12912/stat : 12912 (java) S 12845 12848 9235 0 -1 1077944384 640 13138 0 0 5 0 5 3 20 0 15 0 417055983 11079950336 12631 33554432000 4194304 4196468 140730503620192 140422434142832 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12913] ppid=12845 vsize=10820264 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12913/stat : 12913 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055983 11079950336 12631 33554432000 4194304 4196468 140730503620192 140421467294432 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12914] ppid=12845 vsize=10820264 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12914/stat : 12914 (java) S 12845 12848 9235 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 417055983 11079950336 12631 33554432000 4194304 4196468 140730503620192 140422433090224 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50264 KiB

[startup+0.700661 s]
/proc/loadavg: 1.35 1.33 1.35 4/228 12914
/proc/meminfo: memFree=29806280/32770624 swapFree=66934836/67108860
[pid=12848] ppid=12845 vsize=10824360 memory=83780 CPUtime=1.14 cores=0,2,4,6
/proc/12848/stat : 12848 (java) S 12845 12848 9235 0 -1 1077944320 15170 13138 0 0 102 4 5 3 20 0 15 0 417055968 11084144640 20945 33554432000 4194304 4196468 140730503620192 140730503602736 140422978608887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
/proc/12848/statm: 2706090 20945 3510 1 0 2668173 0
[pid=12848/tid=12901] ppid=12845 vsize=10824360 memory=2124 CPUtime=0.67 cores=0,2,4,6
/proc/12848/task/12901/stat : 12901 (java) R 12845 12848 9235 0 -1 4202560 10379 13138 0 0 56 3 5 3 20 0 15 0 417055977 11084144640 20945 33554432000 4194304 4196468 140730503620192 140422950438432 140422978630813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12902] ppid=12845 vsize=10824360 memory=7488 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12902/stat : 12902 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 417055978 11084144640 20945 33554432000 4194304 4196468 140730503620192 140422982851728 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12903] ppid=12845 vsize=10824360 memory=504 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12903/stat : 12903 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 417055978 11084144640 20945 33554432000 4194304 4196468 140730503620192 140422887054352 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12904] ppid=12845 vsize=10824360 memory=1564 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12904/stat : 12904 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 417055978 11084144640 20945 33554432000 4194304 4196468 140730503620192 140422886001552 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12905] ppid=12845 vsize=10824360 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12905/stat : 12905 (java) S 12845 12848 9235 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 417055978 11084144640 20945 33554432000 4194304 4196468 140730503620192 140422884948752 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12906] ppid=12845 vsize=10824360 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12906/stat : 12906 (java) S 12845 12848 9235 0 -1 1077944384 5 13138 0 0 0 0 5 3 20 0 15 0 417055979 11084144640 20945 33554432000 4194304 4196468 140730503620192 140422437300592 140422978620034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12907] ppid=12845 vsize=10824360 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12907/stat : 12907 (java) S 12845 12848 9235 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 417055980 11084144640 20945 33554432000 4194304 4196468 140730503620192 140422345122848 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12908] ppid=12845 vsize=10824360 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12908/stat : 12908 (java) S 12845 12848 9235 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 417055980 11084144640 20945 33554432000 4194304 4196468 140730503620192 140421741142896 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12909] ppid=12845 vsize=10824360 memory=12024 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12909/stat : 12909 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055982 11084144640 20945 33554432000 4194304 4196468 140730503620192 140421500852048 140422978627483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12910] ppid=12845 vsize=10824360 memory=2124 CPUtime=0.23 cores=0,2,4,6
/proc/12848/task/12910/stat : 12910 (java) S 12845 12848 9235 0 -1 1077944384 1044 13138 0 0 15 0 5 3 20 0 15 0 417055982 11084144640 20945 33554432000 4194304 4196468 140730503620192 140422436248432 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12911] ppid=12845 vsize=10824360 memory=6944652177228980320 CPUtime=0.2 cores=0,2,4,6
/proc/12848/task/12911/stat : 12911 (java) R 12845 12848 9235 0 -1 4202560 616 13138 0 0 12 0 5 3 20 0 15 0 417055983 11084144640 20945 33554432000 4194304 4196468 140730503620192 140422435195632 140422962140437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12912] ppid=12845 vsize=10824360 memory=504 CPUtime=0.25 cores=0,2,4,6
/proc/12848/task/12912/stat : 12912 (java) S 12845 12848 9235 0 -1 1077944384 888 13138 0 0 17 0 5 3 20 0 15 0 417055983 11084144640 20945 33554432000 4194304 4196468 140730503620192 140422434142832 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12913] ppid=12845 vsize=10824360 memory=1564 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12913/stat : 12913 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055983 11084144640 20945 33554432000 4194304 4196468 140730503620192 140421467294432 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12914] ppid=12845 vsize=10824360 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12914/stat : 12914 (java) S 12845 12848 9235 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 417055983 11084144640 20945 33554432000 4194304 4196468 140730503620192 140422433090224 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83780 KiB

[startup+1.50069 s]
/proc/loadavg: 1.35 1.33 1.35 5/228 12914
/proc/meminfo: memFree=29752308/32770624 swapFree=66934836/67108860
[pid=12848] ppid=12845 vsize=10832628 memory=220740 CPUtime=3.18 cores=0,2,4,6
/proc/12848/stat : 12848 (java) S 12845 12848 9235 0 -1 1077944320 26493 13138 0 0 300 10 5 3 20 0 15 0 417055968 11092611072 55185 33554432000 4194304 4196468 140730503620192 140730503602736 140422978608887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
/proc/12848/statm: 2708157 55185 3582 1 0 2670221 0
[pid=12848/tid=12901] ppid=12845 vsize=10832628 memory=3620 CPUtime=1.42 cores=0,2,4,6
/proc/12848/task/12901/stat : 12901 (java) R 12845 12848 9235 0 -1 4202560 14185 13138 0 0 128 6 5 3 20 0 15 0 417055977 11092611072 55185 33554432000 4194304 4196468 140730503620192 140422950441064 140422962689374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12902] ppid=12845 vsize=10832628 memory=23224 CPUtime=0.1 cores=0,2,4,6
/proc/12848/task/12902/stat : 12902 (java) S 12845 12848 9235 0 -1 1077944384 62 13138 0 0 2 0 5 3 20 0 15 0 417055978 11092611072 55185 33554432000 4194304 4196468 140730503620192 140422982851728 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12903] ppid=12845 vsize=10832628 memory=984 CPUtime=0.1 cores=0,2,4,6
/proc/12848/task/12903/stat : 12903 (java) S 12845 12848 9235 0 -1 1077944384 208 13138 0 0 2 0 5 3 20 0 15 0 417055978 11092611072 55185 33554432000 4194304 4196468 140730503620192 140422887054352 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12904] ppid=12845 vsize=10832628 memory=163724 CPUtime=0.1 cores=0,2,4,6
/proc/12848/task/12904/stat : 12904 (java) S 12845 12848 9235 0 -1 1077944384 42 13138 0 0 2 0 5 3 20 0 15 0 417055978 11092611072 55185 33554432000 4194304 4196468 140730503620192 140422886001552 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12905] ppid=12845 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12848/task/12905/stat : 12905 (java) S 12845 12848 9235 0 -1 1077944384 34 13138 0 0 1 0 5 3 20 0 15 0 417055978 11092611072 55185 33554432000 4194304 4196468 140730503620192 140422884948752 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12906] ppid=12845 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12848/task/12906/stat : 12906 (java) S 12845 12848 9235 0 -1 1077944384 102 13138 0 0 1 0 5 3 20 0 15 0 417055979 11092611072 55185 33554432000 4194304 4196468 140730503620192 140422437300592 140422978620034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12907] ppid=12845 vsize=10832628 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12907/stat : 12907 (java) S 12845 12848 9235 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 417055980 11092611072 55185 33554432000 4194304 4196468 140730503620192 140422345122912 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12908] ppid=12845 vsize=10832628 memory=195702735038601 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12908/stat : 12908 (java) S 12845 12848 9235 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 417055980 11092611072 55185 33554432000 4194304 4196468 140730503620192 140421741142912 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12909] ppid=12845 vsize=10832628 memory=3312111 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12909/stat : 12909 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055982 11092611072 55185 33554432000 4194304 4196468 140730503620192 140421500852048 140422978627483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12910] ppid=12845 vsize=10832628 memory=6935649255810949952 CPUtime=0.67 cores=0,2,4,6
/proc/12848/task/12910/stat : 12910 (java) S 12845 12848 9235 0 -1 1077944384 4469 13138 0 0 59 0 5 3 20 0 15 0 417055982 11092611072 55185 33554432000 4194304 4196468 140730503620192 140422436248432 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12911] ppid=12845 vsize=10832628 memory=4638778398332764256 CPUtime=0.67 cores=0,2,4,6
/proc/12848/task/12911/stat : 12911 (java) S 12845 12848 9235 0 -1 1077944384 3098 13138 0 0 59 0 5 3 20 0 15 0 417055983 11092611072 55185 33554432000 4194304 4196468 140730503620192 140422435195632 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12912] ppid=12845 vsize=10832628 memory=280543774114032 CPUtime=0.5 cores=0,2,4,6
/proc/12848/task/12912/stat : 12912 (java) S 12845 12848 9235 0 -1 1077944384 2061 13138 0 0 42 0 5 3 20 0 15 0 417055983 11092611072 55185 33554432000 4194304 4196468 140730503620192 140422434142832 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12913] ppid=12845 vsize=10832628 memory=6935649255894902865 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12913/stat : 12913 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055983 11092611072 55185 33554432000 4194304 4196468 140730503620192 140421467294432 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12914] ppid=12845 vsize=10832628 memory=-6728466209551465309 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12914/stat : 12914 (java) S 12845 12848 9235 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 417055983 11092611072 55185 33554432000 4194304 4196468 140730503620192 140422433090224 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0

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

/proc/12848/task/12901/stat : 12901 (java) R 12845 12848 9235 0 -1 4202560 88768 13138 0 0 229913 68 5 3 20 0 15 0 417055977 11107311616 107876 33554432000 4194304 4196468 140730503620192 140422950444688 140422573754851 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12902] ppid=12845 vsize=10846984 memory=438176 CPUtime=11.76 cores=0,2,4,6
/proc/12848/task/12902/stat : 12902 (java) S 12845 12848 9235 0 -1 1077944384 29397 13138 0 0 1117 51 5 3 20 0 15 0 417055978 11107311616 107876 33554432000 4194304 4196468 140730503620192 140422982851728 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12903] ppid=12845 vsize=10846984 memory=431504 CPUtime=11.77 cores=0,2,4,6
/proc/12848/task/12903/stat : 12903 (java) S 12845 12848 9235 0 -1 1077944384 26285 13138 0 0 1121 48 5 3 20 0 15 0 417055978 11107311616 107876 33554432000 4194304 4196468 140730503620192 140422887054352 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12904] ppid=12845 vsize=10846984 memory=431504 CPUtime=11.81 cores=0,2,4,6
/proc/12848/task/12904/stat : 12904 (java) S 12845 12848 9235 0 -1 1077944384 27856 13138 0 0 1125 48 5 3 20 0 15 0 417055978 11107311616 107876 33554432000 4194304 4196468 140730503620192 140422886001552 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12905] ppid=12845 vsize=10846984 memory=435608 CPUtime=11.8 cores=0,2,4,6
/proc/12848/task/12905/stat : 12905 (java) S 12845 12848 9235 0 -1 1077944384 24450 13138 0 0 1125 47 5 3 20 0 15 0 417055978 11107311616 107876 33554432000 4194304 4196468 140730503620192 140422884948752 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12906] ppid=12845 vsize=10846984 memory=2612 CPUtime=8.17 cores=0,2,4,6
/proc/12848/task/12906/stat : 12906 (java) S 12845 12848 9235 0 -1 1077944384 24088 13138 0 0 739 70 5 3 20 0 15 0 417055979 11107311616 107876 33554432000 4194304 4196468 140730503620192 140422437300592 140422978620034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12907] ppid=12845 vsize=10846984 memory=2612 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12907/stat : 12907 (java) S 12845 12848 9235 0 -1 1077944384 27 13138 0 0 0 0 5 3 20 0 15 0 417055980 11107311616 107876 33554432000 4194304 4196468 140730503620192 140422345122976 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12908] ppid=12845 vsize=10846984 memory=7520 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12908/stat : 12908 (java) S 12845 12848 9235 0 -1 1077944384 34 13138 0 0 0 0 5 3 20 0 15 0 417055980 11107311616 107876 33554432000 4194304 4196468 140730503620192 140421741142912 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12909] ppid=12845 vsize=10846984 memory=504 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12909/stat : 12909 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055982 11107311616 107876 33554432000 4194304 4196468 140730503620192 140421500852048 140422978627483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12910] ppid=12845 vsize=10846984 memory=445360 CPUtime=7.92 cores=0,2,4,6
/proc/12848/task/12910/stat : 12910 (java) S 12845 12848 9235 0 -1 1077944384 39697 13138 0 0 780 4 5 3 20 0 15 0 417055982 11107311616 107876 33554432000 4194304 4196468 140730503620192 140422436248432 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12911] ppid=12845 vsize=10846984 memory=445360 CPUtime=7.7 cores=0,2,4,6
/proc/12848/task/12911/stat : 12911 (java) S 12845 12848 9235 0 -1 1077944384 43665 13138 0 0 757 5 5 3 20 0 15 0 417055983 11107311616 107876 33554432000 4194304 4196468 140730503620192 140422435195632 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12912] ppid=12845 vsize=10846984 memory=435096 CPUtime=2.64 cores=0,2,4,6
/proc/12848/task/12912/stat : 12912 (java) S 12845 12848 9235 0 -1 1077944384 27735 13138 0 0 250 6 5 3 20 0 15 0 417055983 11107311616 107876 33554432000 4194304 4196468 140730503620192 140422434142832 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12913] ppid=12845 vsize=10846984 memory=111632 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12913/stat : 12913 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055983 11107311616 107876 33554432000 4194304 4196468 140730503620192 140421467294432 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12914] ppid=12845 vsize=10846984 memory=431504 CPUtime=1.3 cores=0,2,4,6
/proc/12848/task/12914/stat : 12914 (java) S 12845 12848 9235 0 -1 1077944384 1532 13138 0 0 59 63 5 3 20 0 15 0 417055983 11107311616 107876 33554432000 4194304 4196468 140730503620192 140422433090224 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
Current children cumulated CPU time: 2374.13 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 431504 KiB

[startup+2382.3 s]
/proc/loadavg: 1.37 1.38 1.40 5/227 13276
/proc/meminfo: memFree=30325336/32770624 swapFree=66934884/67108860
[pid=12848] ppid=12845 vsize=10846984 memory=380812 CPUtime=2435.21 cores=0,2,4,6
/proc/12848/stat : 12848 (java) S 12845 12848 9235 0 -1 1077944320 338392 13138 0 0 243137 376 5 3 20 0 15 0 417055968 11107311616 95203 33554432000 4194304 4196468 140730503620192 140730503602736 140422978608887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
/proc/12848/statm: 2711746 95203 3629 1 0 2673805 0
[pid=12848/tid=12901] ppid=12845 vsize=10846984 memory=382352 CPUtime=2359.21 cores=0,2,4,6
/proc/12848/task/12901/stat : 12901 (java) R 12845 12848 9235 0 -1 4202560 89776 13138 0 0 235845 68 5 3 20 0 15 0 417055977 11107311616 95203 33554432000 4194304 4196468 140730503620192 140422950444880 140422583974263 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12902] ppid=12845 vsize=10846984 memory=384916 CPUtime=12.12 cores=0,2,4,6
/proc/12848/task/12902/stat : 12902 (java) S 12845 12848 9235 0 -1 1077944384 29646 13138 0 0 1152 52 5 3 20 0 15 0 417055978 11107311616 95203 33554432000 4194304 4196468 140730503620192 140422982851728 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12903] ppid=12845 vsize=10846984 memory=383276 CPUtime=12.14 cores=0,2,4,6
/proc/12848/task/12903/stat : 12903 (java) S 12845 12848 9235 0 -1 1077944384 26743 13138 0 0 1157 49 5 3 20 0 15 0 417055978 11107311616 95203 33554432000 4194304 4196468 140730503620192 140422887054352 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12904] ppid=12845 vsize=10846984 memory=427396 CPUtime=12.18 cores=0,2,4,6
/proc/12848/task/12904/stat : 12904 (java) S 12845 12848 9235 0 -1 1077944384 28267 13138 0 0 1161 49 5 3 20 0 15 0 417055978 11107311616 95203 33554432000 4194304 4196468 140730503620192 140422886001552 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12905] ppid=12845 vsize=10846984 memory=388920 CPUtime=12.17 cores=0,2,4,6
/proc/12848/task/12905/stat : 12905 (java) S 12845 12848 9235 0 -1 1077944384 24739 13138 0 0 1161 48 5 3 20 0 15 0 417055978 11107311616 95203 33554432000 4194304 4196468 140730503620192 140422884948752 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12906] ppid=12845 vsize=10846984 memory=381224 CPUtime=8.41 cores=0,2,4,6
/proc/12848/task/12906/stat : 12906 (java) S 12845 12848 9235 0 -1 1077944384 24302 13138 0 0 761 72 5 3 20 0 15 0 417055979 11107311616 95203 33554432000 4194304 4196468 140730503620192 140422437300592 140422978620034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12907] ppid=12845 vsize=10846984 memory=382864 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12907/stat : 12907 (java) S 12845 12848 9235 0 -1 1077944384 27 13138 0 0 0 0 5 3 20 0 15 0 417055980 11107311616 95203 33554432000 4194304 4196468 140730503620192 140422345122976 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12908] ppid=12845 vsize=10846984 memory=381324 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12908/stat : 12908 (java) S 12845 12848 9235 0 -1 1077944384 34 13138 0 0 0 0 5 3 20 0 15 0 417055980 11107311616 95203 33554432000 4194304 4196468 140730503620192 140421741142912 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12909] ppid=12845 vsize=10846984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12909/stat : 12909 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055982 11107311616 95203 33554432000 4194304 4196468 140730503620192 140421500852048 140422978627483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12910] ppid=12845 vsize=10846984 memory=381836 CPUtime=7.92 cores=0,2,4,6
/proc/12848/task/12910/stat : 12910 (java) S 12845 12848 9235 0 -1 1077944384 39699 13138 0 0 780 4 5 3 20 0 15 0 417055982 11107311616 95203 33554432000 4194304 4196468 140730503620192 140422436248432 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12911] ppid=12845 vsize=10846984 memory=3620 CPUtime=7.7 cores=0,2,4,6
/proc/12848/task/12911/stat : 12911 (java) S 12845 12848 9235 0 -1 1077944384 43668 13138 0 0 757 5 5 3 20 0 15 0 417055983 11107311616 95203 33554432000 4194304 4196468 140730503620192 140422435195632 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12912] ppid=12845 vsize=10846984 memory=924 CPUtime=2.64 cores=0,2,4,6
/proc/12848/task/12912/stat : 12912 (java) S 12845 12848 9235 0 -1 1077944384 27737 13138 0 0 250 6 5 3 20 0 15 0 417055983 11107311616 95203 33554432000 4194304 4196468 140730503620192 140422434142832 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12913] ppid=12845 vsize=10846984 memory=1420 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12913/stat : 12913 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055983 11107311616 95203 33554432000 4194304 4196468 140730503620192 140421467294432 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12914] ppid=12845 vsize=10846984 memory=808 CPUtime=1.33 cores=0,2,4,6
/proc/12848/task/12914/stat : 12914 (java) S 12845 12848 9235 0 -1 1077944384 1538 13138 0 0 61 64 5 3 20 0 15 0 417055983 11107311616 95203 33554432000 4194304 4196468 140730503620192 140422433090224 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
Current children cumulated CPU time: 2435.21 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 380812 KiB

[startup+2442.3 s]
/proc/loadavg: 1.41 1.39 1.40 4/229 13289
/proc/meminfo: memFree=30309404/32770624 swapFree=66934884/67108860
[pid=12848] ppid=12845 vsize=10846984 memory=381680 CPUtime=2496.29 cores=0,2,4,6
/proc/12848/stat : 12848 (java) S 12845 12848 9235 0 -1 1077944320 347075 13138 0 0 249235 386 5 3 20 0 15 0 417055968 11107311616 95420 33554432000 4194304 4196468 140730503620192 140730503602736 140422978608887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
/proc/12848/statm: 2711746 95420 3629 1 0 2673805 0
[pid=12848/tid=12901] ppid=12845 vsize=10846984 memory=379308 CPUtime=2418.55 cores=0,2,4,6
/proc/12848/task/12901/stat : 12901 (java) R 12845 12848 9235 0 -1 4202560 96200 13138 0 0 241777 70 5 3 20 0 15 0 417055977 11107311616 95420 33554432000 4194304 4196468 140730503620192 140422950444976 140422583576928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12902] ppid=12845 vsize=10846984 memory=382720 CPUtime=12.49 cores=0,2,4,6
/proc/12848/task/12902/stat : 12902 (java) S 12845 12848 9235 0 -1 1077944384 30171 13138 0 0 1187 54 5 3 20 0 15 0 417055978 11107311616 95420 33554432000 4194304 4196468 140730503620192 140422982851728 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12903] ppid=12845 vsize=10846984 memory=381740 CPUtime=12.51 cores=0,2,4,6
/proc/12848/task/12903/stat : 12903 (java) S 12845 12848 9235 0 -1 1077944384 27258 13138 0 0 1192 51 5 3 20 0 15 0 417055978 11107311616 95420 33554432000 4194304 4196468 140730503620192 140422887054352 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12904] ppid=12845 vsize=10846984 memory=389568 CPUtime=12.54 cores=0,2,4,6
/proc/12848/task/12904/stat : 12904 (java) S 12845 12848 9235 0 -1 1077944384 28966 13138 0 0 1196 50 5 3 20 0 15 0 417055978 11107311616 95420 33554432000 4194304 4196468 140730503620192 140422886001552 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12905] ppid=12845 vsize=10846984 memory=381360 CPUtime=12.53 cores=0,2,4,6
/proc/12848/task/12905/stat : 12905 (java) S 12845 12848 9235 0 -1 1077944384 25181 13138 0 0 1196 49 5 3 20 0 15 0 417055978 11107311616 95420 33554432000 4194304 4196468 140730503620192 140422884948752 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12906] ppid=12845 vsize=10846984 memory=3620 CPUtime=8.66 cores=0,2,4,6
/proc/12848/task/12906/stat : 12906 (java) S 12845 12848 9235 0 -1 1077944384 24368 13138 0 0 783 75 5 3 20 0 15 0 417055979 11107311616 95420 33554432000 4194304 4196468 140730503620192 140422437300592 140422978620034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12907] ppid=12845 vsize=10846984 memory=23328 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12907/stat : 12907 (java) S 12845 12848 9235 0 -1 1077944384 27 13138 0 0 0 0 5 3 20 0 15 0 417055980 11107311616 95420 33554432000 4194304 4196468 140730503620192 140422345122976 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12908] ppid=12845 vsize=10846984 memory=381360 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12908/stat : 12908 (java) S 12845 12848 9235 0 -1 1077944384 34 13138 0 0 0 0 5 3 20 0 15 0 417055980 11107311616 95420 33554432000 4194304 4196468 140730503620192 140421741142912 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12909] ppid=12845 vsize=10846984 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12909/stat : 12909 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055982 11107311616 95420 33554432000 4194304 4196468 140730503620192 140421500852048 140422978627483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12910] ppid=12845 vsize=10846984 memory=379048 CPUtime=7.92 cores=0,2,4,6
/proc/12848/task/12910/stat : 12910 (java) S 12845 12848 9235 0 -1 1077944384 39701 13138 0 0 780 4 5 3 20 0 15 0 417055982 11107311616 95420 33554432000 4194304 4196468 140730503620192 140422436248432 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12911] ppid=12845 vsize=10846984 memory=23328 CPUtime=7.7 cores=0,2,4,6
/proc/12848/task/12911/stat : 12911 (java) S 12845 12848 9235 0 -1 1077944384 43670 13138 0 0 757 5 5 3 20 0 15 0 417055983 11107311616 95420 33554432000 4194304 4196468 140730503620192 140422435195632 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12912] ppid=12845 vsize=10846984 memory=383412 CPUtime=2.64 cores=0,2,4,6
/proc/12848/task/12912/stat : 12912 (java) S 12845 12848 9235 0 -1 1077944384 27739 13138 0 0 250 6 5 3 20 0 15 0 417055983 11107311616 95420 33554432000 4194304 4196468 140730503620192 140422434142832 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12913] ppid=12845 vsize=10846984 memory=386492 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12913/stat : 12913 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055983 11107311616 95420 33554432000 4194304 4196468 140730503620192 140421467294432 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12914] ppid=12845 vsize=10846984 memory=3620 CPUtime=1.36 cores=0,2,4,6
/proc/12848/task/12914/stat : 12914 (java) S 12845 12848 9235 0 -1 1077944384 1544 13138 0 0 62 66 5 3 20 0 15 0 417055983 11107311616 95420 33554432000 4194304 4196468 140730503620192 140422433090224 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
Current children cumulated CPU time: 2496.29 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 381680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.6 s]
/proc/loadavg: 1.33 1.37 1.39 4/229 13292
/proc/meminfo: memFree=30289788/32770624 swapFree=66934884/67108860
[pid=12848] ppid=12845 vsize=10846984 memory=384544 CPUtime=2520 cores=0,2,4,6
/proc/12848/stat : 12848 (java) S 12845 12848 9235 0 -1 1077944320 350124 13138 0 0 251603 389 5 3 20 0 15 0 417055968 11107311616 96136 33554432000 4194304 4196468 140730503620192 140730503602736 140422978608887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
/proc/12848/statm: 2711746 96136 3629 1 0 2673805 0
[pid=12848/tid=12901] ppid=12845 vsize=10846984 memory=8296 CPUtime=2441.58 cores=0,2,4,6
/proc/12848/task/12901/stat : 12901 (java) R 12845 12848 9235 0 -1 4202560 98151 13138 0 0 244080 70 5 3 20 0 15 0 417055977 11107311616 96136 33554432000 4194304 4196468 140730503620192 140422950444912 140422579123470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12902] ppid=12845 vsize=10846984 memory=5960 CPUtime=12.63 cores=0,2,4,6
/proc/12848/task/12902/stat : 12902 (java) S 12845 12848 9235 0 -1 1077944384 30400 13138 0 0 1201 54 5 3 20 0 15 0 417055978 11107311616 96136 33554432000 4194304 4196468 140730503620192 140422982851728 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12903] ppid=12845 vsize=10846984 memory=1564 CPUtime=12.65 cores=0,2,4,6
/proc/12848/task/12903/stat : 12903 (java) S 12845 12848 9235 0 -1 1077944384 27575 13138 0 0 1206 51 5 3 20 0 15 0 417055978 11107311616 96136 33554432000 4194304 4196468 140730503620192 140422887054352 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12904] ppid=12845 vsize=10846984 memory=976 CPUtime=12.69 cores=0,2,4,6
/proc/12848/task/12904/stat : 12904 (java) S 12845 12848 9235 0 -1 1077944384 29082 13138 0 0 1210 51 5 3 20 0 15 0 417055978 11107311616 96136 33554432000 4194304 4196468 140730503620192 140422886001552 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12905] ppid=12845 vsize=10846984 memory=772 CPUtime=12.67 cores=0,2,4,6
/proc/12848/task/12905/stat : 12905 (java) S 12845 12848 9235 0 -1 1077944384 25405 13138 0 0 1210 49 5 3 20 0 15 0 417055978 11107311616 96136 33554432000 4194304 4196468 140730503620192 140422884948752 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12906] ppid=12845 vsize=10846984 memory=3620 CPUtime=8.74 cores=0,2,4,6
/proc/12848/task/12906/stat : 12906 (java) S 12845 12848 9235 0 -1 1077944384 24567 13138 0 0 791 75 5 3 20 0 15 0 417055979 11107311616 96136 33554432000 4194304 4196468 140730503620192 140422437300592 140422978620034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12907] ppid=12845 vsize=10846984 memory=23328 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12907/stat : 12907 (java) S 12845 12848 9235 0 -1 1077944384 27 13138 0 0 0 0 5 3 20 0 15 0 417055980 11107311616 96136 33554432000 4194304 4196468 140730503620192 140422345122976 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12908] ppid=12845 vsize=10846984 memory=984 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12908/stat : 12908 (java) S 12845 12848 9235 0 -1 1077944384 34 13138 0 0 0 0 5 3 20 0 15 0 417055980 11107311616 96136 33554432000 4194304 4196468 140730503620192 140421741142912 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12909] ppid=12845 vsize=10846984 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12909/stat : 12909 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055982 11107311616 96136 33554432000 4194304 4196468 140730503620192 140421500852048 140422978627483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12910] ppid=12845 vsize=10846984 memory=1564 CPUtime=7.92 cores=0,2,4,6
/proc/12848/task/12910/stat : 12910 (java) S 12845 12848 9235 0 -1 1077944384 39701 13138 0 0 780 4 5 3 20 0 15 0 417055982 11107311616 96136 33554432000 4194304 4196468 140730503620192 140422436248432 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12911] ppid=12845 vsize=10846984 memory=924 CPUtime=7.7 cores=0,2,4,6
/proc/12848/task/12911/stat : 12911 (java) S 12845 12848 9235 0 -1 1077944384 43670 13138 0 0 757 5 5 3 20 0 15 0 417055983 11107311616 96136 33554432000 4194304 4196468 140730503620192 140422435195632 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12912] ppid=12845 vsize=10846984 memory=1420 CPUtime=2.64 cores=0,2,4,6
/proc/12848/task/12912/stat : 12912 (java) S 12845 12848 9235 0 -1 1077944384 27739 13138 0 0 250 6 5 3 20 0 15 0 417055983 11107311616 96136 33554432000 4194304 4196468 140730503620192 140422434142832 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12913] ppid=12845 vsize=10846984 memory=1984 CPUtime=0.08 cores=0,2,4,6
/proc/12848/task/12913/stat : 12913 (java) S 12845 12848 9235 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 417055983 11107311616 96136 33554432000 4194304 4196468 140730503620192 140421467294432 140422978619093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
[pid=12848/tid=12914] ppid=12845 vsize=10846984 memory=6791534058613427641 CPUtime=1.37 cores=0,2,4,6
/proc/12848/task/12914/stat : 12914 (java) S 12845 12848 9235 0 -1 1077944384 1557 13138 0 0 63 66 5 3 20 0 15 0 417055983 11107311616 96136 33554432000 4194304 4196468 140730503620192 140422433090224 140422978620034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 19779584 140730503621359 140730503623877 140730503623877 140730503626703 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 384544 KiB

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

[startup+2465.63 s]
# the end of solver process 12848 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.1 s, system=3.93802 s

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

Child status: 143
Real time (s): 2465.63
CPU time (s): 2520.04
CPU user time (s): 2516.1
CPU system time (s): 3.93802
CPU usage (%): 102.207
Max. virtual memory (cumulated for all children) (KiB): 10849648
Max. memory (cumulated for all children) (KiB): 2888040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.1
system time used= 3.93803
maximum resident set size= 2890148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 236965
involuntary context switches= 8930


# summary of solver processes directly reported to runsolver:
#   pid: 12848
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2516.1
#   total CPU system time (s): 3.93802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0068 second user time and 22.5303 second system time

The end

Launcher Data

Begin job on node151 at 2019-09-13 22:50:06
IDJOB=4396228
IDBENCH=134974
IDSOLVER=2846
FILE ID=node151/4396228-1568407845
RUNJOBID= node151-1568393581-9266
PBS_JOBID= 21701866
Free space on /tmp= 59276 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-hanoi4.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396228-1568407845/watcher-4396228-1568407845 -o /tmp/evaluation-result-4396228-1568407845/solver-4396228-1568407845 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9266 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1895027142 HOME/instance-4396228-1568407845.xml

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

MD5SUM BENCH= a17fae509aff329e2f365d061bb5ebf3
RANDOM SEED=1895027142

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29859384 kB
MemAvailable:   30690976 kB
Buffers:          172088 kB
Cached:           952564 kB
SwapCached:        71380 kB
Active:          1795576 kB
Inactive:         564376 kB
Active(anon):    1170832 kB
Inactive(anon):    97944 kB
Active(file):     624744 kB
Inactive(file):   466432 kB
Unevictable:      109748 kB
Mlocked:          109748 kB
SwapTotal:      67108860 kB
SwapFree:       66934836 kB
Dirty:             35616 kB
Writeback:             0 kB
AnonPages:       1275164 kB
Mapped:            50200 kB
Shmem:             24072 kB
Slab:             141072 kB
SReclaimable:     112504 kB
SUnreclaim:        28568 kB
KernelStack:        3712 kB
PageTables:         8396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2322724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1189888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59240 MiB
End job on node151 at 2019-09-13 23:31:12