Trace number 4259425

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)21 253.28999 240.032

General information on the benchmark

NameBusScheduling/BusScheduling-cnt-s1/
BusScheduling-cnt-t2.xml
MD5SUM9e99b8f50ba877dbe58773e5c08a73e4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1921.28
Satisfiable
(Un)Satisfiability was proved
Number of variables3015
Number of constraints125
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3015}]
Minimum variable degree5
Maximum variable degree8
Distribution of variable degrees[{"degree":5,"count":17},{"degree":6,"count":1236},{"degree":7,"count":1323},{"degree":8,"count":439}]
Minimum constraint arity12
Maximum constraint arity261
Distribution of constraint arities[{"arity":12,"count":3},{"arity":14,"count":2},{"arity":15,"count":2},{"arity":17,"count":2},{"arity":18,"count":1},{"arity":25,"count":2},{"arity":34,"count":1},{"arity":35,"count":2},{"arity":36,"count":1},{"arity":41,"count":1},{"arity":50,"count":7},{"arity":52,"count":1},{"arity":58,"count":2},{"arity":63,"count":2},{"arity":70,"count":2},{"arity":77,"count":2},{"arity":83,"count":2},{"arity":84,"count":1},{"arity":87,"count":2},{"arity":90,"count":1},{"arity":91,"count":2},{"arity":95,"count":3},{"arity":105,"count":2},{"arity":107,"count":1},{"arity":108,"count":2},"...",{"arity":196,"count":3}, {"arity":197,"count":1}, {"arity":198,"count":2}, {"arity":199,"count":2}, {"arity":201,"count":3}, {"arity":202,"count":2}, {"arity":204,"count":3}, {"arity":206,"count":1}, {"arity":207,"count":2}, {"arity":214,"count":2}, {"arity":218,"count":2}, {"arity":219,"count":4}, {"arity":221,"count":1}, {"arity":222,"count":1}, {"arity":230,"count":1}, {"arity":231,"count":1}, {"arity":233,"count":1}, {"arity":235,"count":1}, {"arity":237,"count":1}, {"arity":241,"count":1}, {"arity":245,"count":1}, {"arity":246,"count":1}, {"arity":249,"count":1}, {"arity":254,"count":1}, {"arity":261,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":125}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

3.32/2.18	c Concrete v3.4 running
15.81/7.27	o 21
253.23/240.00	java.util.concurrent.TimeoutException
253.23/240.00		at concrete.MAC.mac(MAC.scala:74)
253.23/240.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
253.23/240.00		at scala.util.Try$.apply(Try.scala:209)
253.23/240.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
253.23/240.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
253.23/240.00		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
253.23/240.00		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
253.23/240.00		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
253.23/240.00		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
253.23/240.00		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
253.23/240.00		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
253.23/240.00		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
253.23/240.01		at concrete.MAC.oneRun(MAC.scala:146)
253.23/240.01		at concrete.MAC.nextSolution(MAC.scala:166)
253.23/240.01		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
253.23/240.01		at concrete.ProblemState.map(ProblemState.scala:203)
253.23/240.01		at concrete.ProblemState.map(ProblemState.scala:188)
253.23/240.01		at concrete.MAC.nextSolution(MAC.scala:195)
253.23/240.01		at concrete.Solver.hasNext(Solver.scala:202)
253.23/240.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
253.23/240.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
253.23/240.01		at concrete.Solver.toStream(Solver.scala:73)
253.23/240.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
253.23/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
253.23/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
253.23/240.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
253.23/240.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
253.23/240.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
253.23/240.01		at scala.util.Success.map(Try.scala:209)
253.23/240.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
253.23/240.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
253.23/240.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
253.23/240.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
253.23/240.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
253.23/240.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
253.23/240.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
253.23/240.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
253.23/240.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
253.23/240.01		at scala.collection.immutable.List.foreach(List.scala:389)
253.23/240.01		at scala.App.main(App.scala:76)
253.23/240.01		at scala.App.main$(App.scala:74)
253.23/240.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
253.23/240.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
253.23/240.01	v <instantiation cost="21">
253.23/240.01	v       <list>
253.23/240.01	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014]
253.23/240.01	v       </list>
253.23/240.01	v       <values>
253.23/240.01	v         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 1 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
253.23/240.01	v       </values>
253.23/240.01	v     </instantiation>
253.23/240.02	s SATISFIABLE

Verifier Data 

OK	21

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-4259425-1501656804/watcher-4259425-1501656804 -o /tmp/evaluation-result-4259425-1501656804/solver-4259425-1501656804 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259425-1501656804.xml 

pid=18012
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.57 1.60 1.68 2/199 18015
/proc/meminfo: memFree=29061248/32770624 swapFree=0/252700
[pid=18015] ppid=18012 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18015/stat : 18015 (runsolver) D 18012 18015 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 7591038 24240128 108 18446744073709551615 4194304 4338465 140721224629872 140721224627512 140085347054295 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 14831616 140721224638673 140721224639047 140721224639047 140721224642506 0
/proc/18015/statm: 5918 108 54 36 0 2156 0

[startup+0.100133 s]
/proc/loadavg: 1.57 1.60 1.68 2/199 18015
/proc/meminfo: memFree=29061248/32770624 swapFree=0/252700
[pid=18015] ppid=18012 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/18015/stat : 18015 (bash) S 18012 18015 3187 0 -1 4202496 682 1547 0 0 0 0 0 0 20 0 1 0 7591038 9736192 351 18446744073709551615 4194304 5098028 140720845192960 140720845190600 139663463910400 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 11137024 140720845197842 140720845197927 140720845197927 140720845201386 0
/proc/18015/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.20032 s]
/proc/loadavg: 1.57 1.60 1.68 2/199 18015
/proc/meminfo: memFree=29061248/32770624 swapFree=0/252700
[pid=18015] ppid=18012 vsize=26684 CPUtime=0.07 cores=1,3,5,7
/proc/18015/stat : 18015 (java) R 18012 18015 3187 0 -1 4202496 1183 12381 0 0 0 0 5 2 20 0 1 0 7591038 27324416 189 18446744073709551615 4194304 4196468 140727957922800 140727957903496 140376105383978 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
/proc/18015/statm: 6778 189 151 1 0 160 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26684

