Trace number 4396049

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.2SAT (TO)1097 2520.12 2479.85

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-ash608GPIA.xml
MD5SUM0df69417c613ef889e63c8df69e0b506
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1.33999
Satisfiable
(Un)Satisfiability was proved
Number of variables1216
Number of constraints7844
Number of domains1
Minimum domain size1216
Maximum domain size1216
Distribution of domain sizes[{"size":1216,"count":1216}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":1},{"degree":6,"count":2},{"degree":7,"count":13},{"degree":8,"count":18},{"degree":9,"count":26},{"degree":10,"count":54},{"degree":11,"count":102},{"degree":12,"count":128},{"degree":13,"count":194},{"degree":14,"count":189},{"degree":15,"count":154},{"degree":16,"count":130},{"degree":17,"count":97},{"degree":18,"count":66},{"degree":19,"count":22},{"degree":20,"count":10},{"degree":21,"count":10}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":7844}]
Number of extensional constraints0
Number of intensional constraints7844
Distribution of constraint types[{"type":"intension","count":7844}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.72/0.58	c Concrete v3.12.2.1568380929293 running
57.07/44.32	o 1215
81.84/68.32	o 1214
105.45/91.69	o 1213
130.17/116.10	o 1212
153.26/138.63	o 1211
174.97/159.92	o 1210
197.77/182.27	o 1209
221.50/205.49	o 1208
242.91/226.45	o 1207
263.83/246.94	o 1206
284.46/267.16	o 1205
306.87/289.17	o 1204
327.23/309.16	o 1203
349.30/330.83	o 1202
370.70/351.82	o 1201
392.62/373.34	o 1200
414.44/394.74	o 1199
436.04/415.96	o 1198
456.86/436.35	o 1197
478.98/458.02	o 1196
499.79/478.42	o 1195
520.39/498.68	o 1194
540.76/518.66	o 1193
561.87/539.32	o 1192
583.28/560.30	o 1191
605.25/581.85	o 1190
626.88/603.07	o 1189
648.03/623.75	o 1188
667.21/642.52	o 1187
687.62/662.53	o 1186
709.24/683.78	o 1185
731.68/705.75	o 1184
752.95/726.41	o 1183
774.21/747.30	o 1182
795.68/768.41	o 1181
817.84/790.29	o 1180
840.72/812.81	o 1179
863.07/834.97	o 1178
886.56/858.27	o 1177
909.42/880.99	o 1176
933.08/904.45	o 1175
956.27/927.47	o 1174
978.98/949.89	o 1173
1001.36/972.10	o 1172
1024.02/994.57	o 1171
1045.99/1016.20	o 1170
1067.65/1037.71	o 1169
1089.22/1059.17	o 1168
1111.67/1081.45	o 1167
1134.58/1104.18	o 1166
1156.53/1125.99	o 1165
1179.10/1148.30	o 1164
1201.16/1170.26	o 1163
1224.42/1193.32	o 1162
1246.29/1215.05	o 1161
1269.20/1237.80	o 1160
1291.47/1259.84	o 1159
1313.34/1281.55	o 1158
1334.69/1302.76	o 1157
1356.16/1324.04	o 1156
1377.09/1344.84	o 1155
1397.34/1364.98	o 1154
1417.67/1385.13	o 1153
1439.15/1406.45	o 1152
1459.58/1426.79	o 1151
1480.74/1447.72	o 1150
1502.10/1468.99	o 1149
1521.75/1488.44	o 1148
1541.38/1507.92	o 1147
1560.33/1526.73	o 1146
1580.35/1546.61	o 1145
1599.39/1565.50	o 1144
1616.91/1582.93	o 1143
1634.73/1600.65	o 1142
1654.98/1620.72	o 1141
1675.21/1640.87	o 1140
1695.47/1660.95	o 1139
1715.41/1680.76	o 1138
1735.04/1700.22	o 1137
1754.56/1719.60	o 1136
1774.81/1739.75	o 1135
1794.03/1758.81	o 1134
1813.18/1777.83	o 1133
1832.40/1797.00	o 1132
1850.51/1814.90	o 1131
1868.53/1832.84	o 1130
1885.94/1850.12	o 1129
1906.10/1870.17	o 1128
1927.76/1891.62	o 1127
1948.81/1912.57	o 1126
1969.65/1933.22	o 1125
1990.52/1953.99	o 1124
2010.77/1974.10	o 1123
2029.52/1992.67	o 1122
2048.84/2011.80	o 1121
2068.08/2030.98	o 1120
2087.20/2049.94	o 1119
2105.52/2068.15	o 1118
2124.35/2086.88	o 1117
2142.37/2104.72	o 1116
2159.35/2121.64	o 1115
2176.15/2138.33	o 1114
2197.01/2159.02	o 1113
2218.28/2180.13	o 1112
2240.73/2202.49	o 1111
2262.39/2224.00	o 1110
2283.55/2244.92	o 1109
2305.11/2266.36	o 1108
2325.87/2286.93	o 1107
2345.60/2306.59	o 1106
2366.15/2326.93	o 1105
2385.97/2346.64	o 1104
2404.68/2365.23	o 1103
2423.22/2383.61	o 1102
2440.95/2401.27	o 1101
2457.63/2417.82	o 1100
2474.15/2434.25	o 1099
2490.36/2450.33	o 1098
2506.35/2466.24	o 1097
2520.03/2479.82	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2479.82		at concrete.MAC.mac(MAC.scala:192)
2520.03/2479.82		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.03/2479.82		at scala.util.Try$.apply(Try.scala:212)
2520.03/2479.82		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.03/2479.82		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.03/2479.82		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.03/2479.82		at concrete.MAC.oneRun(MAC.scala:265)
2520.03/2479.82		at concrete.MAC.nextSolution(MAC.scala:284)
2520.03/2479.82		at concrete.MAC.nextSolution(MAC.scala:369)
2520.03/2479.82		at concrete.Solver.hasNext(Solver.scala:160)
2520.03/2479.82		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.03/2479.82		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.03/2479.82		at concrete.Solver.foreach(Solver.scala:67)
2520.03/2479.82		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.03/2479.82		at scala.util.Success.map(Try.scala:264)
2520.03/2479.82		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2479.82		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.03/2479.82		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.03/2479.82		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2479.82		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.03/2479.82		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.03/2479.82		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.03/2479.82		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.03/2479.82		at scala.App.$anonfun$main$1(App.scala:75)
2520.03/2479.82		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.03/2479.82		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.03/2479.82		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.03/2479.82		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.03/2479.82		at scala.App.main(App.scala:75)
2520.03/2479.82		at scala.App.main$(App.scala:73)
2520.03/2479.82		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.03/2479.82		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2479.82	v <instantiation
2520.03/2479.82	v         cost = '1097'>
2520.03/2479.82	v       <list>
2520.03/2479.82	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]
2520.03/2479.82	v       </list>
2520.03/2479.82	v       <values>
2520.03/2479.82	v         0 3 1 4 0 2 4 2 3 0 3 2 3 5 1 0 0 2 0 1 5 3 1097 3 2 3 2 0 1096 0 2 5 1 1095 1097 5 3 1 1097 2 4 1 4 3 1 0 5 3 5 0 1 1096 5 1 2 0 2 1 0 1 0 4 0 2 1 5 1 4 2 5 1097 5 1 0 2 0 1 5 4 5 4 1097 1 1096 0 2 0 1 4 3 4 1 0 1 0 2 1097 1 1 4 2 3 2 0 1 1097 3 0 1 5 1 0 2 0 2 0 2 1 5 3 0 4 0 2 0 2 0 1 0 1097 3 1 3 1096 2 1 3 1096 2 5 1097 5 1 2 1 0 1 0 1 1097 1 2 1 2 1 3 2 4 5 0 1096 0 6 1097 4 3 4 1 6 0 1 4 1 0 3 0 1 1096 1096 2 3 4 3 0 0 4 1097 2 1097 4 0 6 0 2 0 3 3 2 4 2 3 2 3 1 4 3 5 6 4 1097 4 1 3 0 5 1 3 1097 2 6 0 4 0 3 2 3 5 1 1097 4 1097 3 2 3 4 3 1097 3 1 5 1 0 6 1 4 0 3 1 4 0 3 5 4 0 1096 2 0 1 3 1 0 2 2 1 2 4 0 5 2 0 1 3 2 0 2 1097 1097 3 4 2 1097 3 1096 1097 1 4 1 2 1 3 0 2 1 5 4 2 0 6 3 1 0 4 2 1 1 3 0 1097 0 4 2 1097 6 3 4 2 5 0 4 1 2 1 3 2 0 2 0 1 4 1 0 2 3 2 5 3 1 2 1 0 3 4 1 0 2 4 3 1097 1 0 1 2 3 0 5 1097 2 0 4 0 2 0 4 3 5 4 3 1096 0 1 0 1 0 2 0 1096 3 2 1 4 1 0 2 4 1097 6 1096 3 1 0 0 1097 5 4 3 1096 0 1097 0 1 1097 4 2 4 1 5 1 2 1097 0 1097 0 4 0 4 3 4 0 4 2 4 0 2 3 0 3 0 2 0 2 3 2 0 1 2 3 4 1 4 0 0 2 0 2 1 2 3 2 4 0 4 0 3 1 2 0 1097 0 4 0 3 0 3 0 2 3 1 5 2 1 2 1097 0 1 0 1096 3 4 1096 1 0 2 0 3 4 1 4 1 4 1 1097 1 1097 0 2 0 3 2 0 1097 1 2 5 0 2 4 2 0 5 1097 1 2 1096 0 5 0 6 2 0 3 0 4 5 1 0 3 2 1097 1 1097 0 4 1 5 2 0 1097 1 1096 0 4 0 2 0 5 1 1097 3 1 3 0 3 0 2 0 1 2 0 3 0 4 1 4 1 0 3 1 0 1097 3 3 4 0 4 0 1 2 4 0 1 4 5 1 3 0 1097 1 3 4 1097 1 3 1 3 0 4 2 3 5 3 2 3 1 3 0 3 1097 2 3 1 4 0 1 2 5 0 1 3 4 0 1 0 2 0 3 0 2 0 2 1 0 3 2 4 1 6 0 4 3 6 1 4 0 2 1 4 6 2 1097 5 0 3 0 3 0 2 0 2 1 1097 4 0 1 0 1 1097 0 2 0 2 0 1 0 1 3 1097 1096 0 2 1097 1 0 1097 3 3 1 3 0 1096 0 3 1 1 0 1 4 2 3 0 1 2 1 0 3 5 4 2 3 1 0 2 0 0 1097 4 3 5 3 4 1 5 3 0 3 0 3 6 2 6 1 0 1 3 1097 0 1097 4 1 4 5 3 0 1097 0 6 0 5 4 1 0 0 4 3 1 1097 1096 3 0 2 0 4 0 2 1 0 3 0 1 3 2 5 2 3 4 0 2 3 1 2 1097 2 5 3 1 4 1 1097 0 4 0 2 4 6 4 2 4 1 3 6 5 1 0 1096 0 1 3 5 0 1 1097 3 0 0 1 0 3 1097 3 4 3 5 4 2 1 5 0 1 3 4 2 1 0 2 0 2 3 0 3 0 1 0 4 0 3 3 1 3 2 3 0 1097 0 2 1 1096 7 4 5 6 1 1097 3 4 2 0 2 0 2 4 2 2 4 0 4 3 4 1 1097 1 5 3 2 1 5 0 5 0 2 1 1097 1096 0 1 0 2 5 2 5 0 2 3 1 0 2 0 2 4 2 1097 2 2 1097 1 1097 0 1096 0 2 1 2 1 2 1 3 0 1 2 4 0 4 1 3 1 0 5 3 1 0 1097 0 6 1 0 3 0 5 4 1096 0 1097 0 3 2 5 2 1096 3 2 3 1 2 1 1 2 1097 1096 1 0 3 1 0 4 2 1 2 1096 3 5 3 0 2 0 2 0 3 1 4 0 2 3 1 3 2 5 4 3 1 3 1097 2 0 1096 3 1097 4 1 3 1 0 1 0 2 4 1 0 1 0 1 3 2 1097 1 3 0 2 1096 4 2 3 0 1 2 2 5 1 4 1096 0 3 5 2 0 2 0 0 2 1 1096 1 2 1097 3 3 5 3 0 2 0 2 0 2 0 2 3 3 0 2 3 3 1 1 3 3 2 0 1097 5 2 5 4 5 0 5 0 5 0 1 2 3 1097 2 0 3 0 1 1097 5 4 1 3 1 3 2 1097 3 1096 5 1 2 0 2 0 5 1 1096 1097 1095 1 0 1 3 4 0 1 0 1 1 0 2 3 4 1097 1 0 1 0 3 1 0 1 0 2 3 2 1096 1 2 1 2 1 2 3 1097 1096 3 1096 1 5 1 3 0 3 0 4 1097 1 0 1 5 1 1097 2 3 2 4 0 2 0 1095 1 0 1096 0 1096 2 3 1 3 1097 4 3 2 1 0 1097 3 1 1095 2 0 2 1095 0 1 3 4 0 2 4 2 3 2 0 2 1 4
2520.03/2479.82	v       </values>
2520.03/2479.82	v     </instantiation>
2520.03/2479.83	s SATISFIABLE

