Trace number 4248553

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
R1: Concrete 3.4SAT (TO)14 2400.1 2300.55

General information on the benchmark

NameBusScheduling/BusScheduling-cnt-s1/
BusScheduling-cnt-r2.xml
MD5SUM1feceec156c21411e87c939d9e284415
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables3001
Number of constraints54
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3001}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":11},{"degree":3,"count":68},{"degree":4,"count":284},{"degree":5,"count":1134},{"degree":6,"count":908},{"degree":7,"count":436},{"degree":8,"count":123},{"degree":9,"count":37}]
Minimum constraint arity139
Maximum constraint arity479
Distribution of constraint arities[{"arity":139,"count":1},{"arity":140,"count":1},{"arity":143,"count":1},{"arity":153,"count":3},{"arity":159,"count":1},{"arity":161,"count":1},{"arity":162,"count":2},{"arity":171,"count":1},{"arity":172,"count":1},{"arity":176,"count":1},{"arity":178,"count":1},{"arity":182,"count":1},{"arity":183,"count":1},{"arity":184,"count":2},{"arity":185,"count":1},{"arity":188,"count":1},{"arity":189,"count":2},{"arity":191,"count":2},{"arity":192,"count":1},{"arity":195,"count":2},{"arity":199,"count":1},{"arity":211,"count":2},{"arity":217,"count":1},{"arity":232,"count":1},{"arity":254,"count":1},{"arity":260,"count":1},{"arity":261,"count":1},{"arity":269,"count":1},{"arity":276,"count":1},{"arity":282,"count":1},{"arity":292,"count":1},{"arity":312,"count":1},{"arity":315,"count":1},{"arity":386,"count":1},{"arity":390,"count":1},{"arity":405,"count":1},{"arity":416,"count":2},{"arity":425,"count":1},{"arity":431,"count":1},{"arity":434,"count":1},{"arity":436,"count":1},{"arity":439,"count":1},{"arity":458,"count":1},{"arity":472,"count":1},{"arity":479,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":54}]
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 

3.96/2.24	c Concrete v3.4 running
14.60/4.93	o 17
17.09/6.06	o 16
21.92/9.65	o 15
32.06/18.43	o 14
2400.03/2300.50	java.util.concurrent.TimeoutException
2400.03/2300.50		at concrete.MAC.mac(MAC.scala:74)
2400.03/2300.50		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.03/2300.50		at scala.util.Try$.apply(Try.scala:209)
2400.03/2300.50		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.03/2300.50		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.03/2300.50		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.03/2300.50		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.03/2300.50		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.03/2300.50		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.03/2300.50		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.03/2300.50		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.03/2300.50		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.03/2300.50		at concrete.MAC.oneRun(MAC.scala:146)
2400.03/2300.50		at concrete.MAC.nextSolution(MAC.scala:166)
2400.03/2300.51		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.03/2300.51		at concrete.ProblemState.map(ProblemState.scala:203)
2400.03/2300.51		at concrete.ProblemState.map(ProblemState.scala:188)
2400.03/2300.51		at concrete.MAC.nextSolution(MAC.scala:195)
2400.03/2300.51		at concrete.Solver.hasNext(Solver.scala:202)
2400.03/2300.51		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.03/2300.51		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.03/2300.51		at concrete.Solver.toStream(Solver.scala:73)
2400.03/2300.51		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.03/2300.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.03/2300.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.03/2300.51		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.03/2300.51		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.03/2300.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.03/2300.51		at scala.util.Success.map(Try.scala:209)
2400.03/2300.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.03/2300.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.03/2300.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.03/2300.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.03/2300.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.03/2300.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.03/2300.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.03/2300.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.03/2300.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.03/2300.51		at scala.collection.immutable.List.foreach(List.scala:389)
2400.03/2300.51		at scala.App.main(App.scala:76)
2400.03/2300.51		at scala.App.main$(App.scala:74)
2400.03/2300.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.03/2300.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.03/2300.51	v <instantiation cost="14">
2400.03/2300.51	v       <list>
2400.03/2300.51	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] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000]
2400.03/2300.52	v       </list>
2400.03/2300.52	v       <values>
2400.03/2300.52	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2400.03/2300.52	v       </values>
2400.03/2300.52	v     </instantiation>
2400.03/2300.52	s SATISFIABLE

Verifier Data 

OK	14

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248553-1500747505/watcher-4248553-1500747505 -o /tmp/evaluation-result-4248553-1500747505/solver-4248553-1500747505 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500747505-24291 --watchdog 2560 bin/concrete HOME/instance-4248553-1500747505.xml 

pid=24325
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.97 0.94 1.15 2/252 24329
/proc/meminfo: memFree=31687580/32770624 swapFree=5704/304320
[pid=24329] ppid=24325 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24329/stat : 24329 (bash) S 24325 24329 20653 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 10017751 9736192 350 33554432000 4194304 5098028 140727073742416 140727073740056 140470999772160 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 34750464 140727073744142 140727073744227 140727073744227 140727073746926 0
/proc/24329/statm: 2377 350 278 221 0 86 0