[startup+0.300233 s]
/proc/loadavg: 1.57 1.60 1.68 2/199 18015
/proc/meminfo: memFree=29061248/32770624 swapFree=0/252700
[pid=18015] ppid=18012 vsize=13974124 CPUtime=0.15 cores=1,3,5,7
/proc/18015/stat : 18015 (java) S 18012 18015 3187 0 -1 1077944320 6092 12381 0 0 7 1 5 2 20 0 15 0 7591038 14309502976 6777 18446744073709551615 4194304 4196468 140727957922800 140727957905344 140376103108343 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
/proc/18015/statm: 3493534 6777 2745 1 0 3482973 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13974124

[startup+0.700251 s]
/proc/loadavg: 1.57 1.60 1.68 2/199 18015
/proc/meminfo: memFree=29061248/32770624 swapFree=0/252700
[pid=18015] ppid=18012 vsize=13974784 CPUtime=0.71 cores=1,3,5,7
/proc/18015/stat : 18015 (java) S 18012 18015 3187 0 -1 1077944320 14015 12381 0 0 60 4 5 2 20 0 15 0 7591038 14310178816 14933 18446744073709551615 4194304 4196468 140727957922800 140727957905344 140376103108343 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
/proc/18015/statm: 3493696 14933 3094 1 0 3482973 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784

[startup+1.50065 s]
/proc/loadavg: 1.57 1.60 1.68 3/214 18078
/proc/meminfo: memFree=28962480/32770624 swapFree=0/252968
[pid=18015] ppid=18012 vsize=13985408 CPUtime=1.96 cores=1,3,5,7
/proc/18015/stat : 18015 (java) S 18012 18015 3187 0 -1 1077944320 29499 12381 0 0 182 7 5 2 20 0 15 0 7591038 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140727957905344 140376103108343 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
/proc/18015/statm: 3496352 42705 3369 1 0 3485533 0
[pid=18015/tid=18065] ppid=18012 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/18015/task/18065/stat : 18065 (java) R 18012 18015 3187 0 -1 4202560 22006 12381 0 0 117 5 5 2 20 0 15 0 7591058 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140376107328496 140376083327881 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18066] ppid=18012 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/18015/task/18066/stat : 18066 (java) S 18012 18015 3187 0 -1 1077944384 71 12381 0 0 1 0 5 2 20 0 15 0 7591059 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140376045054224 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18067] ppid=18012 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/18015/task/18067/stat : 18067 (java) S 18012 18015 3187 0 -1 1077944384 42 12381 0 0 1 0 5 2 20 0 15 0 7591059 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140376044001680 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18068] ppid=18012 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/18015/task/18068/stat : 18068 (java) S 18012 18015 3187 0 -1 1077944384 49 12381 0 0 1 0 5 2 20 0 15 0 7591059 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140376042949136 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18069] ppid=18012 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/18015/task/18069/stat : 18069 (java) S 18012 18015 3187 0 -1 1077944384 201 12381 0 0 1 0 5 2 20 0 15 0 7591059 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140376041896592 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18070] ppid=18012 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/18015/task/18070/stat : 18070 (java) S 18012 18015 3187 0 -1 1077944384 1498 12381 0 0 1 0 5 2 20 0 15 0 7591060 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140375648852464 140376103119490 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18071] ppid=18012 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18071/stat : 18071 (java) S 18012 18015 3187 0 -1 1077944384 56 12381 0 0 0 0 5 2 20 0 15 0 7591061 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140375647798752 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18072] ppid=18012 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18072/stat : 18072 (java) S 18012 18015 3187 0 -1 1077944384 43 12381 0 0 0 0 5 2 20 0 15 0 7591061 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140375646746096 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18073] ppid=18012 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18073/stat : 18073 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140375645694672 140376103126939 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18074] ppid=18012 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/18015/task/18074/stat : 18074 (java) S 18012 18015 3187 0 -1 1077944384 1253 12381 0 0 16 0 5 2 20 0 15 0 7591064 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140375644641264 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18075] ppid=18012 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/18015/task/18075/stat : 18075 (java) S 18012 18015 3187 0 -1 1077944384 730 12381 0 0 17 0 5 2 20 0 15 0 7591064 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140375643588720 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18076] ppid=18012 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/18015/task/18076/stat : 18076 (java) R 18012 18015 3187 0 -1 4202560 1387 12381 0 0 23 0 5 2 20 0 15 0 7591064 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140375642536176 140376103120278 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18077] ppid=18012 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18077/stat : 18077 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140375641483872 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18078] ppid=18012 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18078/stat : 18078 (java) S 18012 18015 3187 0 -1 1077944384 6 12381 0 0 0 0 5 2 20 0 15 0 7591067 14321057792 42705 18446744073709551615 4194304 4196468 140727957922800 140375640431408 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 13985408

