Trace number 4248518

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)28 2400.15 2299.35

General information on the benchmark

NameBusScheduling/BusScheduling-cnt-s1/
BusScheduling-cnt-r4.xml
MD5SUMf67f1c0e82ebca3fffd47008cd4871f3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark20038.4
Satisfiable
(Un)Satisfiability was proved
Number of variables2484
Number of constraints203
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2484}]
Minimum variable degree4
Maximum variable degree14
Distribution of variable degrees[{"degree":4,"count":6},{"degree":5,"count":90},{"degree":6,"count":297},{"degree":7,"count":531},{"degree":8,"count":745},{"degree":9,"count":548},{"degree":10,"count":188},{"degree":11,"count":19},{"degree":12,"count":33},{"degree":13,"count":25},{"degree":14,"count":2}]
Minimum constraint arity6
Maximum constraint arity211
Distribution of constraint arities[{"arity":6,"count":3},{"arity":10,"count":4},{"arity":16,"count":2},{"arity":23,"count":1},{"arity":25,"count":2},{"arity":29,"count":2},{"arity":35,"count":3},{"arity":38,"count":3},{"arity":39,"count":3},{"arity":41,"count":1},{"arity":44,"count":2},{"arity":45,"count":1},{"arity":46,"count":5},{"arity":47,"count":4},{"arity":48,"count":5},{"arity":49,"count":4},{"arity":50,"count":4},{"arity":52,"count":1},{"arity":54,"count":5},{"arity":55,"count":2},{"arity":56,"count":2},{"arity":57,"count":2},{"arity":60,"count":2},{"arity":61,"count":1},{"arity":62,"count":2},"...",{"arity":118,"count":2}, {"arity":119,"count":1}, {"arity":121,"count":1}, {"arity":122,"count":1}, {"arity":123,"count":1}, {"arity":125,"count":2}, {"arity":130,"count":4}, {"arity":131,"count":3}, {"arity":133,"count":3}, {"arity":135,"count":1}, {"arity":136,"count":1}, {"arity":138,"count":1}, {"arity":139,"count":1}, {"arity":140,"count":2}, {"arity":143,"count":1}, {"arity":145,"count":2}, {"arity":146,"count":1}, {"arity":147,"count":1}, {"arity":153,"count":2}, {"arity":154,"count":1}, {"arity":158,"count":1}, {"arity":162,"count":1}, {"arity":175,"count":1}, {"arity":192,"count":1}, {"arity":211,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":203}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

3.68/2.12	c Concrete v3.4 running
16.51/5.39	o 28
2400.08/2299.31	java.util.concurrent.TimeoutException
2400.08/2299.31		at concrete.MAC.mac(MAC.scala:74)
2400.08/2299.31		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.08/2299.31		at scala.util.Try$.apply(Try.scala:209)
2400.08/2299.31		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.08/2299.31		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.08/2299.31		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.08/2299.31		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.08/2299.31		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.08/2299.31		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.08/2299.31		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.08/2299.31		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.08/2299.31		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.08/2299.31		at concrete.MAC.oneRun(MAC.scala:146)
2400.08/2299.31		at concrete.MAC.nextSolution(MAC.scala:166)
2400.08/2299.31		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.08/2299.31		at concrete.ProblemState.map(ProblemState.scala:203)
2400.08/2299.31		at concrete.ProblemState.map(ProblemState.scala:188)
2400.08/2299.31		at concrete.MAC.nextSolution(MAC.scala:195)
2400.08/2299.31		at concrete.Solver.hasNext(Solver.scala:202)
2400.08/2299.31		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.08/2299.31		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.08/2299.31		at concrete.Solver.toStream(Solver.scala:73)
2400.08/2299.31		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.08/2299.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.08/2299.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.08/2299.31		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.08/2299.31		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.08/2299.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.08/2299.31		at scala.util.Success.map(Try.scala:209)
2400.08/2299.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.08/2299.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.08/2299.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.08/2299.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.08/2299.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.08/2299.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.08/2299.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.08/2299.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.08/2299.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.08/2299.31		at scala.collection.immutable.List.foreach(List.scala:389)
2400.08/2299.31		at scala.App.main(App.scala:76)
2400.08/2299.31		at scala.App.main$(App.scala:74)
2400.08/2299.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.08/2299.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.08/2299.31	v <instantiation cost="28">
2400.08/2299.31	v       <list>
2400.08/2299.31	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]
2400.08/2299.32	v       </list>
2400.08/2299.32	v       <values>
2400.08/2299.32	v         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 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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
2400.08/2299.32	v       </values>
2400.08/2299.32	v     </instantiation>
2400.08/2299.32	s SATISFIABLE

Verifier Data 

OK	28

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-4248518-1500797267/watcher-4248518-1500797267 -o /tmp/evaluation-result-4248518-1500797267/solver-4248518-1500797267 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500797267-27527 --watchdog 2560 bin/concrete HOME/instance-4248518-1500797267.xml 

pid=27556
running on 8 cores: 1,3,5,7,9,11,13,15

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: 1.06 1.43 1.38 3/242 27562
/proc/meminfo: memFree=30696792/32770624 swapFree=5776/916492
[pid=27562] ppid=27556 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27562/stat : 27562 (bash) S 27556 27562 27223 0 -1 4202496 686 1534 0 0 0 0 0 0 20 0 1 0 14994378 9736192 350 33554432000 4194304 5098028 140723802107456 140723802105096 139624307661824 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 26963968 140723802113294 140723802113379 140723802113379 140723802116078 0
/proc/27562/statm: 2377 350 277 221 0 86 0

[startup+0.100141 s]
/proc/loadavg: 1.06 1.43 1.38 3/242 27562
/proc/meminfo: memFree=30696792/32770624 swapFree=5776/916492
[pid=27562] ppid=27556 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/27562/stat : 27562 (bash) S 27556 27562 27223 0 -1 4202496 880 6421 0 0 0 0 0 1 20 0 1 0 14994378 9871360 378 33554432000 4194304 5098028 140723802107456 140723802101464 139624307661824 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 26963968 140723802113294 140723802113379 140723802113379 140723802116078 0
/proc/27562/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200405 s]
/proc/loadavg: 1.06 1.43 1.38 3/242 27562
/proc/meminfo: memFree=30696792/32770624 swapFree=5776/916492
[pid=27562] ppid=27556 vsize=10768680 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/27562/stat : 27562 (java) S 27556 27562 27223 0 -1 1077944320 5341 12432 0 0 6 1 8 3 20 0 18 0 14994378 11027128320 6181 33554432000 4194304 4196468 140733460657904 140733460640448 139818964492023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
/proc/27562/statm: 2692170 6181 2536 1 0 2680608 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10768680