Verifier Data 

OK	1097

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12757 MiB free)
  memory of node 1: 16384 MiB (15698 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396049-1568394120/watcher-4396049-1568394120 -o /tmp/evaluation-result-4396049-1568394120/solver-4396049-1568394120 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568394081-28382 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1760984517 HOME/instance-4396049-1568394120.xml 

running on 4 cores: 1,3,5,7

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

solver pid=28407, runsolver pid=28402

[startup+0.100067 s]*
/proc/loadavg: 1.00 1.03 1.29 5/233 28495
/proc/meminfo: memFree=29113196/32770624 swapFree=66999916/67108860
[pid=28407] ppid=28402 vsize=113256 memory=1620 CPUtime=0.07 cores=1,3,5,7
/proc/28407/stat : 28407 (bash) S 28402 28407 25641 0 -1 4202496 993 12563 1 1 0 0 5 2 20 0 1 0 415676956 115974144 405 33554432000 4194304 5098028 140720323855184 140720323851016 140180119395328 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 1 0 0 7196144 7232144 10362880 140720323863572 140720323863697 140720323863697 140720323866606 0
/proc/28407/statm: 28314 405 321 221 0 119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1620 KiB

[startup+0.210121 s]*
/proc/loadavg: 1.00 1.03 1.29 6/228 28542
/proc/meminfo: memFree=29092480/32770624 swapFree=66999916/67108860
[pid=28407] ppid=28402 vsize=10819664 memory=37408 CPUtime=0.2 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28402 28407 25641 0 -1 1077944320 6707 13255 1 1 11 2 5 2 20 0 15 0 415676956 11079335936 9352 33554432000 4194304 4196468 140726643330848 140726643313392 139668158336759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
/proc/28407/statm: 2704916 9352 3152 1 0 2667149 0
[pid=28407/tid=28515] ppid=28402 vsize=10819664 memory=7022364594140610616 CPUtime=0.16 cores=1,3,5,7
/proc/28407/task/28515/stat : 28515 (java) R 28402 28407 25641 0 -1 4202560 3223 13255 0 1 8 1 5 2 20 0 15 0 415676968 11079335936 9352 33554432000 4194304 4196468 140726643330848 139668130169072 139667722840176 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28517] ppid=28402 vsize=10819664 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28517/stat : 28517 (java) S 28402 28407 25641 0 -1 1077944384 2 13255 0 1 0 0 5 2 20 0 15 0 415676968 11079335936 9352 33554432000 4194304 4196468 140726643330848 139668162578704 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28518] ppid=28402 vsize=10819664 memory=139781134720391 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28518/stat : 28518 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676968 11079335936 9352 33554432000 4194304 4196468 140726643330848 139668050852240 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28519] ppid=28402 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28519/stat : 28519 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676968 11079335936 9352 33554432000 4194304 4196468 140726643330848 139668049799696 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28520] ppid=28402 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28520/stat : 28520 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676968 11079335936 9352 33554432000 4194304 4196468 140726643330848 139668048747152 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28525] ppid=28402 vsize=10819664 memory=139781131695744 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28525/stat : 28525 (java) S 28402 28407 25641 0 -1 1077944384 2 13255 0 1 0 0 5 2 20 0 15 0 415676970 11079335936 9352 33554432000 4194304 4196468 140726643330848 139667616766448 139668158347906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28527] ppid=28402 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28527/stat : 28527 (java) S 28402 28407 25641 0 -1 1077944384 33 13255 0 1 0 0 5 2 20 0 15 0 415676970 11079335936 9352 33554432000 4194304 4196468 140726643330848 139667615712672 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28529] ppid=28402 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28529/stat : 28529 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676970 11079335936 9352 33554432000 4194304 4196468 140726643330848 139667034858992 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28531] ppid=28402 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28531/stat : 28531 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11079335936 9352 33554432000 4194304 4196468 140726643330848 139666727459536 139668158355355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28532] ppid=28402 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28532/stat : 28532 (java) R 28402 28407 25641 0 -1 1077944384 302 13255 0 1 0 0 5 2 20 0 15 0 415676973 11079335936 9352 33554432000 4194304 4196468 140726643330848 139667582154736 139668158347906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28533] ppid=28402 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28533/stat : 28533 (java) R 28402 28407 25641 0 -1 4202560 307 13255 0 1 0 0 5 2 20 0 15 0 415676973 11079335936 9352 33554432000 4194304 4196468 140726643330848 139667581083208 139668143461824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28534] ppid=28402 vsize=10819664 memory=139781131695744 CPUtime=0.08 cores=1,3,5,7
/proc/28407/task/28534/stat : 28534 (java) R 28402 28407 25641 0 -1 4202560 619 13255 0 1 1 0 5 2 20 0 15 0 415676973 11079335936 9352 33554432000 4194304 4196468 140726643330848 139667580049648 139668137298046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28535] ppid=28402 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28535/stat : 28535 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11079335936 9352 33554432000 4194304 4196468 140726643330848 139666693900896 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28540] ppid=28402 vsize=10819664 memory=139781131695744 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28540/stat : 28540 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676973 11079335936 9352 33554432000 4194304 4196468 140726643330848 139667578997552 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 37408 KiB