[startup+3.10076 s]
/proc/loadavg: 1.57 1.60 1.68 5/214 18078
/proc/meminfo: memFree=28887724/32770624 swapFree=0/252968
[pid=18015] ppid=18012 vsize=13997884 CPUtime=6.3 cores=1,3,5,7
/proc/18015/stat : 18015 (java) S 18012 18015 3187 0 -1 1077944320 43676 12381 0 0 610 13 5 2 20 0 15 0 7591038 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140727957905344 140376103108343 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
/proc/18015/statm: 3499471 61060 3447 1 0 3488093 0
[pid=18015/tid=18065] ppid=18012 vsize=13997884 CPUtime=2.89 cores=1,3,5,7
/proc/18015/task/18065/stat : 18065 (java) R 18012 18015 3187 0 -1 4202560 28877 12381 0 0 273 9 5 2 20 0 15 0 7591058 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140376107339808 140376087418144 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18066] ppid=18012 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18015/task/18066/stat : 18066 (java) S 18012 18015 3187 0 -1 1077944384 71 12381 0 0 1 0 5 2 20 0 15 0 7591059 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140376045054224 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18067] ppid=18012 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18015/task/18067/stat : 18067 (java) S 18012 18015 3187 0 -1 1077944384 42 12381 0 0 1 0 5 2 20 0 15 0 7591059 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140376044001680 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18068] ppid=18012 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18015/task/18068/stat : 18068 (java) S 18012 18015 3187 0 -1 1077944384 49 12381 0 0 1 0 5 2 20 0 15 0 7591059 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140376042949136 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18069] ppid=18012 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18015/task/18069/stat : 18069 (java) S 18012 18015 3187 0 -1 1077944384 201 12381 0 0 1 0 5 2 20 0 15 0 7591059 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140376041896592 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18070] ppid=18012 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18015/task/18070/stat : 18070 (java) S 18012 18015 3187 0 -1 1077944384 1510 12381 0 0 1 0 5 2 20 0 15 0 7591060 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140375648852464 140376103119490 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18071] ppid=18012 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18071/stat : 18071 (java) S 18012 18015 3187 0 -1 1077944384 56 12381 0 0 0 0 5 2 20 0 15 0 7591061 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140375647798752 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18072] ppid=18012 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18072/stat : 18072 (java) S 18012 18015 3187 0 -1 1077944384 43 12381 0 0 0 0 5 2 20 0 15 0 7591061 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140375646746096 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18073] ppid=18012 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18073/stat : 18073 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140375645694672 140376103126939 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18074] ppid=18012 vsize=13997884 CPUtime=1.16 cores=1,3,5,7
/proc/18015/task/18074/stat : 18074 (java) R 18012 18015 3187 0 -1 4202560 2857 12381 0 0 109 0 5 2 20 0 15 0 7591064 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140375644640400 140376082451457 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18075] ppid=18012 vsize=13997884 CPUtime=1.27 cores=1,3,5,7
/proc/18015/task/18075/stat : 18075 (java) R 18012 18015 3187 0 -1 4202560 4223 12381 0 0 120 0 5 2 20 0 15 0 7591064 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140375643579760 140376088033392 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18076] ppid=18012 vsize=13997884 CPUtime=1.08 cores=1,3,5,7
/proc/18015/task/18076/stat : 18076 (java) R 18012 18015 3187 0 -1 4202560 3581 12381 0 0 100 1 5 2 20 0 15 0 7591064 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140375642536176 140376082076971 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18077] ppid=18012 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18077/stat : 18077 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140375641483872 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18078] ppid=18012 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18078/stat : 18078 (java) S 18012 18015 3187 0 -1 1077944384 9 12381 0 0 0 0 5 2 20 0 15 0 7591067 14333833216 61060 18446744073709551615 4194304 4196468 140727957922800 140375640431408 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 13997884