[startup+0.300335 s]
/proc/loadavg: 1.06 1.43 1.38 3/242 27562
/proc/meminfo: memFree=30696792/32770624 swapFree=5776/916492
[pid=27562] ppid=27556 vsize=10902292 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/27562/stat : 27562 (java) S 27556 27562 27223 0 -1 1077944320 8830 12432 0 0 22 3 8 3 20 0 20 0 14994378 11163947008 10423 33554432000 4194304 4196468 140733460657904 140733460640448 139818964492023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
/proc/27562/statm: 2725573 10423 2985 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292

[startup+0.700221 s]
/proc/loadavg: 1.06 1.43 1.38 3/242 27562
/proc/meminfo: memFree=30696792/32770624 swapFree=5776/916492
[pid=27562] ppid=27556 vsize=10902720 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/27562/stat : 27562 (java) S 27556 27562 27223 0 -1 1077944320 12933 12432 0 0 83 5 8 3 20 0 20 0 14994378 11164385280 16744 33554432000 4194304 4196468 140733460657904 140733460640448 139818964492023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
/proc/27562/statm: 2725680 16744 3232 1 0 2713890 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10902720

[startup+1.50076 s]
/proc/loadavg: 1.06 1.43 1.38 6/281 27701
/proc/meminfo: memFree=30477864/32770624 swapFree=5776/916512
[pid=27562] ppid=27556 vsize=10915392 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/27562/stat : 27562 (java) S 27556 27562 27223 0 -1 1077944320 25989 12432 0 0 204 14 8 3 20 0 20 0 14994378 11177361408 45733 33554432000 4194304 4196468 140733460657904 140733460640448 139818964492023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
/proc/27562/statm: 2728848 45733 3407 1 0 2716962 0
[pid=27562/tid=27673] ppid=27556 vsize=10915392 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27673/stat : 27673 (java) R 27556 27562 27223 0 -1 4202560 18687 12432 0 0 126 5 8 3 20 0 20 0 14994391 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818968719424 139818964503958 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27674] ppid=27556 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27674/stat : 27674 (java) S 27556 27562 27223 0 -1 1077944384 13 12432 0 0 0 0 8 3 20 0 20 0 14994392 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818906495888 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27675] ppid=27556 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27675/stat : 27675 (java) S 27556 27562 27223 0 -1 1077944384 7 12432 0 0 0 0 8 3 20 0 20 0 14994392 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818905443088 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27676] ppid=27556 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27676/stat : 27676 (java) S 27556 27562 27223 0 -1 1077944384 18 12432 0 0 0 0 8 3 20 0 20 0 14994392 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818904390800 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27677] ppid=27556 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27677/stat : 27677 (java) S 27556 27562 27223 0 -1 1077944384 27 12432 0 0 0 0 8 3 20 0 20 0 14994392 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818903338000 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27678] ppid=27556 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27678/stat : 27678 (java) S 27556 27562 27223 0 -1 1077944384 46 12432 0 0 1 0 8 3 20 0 20 0 14994392 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818567522704 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27679] ppid=27556 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27679/stat : 27679 (java) S 27556 27562 27223 0 -1 1077944384 129 12432 0 0 1 0 8 3 20 0 20 0 14994392 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818566469904 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27680] ppid=27556 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27680/stat : 27680 (java) S 27556 27562 27223 0 -1 1077944384 19 12432 0 0 1 0 8 3 20 0 20 0 14994392 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818565417616 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27681] ppid=27556 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27681/stat : 27681 (java) S 27556 27562 27223 0 -1 1077944384 11 12432 0 0 1 0 8 3 20 0 20 0 14994392 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818564364816 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27685] ppid=27556 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27685/stat : 27685 (java) S 27556 27562 27223 0 -1 1077944384 645 12432 0 0 1 0 8 3 20 0 20 0 14994394 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818506242672 139818964503170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27686] ppid=27556 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27686/stat : 27686 (java) S 27556 27562 27223 0 -1 1077944384 34 12432 0 0 0 0 8 3 20 0 20 0 14994394 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818505188704 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27687] ppid=27556 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27687/stat : 27687 (java) S 27556 27562 27223 0 -1 1077944384 23 12432 0 0 0 0 8 3 20 0 20 0 14994395 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818504136320 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27695] ppid=27556 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27695/stat : 27695 (java) S 27556 27562 27223 0 -1 1077944384 1 12432 0 0 0 0 8 3 20 0 20 0 14994398 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818503084624 139818964510619 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27696] ppid=27556 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27696/stat : 27696 (java) S 27556 27562 27223 0 -1 1077944384 1060 12432 0 0 13 0 8 3 20 0 20 0 14994398 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818502031472 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27697] ppid=27556 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27697/stat : 27697 (java) R 27556 27562 27223 0 -1 4202560 607 12432 0 0 13 0 8 3 20 0 20 0 14994398 11177361408 45733 33554432000 4194304 4196468 140733460657904 139818500978672 139818964503170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27698] ppid=27556 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27698/stat : 27698 (java) S 27556 27562 27223 0 -1 1077944384 1180 12432 0 0 13 0 8 3 20 0 20 0 14994398 11177361408 45733 33554432000 4194304 4196468 140733460657904 139817640782192 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27699] ppid=27556 vsize=10915392 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27699/stat : 27699 (java) R 27556 27562 27223 0 -1 4202560 1346 12432 0 0 26 1 8 3 20 0 20 0 14994398 11177361408 45733 33554432000 4194304 4196468 140733460657904 139817639729392 139818964513370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27700] ppid=27556 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27700/stat : 27700 (java) S 27556 27562 27223 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 20 0 14994399 11177361408 45733 33554432000 4194304 4196468 140733460657904 139817638677344 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27701] ppid=27556 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27701/stat : 27701 (java) S 27556 27562 27223 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 20 0 14994399 11177361408 45733 33554432000 4194304 4196468 140733460657904 139817637624624 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10915392