[startup+0.100136 s]
/proc/loadavg: 0.97 0.94 1.15 2/252 24329
/proc/meminfo: memFree=31687580/32770624 swapFree=5704/304320
[pid=24329] ppid=24325 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24329/stat : 24329 (bash) S 24325 24329 20653 0 -1 4202496 879 6422 0 0 0 0 0 1 20 0 1 0 10017751 9871360 377 33554432000 4194304 5098028 140727073742416 140727073736424 140470999772160 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 34750464 140727073744142 140727073744227 140727073744227 140727073746926 0
/proc/24329/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200382 s]
/proc/loadavg: 0.97 0.94 1.15 2/252 24329
/proc/meminfo: memFree=31687580/32770624 swapFree=5704/304320
[pid=24329] ppid=24325 vsize=10435860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/24329/stat : 24329 (java) S 24325 24329 20653 0 -1 1077944320 4883 12282 0 0 6 1 8 4 20 0 13 0 10017751 10686320640 5239 33554432000 4194304 4196468 140728565667440 140728565649984 139901101215479 0 0 0 16800971 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
/proc/24329/statm: 2608965 5239 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860

[startup+0.300336 s]
/proc/loadavg: 0.97 0.94 1.15 2/252 24329
/proc/meminfo: memFree=31687580/32770624 swapFree=5704/304320
[pid=24329] ppid=24325 vsize=10902392 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/24329/stat : 24329 (java) S 24325 24329 20653 0 -1 1077944320 9390 12282 0 0 22 2 8 4 20 0 20 0 10017751 11164049408 10466 33554432000 4194304 4196468 140728565667440 140728565649984 139901101215479 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
/proc/24329/statm: 2725598 10466 3000 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392

[startup+0.700182 s]
/proc/loadavg: 0.97 0.94 1.15 2/252 24329
/proc/meminfo: memFree=31687580/32770624 swapFree=5704/304320
[pid=24329] ppid=24325 vsize=10902720 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/24329/stat : 24329 (java) S 24325 24329 20653 0 -1 1077944320 13052 12282 0 0 85 4 8 4 20 0 20 0 10017751 11164385280 16346 33554432000 4194304 4196468 140728565667440 140728565649984 139901101215479 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
/proc/24329/statm: 2725680 16346 3232 1 0 2713890 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 10902720

[startup+1.50077 s]
/proc/loadavg: 0.97 0.94 1.15 3/288 24469
/proc/meminfo: memFree=31481756/32770624 swapFree=5704/304600
[pid=24329] ppid=24325 vsize=10913344 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/24329/stat : 24329 (java) S 24325 24329 20653 0 -1 1077944320 27961 12282 0 0 201 12 8 4 20 0 20 0 10017751 11175264256 44051 33554432000 4194304 4196468 140728565667440 140728565649984 139901101215479 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
/proc/24329/statm: 2728336 44051 3408 1 0 2716450 0
[pid=24329/tid=24433] ppid=24325 vsize=10913344 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24433/stat : 24433 (java) R 24325 24329 20653 0 -1 4202560 19711 12282 0 0 123 5 8 4 20 0 20 0 10017765 11175264256 44051 33554432000 4194304 4196468 140728565667440 139901105444248 139901084584106 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24442] ppid=24325 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24442/stat : 24442 (java) S 24325 24329 20653 0 -1 1077944384 135 12282 0 0 1 0 8 4 20 0 20 0 10017765 11175264256 44051 33554432000 4194304 4196468 140728565667440 139901053836304 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24443] ppid=24325 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24443/stat : 24443 (java) S 24325 24329 20653 0 -1 1077944384 26 12282 0 0 1 0 8 4 20 0 20 0 10017765 11175264256 44051 33554432000 4194304 4196468 140728565667440 139901052783760 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24444] ppid=24325 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24444/stat : 24444 (java) S 24325 24329 20653 0 -1 1077944384 19 12282 0 0 0 0 8 4 20 0 20 0 10017765 11175264256 44051 33554432000 4194304 4196468 140728565667440 139901051730704 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24445] ppid=24325 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24445/stat : 24445 (java) S 24325 24329 20653 0 -1 1077944384 45 12282 0 0 0 0 8 4 20 0 20 0 10017765 11175264256 44051 33554432000 4194304 4196468 140728565667440 139901050678160 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24446] ppid=24325 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24446/stat : 24446 (java) S 24325 24329 20653 0 -1 1077944384 39 12282 0 0 0 0 8 4 20 0 20 0 10017765 11175264256 44051 33554432000 4194304 4196468 140728565667440 139901049625104 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24447] ppid=24325 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24447/stat : 24447 (java) S 24325 24329 20653 0 -1 1077944384 14 12282 0 0 1 0 8 4 20 0 20 0 10017765 11175264256 44051 33554432000 4194304 4196468 140728565667440 139901048572560 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24448] ppid=24325 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24448/stat : 24448 (java) S 24325 24329 20653 0 -1 1077944384 24 12282 0 0 0 0 8 4 20 0 20 0 10017766 11175264256 44051 33554432000 4194304 4196468 140728565667440 139901047519504 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24449] ppid=24325 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24449/stat : 24449 (java) S 24325 24329 20653 0 -1 1077944384 36 12282 0 0 0 0 8 4 20 0 20 0 10017766 11175264256 44051 33554432000 4194304 4196468 140728565667440 139901046466960 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24450] ppid=24325 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24450/stat : 24450 (java) S 24325 24329 20653 0 -1 1077944384 1626 12282 0 0 1 0 8 4 20 0 20 0 10017767 11175264256 44051 33554432000 4194304 4196468 140728565667440 139900642941680 139901101226626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24452] ppid=24325 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24452/stat : 24452 (java) S 24325 24329 20653 0 -1 1077944384 55 12282 0 0 0 0 8 4 20 0 20 0 10017768 11175264256 44051 33554432000 4194304 4196468 140728565667440 139900641887968 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24453] ppid=24325 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24453/stat : 24453 (java) S 24325 24329 20653 0 -1 1077944384 45 12282 0 0 0 0 8 4 20 0 20 0 10017768 11175264256 44051 33554432000 4194304 4196468 140728565667440 139900573705472 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24456] ppid=24325 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24456/stat : 24456 (java) S 24325 24329 20653 0 -1 1077944384 1 12282 0 0 0 0 8 4 20 0 20 0 10017771 11175264256 44051 33554432000 4194304 4196468 140728565667440 139900572654032 139901101234075 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24457] ppid=24325 vsize=10913344 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24457/stat : 24457 (java) S 24325 24329 20653 0 -1 1077944384 1586 12282 0 0 18 0 8 4 20 0 20 0 10017771 11175264256 44051 33554432000 4194304 4196468 140728565667440 139900571601136 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24458] ppid=24325 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24458/stat : 24458 (java) S 24325 24329 20653 0 -1 1077944384 485 12282 0 0 12 1 8 4 20 0 20 0 10017772 11175264256 44051 33554432000 4194304 4196468 140728565667440 139900570548592 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24459] ppid=24325 vsize=10913344 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24459/stat : 24459 (java) S 24325 24329 20653 0 -1 1077944384 576 12282 0 0 11 0 8 4 20 0 20 0 10017772 11175264256 44051 33554432000 4194304 4196468 140728565667440 139900569495536 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24460] ppid=24325 vsize=10913344 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24460/stat : 24460 (java) S 24325 24329 20653 0 -1 1077944384 1401 12282 0 0 25 0 8 4 20 0 20 0 10017772 11175264256 44051 33554432000 4194304 4196468 140728565667440 139900568442992 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24461] ppid=24325 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24461/stat : 24461 (java) S 24325 24329 20653 0 -1 1077944384 3 12282 0 0 0 0 8 4 20 0 20 0 10017772 11175264256 44051 33554432000 4194304 4196468 140728565667440 139900567391200 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24462] ppid=24325 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24462/stat : 24462 (java) S 24325 24329 20653 0 -1 1077944384 6 12282 0 0 0 0 8 4 20 0 20 0 10017772 11175264256 44051 33554432000 4194304 4196468 140728565667440 139900566338736 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10913344