[startup+0.310545 s]*
/proc/loadavg: 1.00 1.03 1.29 4/228 28542
/proc/meminfo: memFree=29064340/32770624 swapFree=66999916/67108860
[pid=28407] ppid=28402 vsize=10821172 memory=48844 CPUtime=0.36 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28402 28407 25641 0 -1 1077944320 10399 13255 1 1 25 4 5 2 20 0 15 0 415676956 11080880128 12207 33554432000 4194304 4196468 140726643330848 140726643313392 139668158336759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
/proc/28407/statm: 2705293 12207 3287 1 0 2667405 0
[pid=28407/tid=28515] ppid=28402 vsize=10821172 memory=576461178948550685 CPUtime=0.25 cores=1,3,5,7
/proc/28407/task/28515/stat : 28515 (java) R 28402 28407 25641 0 -1 4202560 6884 13255 0 1 16 2 5 2 20 0 15 0 415676968 11080880128 12211 33554432000 4194304 4196468 140726643330848 139668130136672 139668151016477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28517] ppid=28402 vsize=10821172 memory=297237803895619607 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28517/stat : 28517 (java) S 28402 28407 25641 0 -1 1077944384 2 13255 0 1 0 0 5 2 20 0 15 0 415676968 11080880128 12211 33554432000 4194304 4196468 140726643330848 139668162578704 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28518] ppid=28402 vsize=10821172 memory=139781133692758 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28518/stat : 28518 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676968 11080880128 12211 33554432000 4194304 4196468 140726643330848 139668050852240 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28519] ppid=28402 vsize=10820148 memory=8514701219242344867 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28519/stat : 28519 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676968 11079831552 12211 33554432000 4194304 4196468 140726643330848 139668049799696 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28520] ppid=28402 vsize=10820148 memory=3472328296225127011 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28520/stat : 28520 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676968 11079831552 12211 33554432000 4194304 4196468 140726643330848 139668048747152 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28525] ppid=28402 vsize=10820148 memory=7008596428333491888 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28525/stat : 28525 (java) S 28402 28407 25641 0 -1 1077944384 2 13255 0 1 0 0 5 2 20 0 15 0 415676970 11079831552 12211 33554432000 4194304 4196468 140726643330848 139667616766448 139668158347906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28527] ppid=28402 vsize=10821172 memory=3544385890265608200 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28527/stat : 28527 (java) S 28402 28407 25641 0 -1 1077944384 33 13255 0 1 0 0 5 2 20 0 15 0 415676970 11080880128 12211 33554432000 4194304 4196468 140726643330848 139667615712672 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28529] ppid=28402 vsize=10821172 memory=9051283677730746851 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28529/stat : 28529 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676970 11080880128 12211 33554432000 4194304 4196468 140726643330848 139667034858992 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28531] ppid=28402 vsize=10821172 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28531/stat : 28531 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11080880128 12211 33554432000 4194304 4196468 140726643330848 139666727459536 139668158355355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28532] ppid=28402 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28407/task/28532/stat : 28532 (java) S 28402 28407 25641 0 -1 1077944384 326 13255 0 1 1 0 5 2 20 0 15 0 415676973 11079831552 12211 33554432000 4194304 4196468 140726643330848 139667582154736 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28533] ppid=28402 vsize=10820148 memory=8392585875757298272 CPUtime=0.09 cores=1,3,5,7
/proc/28407/task/28533/stat : 28533 (java) S 28402 28407 25641 0 -1 1077944384 329 13255 0 1 2 0 5 2 20 0 15 0 415676973 11079831552 12211 33554432000 4194304 4196468 140726643330848 139667581102192 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28534] ppid=28402 vsize=10820148 memory=139781131695744 CPUtime=0.12 cores=1,3,5,7
/proc/28407/task/28534/stat : 28534 (java) S 28402 28407 25641 0 -1 1077944384 637 13255 0 1 5 0 5 2 20 0 15 0 415676973 11079831552 12211 33554432000 4194304 4196468 140726643330848 139667580049648 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28535] ppid=28402 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28535/stat : 28535 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11079831552 12211 33554432000 4194304 4196468 140726643330848 139666693900896 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28540] ppid=28402 vsize=10820148 memory=139781131695744 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28540/stat : 28540 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676973 11079831552 12211 33554432000 4194304 4196468 140726643330848 139667578997552 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10821172 KiB
Current children cumulated memory: 48844 KiB