[startup+3.10116 s]
/proc/loadavg: 1.06 1.42 1.38 7/281 27701
/proc/meminfo: memFree=30334984/32770624 swapFree=5776/916544
[pid=27562] ppid=27556 vsize=10925820 CPUtime=7.07 cores=1,3,5,7,9,11,13,15
/proc/27562/stat : 27562 (java) S 27556 27562 27223 0 -1 1077944320 36861 12432 0 0 676 20 8 3 20 0 20 0 14994378 11188039680 62781 33554432000 4194304 4196468 140733460657904 140733460640448 139818964492023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
/proc/27562/statm: 2731455 62781 3478 1 0 2719010 0
[pid=27562/tid=27673] ppid=27556 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27673/stat : 27673 (java) R 27556 27562 27223 0 -1 4202560 24554 12432 0 0 282 8 8 3 20 0 20 0 14994391 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818968720120 139818583490803 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27674] ppid=27556 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27674/stat : 27674 (java) S 27556 27562 27223 0 -1 1077944384 13 12432 0 0 0 0 8 3 20 0 20 0 14994392 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818906495888 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27675] ppid=27556 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27675/stat : 27675 (java) S 27556 27562 27223 0 -1 1077944384 7 12432 0 0 0 0 8 3 20 0 20 0 14994392 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818905443088 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27676] ppid=27556 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27676/stat : 27676 (java) S 27556 27562 27223 0 -1 1077944384 18 12432 0 0 0 0 8 3 20 0 20 0 14994392 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818904390800 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27677] ppid=27556 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27677/stat : 27677 (java) S 27556 27562 27223 0 -1 1077944384 27 12432 0 0 0 0 8 3 20 0 20 0 14994392 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818903338000 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27678] ppid=27556 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27678/stat : 27678 (java) S 27556 27562 27223 0 -1 1077944384 46 12432 0 0 1 0 8 3 20 0 20 0 14994392 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818567522704 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27679] ppid=27556 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27679/stat : 27679 (java) S 27556 27562 27223 0 -1 1077944384 129 12432 0 0 1 0 8 3 20 0 20 0 14994392 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818566469904 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27680] ppid=27556 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27680/stat : 27680 (java) S 27556 27562 27223 0 -1 1077944384 19 12432 0 0 1 0 8 3 20 0 20 0 14994392 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818565417616 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27681] ppid=27556 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27681/stat : 27681 (java) S 27556 27562 27223 0 -1 1077944384 11 12432 0 0 1 0 8 3 20 0 20 0 14994392 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818564364816 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27685] ppid=27556 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27685/stat : 27685 (java) S 27556 27562 27223 0 -1 1077944384 980 12432 0 0 2 0 8 3 20 0 20 0 14994394 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818506242672 139818964503170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27686] ppid=27556 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27686/stat : 27686 (java) S 27556 27562 27223 0 -1 1077944384 34 12432 0 0 0 0 8 3 20 0 20 0 14994394 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818505188704 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27687] ppid=27556 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27687/stat : 27687 (java) S 27556 27562 27223 0 -1 1077944384 23 12432 0 0 0 0 8 3 20 0 20 0 14994395 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818504136320 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27695] ppid=27556 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27695/stat : 27695 (java) S 27556 27562 27223 0 -1 1077944384 1 12432 0 0 0 0 8 3 20 0 20 0 14994398 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818503084624 139818964510619 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27696] ppid=27556 vsize=10925820 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27696/stat : 27696 (java) R 27556 27562 27223 0 -1 4202560 2057 12432 0 0 94 1 8 3 20 0 20 0 14994398 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818502020120 139818964513370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27697] ppid=27556 vsize=10925820 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27697/stat : 27697 (java) R 27556 27562 27223 0 -1 4202560 1409 12432 0 0 85 1 8 3 20 0 20 0 14994398 11188039680 62781 33554432000 4194304 4196468 140733460657904 139818500964848 139818964513370 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27698] ppid=27556 vsize=10925820 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27698/stat : 27698 (java) R 27556 27562 27223 0 -1 4202560 1949 12432 0 0 89 0 8 3 20 0 20 0 14994398 11188039680 62781 33554432000 4194304 4196468 140733460657904 139817640773648 139818964513370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27699] ppid=27556 vsize=10925820 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27699/stat : 27699 (java) R 27556 27562 27223 0 -1 4202560 3447 12432 0 0 113 2 8 3 20 0 20 0 14994398 11188039680 62781 33554432000 4194304 4196468 140733460657904 139817639722944 139818943361216 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27700] ppid=27556 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27700/stat : 27700 (java) S 27556 27562 27223 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 20 0 14994399 11188039680 62781 33554432000 4194304 4196468 140733460657904 139817638677344 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27701] ppid=27556 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27701/stat : 27701 (java) S 27556 27562 27223 0 -1 1077944384 4 12432 0 0 0 0 8 3 20 0 20 0 14994399 11188039680 62781 33554432000 4194304 4196468 140733460657904 139817637624624 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 10925820