[startup+3.10111 s]
/proc/loadavg: 0.97 0.94 1.15 6/288 24469
/proc/meminfo: memFree=31333052/32770624 swapFree=5704/305444
[pid=24329] ppid=24325 vsize=10925820 CPUtime=6.94 cores=0,2,4,6,8,10,12,14
/proc/24329/stat : 24329 (java) S 24325 24329 20653 0 -1 1077944320 41731 12282 0 0 665 17 8 4 20 0 20 0 10017751 11188039680 59576 33554432000 4194304 4196468 140728565667440 140728565649984 139901101215479 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
/proc/24329/statm: 2731455 59576 3477 1 0 2719010 0
[pid=24329/tid=24433] ppid=24325 vsize=10925820 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24433/stat : 24433 (java) R 24325 24329 20653 0 -1 4202560 25785 12282 0 0 279 7 8 4 20 0 20 0 10017765 11188039680 59576 33554432000 4194304 4196468 140728565667440 139901105446976 139901085295996 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24442] ppid=24325 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24442/stat : 24442 (java) S 24325 24329 20653 0 -1 1077944384 135 12282 0 0 1 0 8 4 20 0 20 0 10017765 11188039680 59576 33554432000 4194304 4196468 140728565667440 139901053836304 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24443] ppid=24325 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24443/stat : 24443 (java) S 24325 24329 20653 0 -1 1077944384 26 12282 0 0 1 0 8 4 20 0 20 0 10017765 11188039680 59576 33554432000 4194304 4196468 140728565667440 139901052783760 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24444] ppid=24325 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24444/stat : 24444 (java) S 24325 24329 20653 0 -1 1077944384 19 12282 0 0 0 0 8 4 20 0 20 0 10017765 11188039680 59576 33554432000 4194304 4196468 140728565667440 139901051730704 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24445] ppid=24325 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24445/stat : 24445 (java) S 24325 24329 20653 0 -1 1077944384 45 12282 0 0 0 0 8 4 20 0 20 0 10017765 11188039680 59576 33554432000 4194304 4196468 140728565667440 139901050678160 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24446] ppid=24325 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24446/stat : 24446 (java) S 24325 24329 20653 0 -1 1077944384 39 12282 0 0 0 0 8 4 20 0 20 0 10017765 11188039680 59576 33554432000 4194304 4196468 140728565667440 139901049625104 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24447] ppid=24325 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24447/stat : 24447 (java) S 24325 24329 20653 0 -1 1077944384 14 12282 0 0 1 0 8 4 20 0 20 0 10017765 11188039680 59576 33554432000 4194304 4196468 140728565667440 139901048572560 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24448] ppid=24325 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24448/stat : 24448 (java) S 24325 24329 20653 0 -1 1077944384 24 12282 0 0 0 0 8 4 20 0 20 0 10017766 11188039680 59576 33554432000 4194304 4196468 140728565667440 139901047519504 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24449] ppid=24325 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24449/stat : 24449 (java) S 24325 24329 20653 0 -1 1077944384 36 12282 0 0 0 0 8 4 20 0 20 0 10017766 11188039680 59576 33554432000 4194304 4196468 140728565667440 139901046466960 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24450] ppid=24325 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24450/stat : 24450 (java) S 24325 24329 20653 0 -1 1077944384 1642 12282 0 0 1 0 8 4 20 0 20 0 10017767 11188039680 59576 33554432000 4194304 4196468 140728565667440 139900642941680 139901101226626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24452] ppid=24325 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24452/stat : 24452 (java) S 24325 24329 20653 0 -1 1077944384 55 12282 0 0 0 0 8 4 20 0 20 0 10017768 11188039680 59576 33554432000 4194304 4196468 140728565667440 139900641887968 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24453] ppid=24325 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24453/stat : 24453 (java) S 24325 24329 20653 0 -1 1077944384 45 12282 0 0 0 0 8 4 20 0 20 0 10017768 11188039680 59576 33554432000 4194304 4196468 140728565667440 139900573705472 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24456] ppid=24325 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24456/stat : 24456 (java) S 24325 24329 20653 0 -1 1077944384 1 12282 0 0 0 0 8 4 20 0 20 0 10017771 11188039680 59576 33554432000 4194304 4196468 140728565667440 139900572654032 139901101234075 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24457] ppid=24325 vsize=10925820 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24457/stat : 24457 (java) R 24325 24329 20653 0 -1 4202560 4798 12282 0 0 108 1 8 4 20 0 20 0 10017771 11188039680 59576 33554432000 4194304 4196468 140728565667440 139900571590928 139901082625629 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24458] ppid=24325 vsize=10925820 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24458/stat : 24458 (java) R 24325 24329 20653 0 -1 4202560 1598 12282 0 0 79 1 8 4 20 0 20 0 10017772 11188039680 59576 33554432000 4194304 4196468 140728565667440 139900570541360 139901082625629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24459] ppid=24325 vsize=10925820 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24459/stat : 24459 (java) R 24325 24329 20653 0 -1 4202560 1663 12282 0 0 76 0 8 4 20 0 20 0 10017772 11188039680 59576 33554432000 4194304 4196468 140728565667440 139900569474544 139901081039065 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24460] ppid=24325 vsize=10925820 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24460/stat : 24460 (java) R 24325 24329 20653 0 -1 4202560 3671 12282 0 0 110 1 8 4 20 0 20 0 10017772 11188039680 59576 33554432000 4194304 4196468 140728565667440 139900568442992 139901080200296 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24461] ppid=24325 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24461/stat : 24461 (java) S 24325 24329 20653 0 -1 1077944384 3 12282 0 0 0 0 8 4 20 0 20 0 10017772 11188039680 59576 33554432000 4194304 4196468 140728565667440 139900567391200 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24462] ppid=24325 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24462/stat : 24462 (java) S 24325 24329 20653 0 -1 1077944384 7 12282 0 0 0 0 8 4 20 0 20 0 10017772 11188039680 59576 33554432000 4194304 4196468 140728565667440 139900566338736 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 10925820