[startup+0.70076 s]
/proc/loadavg: 1.00 1.03 1.29 3/228 28542
/proc/meminfo: memFree=29036976/32770624 swapFree=66999916/67108860
[pid=28407] ppid=28402 vsize=10822312 memory=76336 CPUtime=1.03 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28402 28407 25641 0 -1 1077944320 14268 13255 1 1 90 6 5 2 20 0 15 0 415676956 11082047488 19084 33554432000 4194304 4196468 140726643330848 140726643313392 139668158336759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
/proc/28407/statm: 2705578 19084 3490 1 0 2667661 0
[pid=28407/tid=28515] ppid=28402 vsize=10822312 memory=2312 CPUtime=0.61 cores=1,3,5,7
/proc/28407/task/28515/stat : 28515 (java) R 28402 28407 25641 0 -1 4202560 9798 13255 0 1 50 4 5 2 20 0 15 0 415676968 11082047488 19084 33554432000 4194304 4196468 140726643330848 139668130160528 139667723068098 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28517] ppid=28402 vsize=10822312 memory=2312 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28517/stat : 28517 (java) S 28402 28407 25641 0 -1 1077944384 2 13255 0 1 0 0 5 2 20 0 15 0 415676968 11082047488 19084 33554432000 4194304 4196468 140726643330848 139668162578704 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28518] ppid=28402 vsize=10822312 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28518/stat : 28518 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676968 11082047488 19084 33554432000 4194304 4196468 140726643330848 139668050852240 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28519] ppid=28402 vsize=10822312 memory=2424 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28519/stat : 28519 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676968 11082047488 19084 33554432000 4194304 4196468 140726643330848 139668049799696 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28520] ppid=28402 vsize=10822312 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28520/stat : 28520 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676968 11082047488 19084 33554432000 4194304 4196468 140726643330848 139668048747152 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28525] ppid=28402 vsize=10822312 memory=2420 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28525/stat : 28525 (java) S 28402 28407 25641 0 -1 1077944384 5 13255 0 1 0 0 5 2 20 0 15 0 415676970 11082047488 19084 33554432000 4194304 4196468 140726643330848 139667616766448 139668158347906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28527] ppid=28402 vsize=10822312 memory=63648 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28527/stat : 28527 (java) S 28402 28407 25641 0 -1 1077944384 33 13255 0 1 0 0 5 2 20 0 15 0 415676970 11082047488 19084 33554432000 4194304 4196468 140726643330848 139667615712672 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28529] ppid=28402 vsize=10822312 memory=64744 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28529/stat : 28529 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676970 11082047488 19084 33554432000 4194304 4196468 140726643330848 139667034858992 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28531] ppid=28402 vsize=10822312 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28531/stat : 28531 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11082047488 19084 33554432000 4194304 4196468 140726643330848 139666727459536 139668158355355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28532] ppid=28402 vsize=10822312 memory=496 CPUtime=0.19 cores=1,3,5,7
/proc/28407/task/28532/stat : 28532 (java) R 28402 28407 25641 0 -1 4202560 724 13255 0 1 12 0 5 2 20 0 15 0 415676973 11082047488 19084 33554432000 4194304 4196468 140726643330848 139667582154736 139668137583043 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28533] ppid=28402 vsize=10822312 memory=1560 CPUtime=0.18 cores=1,3,5,7
/proc/28407/task/28533/stat : 28533 (java) S 28402 28407 25641 0 -1 1077944384 685 13255 0 1 11 0 5 2 20 0 15 0 415676973 11082047488 19596 33554432000 4194304 4196468 140726643330848 139667581102192 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28534] ppid=28402 vsize=10822312 memory=932 CPUtime=0.22 cores=1,3,5,7
/proc/28407/task/28534/stat : 28534 (java) S 28402 28407 25641 0 -1 1077944384 802 13255 0 1 15 0 5 2 20 0 15 0 415676973 11082047488 19596 33554432000 4194304 4196468 140726643330848 139667580049648 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28535] ppid=28402 vsize=10822312 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28535/stat : 28535 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11082047488 19596 33554432000 4194304 4196468 140726643330848 139666693900896 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28540] ppid=28402 vsize=10822312 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28540/stat : 28540 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676973 11082047488 19596 33554432000 4194304 4196468 140726643330848 139667578997552 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 10822312 KiB
Current children cumulated memory: 76336 KiB