[startup+6.3007 s]
/proc/loadavg: 1.68 1.62 1.68 5/213 18109
/proc/meminfo: memFree=31324172/32770624 swapFree=0/252988
[pid=18015] ppid=18012 vsize=14067516 CPUtime=14.07 cores=1,3,5,7
/proc/18015/stat : 18015 (java) S 18012 18015 3187 0 -1 1077944320 77960 12381 0 0 1376 24 5 2 20 0 15 0 7591038 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140727957905344 140376103108343 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
/proc/18015/statm: 3516879 112474 3468 1 0 3505501 0
[pid=18015/tid=18065] ppid=18012 vsize=14067516 CPUtime=5.94 cores=1,3,5,7
/proc/18015/task/18065/stat : 18065 (java) R 18012 18015 3187 0 -1 4202560 44437 12381 0 0 574 13 5 2 20 0 15 0 7591058 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140376107340088 140375737797736 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18066] ppid=18012 vsize=14067516 CPUtime=0.17 cores=1,3,5,7
/proc/18015/task/18066/stat : 18066 (java) S 18012 18015 3187 0 -1 1077944384 521 12381 0 0 9 1 5 2 20 0 15 0 7591059 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140376045054224 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18067] ppid=18012 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/18015/task/18067/stat : 18067 (java) S 18012 18015 3187 0 -1 1077944384 141 12381 0 0 9 0 5 2 20 0 15 0 7591059 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140376044001680 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18068] ppid=18012 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/18015/task/18068/stat : 18068 (java) S 18012 18015 3187 0 -1 1077944384 809 12381 0 0 9 0 5 2 20 0 15 0 7591059 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140376042949136 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18069] ppid=18012 vsize=14067516 CPUtime=0.17 cores=1,3,5,7
/proc/18015/task/18069/stat : 18069 (java) S 18012 18015 3187 0 -1 1077944384 599 12381 0 0 9 1 5 2 20 0 15 0 7591059 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140376041896592 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18070] ppid=18012 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/18015/task/18070/stat : 18070 (java) S 18012 18015 3187 0 -1 1077944384 2504 12381 0 0 4 0 5 2 20 0 15 0 7591060 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140375648852464 140376103119490 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18071] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18071/stat : 18071 (java) S 18012 18015 3187 0 -1 1077944384 56 12381 0 0 0 0 5 2 20 0 15 0 7591061 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140375647798816 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18072] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18072/stat : 18072 (java) S 18012 18015 3187 0 -1 1077944384 43 12381 0 0 0 0 5 2 20 0 15 0 7591061 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140375646746112 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18073] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18073/stat : 18073 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140375645694672 140376103126939 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18074] ppid=18012 vsize=14067516 CPUtime=3.13 cores=1,3,5,7
/proc/18015/task/18074/stat : 18074 (java) S 18012 18015 3187 0 -1 1077944384 13710 12381 0 0 304 2 5 2 20 0 15 0 7591064 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140375644641264 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18075] ppid=18012 vsize=14067516 CPUtime=3.02 cores=1,3,5,7
/proc/18015/task/18075/stat : 18075 (java) S 18012 18015 3187 0 -1 1077944384 7582 12381 0 0 294 1 5 2 20 0 15 0 7591064 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140375643588720 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18076] ppid=18012 vsize=14067516 CPUtime=1.67 cores=1,3,5,7
/proc/18015/task/18076/stat : 18076 (java) S 18012 18015 3187 0 -1 1077944384 5194 12381 0 0 158 2 5 2 20 0 15 0 7591064 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140375642536176 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18077] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18077/stat : 18077 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140375641483872 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18078] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18078/stat : 18078 (java) S 18012 18015 3187 0 -1 1077944384 207 12381 0 0 0 0 5 2 20 0 15 0 7591067 14405136384 112474 18446744073709551615 4194304 4196468 140727957922800 140375640431408 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
Current children cumulated CPU time (s) 14.07
Current children cumulated vsize (KiB) 14067516

[startup+12.7007 s]
/proc/loadavg: 1.79 1.64 1.69 5/214 18203
/proc/meminfo: memFree=30805564/32770624 swapFree=0/253020
[pid=18015] ppid=18012 vsize=14067516 CPUtime=22.2 cores=1,3,5,7
/proc/18015/stat : 18015 (java) S 18012 18015 3187 0 -1 1077944320 90878 12381 0 0 2176 37 5 2 20 0 15 0 7591038 14405136384 150798 18446744073709551615 4194304 4196468 140727957922800 140727957905344 140376103108343 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
/proc/18015/statm: 3516879 150798 3469 1 0 3505501 0
[pid=18015/tid=18065] ppid=18012 vsize=14067516 CPUtime=11.97 cores=1,3,5,7
/proc/18015/task/18065/stat : 18065 (java) R 18012 18015 3187 0 -1 4202560 47375 12381 0 0 1175 15 5 2 20 0 15 0 7591058 14405136384 150798 18446744073709551615 4194304 4196468 140727957922800 140376107342576 140375735710528 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18066] ppid=18012 vsize=14067516 CPUtime=0.43 cores=1,3,5,7
/proc/18015/task/18066/stat : 18066 (java) S 18012 18015 3187 0 -1 1077944384 600 12381 0 0 33 3 5 2 20 0 15 0 7591059 14405136384 150798 18446744073709551615 4194304 4196468 140727957922800 140376045054224 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18067] ppid=18012 vsize=14067516 CPUtime=0.43 cores=1,3,5,7
/proc/18015/task/18067/stat : 18067 (java) S 18012 18015 3187 0 -1 1077944384 209 12381 0 0 33 3 5 2 20 0 15 0 7591059 14405136384 150798 18446744073709551615 4194304 4196468 140727957922800 140376044001680 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18068] ppid=18012 vsize=14067516 CPUtime=0.44 cores=1,3,5,7
/proc/18015/task/18068/stat : 18068 (java) S 18012 18015 3187 0 -1 1077944384 942 12381 0 0 34 3 5 2 20 0 15 0 7591059 14405136384 150798 18446744073709551615 4194304 4196468 140727957922800 140376042949136 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18069] ppid=18012 vsize=14067516 CPUtime=0.43 cores=1,3,5,7
/proc/18015/task/18069/stat : 18069 (java) S 18012 18015 3187 0 -1 1077944384 657 12381 0 0 33 3 5 2 20 0 15 0 7591059 14405136384 150798 18446744073709551615 4194304 4196468 140727957922800 140376041896592 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18070] ppid=18012 vsize=14067516 CPUtime=0.21 cores=1,3,5,7
/proc/18015/task/18070/stat : 18070 (java) S 18012 18015 3187 0 -1 1077944384 11122 12381 0 0 13 1 5 2 20 0 15 0 7591060 14405136384 150798 18446744073709551615 4194304 4196468 140727957922800 140375648852464 140376103119490 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18071] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18071/stat : 18071 (java) S 18012 18015 3187 0 -1 1077944384 58 12381 0 0 0 0 5 2 20 0 15 0 7591061 14405136384 150798 18446744073709551615 4194304 4196468 140727957922800 140375647798816 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18072] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18072/stat : 18072 (java) S 18012 18015 3187 0 -1 1077944384 45 12381 0 0 0 0 5 2 20 0 15 0 7591061 14405136384 150798 18446744073709551615 4194304 4196468 140727957922800 140375646746112 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18073] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18073/stat : 18073 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14405136384 150798 18446744073709551615 4194304 4196468 140727957922800 140375645694672 140376103126939 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0

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