[startup+6.30113 s]
/proc/loadavg: 1.29 1.01 1.17 3/288 24469
/proc/meminfo: memFree=30939708/32770624 swapFree=5704/306124
[pid=24329] ppid=24325 vsize=10995452 CPUtime=17.73 cores=0,2,4,6,8,10,12,14
/proc/24329/stat : 24329 (java) S 24325 24329 20653 0 -1 1077944320 72851 12282 0 0 1721 40 8 4 20 0 20 0 10017751 11259342848 104281 33554432000 4194304 4196468 140728565667440 140728565649984 139901101215479 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
/proc/24329/statm: 2748863 104281 3512 1 0 2736418 0
[pid=24329/tid=24433] ppid=24325 vsize=10995452 CPUtime=5.73 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24433/stat : 24433 (java) R 24325 24329 20653 0 -1 4202560 41132 12282 0 0 550 11 8 4 20 0 20 0 10017765 11259342848 104281 33554432000 4194304 4196468 140728565667440 139901105448840 139900739192704 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24442] ppid=24325 vsize=10995452 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24442/stat : 24442 (java) S 24325 24329 20653 0 -1 1077944384 272 12282 0 0 28 2 8 4 20 0 20 0 10017765 11259342848 104281 33554432000 4194304 4196468 140728565667440 139901053836304 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24443] ppid=24325 vsize=10995452 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24443/stat : 24443 (java) S 24325 24329 20653 0 -1 1077944384 702 12282 0 0 26 2 8 4 20 0 20 0 10017765 11259342848 104281 33554432000 4194304 4196468 140728565667440 139901052783760 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24444] ppid=24325 vsize=10995452 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24444/stat : 24444 (java) S 24325 24329 20653 0 -1 1077944384 109 12282 0 0 22 2 8 4 20 0 20 0 10017765 11259342848 104281 33554432000 4194304 4196468 140728565667440 139901051730704 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24445] ppid=24325 vsize=10995452 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24445/stat : 24445 (java) S 24325 24329 20653 0 -1 1077944384 202 12282 0 0 25 2 8 4 20 0 20 0 10017765 11259342848 104281 33554432000 4194304 4196468 140728565667440 139901050678160 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24446] ppid=24325 vsize=10995452 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24446/stat : 24446 (java) S 24325 24329 20653 0 -1 1077944384 230 12282 0 0 29 2 8 4 20 0 20 0 10017765 11259342848 104281 33554432000 4194304 4196468 140728565667440 139901049625104 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24447] ppid=24325 vsize=10995452 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24447/stat : 24447 (java) S 24325 24329 20653 0 -1 1077944384 202 12282 0 0 30 2 8 4 20 0 20 0 10017765 11259342848 104281 33554432000 4194304 4196468 140728565667440 139901048572560 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24448] ppid=24325 vsize=10995452 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24448/stat : 24448 (java) S 24325 24329 20653 0 -1 1077944384 63 12282 0 0 25 1 8 4 20 0 20 0 10017766 11259342848 104281 33554432000 4194304 4196468 140728565667440 139901047519504 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24449] ppid=24325 vsize=10995452 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24449/stat : 24449 (java) S 24325 24329 20653 0 -1 1077944384 142 12282 0 0 27 2 8 4 20 0 20 0 10017766 11259342848 104281 33554432000 4194304 4196468 140728565667440 139901046466960 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24450] ppid=24325 vsize=10995452 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24450/stat : 24450 (java) S 24325 24329 20653 0 -1 1077944384 2468 12282 0 0 13 0 8 4 20 0 20 0 10017767 11259342848 104281 33554432000 4194304 4196468 140728565667440 139900642941680 139901101226626 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24452] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24452/stat : 24452 (java) S 24325 24329 20653 0 -1 1077944384 61 12282 0 0 0 0 8 4 20 0 20 0 10017768 11259342848 104281 33554432000 4194304 4196468 140728565667440 139900641887968 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24453] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24453/stat : 24453 (java) S 24325 24329 20653 0 -1 1077944384 53 12282 0 0 0 0 8 4 20 0 20 0 10017768 11259342848 104281 33554432000 4194304 4196468 140728565667440 139900573705472 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24456] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24456/stat : 24456 (java) S 24325 24329 20653 0 -1 1077944384 1 12282 0 0 0 0 8 4 20 0 20 0 10017771 11259342848 104281 33554432000 4194304 4196468 140728565667440 139900572654032 139901101234075 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24457] ppid=24325 vsize=10995452 CPUtime=2.7 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24457/stat : 24457 (java) S 24325 24329 20653 0 -1 1077944384 6941 12282 0 0 257 1 8 4 20 0 20 0 10017771 11259342848 104281 33554432000 4194304 4196468 140728565667440 139900571601136 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24458] ppid=24325 vsize=10995452 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24458/stat : 24458 (java) S 24325 24329 20653 0 -1 1077944384 2988 12282 0 0 215 2 8 4 20 0 20 0 10017772 11259342848 104281 33554432000 4194304 4196468 140728565667440 139900570548592 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24459] ppid=24325 vsize=10995452 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24459/stat : 24459 (java) S 24325 24329 20653 0 -1 1077944384 9801 12282 0 0 285 1 8 4 20 0 20 0 10017772 11259342848 104281 33554432000 4194304 4196468 140728565667440 139900569495536 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24460] ppid=24325 vsize=10995452 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24460/stat : 24460 (java) S 24325 24329 20653 0 -1 1077944384 5117 12282 0 0 181 2 8 4 20 0 20 0 10017772 11259342848 104281 33554432000 4194304 4196468 140728565667440 139900568442992 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24461] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14

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