[startup+1.5007 s]
/proc/loadavg: 1.00 1.03 1.29 6/228 28542
/proc/meminfo: memFree=28953304/32770624 swapFree=66999916/67108860
[pid=28407] ppid=28402 vsize=10832628 memory=210284 CPUtime=3.08 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28402 28407 25641 0 -1 1077944320 24601 13255 1 1 289 12 5 2 20 0 15 0 415676956 11092611072 52571 33554432000 4194304 4196468 140726643330848 140726643313392 139668158336759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
/proc/28407/statm: 2708157 52571 3550 1 0 2670221 0
[pid=28407/tid=28515] ppid=28402 vsize=10832628 memory=0 CPUtime=1.38 cores=1,3,5,7
/proc/28407/task/28515/stat : 28515 (java) S 28402 28407 25641 0 -1 1077944384 13715 13255 0 1 125 6 5 2 20 0 15 0 415676968 11092611072 52571 33554432000 4194304 4196468 140726643330848 139668130158976 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28517] ppid=28402 vsize=10832628 memory=8694940669839529174 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28517/stat : 28517 (java) R 28402 28407 25641 0 -1 4202560 47 13255 0 1 0 0 5 2 20 0 15 0 415676968 11092611072 52571 33554432000 4194304 4196468 140726643330848 139668162578600 139668150964967 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28518] ppid=28402 vsize=10832628 memory=-2247047206137519705 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28518/stat : 28518 (java) R 28402 28407 25641 0 -1 4202560 29 13255 0 1 0 0 5 2 20 0 15 0 415676968 11092611072 52571 33554432000 4194304 4196468 140726643330848 139668050852240 139668142790769 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28519] ppid=28402 vsize=10832628 memory=-3472574513799858003 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28519/stat : 28519 (java) R 28402 28407 25641 0 -1 4202560 197 13255 0 1 0 0 5 2 20 0 15 0 415676968 11092611072 52571 33554432000 4194304 4196468 140726643330848 139668049799696 139668139933411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28520] ppid=28402 vsize=10832628 memory=-2127767799640501289 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28520/stat : 28520 (java) R 28402 28407 25641 0 -1 4202560 59 13255 0 1 0 0 5 2 20 0 15 0 415676968 11092611072 52571 33554432000 4194304 4196468 140726643330848 139668048747152 139668150964967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28525] ppid=28402 vsize=10832628 memory=-2895393857603775783 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28525/stat : 28525 (java) S 28402 28407 25641 0 -1 1077944384 39 13255 0 1 0 0 5 2 20 0 15 0 415676970 11092611072 52571 33554432000 4194304 4196468 140726643330848 139667616764736 139668158346965 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28527] ppid=28402 vsize=10832628 memory=-6452064069391756930 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28527/stat : 28527 (java) S 28402 28407 25641 0 -1 1077944384 33 13255 0 1 0 0 5 2 20 0 15 0 415676970 11092611072 52571 33554432000 4194304 4196468 140726643330848 139667615712672 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28529] ppid=28402 vsize=10832628 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28529/stat : 28529 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676970 11092611072 52571 33554432000 4194304 4196468 140726643330848 139667034858992 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28531] ppid=28402 vsize=10832628 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28531/stat : 28531 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11092611072 52571 33554432000 4194304 4196468 140726643330848 139666727459536 139668158355355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28532] ppid=28402 vsize=10832628 memory=6944656592455360604 CPUtime=0.7 cores=1,3,5,7
/proc/28407/task/28532/stat : 28532 (java) S 28402 28407 25641 0 -1 1077944384 3513 13255 0 1 62 1 5 2 20 0 15 0 415676973 11092611072 52571 33554432000 4194304 4196468 140726643330848 139667582145680 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28533] ppid=28402 vsize=10832628 memory=2260 CPUtime=0.64 cores=1,3,5,7
/proc/28407/task/28533/stat : 28533 (java) S 28402 28407 25641 0 -1 1077944384 2864 13255 0 1 57 0 5 2 20 0 15 0 415676973 11092611072 52571 33554432000 4194304 4196468 140726643330848 139667581102192 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28534] ppid=28402 vsize=10832628 memory=3 CPUtime=0.47 cores=1,3,5,7
/proc/28407/task/28534/stat : 28534 (java) S 28402 28407 25641 0 -1 1077944384 1888 13255 0 1 40 0 5 2 20 0 15 0 415676973 11092611072 52571 33554432000 4194304 4196468 140726643330848 139667580043072 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28535] ppid=28402 vsize=10832628 memory=666 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28535/stat : 28535 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11092611072 52571 33554432000 4194304 4196468 140726643330848 139666693900896 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28540] ppid=28402 vsize=10832628 memory=268 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28540/stat : 28540 (java) S 28402 28407 25641 0 -1 1077944384 1 13255 0 1 0 0 5 2 20 0 15 0 415676973 11092611072 52571 33554432000 4194304 4196468 140726643330848 139667578997552 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 10832628 KiB
Current children cumulated memory: 210284 KiB

[startup+3.11333 s]
/proc/loadavg: 1.24 1.08 1.30 9/228 28542
/proc/meminfo: memFree=28640344/32770624 swapFree=66999916/67108860
[pid=28407] ppid=28402 vsize=10840840 memory=290168 CPUtime=7.13 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28402 28407 25641 0 -1 1077944320 34369 13255 1 1 690 16 5 2 20 0 15 0 415676956 11101020160 72542 33554432000 4194304 4196468 140726643330848 140726643313392 139668158336759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
/proc/28407/statm: 2710210 72542 3602 1 0 2672269 0
[pid=28407/tid=28515] ppid=28402 vsize=10840840 memory=7 CPUtime=2.94 cores=1,3,5,7
/proc/28407/task/28515/stat : 28515 (java) R 28402 28407 25641 0 -1 1077944384 17724 13255 0 1 279 8 5 2 20 0 15 0 415676968 11101020160 72542 33554432000 4194304 4196468 140726643330848 139668130169904 139668158346965 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0

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