/proc/18015/task/18077/stat : 18077 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14405136384 265088 18446744073709551615 4194304 4196468 140727957922800 140375641483872 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18078] ppid=18012 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/18015/task/18078/stat : 18078 (java) S 18012 18015 3187 0 -1 1077944384 259 12381 0 0 0 1 5 2 20 0 15 0 7591067 14405136384 265088 18446744073709551615 4194304 4196468 140727957922800 140375640431408 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
Current children cumulated CPU time (s) 61.36
Current children cumulated vsize (KiB) 14067516

[startup+102.301 s]
/proc/loadavg: 1.58 1.64 1.68 3/215 18222
/proc/meminfo: memFree=28915472/32770624 swapFree=0/253116
[pid=18015] ppid=18012 vsize=14067516 CPUtime=113.21 cores=1,3,5,7
/proc/18015/stat : 18015 (java) S 18012 18015 3187 0 -1 1077944320 122852 12381 0 0 11214 100 5 2 20 0 15 0 7591038 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140727957905344 140376103108343 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
/proc/18015/statm: 3516879 293462 3469 1 0 3505501 0
[pid=18015/tid=18065] ppid=18012 vsize=14067516 CPUtime=101.19 cores=1,3,5,7
/proc/18015/task/18065/stat : 18065 (java) R 18012 18015 3187 0 -1 4202560 57099 12381 0 0 10095 17 5 2 20 0 15 0 7591058 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140376107342752 140375737185799 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18066] ppid=18012 vsize=14067516 CPUtime=0.76 cores=1,3,5,7
/proc/18015/task/18066/stat : 18066 (java) S 18012 18015 3187 0 -1 1077944384 2065 12381 0 0 52 17 5 2 20 0 15 0 7591059 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140376045054224 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18067] ppid=18012 vsize=14067516 CPUtime=0.75 cores=1,3,5,7
/proc/18015/task/18067/stat : 18067 (java) S 18012 18015 3187 0 -1 1077944384 2525 12381 0 0 51 17 5 2 20 0 15 0 7591059 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140376044001680 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18068] ppid=18012 vsize=14067516 CPUtime=0.76 cores=1,3,5,7
/proc/18015/task/18068/stat : 18068 (java) S 18012 18015 3187 0 -1 1077944384 2184 12381 0 0 52 17 5 2 20 0 15 0 7591059 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140376042949136 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18069] ppid=18012 vsize=14067516 CPUtime=0.75 cores=1,3,5,7
/proc/18015/task/18069/stat : 18069 (java) S 18012 18015 3187 0 -1 1077944384 2298 12381 0 0 51 17 5 2 20 0 15 0 7591059 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140376041896592 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18070] ppid=18012 vsize=14067516 CPUtime=0.25 cores=1,3,5,7
/proc/18015/task/18070/stat : 18070 (java) S 18012 18015 3187 0 -1 1077944384 12226 12381 0 0 17 1 5 2 20 0 15 0 7591060 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140375648852464 140376103119490 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18071] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18071/stat : 18071 (java) S 18012 18015 3187 0 -1 1077944384 58 12381 0 0 0 0 5 2 20 0 15 0 7591061 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140375647798816 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18072] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18072/stat : 18072 (java) S 18012 18015 3187 0 -1 1077944384 45 12381 0 0 0 0 5 2 20 0 15 0 7591061 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140375646746112 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18073] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18073/stat : 18073 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140375645694672 140376103126939 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18074] ppid=18012 vsize=14067516 CPUtime=3.74 cores=1,3,5,7
/proc/18015/task/18074/stat : 18074 (java) S 18012 18015 3187 0 -1 1077944384 18431 12381 0 0 364 3 5 2 20 0 15 0 7591064 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140375644641264 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18075] ppid=18012 vsize=14067516 CPUtime=3.65 cores=1,3,5,7
/proc/18015/task/18075/stat : 18075 (java) S 18012 18015 3187 0 -1 1077944384 13076 12381 0 0 356 2 5 2 20 0 15 0 7591064 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140375643588720 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18076] ppid=18012 vsize=14067516 CPUtime=1.77 cores=1,3,5,7
/proc/18015/task/18076/stat : 18076 (java) S 18012 18015 3187 0 -1 1077944384 10389 12381 0 0 167 3 5 2 20 0 15 0 7591064 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140375642536176 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18077] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18077/stat : 18077 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140375641483872 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18078] ppid=18012 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/18015/task/18078/stat : 18078 (java) S 18012 18015 3187 0 -1 1077944384 299 12381 0 0 2 3 5 2 20 0 15 0 7591067 14405136384 293462 18446744073709551615 4194304 4196468 140727957922800 140375640431408 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
Current children cumulated CPU time (s) 113.21
Current children cumulated vsize (KiB) 14067516