[pid=24329/tid=24458] ppid=24325 vsize=10995452 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24458/stat : 24458 (java) S 24325 24329 20653 0 -1 1077944384 35196 12282 0 0 605 9 8 4 20 0 20 0 10017772 11259342848 337986 33554432000 4194304 4196468 140728565667440 139900570548592 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24459] ppid=24325 vsize=10995452 CPUtime=7.24 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24459/stat : 24459 (java) S 24325 24329 20653 0 -1 1077944384 33937 12282 0 0 706 6 8 4 20 0 20 0 10017772 11259342848 337986 33554432000 4194304 4196468 140728565667440 139900569495536 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24460] ppid=24325 vsize=10995452 CPUtime=3.92 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24460/stat : 24460 (java) S 24325 24329 20653 0 -1 1077944384 49516 12282 0 0 373 7 8 4 20 0 20 0 10017772 11259342848 337986 33554432000 4194304 4196468 140728565667440 139900568442992 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24461] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24461/stat : 24461 (java) S 24325 24329 20653 0 -1 1077944384 3 12282 0 0 0 0 8 4 20 0 20 0 10017772 11259342848 337986 33554432000 4194304 4196468 140728565667440 139900567391200 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24462] ppid=24325 vsize=10995452 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24462/stat : 24462 (java) S 24325 24329 20653 0 -1 1077944384 1333 12282 0 0 66 48 8 4 20 0 20 0 10017772 11259342848 337986 33554432000 4194304 4196468 140728565667440 139900566338736 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
Current children cumulated CPU time (s) 2301.41
Current children cumulated vsize (KiB) 10995452