/proc/28407/task/28515/stat : 28515 (java) R 28402 28407 25641 0 -1 4202560 363760 13255 0 1 231109 96 5 2 20 0 15 0 415676968 11107311616 786716 33554432000 4194304 4196468 140726643330848 139668130172208 139667726105501 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28517] ppid=28402 vsize=10846984 memory=3146864 CPUtime=8.22 cores=1,3,5,7
/proc/28407/task/28517/stat : 28517 (java) S 28402 28407 25641 0 -1 1077944384 10238 13255 0 1 771 44 5 2 20 0 15 0 415676968 11107311616 786716 33554432000 4194304 4196468 140726643330848 139668162578704 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28518] ppid=28402 vsize=10846984 memory=3146864 CPUtime=8.24 cores=1,3,5,7
/proc/28407/task/28518/stat : 28518 (java) S 28402 28407 25641 0 -1 1077944384 12115 13255 0 1 770 47 5 2 20 0 15 0 415676968 11107311616 786716 33554432000 4194304 4196468 140726643330848 139668050852240 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28519] ppid=28402 vsize=10846984 memory=3146864 CPUtime=8.25 cores=1,3,5,7
/proc/28407/task/28519/stat : 28519 (java) S 28402 28407 25641 0 -1 1077944384 11870 13255 0 1 773 45 5 2 20 0 15 0 415676968 11107311616 786716 33554432000 4194304 4196468 140726643330848 139668049799696 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28520] ppid=28402 vsize=10846984 memory=3146864 CPUtime=8.24 cores=1,3,5,7
/proc/28407/task/28520/stat : 28520 (java) S 28402 28407 25641 0 -1 1077944384 11209 13255 0 1 772 45 5 2 20 0 15 0 415676968 11107311616 786716 33554432000 4194304 4196468 140726643330848 139668048747152 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28525] ppid=28402 vsize=10846984 memory=3146864 CPUtime=1.54 cores=1,3,5,7
/proc/28407/task/28525/stat : 28525 (java) S 28402 28407 25641 0 -1 1077944384 23719 13255 0 1 123 24 5 2 20 0 15 0 415676970 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667616766448 139668158347906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28527] ppid=28402 vsize=10846984 memory=147 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28527/stat : 28527 (java) S 28402 28407 25641 0 -1 1077944384 48 13255 0 1 0 0 5 2 20 0 15 0 415676970 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667615712800 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28529] ppid=28402 vsize=10846984 memory=3146864 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28529/stat : 28529 (java) S 28402 28407 25641 0 -1 1077944384 16 13255 0 1 0 0 5 2 20 0 15 0 415676970 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667034859008 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28531] ppid=28402 vsize=10846984 memory=3146864 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28531/stat : 28531 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11107311616 786716 33554432000 4194304 4196468 140726643330848 139666727459536 139668158355355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28532] ppid=28402 vsize=10846984 memory=56 CPUtime=6.12 cores=1,3,5,7
/proc/28407/task/28532/stat : 28532 (java) S 28402 28407 25641 0 -1 1077944384 33892 13255 0 1 600 5 5 2 20 0 15 0 415676973 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667582154736 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28533] ppid=28402 vsize=10846984 memory=3146864 CPUtime=5.78 cores=1,3,5,7
/proc/28407/task/28533/stat : 28533 (java) S 28402 28407 25641 0 -1 1077944384 39838 13255 0 1 567 4 5 2 20 0 15 0 415676973 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667581102192 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28534] ppid=28402 vsize=10846984 memory=3146864 CPUtime=2.22 cores=1,3,5,7
/proc/28407/task/28534/stat : 28534 (java) S 28402 28407 25641 0 -1 1077944384 28564 13255 0 1 210 5 5 2 20 0 15 0 415676973 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667580049648 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28535] ppid=28402 vsize=10846984 memory=992 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28535/stat : 28535 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11107311616 786716 33554432000 4194304 4196468 140726643330848 139666693900896 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28540] ppid=28402 vsize=10846984 memory=5988 CPUtime=1.32 cores=1,3,5,7
/proc/28407/task/28540/stat : 28540 (java) S 28402 28407 25641 0 -1 1077944384 1194 13255 0 1 53 72 5 2 20 0 15 0 415676973 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667578997552 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
Current children cumulated CPU time: 2361.51 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3146864 KiB

[startup+2382.3 s]
/proc/loadavg: 1.46 1.60 1.54 3/228 28761
/proc/meminfo: memFree=25411796/32770624 swapFree=66999916/67108860
[pid=28407] ppid=28402 vsize=10846984 memory=3146864 CPUtime=2421.89 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28402 28407 25641 0 -1 1077944320 546932 13255 1 1 241813 369 5 2 20 0 15 0 415676956 11107311616 786716 33554432000 4194304 4196468 140726643330848 140726643313392 139668158336759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
/proc/28407/statm: 2711746 786716 3637 1 0 2673805 0
[pid=28407/tid=28515] ppid=28402 vsize=10846984 memory=3146864 CPUtime=2371.99 cores=1,3,5,7
/proc/28407/task/28515/stat : 28515 (java) R 28402 28407 25641 0 -1 4202560 370882 13255 0 1 237095 97 5 2 20 0 15 0 415676968 11107311616 786716 33554432000 4194304 4196468 140726643330848 139668130171888 139667728330386 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28517] ppid=28402 vsize=10846984 memory=3146864 CPUtime=8.34 cores=1,3,5,7
/proc/28407/task/28517/stat : 28517 (java) S 28402 28407 25641 0 -1 1077944384 10256 13255 0 1 783 44 5 2 20 0 15 0 415676968 11107311616 786716 33554432000 4194304 4196468 140726643330848 139668162578704 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28518] ppid=28402 vsize=10846984 memory=3146864 CPUtime=8.36 cores=1,3,5,7
/proc/28407/task/28518/stat : 28518 (java) S 28402 28407 25641 0 -1 1077944384 12257 13255 0 1 782 47 5 2 20 0 15 0 415676968 11107311616 786716 33554432000 4194304 4196468 140726643330848 139668050852240 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28519] ppid=28402 vsize=10846984 memory=39540 CPUtime=8.36 cores=1,3,5,7
/proc/28407/task/28519/stat : 28519 (java) S 28402 28407 25641 0 -1 1077944384 12096 13255 0 1 784 45 5 2 20 0 15 0 415676968 11107311616 786716 33554432000 4194304 4196468 140726643330848 139668049799696 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28520] ppid=28402 vsize=10846984 memory=3146864 CPUtime=8.35 cores=1,3,5,7
/proc/28407/task/28520/stat : 28520 (java) S 28402 28407 25641 0 -1 1077944384 11239 13255 0 1 783 45 5 2 20 0 15 0 415676968 11107311616 786716 33554432000 4194304 4196468 140726643330848 139668048747152 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28525] ppid=28402 vsize=10846984 memory=3146864 CPUtime=1.54 cores=1,3,5,7
/proc/28407/task/28525/stat : 28525 (java) S 28402 28407 25641 0 -1 1077944384 23917 13255 0 1 123 24 5 2 20 0 15 0 415676970 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667616766448 139668158347906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28527] ppid=28402 vsize=10846984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28527/stat : 28527 (java) S 28402 28407 25641 0 -1 1077944384 48 13255 0 1 0 0 5 2 20 0 15 0 415676970 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667615712800 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28529] ppid=28402 vsize=10846984 memory=3146864 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28529/stat : 28529 (java) S 28402 28407 25641 0 -1 1077944384 16 13255 0 1 0 0 5 2 20 0 15 0 415676970 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667034859008 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28531] ppid=28402 vsize=10846984 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28531/stat : 28531 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11107311616 786716 33554432000 4194304 4196468 140726643330848 139666727459536 139668158355355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28532] ppid=28402 vsize=10846984 memory=3146864 CPUtime=6.12 cores=1,3,5,7
/proc/28407/task/28532/stat : 28532 (java) S 28402 28407 25641 0 -1 1077944384 33894 13255 0 1 600 5 5 2 20 0 15 0 415676973 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667582154736 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28533] ppid=28402 vsize=10846984 memory=3580 CPUtime=5.78 cores=1,3,5,7
/proc/28407/task/28533/stat : 28533 (java) S 28402 28407 25641 0 -1 1077944384 39840 13255 0 1 567 4 5 2 20 0 15 0 415676973 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667581102192 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28534] ppid=28402 vsize=10846984 memory=3146864 CPUtime=2.22 cores=1,3,5,7
/proc/28407/task/28534/stat : 28534 (java) S 28402 28407 25641 0 -1 1077944384 29049 13255 0 1 210 5 5 2 20 0 15 0 415676973 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667580049648 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28535] ppid=28402 vsize=10846984 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28535/stat : 28535 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11107311616 786716 33554432000 4194304 4196468 140726643330848 139666693900896 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28540] ppid=28402 vsize=10846984 memory=39540 CPUtime=1.35 cores=1,3,5,7
/proc/28407/task/28540/stat : 28540 (java) S 28402 28407 25641 0 -1 1077944384 1223 13255 0 1 54 74 5 2 20 0 15 0 415676973 11107311616 786716 33554432000 4194304 4196468 140726643330848 139667578997552 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
Current children cumulated CPU time: 2421.89 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3146864 KiB