[startup+6.30111 s]
/proc/loadavg: 1.06 1.42 1.38 9/281 27701
/proc/meminfo: memFree=29907812/32770624 swapFree=5776/916544
[pid=27562] ppid=27556 vsize=10995452 CPUtime=17.94 cores=1,3,5,7,9,11,13,15
/proc/27562/stat : 27562 (java) S 27556 27562 27223 0 -1 1077944320 67674 12432 0 0 1744 39 8 3 20 0 20 0 14994378 11259342848 103812 33554432000 4194304 4196468 140733460657904 140733460640448 139818964492023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
/proc/27562/statm: 2748863 103812 3510 1 0 2736418 0
[pid=27562/tid=27673] ppid=27556 vsize=10995452 CPUtime=5.71 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27673/stat : 27673 (java) R 27556 27562 27223 0 -1 4202560 42365 12432 0 0 549 11 8 3 20 0 20 0 14994391 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818968722920 139818599701533 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27674] ppid=27556 vsize=10995452 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27674/stat : 27674 (java) S 27556 27562 27223 0 -1 1077944384 73 12432 0 0 34 2 8 3 20 0 20 0 14994392 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818906495888 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27675] ppid=27556 vsize=10995452 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27675/stat : 27675 (java) S 27556 27562 27223 0 -1 1077944384 47 12432 0 0 34 1 8 3 20 0 20 0 14994392 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818905443088 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27676] ppid=27556 vsize=10995452 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27676/stat : 27676 (java) S 27556 27562 27223 0 -1 1077944384 216 12432 0 0 34 2 8 3 20 0 20 0 14994392 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818904390800 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27677] ppid=27556 vsize=10995452 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27677/stat : 27677 (java) S 27556 27562 27223 0 -1 1077944384 59 12432 0 0 34 1 8 3 20 0 20 0 14994392 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818903338000 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27678] ppid=27556 vsize=10995452 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27678/stat : 27678 (java) S 27556 27562 27223 0 -1 1077944384 101 12432 0 0 36 1 8 3 20 0 20 0 14994392 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818567522704 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27679] ppid=27556 vsize=10995452 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27679/stat : 27679 (java) S 27556 27562 27223 0 -1 1077944384 194 12432 0 0 33 2 8 3 20 0 20 0 14994392 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818566469904 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27680] ppid=27556 vsize=10995452 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27680/stat : 27680 (java) S 27556 27562 27223 0 -1 1077944384 84 12432 0 0 35 2 8 3 20 0 20 0 14994392 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818565417616 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27681] ppid=27556 vsize=10995452 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27681/stat : 27681 (java) S 27556 27562 27223 0 -1 1077944384 40 12432 0 0 33 2 8 3 20 0 20 0 14994392 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818564364816 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27685] ppid=27556 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27685/stat : 27685 (java) S 27556 27562 27223 0 -1 1077944384 2446 12432 0 0 13 0 8 3 20 0 20 0 14994394 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818506242672 139818964503170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27686] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27686/stat : 27686 (java) S 27556 27562 27223 0 -1 1077944384 39 12432 0 0 0 0 8 3 20 0 20 0 14994394 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818505188704 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27687] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27687/stat : 27687 (java) S 27556 27562 27223 0 -1 1077944384 46 12432 0 0 0 0 8 3 20 0 20 0 14994395 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818504136320 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27695] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27695/stat : 27695 (java) S 27556 27562 27223 0 -1 1077944384 1 12432 0 0 0 0 8 3 20 0 20 0 14994398 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818503084624 139818964510619 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27696] ppid=27556 vsize=10995452 CPUtime=2.62 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27696/stat : 27696 (java) S 27556 27562 27223 0 -1 1077944384 5825 12432 0 0 249 2 8 3 20 0 20 0 14994398 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818502031472 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27697] ppid=27556 vsize=10995452 CPUtime=2.52 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27697/stat : 27697 (java) S 27556 27562 27223 0 -1 1077944384 6358 12432 0 0 239 2 8 3 20 0 20 0 14994398 11259342848 103812 33554432000 4194304 4196468 140733460657904 139818500978672 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27698] ppid=27556 vsize=10995452 CPUtime=2.38 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27698/stat : 27698 (java) S 27556 27562 27223 0 -1 1077944384 2724 12432 0 0 226 1 8 3 20 0 20 0 14994398 11259342848 103812 33554432000 4194304 4196468 140733460657904 139817640782192 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27699] ppid=27556 vsize=10995452 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27699/stat : 27699 (java) S 27556 27562 27223 0 -1 1077944384 4915 12432 0 0 185 3 8 3 20 0 20 0 14994398 11259342848 103812 33554432000 4194304 4196468 140733460657904 139817639729392 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27700] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15

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