[startup+162.301 s]
/proc/loadavg: 1.45 1.60 1.67 3/215 18223
/proc/meminfo: memFree=29842456/32770624 swapFree=0/253148
[pid=18015] ppid=18012 vsize=14067516 CPUtime=174.11 cores=1,3,5,7
/proc/18015/stat : 18015 (java) S 18012 18015 3187 0 -1 1077944320 137270 12381 0 0 17294 110 5 2 20 0 15 0 7591038 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140727957905344 140376103108343 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
/proc/18015/statm: 3516879 174887 3469 1 0 3505501 0
[pid=18015/tid=18065] ppid=18012 vsize=14067516 CPUtime=160.87 cores=1,3,5,7
/proc/18015/task/18065/stat : 18065 (java) R 18012 18015 3187 0 -1 4202560 59123 12381 0 0 16062 18 5 2 20 0 15 0 7591058 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140376107339552 140375738257676 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18066] ppid=18012 vsize=14067516 CPUtime=0.98 cores=1,3,5,7
/proc/18015/task/18066/stat : 18066 (java) S 18012 18015 3187 0 -1 1077944384 2877 12381 0 0 72 19 5 2 20 0 15 0 7591059 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140376045054224 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18067] ppid=18012 vsize=14067516 CPUtime=0.97 cores=1,3,5,7
/proc/18015/task/18067/stat : 18067 (java) S 18012 18015 3187 0 -1 1077944384 3099 12381 0 0 71 19 5 2 20 0 15 0 7591059 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140376044001680 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18068] ppid=18012 vsize=14067516 CPUtime=0.98 cores=1,3,5,7
/proc/18015/task/18068/stat : 18068 (java) S 18012 18015 3187 0 -1 1077944384 2571 12381 0 0 72 19 5 2 20 0 15 0 7591059 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140376042949136 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18069] ppid=18012 vsize=14067516 CPUtime=0.97 cores=1,3,5,7
/proc/18015/task/18069/stat : 18069 (java) S 18012 18015 3187 0 -1 1077944384 3751 12381 0 0 71 19 5 2 20 0 15 0 7591059 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140376041896592 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18070] ppid=18012 vsize=14067516 CPUtime=0.33 cores=1,3,5,7
/proc/18015/task/18070/stat : 18070 (java) S 18012 18015 3187 0 -1 1077944384 12522 12381 0 0 23 3 5 2 20 0 15 0 7591060 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140375648852464 140376103119490 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18071] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18071/stat : 18071 (java) S 18012 18015 3187 0 -1 1077944384 58 12381 0 0 0 0 5 2 20 0 15 0 7591061 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140375647798816 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18072] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18072/stat : 18072 (java) S 18012 18015 3187 0 -1 1077944384 45 12381 0 0 0 0 5 2 20 0 15 0 7591061 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140375646746112 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18073] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18073/stat : 18073 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140375645694672 140376103126939 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18074] ppid=18012 vsize=14067516 CPUtime=3.84 cores=1,3,5,7
/proc/18015/task/18074/stat : 18074 (java) S 18012 18015 3187 0 -1 1077944384 20286 12381 0 0 374 3 5 2 20 0 15 0 7591064 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140375644641264 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18075] ppid=18012 vsize=14067516 CPUtime=3.75 cores=1,3,5,7
/proc/18015/task/18075/stat : 18075 (java) S 18012 18015 3187 0 -1 1077944384 16054 12381 0 0 366 2 5 2 20 0 15 0 7591064 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140375643588720 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18076] ppid=18012 vsize=14067516 CPUtime=1.8 cores=1,3,5,7
/proc/18015/task/18076/stat : 18076 (java) S 18012 18015 3187 0 -1 1077944384 14411 12381 0 0 170 3 5 2 20 0 15 0 7591064 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140375642536176 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18077] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18077/stat : 18077 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140375641483872 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18078] ppid=18012 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/18015/task/18078/stat : 18078 (java) S 18012 18015 3187 0 -1 1077944384 316 12381 0 0 3 4 5 2 20 0 15 0 7591067 14405136384 174887 18446744073709551615 4194304 4196468 140727957922800 140375640431408 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
Current children cumulated CPU time (s) 174.11
Current children cumulated vsize (KiB) 14067516