[startup+2262.3 s]
/proc/loadavg: 1.31 1.38 1.40 3/284 24543
/proc/meminfo: memFree=29454140/32770624 swapFree=5704/307196
[pid=24329] ppid=24325 vsize=10995452 CPUtime=2361.73 cores=0,2,4,6,8,10,12,14
/proc/24329/stat : 24329 (java) S 24325 24329 20653 0 -1 1077944320 559523 12282 0 0 234884 1277 8 4 20 0 20 0 10017751 11259342848 362931 33554432000 4194304 4196468 140728565667440 140728565649984 139901101215479 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
/proc/24329/statm: 2748863 362931 3515 1 0 2736418 0
[pid=24329/tid=24433] ppid=24325 vsize=10995452 CPUtime=2243.76 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24433/stat : 24433 (java) R 24325 24329 20653 0 -1 4202560 279012 12282 0 0 224296 68 8 4 20 0 20 0 10017765 11259342848 362931 33554432000 4194304 4196468 140728565667440 139901105449472 139900740593824 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24442] ppid=24325 vsize=10995452 CPUtime=11.25 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24442/stat : 24442 (java) S 24325 24329 20653 0 -1 1077944384 14166 12282 0 0 971 142 8 4 20 0 20 0 10017765 11259342848 362931 33554432000 4194304 4196468 140728565667440 139901053836304 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24443] ppid=24325 vsize=10995452 CPUtime=11.23 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24443/stat : 24443 (java) S 24325 24329 20653 0 -1 1077944384 13460 12282 0 0 966 145 8 4 20 0 20 0 10017765 11259342848 362931 33554432000 4194304 4196468 140728565667440 139901052783760 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24444] ppid=24325 vsize=10995452 CPUtime=11.04 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24444/stat : 24444 (java) S 24325 24329 20653 0 -1 1077944384 13527 12282 0 0 948 144 8 4 20 0 20 0 10017765 11259342848 362931 33554432000 4194304 4196468 140728565667440 139901051730704 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24445] ppid=24325 vsize=10995452 CPUtime=11.22 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24445/stat : 24445 (java) S 24325 24329 20653 0 -1 1077944384 12314 12282 0 0 969 141 8 4 20 0 20 0 10017765 11259342848 362931 33554432000 4194304 4196468 140728565667440 139901050678160 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24446] ppid=24325 vsize=10995452 CPUtime=11.17 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24446/stat : 24446 (java) S 24325 24329 20653 0 -1 1077944384 12489 12282 0 0 959 146 8 4 20 0 20 0 10017765 11259342848 362931 33554432000 4194304 4196468 140728565667440 139901049625104 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24447] ppid=24325 vsize=10995452 CPUtime=11.32 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24447/stat : 24447 (java) S 24325 24329 20653 0 -1 1077944384 9366 12282 0 0 978 142 8 4 20 0 20 0 10017765 11259342848 362931 33554432000 4194304 4196468 140728565667440 139901048572560 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24448] ppid=24325 vsize=10995452 CPUtime=11.18 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24448/stat : 24448 (java) S 24325 24329 20653 0 -1 1077944384 12839 12282 0 0 967 139 8 4 20 0 20 0 10017766 11259342848 362931 33554432000 4194304 4196468 140728565667440 139901047519504 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24449] ppid=24325 vsize=10995452 CPUtime=11.21 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24449/stat : 24449 (java) S 24325 24329 20653 0 -1 1077944384 9027 12282 0 0 972 137 8 4 20 0 20 0 10017766 11259342848 362931 33554432000 4194304 4196468 140728565667440 139901046466960 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24450] ppid=24325 vsize=10995452 CPUtime=4.44 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24450/stat : 24450 (java) S 24325 24329 20653 0 -1 1077944384 20168 12282 0 0 373 59 8 4 20 0 20 0 10017767 11259342848 362931 33554432000 4194304 4196468 140728565667440 139900642941680 139901101226626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24452] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24452/stat : 24452 (java) S 24325 24329 20653 0 -1 1077944384 63 12282 0 0 0 0 8 4 20 0 20 0 10017768 11259342848 362931 33554432000 4194304 4196468 140728565667440 139900641887968 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24453] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24453/stat : 24453 (java) S 24325 24329 20653 0 -1 1077944384 53 12282 0 0 0 0 8 4 20 0 20 0 10017768 11259342848 362931 33554432000 4194304 4196468 140728565667440 139900573705472 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24456] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24456/stat : 24456 (java) S 24325 24329 20653 0 -1 1077944384 1 12282 0 0 0 0 8 4 20 0 20 0 10017771 11259342848 362931 33554432000 4194304 4196468 140728565667440 139900572654032 139901101234075 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24457] ppid=24325 vsize=10995452 CPUtime=6.71 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24457/stat : 24457 (java) S 24325 24329 20653 0 -1 1077944384 40885 12282 0 0 653 6 8 4 20 0 20 0 10017771 11259342848 362931 33554432000 4194304 4196468 140728565667440 139900571601136 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24458] ppid=24325 vsize=10995452 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24458/stat : 24458 (java) S 24325 24329 20653 0 -1 1077944384 35198 12282 0 0 605 9 8 4 20 0 20 0 10017772 11259342848 362931 33554432000 4194304 4196468 140728565667440 139900570548592 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24459] ppid=24325 vsize=10995452 CPUtime=7.24 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24459/stat : 24459 (java) S 24325 24329 20653 0 -1 1077944384 33939 12282 0 0 706 6 8 4 20 0 20 0 10017772 11259342848 362931 33554432000 4194304 4196468 140728565667440 139900569495536 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24460] ppid=24325 vsize=10995452 CPUtime=3.92 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24460/stat : 24460 (java) S 24325 24329 20653 0 -1 1077944384 49518 12282 0 0 373 7 8 4 20 0 20 0 10017772 11259342848 362931 33554432000 4194304 4196468 140728565667440 139900568442992 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24461] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24461/stat : 24461 (java) S 24325 24329 20653 0 -1 1077944384 3 12282 0 0 0 0 8 4 20 0 20 0 10017772 11259342848 362931 33554432000 4194304 4196468 140728565667440 139900567391200 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24462] ppid=24325 vsize=10995452 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24462/stat : 24462 (java) S 24325 24329 20653 0 -1 1077944384 1366 12282 0 0 68 50 8 4 20 0 20 0 10017772 11259342848 362931 33554432000 4194304 4196468 140728565667440 139900566338736 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
Current children cumulated CPU time (s) 2361.73
Current children cumulated vsize (KiB) 10995452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2300.5 s]
/proc/loadavg: 1.50 1.41 1.41 4/284 24823
/proc/meminfo: memFree=30009480/32770624 swapFree=5704/307208
[pid=24329] ppid=24325 vsize=10995452 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/24329/stat : 24329 (java) S 24325 24329 20653 0 -1 1077944320 588898 12282 0 0 238709 1282 8 4 20 0 20 0 10017751 11259342848 376439 33554432000 4194304 4196468 140728565667440 140728565649984 139901101215479 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
/proc/24329/statm: 2748863 376439 3515 1 0 2736418 0
[pid=24329/tid=24433] ppid=24325 vsize=10995452 CPUtime=2281.91 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24433/stat : 24433 (java) R 24325 24329 20653 0 -1 4202560 307782 12282 0 0 228109 70 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901105449552 139900740593727 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24442] ppid=24325 vsize=10995452 CPUtime=11.26 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24442/stat : 24442 (java) S 24325 24329 20653 0 -1 1077944384 14214 12282 0 0 972 142 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901053836304 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24443] ppid=24325 vsize=10995452 CPUtime=11.24 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24443/stat : 24443 (java) S 24325 24329 20653 0 -1 1077944384 13482 12282 0 0 967 145 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901052783760 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24444] ppid=24325 vsize=10995452 CPUtime=11.05 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24444/stat : 24444 (java) S 24325 24329 20653 0 -1 1077944384 13626 12282 0 0 949 144 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901051730704 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24445] ppid=24325 vsize=10995452 CPUtime=11.24 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24445/stat : 24445 (java) S 24325 24329 20653 0 -1 1077944384 12333 12282 0 0 970 142 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901050678160 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24446] ppid=24325 vsize=10995452 CPUtime=11.19 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24446/stat : 24446 (java) S 24325 24329 20653 0 -1 1077944384 12802 12282 0 0 961 146 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901049625104 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24447] ppid=24325 vsize=10995452 CPUtime=11.33 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24447/stat : 24447 (java) S 24325 24329 20653 0 -1 1077944384 9387 12282 0 0 979 142 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901048572560 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24448] ppid=24325 vsize=10995452 CPUtime=11.19 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24448/stat : 24448 (java) S 24325 24329 20653 0 -1 1077944384 12843 12282 0 0 968 139 8 4 20 0 20 0 10017766 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901047519504 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24449] ppid=24325 vsize=10995452 CPUtime=11.23 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24449/stat : 24449 (java) S 24325 24329 20653 0 -1 1077944384 9030 12282 0 0 974 137 8 4 20 0 20 0 10017766 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901046466960 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24450] ppid=24325 vsize=10995452 CPUtime=4.45 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24450/stat : 24450 (java) S 24325 24329 20653 0 -1 1077944384 20232 12282 0 0 374 59 8 4 20 0 20 0 10017767 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900642941680 139901101226626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24452] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24452/stat : 24452 (java) S 24325 24329 20653 0 -1 1077944384 63 12282 0 0 0 0 8 4 20 0 20 0 10017768 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900641887968 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24453] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24453/stat : 24453 (java) S 24325 24329 20653 0 -1 1077944384 53 12282 0 0 0 0 8 4 20 0 20 0 10017768 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900573705472 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24456] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24456/stat : 24456 (java) S 24325 24329 20653 0 -1 1077944384 1 12282 0 0 0 0 8 4 20 0 20 0 10017771 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900572654032 139901101234075 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24457] ppid=24325 vsize=10995452 CPUtime=6.71 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24457/stat : 24457 (java) S 24325 24329 20653 0 -1 1077944384 40887 12282 0 0 653 6 8 4 20 0 20 0 10017771 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900571601136 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24458] ppid=24325 vsize=10995452 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24458/stat : 24458 (java) S 24325 24329 20653 0 -1 1077944384 35200 12282 0 0 606 9 8 4 20 0 20 0 10017772 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900570548592 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24459] ppid=24325 vsize=10995452 CPUtime=7.24 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24459/stat : 24459 (java) S 24325 24329 20653 0 -1 1077944384 33941 12282 0 0 706 6 8 4 20 0 20 0 10017772 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900569495536 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24460] ppid=24325 vsize=10995452 CPUtime=3.92 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24460/stat : 24460 (java) S 24325 24329 20653 0 -1 1077944384 49520 12282 0 0 373 7 8 4 20 0 20 0 10017772 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900568442992 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24461] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24461/stat : 24461 (java) S 24325 24329 20653 0 -1 1077944384 3 12282 0 0 0 0 8 4 20 0 20 0 10017772 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900567391200 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24462] ppid=24325 vsize=10995452 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24462/stat : 24462 (java) S 24325 24329 20653 0 -1 1077944384 1370 12282 0 0 69 50 8 4 20 0 20 0 10017772 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900566338736 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10995452

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24329 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2300.5 s]
/proc/loadavg: 1.50 1.41 1.41 4/284 24823
/proc/meminfo: memFree=30009480/32770624 swapFree=5704/307208
[pid=24329] ppid=24325 vsize=10995452 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/24329/stat : 24329 (java) S 24325 24329 20653 0 -1 1077944320 588898 12282 0 0 238709 1282 8 4 20 0 20 0 10017751 11259342848 376439 33554432000 4194304 4196468 140728565667440 140728565649984 139901101215479 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
/proc/24329/statm: 2748863 376439 3515 1 0 2736418 0
[pid=24329/tid=24433] ppid=24325 vsize=10995452 CPUtime=2281.91 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24433/stat : 24433 (java) R 24325 24329 20653 0 -1 4202560 307782 12282 0 0 228109 70 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901105449552 139900740593727 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24442] ppid=24325 vsize=10995452 CPUtime=11.26 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24442/stat : 24442 (java) S 24325 24329 20653 0 -1 1077944384 14214 12282 0 0 972 142 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901053836304 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24443] ppid=24325 vsize=10995452 CPUtime=11.24 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24443/stat : 24443 (java) S 24325 24329 20653 0 -1 1077944384 13482 12282 0 0 967 145 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901052783760 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24444] ppid=24325 vsize=10995452 CPUtime=11.05 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24444/stat : 24444 (java) S 24325 24329 20653 0 -1 1077944384 13626 12282 0 0 949 144 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901051730704 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24445] ppid=24325 vsize=10995452 CPUtime=11.24 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24445/stat : 24445 (java) S 24325 24329 20653 0 -1 1077944384 12333 12282 0 0 970 142 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901050678160 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24446] ppid=24325 vsize=10995452 CPUtime=11.19 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24446/stat : 24446 (java) S 24325 24329 20653 0 -1 1077944384 12802 12282 0 0 961 146 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901049625104 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24447] ppid=24325 vsize=10995452 CPUtime=11.33 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24447/stat : 24447 (java) S 24325 24329 20653 0 -1 1077944384 9387 12282 0 0 979 142 8 4 20 0 20 0 10017765 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901048572560 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24448] ppid=24325 vsize=10995452 CPUtime=11.19 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24448/stat : 24448 (java) S 24325 24329 20653 0 -1 1077944384 12843 12282 0 0 968 139 8 4 20 0 20 0 10017766 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901047519504 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24449] ppid=24325 vsize=10995452 CPUtime=11.23 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24449/stat : 24449 (java) S 24325 24329 20653 0 -1 1077944384 9030 12282 0 0 974 137 8 4 20 0 20 0 10017766 11259342848 376439 33554432000 4194304 4196468 140728565667440 139901046466960 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24450] ppid=24325 vsize=10995452 CPUtime=4.45 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24450/stat : 24450 (java) S 24325 24329 20653 0 -1 1077944384 20232 12282 0 0 374 59 8 4 20 0 20 0 10017767 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900642941680 139901101226626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24452] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24452/stat : 24452 (java) S 24325 24329 20653 0 -1 1077944384 63 12282 0 0 0 0 8 4 20 0 20 0 10017768 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900641887968 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24453] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24453/stat : 24453 (java) S 24325 24329 20653 0 -1 1077944384 53 12282 0 0 0 0 8 4 20 0 20 0 10017768 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900573705472 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24456] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24456/stat : 24456 (java) S 24325 24329 20653 0 -1 1077944384 1 12282 0 0 0 0 8 4 20 0 20 0 10017771 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900572654032 139901101234075 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24457] ppid=24325 vsize=10995452 CPUtime=6.71 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24457/stat : 24457 (java) S 24325 24329 20653 0 -1 1077944384 40887 12282 0 0 653 6 8 4 20 0 20 0 10017771 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900571601136 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24458] ppid=24325 vsize=10995452 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24458/stat : 24458 (java) S 24325 24329 20653 0 -1 1077944384 35200 12282 0 0 606 9 8 4 20 0 20 0 10017772 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900570548592 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24459] ppid=24325 vsize=10995452 CPUtime=7.24 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24459/stat : 24459 (java) S 24325 24329 20653 0 -1 1077944384 33941 12282 0 0 706 6 8 4 20 0 20 0 10017772 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900569495536 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24460] ppid=24325 vsize=10995452 CPUtime=3.92 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24460/stat : 24460 (java) S 24325 24329 20653 0 -1 1077944384 49520 12282 0 0 373 7 8 4 20 0 20 0 10017772 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900568442992 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24461] ppid=24325 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24461/stat : 24461 (java) S 24325 24329 20653 0 -1 1077944384 3 12282 0 0 0 0 8 4 20 0 20 0 10017772 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900567391200 139901101225685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
[pid=24329/tid=24462] ppid=24325 vsize=10995452 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/24329/task/24462/stat : 24462 (java) S 24325 24329 20653 0 -1 1077944384 1370 12282 0 0 69 50 8 4 20 0 20 0 10017772 11259342848 376439 33554432000 4194304 4196468 140728565667440 139900566338736 139901101226626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140728565672641 140728565675415 140728565675415 140728565678031 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10995452