[pid=27562/tid=27697] ppid=27556 vsize=10995452 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27697/stat : 27697 (java) S 27556 27562 27223 0 -1 1077944384 39689 12432 0 0 575 8 8 3 20 0 20 0 14994398 11259342848 180629 33554432000 4194304 4196468 140733460657904 139818500978672 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27698] ppid=27556 vsize=10995452 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27698/stat : 27698 (java) S 27556 27562 27223 0 -1 1077944384 36817 12432 0 0 566 7 8 3 20 0 20 0 14994398 11259342848 180629 33554432000 4194304 4196468 140733460657904 139817640782192 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27699] ppid=27556 vsize=10995452 CPUtime=3.96 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27699/stat : 27699 (java) S 27556 27562 27223 0 -1 1077944384 58106 12432 0 0 374 11 8 3 20 0 20 0 14994398 11259342848 180629 33554432000 4194304 4196468 140733460657904 139817639729392 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27700] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27700/stat : 27700 (java) S 27556 27562 27223 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 20 0 14994399 11259342848 180629 33554432000 4194304 4196468 140733460657904 139817638677344 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27701] ppid=27556 vsize=10995452 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27701/stat : 27701 (java) S 27556 27562 27223 0 -1 1077944384 1118 12432 0 0 57 54 8 3 20 0 20 0 14994399 11259342848 180629 33554432000 4194304 4196468 140733460657904 139817637624624 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
Current children cumulated CPU time (s) 2299.36
Current children cumulated vsize (KiB) 10995452