[startup+222.307 s]
/proc/loadavg: 1.20 1.49 1.63 3/216 18226
/proc/meminfo: memFree=30586192/32770624 swapFree=0/253168
[pid=18015] ppid=18012 vsize=14067516 CPUtime=235.22 cores=1,3,5,7
/proc/18015/stat : 18015 (java) S 18012 18015 3187 0 -1 1077944320 146229 12381 0 0 23394 121 5 2 20 0 15 0 7591038 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140727957905344 140376103108343 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
/proc/18015/statm: 3516879 115301 3469 1 0 3505501 0
[pid=18015/tid=18065] ppid=18012 vsize=14067516 CPUtime=220.38 cores=1,3,5,7
/proc/18015/task/18065/stat : 18065 (java) R 18012 18015 3187 0 -1 4202560 60067 12381 0 0 22012 19 5 2 20 0 15 0 7591058 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140376107341792 140375738239796 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18066] ppid=18012 vsize=14067516 CPUtime=1.24 cores=1,3,5,7
/proc/18015/task/18066/stat : 18066 (java) S 18012 18015 3187 0 -1 1077944384 3184 12381 0 0 96 21 5 2 20 0 15 0 7591059 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140376045054224 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18067] ppid=18012 vsize=14067516 CPUtime=1.23 cores=1,3,5,7
/proc/18015/task/18067/stat : 18067 (java) S 18012 18015 3187 0 -1 1077944384 4818 12381 0 0 95 21 5 2 20 0 15 0 7591059 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140376044001680 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18068] ppid=18012 vsize=14067516 CPUtime=1.24 cores=1,3,5,7
/proc/18015/task/18068/stat : 18068 (java) S 18012 18015 3187 0 -1 1077944384 2924 12381 0 0 96 21 5 2 20 0 15 0 7591059 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140376042949136 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18069] ppid=18012 vsize=14067516 CPUtime=1.23 cores=1,3,5,7
/proc/18015/task/18069/stat : 18069 (java) S 18012 18015 3187 0 -1 1077944384 4018 12381 0 0 95 21 5 2 20 0 15 0 7591059 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140376041896592 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18070] ppid=18012 vsize=14067516 CPUtime=0.5 cores=1,3,5,7
/proc/18015/task/18070/stat : 18070 (java) S 18012 18015 3187 0 -1 1077944384 12853 12381 0 0 38 5 5 2 20 0 15 0 7591060 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140375648852464 140376103119490 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18071] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18071/stat : 18071 (java) S 18012 18015 3187 0 -1 1077944384 58 12381 0 0 0 0 5 2 20 0 15 0 7591061 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140375647798816 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18072] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18072/stat : 18072 (java) S 18012 18015 3187 0 -1 1077944384 45 12381 0 0 0 0 5 2 20 0 15 0 7591061 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140375646746112 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18073] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18073/stat : 18073 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140375645694672 140376103126939 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18074] ppid=18012 vsize=14067516 CPUtime=4.01 cores=1,3,5,7
/proc/18015/task/18074/stat : 18074 (java) S 18012 18015 3187 0 -1 1077944384 23196 12381 0 0 391 3 5 2 20 0 15 0 7591064 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140375644641264 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18075] ppid=18012 vsize=14067516 CPUtime=3.9 cores=1,3,5,7
/proc/18015/task/18075/stat : 18075 (java) S 18012 18015 3187 0 -1 1077944384 17638 12381 0 0 381 2 5 2 20 0 15 0 7591064 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140375643588720 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18076] ppid=18012 vsize=14067516 CPUtime=1.83 cores=1,3,5,7
/proc/18015/task/18076/stat : 18076 (java) S 18012 18015 3187 0 -1 1077944384 14923 12381 0 0 173 3 5 2 20 0 15 0 7591064 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140375642536176 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18077] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18077/stat : 18077 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140375641483872 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18078] ppid=18012 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/18015/task/18078/stat : 18078 (java) S 18012 18015 3187 0 -1 1077944384 348 12381 0 0 5 6 5 2 20 0 15 0 7591067 14405136384 115301 18446744073709551615 4194304 4196468 140727957922800 140375640431408 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
Current children cumulated CPU time (s) 235.22
Current children cumulated vsize (KiB) 14067516



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.30 1.50 1.63 3/216 18227
/proc/meminfo: memFree=30884308/32770624 swapFree=0/253176
[pid=18015] ppid=18012 vsize=14067516 CPUtime=253.23 cores=1,3,5,7
/proc/18015/stat : 18015 (java) S 18012 18015 3187 0 -1 1077944320 148966 12381 0 0 25194 122 5 2 20 0 15 0 7591038 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140727957905344 140376103108343 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
/proc/18015/statm: 3516879 102605 3469 1 0 3505501 0
[pid=18015/tid=18065] ppid=18012 vsize=14067516 CPUtime=237.92 cores=1,3,5,7
/proc/18015/task/18065/stat : 18065 (java) R 18012 18015 3187 0 -1 4202560 60145 12381 0 0 23766 19 5 2 20 0 15 0 7591058 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140376107342656 140375738328949 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18066] ppid=18012 vsize=14067516 CPUtime=1.32 cores=1,3,5,7
/proc/18015/task/18066/stat : 18066 (java) S 18012 18015 3187 0 -1 1077944384 3201 12381 0 0 104 21 5 2 20 0 15 0 7591059 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140376045054224 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18067] ppid=18012 vsize=14067516 CPUtime=1.31 cores=1,3,5,7
/proc/18015/task/18067/stat : 18067 (java) S 18012 18015 3187 0 -1 1077944384 4836 12381 0 0 103 21 5 2 20 0 15 0 7591059 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140376044001680 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18068] ppid=18012 vsize=14067516 CPUtime=1.33 cores=1,3,5,7
/proc/18015/task/18068/stat : 18068 (java) S 18012 18015 3187 0 -1 1077944384 2942 12381 0 0 104 22 5 2 20 0 15 0 7591059 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140376042949136 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18069] ppid=18012 vsize=14067516 CPUtime=1.32 cores=1,3,5,7
/proc/18015/task/18069/stat : 18069 (java) S 18012 18015 3187 0 -1 1077944384 4041 12381 0 0 104 21 5 2 20 0 15 0 7591059 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140376041896592 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18070] ppid=18012 vsize=14067516 CPUtime=0.56 cores=1,3,5,7
/proc/18015/task/18070/stat : 18070 (java) S 18012 18015 3187 0 -1 1077944384 12863 12381 0 0 43 6 5 2 20 0 15 0 7591060 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140375648852464 140376103119490 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18071] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18071/stat : 18071 (java) S 18012 18015 3187 0 -1 1077944384 58 12381 0 0 0 0 5 2 20 0 15 0 7591061 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140375647798816 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18072] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18072/stat : 18072 (java) S 18012 18015 3187 0 -1 1077944384 45 12381 0 0 0 0 5 2 20 0 15 0 7591061 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140375646746112 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18073] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18073/stat : 18073 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140375645694672 140376103126939 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18074] ppid=18012 vsize=14067516 CPUtime=4.04 cores=1,3,5,7
/proc/18015/task/18074/stat : 18074 (java) S 18012 18015 3187 0 -1 1077944384 24038 12381 0 0 394 3 5 2 20 0 15 0 7591064 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140375644641264 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18075] ppid=18012 vsize=14067516 CPUtime=3.93 cores=1,3,5,7
/proc/18015/task/18075/stat : 18075 (java) S 18012 18015 3187 0 -1 1077944384 18179 12381 0 0 384 2 5 2 20 0 15 0 7591064 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140375643588720 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18076] ppid=18012 vsize=14067516 CPUtime=1.83 cores=1,3,5,7
/proc/18015/task/18076/stat : 18076 (java) S 18012 18015 3187 0 -1 1077944384 16112 12381 0 0 173 3 5 2 20 0 15 0 7591064 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140375642536176 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18077] ppid=18012 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/18015/task/18077/stat : 18077 (java) S 18012 18015 3187 0 -1 1077944384 3 12381 0 0 0 0 5 2 20 0 15 0 7591064 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140375641483872 140376103118549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
[pid=18015/tid=18078] ppid=18012 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/18015/task/18078/stat : 18078 (java) S 18012 18015 3187 0 -1 1077944384 349 12381 0 0 5 6 5 2 20 0 15 0 7591067 14405136384 102605 18446744073709551615 4194304 4196468 140727957922800 140375640431408 140376103119490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14139392 140727957927886 140727957930671 140727957930671 140727957934031 0
Current children cumulated CPU time (s) 253.23
Current children cumulated vsize (KiB) 14067516

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 18015 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.032
CPU time (s): 253.29
CPU user time (s): 252.02
CPU system time (s): 1.26993
CPU usage (%): 105.524
Max. virtual memory (cumulated for all children) (KiB): 14069632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.02
system time used= 1.26993
maximum resident set size= 1241984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162883
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19385
involuntary context switches= 757

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47485 second user time and 1.12889 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 08:39:24
IDJOB=4259425
IDBENCH=133714
IDSOLVER=2646
FILE ID=node135/4259425-1501656804
RUNJOBID= node135-1501639717-27967
PBS_JOBID= 
Free space on /tmp= 61816 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-t2.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259425-1501656804/watcher-4259425-1501656804 -o /tmp/evaluation-result-4259425-1501656804/solver-4259425-1501656804 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300  bin/concrete HOME/instance-4259425-1501656804.xml

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

MD5SUM BENCH= 9e99b8f50ba877dbe58773e5c08a73e4
RANDOM SEED=46727930

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29061344 kB
MemAvailable:   29343500 kB
Buffers:          132952 kB
Cached:           425736 kB
SwapCached:            0 kB
Active:          3025312 kB
Inactive:         261552 kB
Active(anon):    2728416 kB
Inactive(anon):     8592 kB
Active(file):     296896 kB
Inactive(file):   252960 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24180 kB
Writeback:             8 kB
AnonPages:       2727752 kB
Mapped:            42484 kB
Shmem:              8960 kB
Slab:             122512 kB
SReclaimable:      96272 kB
SUnreclaim:        26240 kB
KernelStack:        3504 kB
PageTables:        10084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3390092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2504704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61792 MiB
End job on node135 at 2017-08-02 08:43:24