[startup+2442.3 s]
/proc/loadavg: 1.51 1.58 1.53 3/227 28765
/proc/meminfo: memFree=25411340/32770624 swapFree=66999916/67108860
[pid=28407] ppid=28402 vsize=10846984 memory=3146868 CPUtime=2482.3 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28402 28407 25641 0 -1 1077944320 554646 13255 1 1 247852 371 5 2 20 0 15 0 415676956 11107311616 786717 33554432000 4194304 4196468 140726643330848 140726643313392 139668158336759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
/proc/28407/statm: 2711746 786717 3637 1 0 2673805 0
[pid=28407/tid=28515] ppid=28402 vsize=10846984 memory=3146868 CPUtime=2431.84 cores=1,3,5,7
/proc/28407/task/28515/stat : 28515 (java) R 28402 28407 25641 0 -1 4202560 377414 13255 0 1 243080 97 5 2 20 0 15 0 415676968 11107311616 786717 33554432000 4194304 4196468 140726643330848 139668130173200 139667731432205 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28517] ppid=28402 vsize=10846984 memory=3146868 CPUtime=8.46 cores=1,3,5,7
/proc/28407/task/28517/stat : 28517 (java) S 28402 28407 25641 0 -1 1077944384 10478 13255 0 1 795 44 5 2 20 0 15 0 415676968 11107311616 786717 33554432000 4194304 4196468 140726643330848 139668162578704 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28518] ppid=28402 vsize=10846984 memory=3146868 CPUtime=8.48 cores=1,3,5,7
/proc/28407/task/28518/stat : 28518 (java) S 28402 28407 25641 0 -1 1077944384 12371 13255 0 1 794 47 5 2 20 0 15 0 415676968 11107311616 786717 33554432000 4194304 4196468 140726643330848 139668050852240 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28519] ppid=28402 vsize=10846984 memory=3146868 CPUtime=8.49 cores=1,3,5,7
/proc/28407/task/28519/stat : 28519 (java) S 28402 28407 25641 0 -1 1077944384 12122 13255 0 1 797 45 5 2 20 0 15 0 415676968 11107311616 786717 33554432000 4194304 4196468 140726643330848 139668049799696 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28520] ppid=28402 vsize=10846984 memory=3146868 CPUtime=8.47 cores=1,3,5,7
/proc/28407/task/28520/stat : 28520 (java) S 28402 28407 25641 0 -1 1077944384 11394 13255 0 1 795 45 5 2 20 0 15 0 415676968 11107311616 786717 33554432000 4194304 4196468 140726643330848 139668048747152 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28525] ppid=28402 vsize=10846984 memory=3146868 CPUtime=1.56 cores=1,3,5,7
/proc/28407/task/28525/stat : 28525 (java) S 28402 28407 25641 0 -1 1077944384 24106 13255 0 1 125 24 5 2 20 0 15 0 415676970 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667616766448 139668158347906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28527] ppid=28402 vsize=10846984 memory=3146868 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28527/stat : 28527 (java) S 28402 28407 25641 0 -1 1077944384 48 13255 0 1 0 0 5 2 20 0 15 0 415676970 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667615712800 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28529] ppid=28402 vsize=10846984 memory=3146868 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28529/stat : 28529 (java) S 28402 28407 25641 0 -1 1077944384 16 13255 0 1 0 0 5 2 20 0 15 0 415676970 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667034859008 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28531] ppid=28402 vsize=10846984 memory=3146868 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28531/stat : 28531 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11107311616 786717 33554432000 4194304 4196468 140726643330848 139666727459536 139668158355355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28532] ppid=28402 vsize=10846984 memory=3146868 CPUtime=6.12 cores=1,3,5,7
/proc/28407/task/28532/stat : 28532 (java) S 28402 28407 25641 0 -1 1077944384 33897 13255 0 1 600 5 5 2 20 0 15 0 415676973 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667582154736 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28533] ppid=28402 vsize=10846984 memory=3146868 CPUtime=5.78 cores=1,3,5,7
/proc/28407/task/28533/stat : 28533 (java) S 28402 28407 25641 0 -1 1077944384 39842 13255 0 1 567 4 5 2 20 0 15 0 415676973 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667581102192 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28534] ppid=28402 vsize=10846984 memory=3146868 CPUtime=2.22 cores=1,3,5,7
/proc/28407/task/28534/stat : 28534 (java) S 28402 28407 25641 0 -1 1077944384 29489 13255 0 1 210 5 5 2 20 0 15 0 415676973 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667580049648 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28535] ppid=28402 vsize=10846984 memory=3146868 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28535/stat : 28535 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11107311616 786717 33554432000 4194304 4196468 140726643330848 139666693900896 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28540] ppid=28402 vsize=10846984 memory=1432 CPUtime=1.38 cores=1,3,5,7
/proc/28407/task/28540/stat : 28540 (java) S 28402 28407 25641 0 -1 1077944384 1254 13255 0 1 56 75 5 2 20 0 15 0 415676973 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667578997552 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
Current children cumulated CPU time: 2482.3 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3146868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2479.8 s]
/proc/loadavg: 1.58 1.59 1.54 3/227 28768
/proc/meminfo: memFree=25411736/32770624 swapFree=66999916/67108860
[pid=28407] ppid=28402 vsize=10846984 memory=3146868 CPUtime=2520.03 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28402 28407 25641 0 -1 1077944320 559096 13255 1 1 251623 373 5 2 20 0 15 0 415676956 11107311616 786717 33554432000 4194304 4196468 140726643330848 140726643313392 139668158336759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
/proc/28407/statm: 2711746 786717 3637 1 0 2673805 0
[pid=28407/tid=28515] ppid=28402 vsize=10846984 memory=1760 CPUtime=2469.27 cores=1,3,5,7
/proc/28407/task/28515/stat : 28515 (java) R 28402 28407 25641 0 -1 4202560 380851 13255 0 1 246823 97 5 2 20 0 15 0 415676968 11107311616 786717 33554432000 4194304 4196468 140726643330848 139668130172048 139667726105584 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28517] ppid=28402 vsize=10846984 memory=6791534058613427641 CPUtime=8.53 cores=1,3,5,7
/proc/28407/task/28517/stat : 28517 (java) S 28402 28407 25641 0 -1 1077944384 10623 13255 0 1 802 44 5 2 20 0 15 0 415676968 11107311616 786717 33554432000 4194304 4196468 140726643330848 139668162578704 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28518] ppid=28402 vsize=10846984 memory=2312 CPUtime=8.55 cores=1,3,5,7
/proc/28407/task/28518/stat : 28518 (java) S 28402 28407 25641 0 -1 1077944384 12401 13255 0 1 801 47 5 2 20 0 15 0 415676968 11107311616 786717 33554432000 4194304 4196468 140726643330848 139668050852240 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28519] ppid=28402 vsize=10846984 memory=2312 CPUtime=8.56 cores=1,3,5,7
/proc/28407/task/28519/stat : 28519 (java) S 28402 28407 25641 0 -1 1077944384 12234 13255 0 1 803 46 5 2 20 0 15 0 415676968 11107311616 786717 33554432000 4194304 4196468 140726643330848 139668049799696 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28520] ppid=28402 vsize=10846984 memory=1408 CPUtime=8.54 cores=1,3,5,7
/proc/28407/task/28520/stat : 28520 (java) S 28402 28407 25641 0 -1 1077944384 11512 13255 0 1 802 45 5 2 20 0 15 0 415676968 11107311616 786717 33554432000 4194304 4196468 140726643330848 139668048747152 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28525] ppid=28402 vsize=10846984 memory=3280 CPUtime=1.57 cores=1,3,5,7
/proc/28407/task/28525/stat : 28525 (java) S 28402 28407 25641 0 -1 1077944384 24289 13255 0 1 125 25 5 2 20 0 15 0 415676970 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667616766448 139668158347906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28527] ppid=28402 vsize=10846984 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28527/stat : 28527 (java) S 28402 28407 25641 0 -1 1077944384 48 13255 0 1 0 0 5 2 20 0 15 0 415676970 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667615712800 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28529] ppid=28402 vsize=10846984 memory=3276 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28529/stat : 28529 (java) S 28402 28407 25641 0 -1 1077944384 16 13255 0 1 0 0 5 2 20 0 15 0 415676970 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667034859008 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28531] ppid=28402 vsize=10846984 memory=3146868 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28531/stat : 28531 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11107311616 786717 33554432000 4194304 4196468 140726643330848 139666727459536 139668158355355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28532] ppid=28402 vsize=10846984 memory=111632 CPUtime=6.12 cores=1,3,5,7
/proc/28407/task/28532/stat : 28532 (java) S 28402 28407 25641 0 -1 1077944384 33899 13255 0 1 600 5 5 2 20 0 15 0 415676973 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667582154736 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28533] ppid=28402 vsize=10846984 memory=800 CPUtime=5.78 cores=1,3,5,7
/proc/28407/task/28533/stat : 28533 (java) S 28402 28407 25641 0 -1 1077944384 39844 13255 0 1 567 4 5 2 20 0 15 0 415676973 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667581102192 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28534] ppid=28402 vsize=10846984 memory=1808 CPUtime=2.23 cores=1,3,5,7
/proc/28407/task/28534/stat : 28534 (java) S 28402 28407 25641 0 -1 1077944384 29894 13255 0 1 211 5 5 2 20 0 15 0 415676973 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667580049648 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28535] ppid=28402 vsize=10846984 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28535/stat : 28535 (java) S 28402 28407 25641 0 -1 1077944384 3 13255 0 1 0 0 5 2 20 0 15 0 415676973 11107311616 786717 33554432000 4194304 4196468 140726643330848 139666693900896 139668158346965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
[pid=28407/tid=28540] ppid=28402 vsize=10846984 memory=3848 CPUtime=1.4 cores=1,3,5,7
/proc/28407/task/28540/stat : 28540 (java) S 28402 28407 25641 0 -1 1077944384 1270 13255 0 1 56 77 5 2 20 0 15 0 415676973 11107311616 786717 33554432000 4194304 4196468 140726643330848 139667578997552 139668158347906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140726643333871 140726643336389 140726643336389 140726643339215 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3146868 KiB

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