[startup+2262.3 s]
/proc/loadavg: 1.47 1.60 1.62 3/281 27795
/proc/meminfo: memFree=26487744/32770624 swapFree=5776/917828
[pid=27562] ppid=27556 vsize=10995452 CPUtime=2361.61 cores=1,3,5,7,9,11,13,15
/proc/27562/stat : 27562 (java) S 27556 27562 27223 0 -1 1077944320 485717 12432 0 0 235140 1010 8 3 20 0 20 0 14994378 11259342848 174170 33554432000 4194304 4196468 140733460657904 140733460640448 139818964492023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
/proc/27562/statm: 2748863 174170 3514 1 0 2736418 0
[pid=27562/tid=27673] ppid=27556 vsize=10995452 CPUtime=2240.46 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27673/stat : 27673 (java) R 27556 27562 27223 0 -1 4202560 197010 12432 0 0 223980 55 8 3 20 0 20 0 14994391 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818968726352 139818600017209 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27674] ppid=27556 vsize=10995452 CPUtime=11.65 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27674/stat : 27674 (java) S 27556 27562 27223 0 -1 1077944384 10309 12432 0 0 1045 109 8 3 20 0 20 0 14994392 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818906495888 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27675] ppid=27556 vsize=10995452 CPUtime=11.68 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27675/stat : 27675 (java) S 27556 27562 27223 0 -1 1077944384 15639 12432 0 0 1048 109 8 3 20 0 20 0 14994392 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818905443088 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27676] ppid=27556 vsize=10995452 CPUtime=11.59 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27676/stat : 27676 (java) S 27556 27562 27223 0 -1 1077944384 10882 12432 0 0 1040 108 8 3 20 0 20 0 14994392 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818904390800 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27677] ppid=27556 vsize=10995452 CPUtime=11.58 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27677/stat : 27677 (java) S 27556 27562 27223 0 -1 1077944384 11252 12432 0 0 1037 110 8 3 20 0 20 0 14994392 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818903338000 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27678] ppid=27556 vsize=10995452 CPUtime=11.67 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27678/stat : 27678 (java) S 27556 27562 27223 0 -1 1077944384 10271 12432 0 0 1051 105 8 3 20 0 20 0 14994392 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818567522704 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27679] ppid=27556 vsize=10995452 CPUtime=11.7 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27679/stat : 27679 (java) S 27556 27562 27223 0 -1 1077944384 13906 12432 0 0 1055 104 8 3 20 0 20 0 14994392 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818566469904 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27680] ppid=27556 vsize=10995452 CPUtime=11.62 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27680/stat : 27680 (java) S 27556 27562 27223 0 -1 1077944384 15633 12432 0 0 1044 107 8 3 20 0 20 0 14994392 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818565417616 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27681] ppid=27556 vsize=10995452 CPUtime=11.57 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27681/stat : 27681 (java) S 27556 27562 27223 0 -1 1077944384 12542 12432 0 0 1045 101 8 3 20 0 20 0 14994392 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818564364816 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27685] ppid=27556 vsize=10995452 CPUtime=6.3 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27685/stat : 27685 (java) S 27556 27562 27223 0 -1 1077944384 14426 12432 0 0 548 71 8 3 20 0 20 0 14994394 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818506242672 139818964503170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27686] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27686/stat : 27686 (java) S 27556 27562 27223 0 -1 1077944384 39 12432 0 0 0 0 8 3 20 0 20 0 14994394 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818505188704 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27687] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27687/stat : 27687 (java) S 27556 27562 27223 0 -1 1077944384 46 12432 0 0 0 0 8 3 20 0 20 0 14994395 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818504136320 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27695] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27695/stat : 27695 (java) S 27556 27562 27223 0 -1 1077944384 1 12432 0 0 0 0 8 3 20 0 20 0 14994398 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818503084624 139818964510619 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27696] ppid=27556 vsize=10995452 CPUtime=6.17 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27696/stat : 27696 (java) S 27556 27562 27223 0 -1 1077944384 35882 12432 0 0 599 7 8 3 20 0 20 0 14994398 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818502031472 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27697] ppid=27556 vsize=10995452 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27697/stat : 27697 (java) S 27556 27562 27223 0 -1 1077944384 39691 12432 0 0 575 8 8 3 20 0 20 0 14994398 11259342848 174170 33554432000 4194304 4196468 140733460657904 139818500978672 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27698] ppid=27556 vsize=10995452 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27698/stat : 27698 (java) S 27556 27562 27223 0 -1 1077944384 36819 12432 0 0 566 7 8 3 20 0 20 0 14994398 11259342848 174170 33554432000 4194304 4196468 140733460657904 139817640782192 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27699] ppid=27556 vsize=10995452 CPUtime=3.96 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27699/stat : 27699 (java) S 27556 27562 27223 0 -1 1077944384 58108 12432 0 0 374 11 8 3 20 0 20 0 14994398 11259342848 174170 33554432000 4194304 4196468 140733460657904 139817639729392 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27700] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27700/stat : 27700 (java) S 27556 27562 27223 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 20 0 14994399 11259342848 174170 33554432000 4194304 4196468 140733460657904 139817638677344 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27701] ppid=27556 vsize=10995452 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27701/stat : 27701 (java) S 27556 27562 27223 0 -1 1077944384 1128 12432 0 0 58 56 8 3 20 0 20 0 14994399 11259342848 174170 33554432000 4194304 4196468 140733460657904 139817637624624 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
Current children cumulated CPU time (s) 2361.61
Current children cumulated vsize (KiB) 10995452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2299.3 s]
/proc/loadavg: 1.65 1.63 1.63 2/255 27849
/proc/meminfo: memFree=30029240/32770624 swapFree=5776/917844
[pid=27562] ppid=27556 vsize=10995452 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/27562/stat : 27562 (java) S 27556 27562 27223 0 -1 1077944320 498401 12432 0 0 238978 1019 8 3 20 0 20 0 14994378 11259342848 174282 33554432000 4194304 4196468 140733460657904 140733460640448 139818964492023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
/proc/27562/statm: 2748863 174282 3514 1 0 2736418 0
[pid=27562/tid=27673] ppid=27556 vsize=10995452 CPUtime=2277.07 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27673/stat : 27673 (java) R 27556 27562 27223 0 -1 4202560 208268 12432 0 0 227639 57 8 3 20 0 20 0 14994391 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818968726336 139818584577751 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27674] ppid=27556 vsize=10995452 CPUtime=11.86 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27674/stat : 27674 (java) S 27556 27562 27223 0 -1 1077944384 10360 12432 0 0 1065 110 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818906495888 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27675] ppid=27556 vsize=10995452 CPUtime=11.9 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27675/stat : 27675 (java) S 27556 27562 27223 0 -1 1077944384 15682 12432 0 0 1070 109 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818905443088 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27676] ppid=27556 vsize=10995452 CPUtime=11.79 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27676/stat : 27676 (java) S 27556 27562 27223 0 -1 1077944384 10910 12432 0 0 1059 109 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818904390800 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27677] ppid=27556 vsize=10995452 CPUtime=11.79 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27677/stat : 27677 (java) S 27556 27562 27223 0 -1 1077944384 12288 12432 0 0 1057 111 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818903338000 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27678] ppid=27556 vsize=10995452 CPUtime=11.88 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27678/stat : 27678 (java) S 27556 27562 27223 0 -1 1077944384 10302 12432 0 0 1072 105 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818567522704 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27679] ppid=27556 vsize=10995452 CPUtime=11.93 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27679/stat : 27679 (java) S 27556 27562 27223 0 -1 1077944384 13943 12432 0 0 1077 105 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818566469904 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27680] ppid=27556 vsize=10995452 CPUtime=11.86 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27680/stat : 27680 (java) S 27556 27562 27223 0 -1 1077944384 15674 12432 0 0 1067 108 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818565417616 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27681] ppid=27556 vsize=10995452 CPUtime=11.8 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27681/stat : 27681 (java) S 27556 27562 27223 0 -1 1077944384 12622 12432 0 0 1068 101 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818564364816 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27685] ppid=27556 vsize=10995452 CPUtime=6.39 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27685/stat : 27685 (java) S 27556 27562 27223 0 -1 1077944384 14497 12432 0 0 556 72 8 3 20 0 20 0 14994394 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818506242672 139818964503170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27686] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27686/stat : 27686 (java) S 27556 27562 27223 0 -1 1077944384 39 12432 0 0 0 0 8 3 20 0 20 0 14994394 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818505188704 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27687] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27687/stat : 27687 (java) S 27556 27562 27223 0 -1 1077944384 46 12432 0 0 0 0 8 3 20 0 20 0 14994395 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818504136320 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27695] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27695/stat : 27695 (java) S 27556 27562 27223 0 -1 1077944384 1 12432 0 0 0 0 8 3 20 0 20 0 14994398 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818503084624 139818964510619 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27696] ppid=27556 vsize=10995452 CPUtime=6.17 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27696/stat : 27696 (java) S 27556 27562 27223 0 -1 1077944384 35882 12432 0 0 599 7 8 3 20 0 20 0 14994398 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818502031472 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27697] ppid=27556 vsize=10995452 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27697/stat : 27697 (java) S 27556 27562 27223 0 -1 1077944384 39691 12432 0 0 575 8 8 3 20 0 20 0 14994398 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818500978672 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27698] ppid=27556 vsize=10995452 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27698/stat : 27698 (java) S 27556 27562 27223 0 -1 1077944384 36821 12432 0 0 566 7 8 3 20 0 20 0 14994398 11259342848 174282 33554432000 4194304 4196468 140733460657904 139817640782192 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27699] ppid=27556 vsize=10995452 CPUtime=3.96 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27699/stat : 27699 (java) S 27556 27562 27223 0 -1 1077944384 58110 12432 0 0 374 11 8 3 20 0 20 0 14994398 11259342848 174282 33554432000 4194304 4196468 140733460657904 139817639729392 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27700] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27700/stat : 27700 (java) S 27556 27562 27223 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 20 0 14994399 11259342848 174282 33554432000 4194304 4196468 140733460657904 139817638677344 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27701] ppid=27556 vsize=10995452 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27701/stat : 27701 (java) S 27556 27562 27223 0 -1 1077944384 1132 12432 0 0 59 57 8 3 20 0 20 0 14994399 11259342848 174282 33554432000 4194304 4196468 140733460657904 139817637624624 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
Current children cumulated CPU time (s) 2400.08
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 27562 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2299.3 s]
/proc/loadavg: 1.65 1.63 1.63 2/255 27849
/proc/meminfo: memFree=30029240/32770624 swapFree=5776/917844
[pid=27562] ppid=27556 vsize=10995452 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/27562/stat : 27562 (java) S 27556 27562 27223 0 -1 1077944320 498401 12432 0 0 238978 1019 8 3 20 0 20 0 14994378 11259342848 174282 33554432000 4194304 4196468 140733460657904 140733460640448 139818964492023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
/proc/27562/statm: 2748863 174282 3514 1 0 2736418 0
[pid=27562/tid=27673] ppid=27556 vsize=10995452 CPUtime=2277.07 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27673/stat : 27673 (java) R 27556 27562 27223 0 -1 4202560 208268 12432 0 0 227639 57 8 3 20 0 20 0 14994391 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818968726336 139818584577751 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27674] ppid=27556 vsize=10995452 CPUtime=11.86 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27674/stat : 27674 (java) S 27556 27562 27223 0 -1 1077944384 10360 12432 0 0 1065 110 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818906495888 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27675] ppid=27556 vsize=10995452 CPUtime=11.9 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27675/stat : 27675 (java) S 27556 27562 27223 0 -1 1077944384 15682 12432 0 0 1070 109 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818905443088 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27676] ppid=27556 vsize=10995452 CPUtime=11.79 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27676/stat : 27676 (java) S 27556 27562 27223 0 -1 1077944384 10910 12432 0 0 1059 109 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818904390800 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27677] ppid=27556 vsize=10995452 CPUtime=11.79 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27677/stat : 27677 (java) S 27556 27562 27223 0 -1 1077944384 12288 12432 0 0 1057 111 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818903338000 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27678] ppid=27556 vsize=10995452 CPUtime=11.88 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27678/stat : 27678 (java) S 27556 27562 27223 0 -1 1077944384 10302 12432 0 0 1072 105 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818567522704 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27679] ppid=27556 vsize=10995452 CPUtime=11.93 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27679/stat : 27679 (java) S 27556 27562 27223 0 -1 1077944384 13943 12432 0 0 1077 105 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818566469904 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27680] ppid=27556 vsize=10995452 CPUtime=11.86 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27680/stat : 27680 (java) S 27556 27562 27223 0 -1 1077944384 15674 12432 0 0 1067 108 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818565417616 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27681] ppid=27556 vsize=10995452 CPUtime=11.8 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27681/stat : 27681 (java) S 27556 27562 27223 0 -1 1077944384 12622 12432 0 0 1068 101 8 3 20 0 20 0 14994392 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818564364816 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27685] ppid=27556 vsize=10995452 CPUtime=6.39 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27685/stat : 27685 (java) S 27556 27562 27223 0 -1 1077944384 14497 12432 0 0 556 72 8 3 20 0 20 0 14994394 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818506242672 139818964503170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27686] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27686/stat : 27686 (java) S 27556 27562 27223 0 -1 1077944384 39 12432 0 0 0 0 8 3 20 0 20 0 14994394 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818505188704 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27687] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27687/stat : 27687 (java) S 27556 27562 27223 0 -1 1077944384 46 12432 0 0 0 0 8 3 20 0 20 0 14994395 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818504136320 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27695] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27695/stat : 27695 (java) S 27556 27562 27223 0 -1 1077944384 1 12432 0 0 0 0 8 3 20 0 20 0 14994398 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818503084624 139818964510619 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27696] ppid=27556 vsize=10995452 CPUtime=6.17 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27696/stat : 27696 (java) S 27556 27562 27223 0 -1 1077944384 35882 12432 0 0 599 7 8 3 20 0 20 0 14994398 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818502031472 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27697] ppid=27556 vsize=10995452 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27697/stat : 27697 (java) S 27556 27562 27223 0 -1 1077944384 39691 12432 0 0 575 8 8 3 20 0 20 0 14994398 11259342848 174282 33554432000 4194304 4196468 140733460657904 139818500978672 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27698] ppid=27556 vsize=10995452 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27698/stat : 27698 (java) S 27556 27562 27223 0 -1 1077944384 36821 12432 0 0 566 7 8 3 20 0 20 0 14994398 11259342848 174282 33554432000 4194304 4196468 140733460657904 139817640782192 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27699] ppid=27556 vsize=10995452 CPUtime=3.96 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27699/stat : 27699 (java) S 27556 27562 27223 0 -1 1077944384 58110 12432 0 0 374 11 8 3 20 0 20 0 14994398 11259342848 174282 33554432000 4194304 4196468 140733460657904 139817639729392 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27700] ppid=27556 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27700/stat : 27700 (java) S 27556 27562 27223 0 -1 1077944384 3 12432 0 0 0 0 8 3 20 0 20 0 14994399 11259342848 174282 33554432000 4194304 4196468 140733460657904 139817638677344 139818964502229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
[pid=27562/tid=27701] ppid=27556 vsize=10995452 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/27562/task/27701/stat : 27701 (java) S 27556 27562 27223 0 -1 1077944384 1132 12432 0 0 59 57 8 3 20 0 20 0 14994399 11259342848 174282 33554432000 4194304 4196468 140733460657904 139817637624624 139818964503170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140733460658881 140733460661655 140733460661655 140733460664271 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10995452