Child status: 143
Real time (s): 2300.55
CPU time (s): 2400.1
CPU user time (s): 2387.21
CPU system time (s): 12.8869
CPU usage (%): 104.327
Max. virtual memory (cumulated for all children) (KiB): 10997568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.21
system time used= 12.8869
maximum resident set size= 2272500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 602819
page faults= 0
swaps= 0
block input operations= 4712
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195873
involuntary context switches= 156295

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5608 second user time and 16.1403 second system time

The end

Launcher Data 

Begin job on node134 at 2017-07-22 20:18:25
IDJOB=4248553
IDBENCH=133715
IDSOLVER=2630
FILE ID=node134/4248553-1500747505
RUNJOBID= node134-1500747505-24291
PBS_JOBID= 20623359
Free space on /tmp= 62004 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r2.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248553-1500747505/watcher-4248553-1500747505 -o /tmp/evaluation-result-4248553-1500747505/solver-4248553-1500747505 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500747505-24291 --watchdog 2560  bin/concrete HOME/instance-4248553-1500747505.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 1feceec156c21411e87c939d9e284415
RANDOM SEED=2046149208

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

/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		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.84
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		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.84
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.84
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.84
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31689336 kB
MemAvailable:   32000544 kB
Buffers:          149080 kB
Cached:           441864 kB
SwapCached:            0 kB
Active:           329876 kB
Inactive:         313176 kB
Active(anon):      55088 kB
Inactive(anon):     8856 kB
Active(file):     274788 kB
Inactive(file):   304320 kB
Unevictable:        5704 kB
Mlocked:            5704 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             49092 kB
Writeback:             0 kB
AnonPages:         57320 kB
Mapped:            31112 kB
Shmem:              8872 kB
Slab:             129376 kB
SReclaimable:      95872 kB
SUnreclaim:        33504 kB
KernelStack:        4160 kB
PageTables:         5212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61960 MiB
End job on node134 at 2017-07-22 20:56:46