[startup+2479.85 s]
# the end of solver process 28407 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.34 s, system=3.77903 s

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

Child status: 143
Real time (s): 2479.85
CPU time (s): 2520.12
CPU user time (s): 2516.34
CPU system time (s): 3.77903
CPU usage (%): 101.624
Max. virtual memory (cumulated for all children) (KiB): 10847600
Max. memory (cumulated for all children) (KiB): 3148400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.34
system time used= 3.77902
maximum resident set size= 3151088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 573260
page faults= 2
swaps= 0
block input operations= 4904
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86725
involuntary context switches= 2147


# summary of solver processes directly reported to runsolver:
#   pid: 28407
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.34
#   total CPU system time (s): 3.77903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7827 second user time and 23.7547 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-13 19:01:21
IDJOB=4396049
IDBENCH=120628
IDSOLVER=2846
FILE ID=node123/4396049-1568394120
RUNJOBID= node123-1568394081-28382
PBS_JOBID= 21701841
Free space on /tmp= 59184 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-ash608GPIA.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396049-1568394120/watcher-4396049-1568394120 -o /tmp/evaluation-result-4396049-1568394120/solver-4396049-1568394120 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568394081-28382 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1760984517 HOME/instance-4396049-1568394120.xml

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

MD5SUM BENCH= 0df69417c613ef889e63c8df69e0b506
RANDOM SEED=1760984517

node123.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.49
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.49
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.49
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.49
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:        29140444 kB
MemAvailable:   31877204 kB
Buffers:          124416 kB
Cached:          2877844 kB
SwapCached:         7392 kB
Active:           947924 kB
Inactive:        2064900 kB
Active(anon):       3180 kB
Inactive(anon):    49488 kB
Active(file):     944744 kB
Inactive(file):  2015412 kB
Unevictable:      107360 kB
Mlocked:          107360 kB
SwapTotal:      67108860 kB
SwapFree:       66999916 kB
Dirty:             71104 kB
Writeback:             8 kB
AnonPages:        112140 kB
Mapped:            44020 kB
Shmem:             32680 kB
Slab:             214000 kB
SReclaimable:     184880 kB
SUnreclaim:        29120 kB
KernelStack:        3408 kB
PageTables:         5392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     501672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59112 MiB
End job on node123 at 2019-09-13 19:42:42