Child status: 143
Real time (s): 2299.35
CPU time (s): 2400.15
CPU user time (s): 2389.89
CPU system time (s): 10.2628
CPU usage (%): 104.384
Max. virtual memory (cumulated for all children) (KiB): 10997568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.89
system time used= 10.2628
maximum resident set size= 1626876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 243624
involuntary context switches= 169923

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2103 second user time and 18.883 second system time

The end

Launcher Data 

Begin job on node125 at 2017-07-23 10:07:47
IDJOB=4248518
IDBENCH=133708
IDSOLVER=2630
FILE ID=node125/4248518-1500797267
RUNJOBID= node125-1500797267-27527
PBS_JOBID= 20624663
Free space on /tmp= 61772 MiB

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

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

MD5SUM BENCH= f67f1c0e82ebca3fffd47008cd4871f3
RANDOM SEED=290197131

node125.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		: 1600.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.51
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		: 1600.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.51
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		: 2133.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.51
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.51
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		: 2133.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		: 1733.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.51
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		: 2533.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		: 2400.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.51
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		: 1600.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		: 1733.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.51
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		: 2267.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		: 2267.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.51
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:        30697764 kB
MemAvailable:   31990460 kB
Buffers:          216888 kB
Cached:          1347604 kB
SwapCached:            0 kB
Active:           694656 kB
Inactive:         925380 kB
Active(anon):      58344 kB
Inactive(anon):     8760 kB
Active(file):     636312 kB
Inactive(file):   916620 kB
Unevictable:        5776 kB
Mlocked:            5776 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48944 kB
Writeback:             0 kB
AnonPages:         61264 kB
Mapped:            31572 kB
Shmem:              8840 kB
Slab:             146084 kB
SReclaimable:     111196 kB
SUnreclaim:        34888 kB
KernelStack:        4048 kB
PageTables:         4980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     310948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61752 MiB
End job on node125 at 2017-07-23 10:46:07