Trace number 4396349

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)1105 2400.13 2360.56

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.32046
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.88/0.62	c Concrete v3.12.2.1568380929293 running
63.24/49.43	o 1215
91.99/77.12	o 1214
118.90/103.73	o 1213
142.90/127.45	o 1212
167.27/151.48	o 1211
190.56/174.25	o 1210
212.64/195.87	o 1209
235.51/218.12	o 1208
258.53/240.78	o 1207
281.24/262.94	o 1206
303.17/284.57	o 1205
325.67/306.68	o 1204
348.82/329.47	o 1203
369.89/350.13	o 1202
391.73/371.63	o 1201
413.71/393.29	o 1200
435.08/414.28	o 1199
457.44/436.19	o 1198
478.99/457.33	o 1197
501.38/479.31	o 1196
523.08/500.68	o 1195
545.28/522.40	o 1194
566.68/543.49	o 1193
589.07/565.42	o 1192
610.57/586.60	o 1191
632.37/607.81	o 1190
654.29/629.36	o 1189
675.39/650.03	o 1188
696.77/671.03	o 1187
718.84/692.73	o 1186
741.12/714.51	o 1185
761.79/734.81	o 1184
783.45/756.05	o 1183
806.41/778.34	o 1182
828.29/799.89	o 1181
849.11/820.31	o 1180
869.55/840.48	o 1179
891.55/862.08	o 1178
912.72/882.91	o 1177
934.04/904.05	o 1176
955.84/925.67	o 1175
976.95/946.54	o 1174
998.41/967.58	o 1173
1020.47/989.44	o 1172
1041.09/1009.99	o 1171
1061.12/1029.87	o 1170
1080.64/1049.05	o 1169
1101.69/1069.93	o 1168
1122.92/1091.04	o 1167
1144.21/1112.27	o 1166
1165.17/1133.10	o 1165
1184.98/1152.78	o 1164
1203.20/1170.88	o 1163
1221.62/1189.16	o 1162
1239.02/1206.44	o 1161
1260.05/1227.31	o 1160
1281.42/1248.52	o 1159
1302.48/1269.42	o 1158
1323.73/1290.58	o 1157
1344.75/1311.48	o 1156
1365.92/1332.48	o 1155
1386.35/1352.74	o 1154
1406.36/1372.60	o 1153
1426.58/1392.70	o 1152
1447.32/1413.36	o 1151
1469.05/1434.91	o 1150
1490.46/1456.24	o 1149
1512.10/1477.72	o 1148
1533.71/1499.22	o 1147
1553.83/1519.29	o 1146
1575.37/1540.69	o 1145
1595.69/1560.87	o 1144
1615.80/1580.86	o 1143
1636.72/1601.63	o 1142
1657.46/1622.20	o 1141
1679.29/1643.91	o 1140
1701.21/1665.74	o 1139
1722.66/1687.07	o 1138
1744.48/1708.78	o 1137
1767.15/1731.21	o 1136
1789.19/1753.18	o 1135
1811.49/1775.33	o 1134
1832.72/1796.43	o 1133
1853.44/1817.06	o 1132
1873.85/1837.37	o 1131
1894.86/1858.29	o 1130
1916.71/1879.91	o 1129
1937.52/1900.67	o 1128
1959.45/1922.49	o 1127
1981.90/1944.70	o 1126
2003.91/1966.70	o 1125
2024.63/1987.30	o 1124
2044.13/2006.68	o 1123
2063.47/2025.82	o 1122
2082.18/2044.42	o 1121
2100.26/2062.49	o 1120
2117.64/2079.72	o 1119
2134.43/2096.49	o 1118
2151.42/2113.31	o 1117
2168.11/2129.98	o 1116
2184.18/2145.93	o 1115
2199.96/2161.61	o 1114
2219.97/2181.54	o 1113
2241.19/2202.66	o 1112
2262.04/2223.32	o 1111
2282.98/2244.16	o 1110
2304.29/2265.31	o 1109
2324.80/2285.76	o 1108
2344.25/2305.11	o 1107
2365.05/2325.76	o 1106
2385.07/2345.69	o 1105
2400.04/2360.53	Exception in thread "main" java.util.concurrent.TimeoutException
2400.04/2360.53		at concrete.MAC.mac(MAC.scala:192)
2400.04/2360.53		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.04/2360.53		at scala.util.Try$.apply(Try.scala:212)
2400.04/2360.53		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.04/2360.53		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.04/2360.53		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.04/2360.53		at concrete.MAC.oneRun(MAC.scala:265)
2400.04/2360.53		at concrete.MAC.nextSolution(MAC.scala:284)
2400.04/2360.53		at concrete.MAC.nextSolution(MAC.scala:369)
2400.04/2360.53		at concrete.Solver.hasNext(Solver.scala:160)
2400.04/2360.53		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.04/2360.53		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.04/2360.53		at concrete.Solver.foreach(Solver.scala:67)
2400.04/2360.53		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.04/2360.53		at scala.util.Success.map(Try.scala:264)
2400.04/2360.53		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.04/2360.53		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.04/2360.53		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.04/2360.53		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.04/2360.53		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.04/2360.53		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.04/2360.53		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.04/2360.53		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.04/2360.53		at scala.App.$anonfun$main$1(App.scala:75)
2400.04/2360.53		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.04/2360.53		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.04/2360.53		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.04/2360.53		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.04/2360.53		at scala.App.main(App.scala:75)
2400.04/2360.53		at scala.App.main$(App.scala:73)
2400.04/2360.53		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.04/2360.53		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.04/2360.54	v <instantiation
2400.04/2360.54	v         cost = '1105'>
2400.04/2360.54	v       <list>
2400.04/2360.54	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]
2400.04/2360.54	v       </list>
2400.04/2360.54	v       <values>
2400.04/2360.54	v         0 3 2 3 1 0 2 0 2 1 1105 0 3 4 0 1105 1 4 5 2 1 4 4 1105 2 3 0 1104 1 3 1104 4 1 4 1105 2 7 1 3 0 5 6 1 1105 4 1104 1 0 1 5 1105 1104 6 5 0 5 1104 1105 1105 0 1104 1 2 1103 2 3 4 1 0 1 4 3 0 1 4 6 5 3 5 2 1104 0 0 1 4 2 1 0 1 0 4 0 3 2 3 2 3 2 3 5 0 1 1103 6 1 1105 2 0 1 3 2 3 2 0 1104 1 2 4 1105 0 1 4 3 2 1 1104 1 0 1 0 1 0 1 4 2 4 3 1105 2 4 3 5 0 1 0 3 1104 1 4 1105 1103 2 0 2 0 3 0 1 4 1105 2 0 2 0 1103 3 5 1104 2 0 1 3 2 1105 1 0 1104 3 5 4 0 2 1103 1105 0 1103 0 4 1104 5 1105 2 1105 1 5 1104 3 1 3 0 6 1 4 0 4 5 2 3 4 0 1105 3 1104 3 2 1 2 1105 1103 0 2 0 3 0 1 4 5 0 1105 2 0 1104 3 1 0 1 0 2 3 1 0 1 1 1105 0 1104 1 3 0 4 1 3 0 3 4 1105 2 0 3 0 3 1 1105 0 2 0 2 4 0 1 3 1 2 4 2 1 0 2 3 2 1 1105 3 1 0 1 3 1104 1105 2 1 2 1 4 0 1 3 2 1104 0 1 2 1105 0 1105 1 0 2 3 1104 3 5 0 2 1104 1 3 1 4 5 4 0 1 3 2 5 4 3 1 1104 0 3 4 3 2 6 0 4 1 6 3 5 1 2 1 4 1105 1 4 1 2 1 4 1104 1105 3 0 2 1 2 0 4 1 1104 2 3 1 4 1 0 5 1105 1 0 1 0 1 0 2 0 2 0 6 5 1105 4 2 1104 0 1 5 0 2 3 1 0 1 0 1 0 0 5 1 4 0 1 2 5 2 3 4 5 4 1105 2 3 4 0 1 0 1105 0 0 1 1105 1 1 0 2 4 3 0 1104 0 2 5 1104 1105 7 1 0 2 1104 2 0 3 6 1 1 0 5 0 3 1 2 0 5 0 5 1 1104 4 7 0 2 4 1105 1104 0 1 2 1 0 1 1 0 4 2 1104 3 1103 3 6 1 4 1 1 6 0 6 1 2 0 6 4 1 0 5 0 4 1 4 0 3 5 1 0 1105 5 4 0 4 3 5 0 1 3 4 1 2 6 1105 3 1 0 2 3 1 2 1105 0 4 2 3 2 0 2 3 4 0 5 1 2 1105 0 1 1 5 1 0 2 3 1105 3 2 0 0 2 1104 1105 1 2 0 2 1 3 0 1 5 4 1103 0 1 1105 3 0 1 6 1 1104 1 3 5 1104 1105 1104 2 3 5 3 1 3 2 1105 0 1 2 1 2 1 6 1 5 4 0 4 4 3 0 1105 1 1104 1 4 1 1104 1105 2 0 3 1105 3 1105 1 1103 0 2 0 2 1 1104 3 6 2 6 0 1 2 3 2 1 4 2 0 5 0 2 3 4 1 2 3 1 5 3 1105 1 5 1 0 3 0 1 0 1105 2 0 3 0 1104 2 1 0 4 3 2 3 1 3 1 0 2 0 3 3 1104 0 5 1105 1 4 1 2 1 0 1103 0 3 4 0 1 3 1 0 4 2 4 2 1105 5 0 1103 5 1 2 0 1104 1 2 0 1104 0 5 4 1104 0 5 4 3 2 0 2 1105 2 3 2 0 1 0 4 3 0 1 0 2 6 1 0 2 0 0 5 3 1 4 1 1105 0 1105 0 2 0 3 1 1104 2 0 1 4 1105 1 1105 0 1105 0 6 0 1105 3 2 0 1105 4 1 0 1 2 1 2 4 2 3 5 0 2 3 1 0 1 3 1 0 2 0 1 1105 2 0 1 0 1105 0 0 1104 0 2 4 1 1105 3 2 0 2 1 4 0 4 3 1 2 4 1 4 0 4 3 1 3 1 0 1 4 1 3 3 0 3 2 1105 3 0 1103 2 3 5 1 3 4 3 7 1 4 3 6 0 6 5 3 2 0 1 2 0 3 1 3 0 2 2 1 6 3 0 3 0 4 2 3 0 1 1104 1 4 2 1 3 2 3 1 2 1 1104 1 1105 0 2 3 1 1104 1105 1105 2 1 2 1 4 1 2 1 4 1 2 0 2 4 2 4 3 0 2 0 4 2 5 0 5 2 4 2 1 5 1 3 2 0 5 0 4 0 4 0 1 7 1 2 3 2 4 2 0 1104 0 1105 1 0 4 5 1 1 0 2 3 2 1105 6 0 1 4 1 0 6 0 1 2 1 4 3 2 0 1105 5 2 3 4 1104 1 1 2 3 2 0 5 2 4 3 4 2 1105 2 1 1103 0 3 0 2 4 2 0 2 5 0 7 4 1 1104 5 1105 3 6 0 1 2 4 6 3 1105 3 5 4 1 5 0 2 1104 0 3 0 6 2 5 1 5 2 0 3 0 2 0 2 0 1105 0 1 2 2 0 1 3 3 1 1 3 3 1 1 5 4 2 5 0 4 0 1104 1 4 0 3 1 1104 3 1 2 0 1105 4 2 1103 2 1105 2 0 2 5 0 4 1 1 1104 1 1105 3 0 3 0 2 0 1 4 1105 4 3 1 1 4 1105 3 4 0 4 1 1104 1105 2 0 3 1105 1 2 0 2 3 4 0 1105 1105 4 1 2 1 2 1105 3 0 1 0 5 2 3 3 0 5 1 5 4 1 0 5 4 3 1105 0 3 1 5 3 0 2 0 2 5 5 4 1105 1 5 1 0 1 5 3 2 0 3 1 0 1 5 2 5 0 1 0 4 1105 4 2 0 3 2 1 1105 3 0 1 1 0
2400.04/2360.54	v       </values>
2400.04/2360.54	v     </instantiation>
2400.04/2360.54	s SATISFIABLE

Verifier Data 

OK	1105

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396349-1568396059/watcher-4396349-1568396059 -o /tmp/evaluation-result-4396349-1568396059/solver-4396349-1568396059 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568393667-20486 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=383217269 HOME/instance-4396349-1568396059.xml 

running on 4 cores: 0-3

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

solver pid=21085, runsolver pid=21082

[startup+0.100061 s]*
/proc/loadavg: 1.27 1.27 1.31 5/214 21138
/proc/meminfo: memFree=29610448/32770688 swapFree=66961080/67108860
[pid=21085] ppid=21082 vsize=9972712 memory=15232 CPUtime=0.09 cores=0-3
/proc/21085/stat : 21085 (java) S 21082 21085 17242 0 -1 1077944320 4043 13350 0 0 1 0 5 3 20 0 6 0 415547629 10212057088 3808 33554432000 4194304 4196468 140730864818544 140730864801088 140143962509047 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
/proc/21085/statm: 2493178 3808 1721 1 0 2481616 0
[pid=21085/tid=21138] ppid=21082 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0-3
/proc/21085/task/21138/stat : 21138 (java) R 21082 21085 17242 0 -1 4202560 1990 13350 0 0 0 0 5 3 20 0 6 0 415547639 10212057088 3940 33554432000 4194304 4196468 140730864818544 140143934345808 140143942072032 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21139] ppid=21082 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0-3
/proc/21085/task/21139/stat : 21139 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 6 0 415547639 10212057088 3940 33554432000 4194304 4196468 140730864818544 140143966751248 140143962519253 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21140] ppid=21082 vsize=9972712 memory=140358786107008 CPUtime=0.08 cores=0-3
/proc/21085/task/21140/stat : 21140 (java) S 21082 21085 17242 0 -1 1077944384 2 13350 0 0 0 0 5 3 20 0 6 0 415547639 10212057088 4006 33554432000 4194304 4196468 140730864818544 140143855024784 140143962519253 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21141] ppid=21082 vsize=9972712 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21141/stat : 21141 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 6 0 415547639 10212057088 4006 33554432000 4194304 4196468 140730864818544 140143853971728 140143962519253 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21142] ppid=21082 vsize=9972712 memory=-1 CPUtime=0.08 cores=0-3
/proc/21085/task/21142/stat : 21142 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 6 0 415547639 10212057088 4006 33554432000 4194304 4196468 140730864818544 140143852919184 140143962519253 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15232 KiB

[startup+0.211381 s]*
/proc/loadavg: 1.27 1.27 1.31 8/227 21151
/proc/meminfo: memFree=29587436/32770688 swapFree=66961080/67108860
[pid=21085] ppid=21082 vsize=10819664 memory=37308 CPUtime=0.24 cores=0-3
/proc/21085/stat : 21085 (java) S 21082 21085 17242 0 -1 1077944320 7215 13350 0 0 15 1 5 3 20 0 15 0 415547629 11079335936 9327 33554432000 4194304 4196468 140730864818544 140730864801088 140143962509047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
/proc/21085/statm: 2704916 9327 3131 1 0 2667149 0
[pid=21085/tid=21138] ppid=21082 vsize=10819664 memory=7022364594140610616 CPUtime=0.17 cores=0-3
/proc/21085/task/21138/stat : 21138 (java) R 21082 21085 17242 0 -1 4202560 3709 13350 0 0 9 0 5 3 20 0 15 0 415547639 11079335936 9327 33554432000 4194304 4196468 140730864818544 140143934339144 140143524670496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21139] ppid=21082 vsize=10819664 memory=365 CPUtime=0.08 cores=0-3
/proc/21085/task/21139/stat : 21139 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547639 11079335936 9327 33554432000 4194304 4196468 140730864818544 140143966751248 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21140] ppid=21082 vsize=10819664 memory=3907070417132209824 CPUtime=0.08 cores=0-3
/proc/21085/task/21140/stat : 21140 (java) S 21082 21085 17242 0 -1 1077944384 2 13350 0 0 0 0 5 3 20 0 15 0 415547639 11079335936 9327 33554432000 4194304 4196468 140730864818544 140143855024784 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21141] ppid=21082 vsize=10819664 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21141/stat : 21141 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547639 11079335936 9327 33554432000 4194304 4196468 140730864818544 140143853971728 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21142] ppid=21082 vsize=10819664 memory=-1 CPUtime=0.08 cores=0-3
/proc/21085/task/21142/stat : 21142 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547639 11079335936 9327 33554432000 4194304 4196468 140730864818544 140143852919184 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21143] ppid=21082 vsize=10819664 memory=140358786107008 CPUtime=0.08 cores=0-3
/proc/21085/task/21143/stat : 21143 (java) S 21082 21085 17242 0 -1 1077944384 2 13350 0 0 0 0 5 3 20 0 15 0 415547641 11079335936 9327 33554432000 4194304 4196468 140730864818544 140143032769264 140143962520194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21144] ppid=21082 vsize=10819664 memory=-1 CPUtime=0.08 cores=0-3
/proc/21085/task/21144/stat : 21144 (java) S 21082 21085 17242 0 -1 1077944384 33 13350 0 0 0 0 5 3 20 0 15 0 415547641 11079335936 9327 33554432000 4194304 4196468 140730864818544 140143031715488 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21145] ppid=21082 vsize=10819664 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21145/stat : 21145 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547642 11079335936 9327 33554432000 4194304 4196468 140730864818544 140142836704496 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21146] ppid=21082 vsize=10819664 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21146/stat : 21146 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11079335936 9327 33554432000 4194304 4196468 140730864818544 140142529305040 140143962527643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21147] ppid=21082 vsize=10819664 memory=0 CPUtime=0.09 cores=0-3
/proc/21085/task/21147/stat : 21147 (java) S 21082 21085 17242 0 -1 1077944384 576 13350 0 0 1 0 5 3 20 0 15 0 415547645 11079335936 9327 33554432000 4194304 4196468 140730864818544 140142998157552 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21148] ppid=21082 vsize=10819664 memory=-1 CPUtime=0.08 cores=0-3
/proc/21085/task/21148/stat : 21148 (java) S 21082 21085 17242 0 -1 1077944384 59 13350 0 0 0 0 5 3 20 0 15 0 415547645 11079335936 9327 33554432000 4194304 4196468 140730864818544 140142997105008 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21149] ppid=21082 vsize=10819664 memory=140358786107008 CPUtime=0.1 cores=0-3
/proc/21085/task/21149/stat : 21149 (java) R 21082 21085 17242 0 -1 4202560 615 13350 0 0 2 0 5 3 20 0 15 0 415547645 11079335936 9327 33554432000 4194304 4196468 140730864818544 140142996051952 140143947637088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21150] ppid=21082 vsize=10819664 memory=-1 CPUtime=0.08 cores=0-3
/proc/21085/task/21150/stat : 21150 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11079335936 9327 33554432000 4194304 4196468 140730864818544 140142495746400 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21151] ppid=21082 vsize=10819664 memory=140358786107008 CPUtime=0.08 cores=0-3
/proc/21085/task/21151/stat : 21151 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547645 11079335936 9327 33554432000 4194304 4196468 140730864818544 140142995000368 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 37308 KiB

[startup+0.311761 s]*
/proc/loadavg: 1.27 1.27 1.31 5/227 21151
/proc/meminfo: memFree=29576164/32770688 swapFree=66961080/67108860
[pid=21085] ppid=21082 vsize=10821172 memory=48876 CPUtime=0.39 cores=0-3
/proc/21085/stat : 21085 (java) S 21082 21085 17242 0 -1 1077944320 10660 13350 0 0 28 3 5 3 20 0 15 0 415547629 11080880128 12219 33554432000 4194304 4196468 140730864818544 140730864801088 140143962509047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
/proc/21085/statm: 2705293 12219 3294 1 0 2667405 0
[pid=21085/tid=21138] ppid=21082 vsize=10821172 memory=1398722017469774279 CPUtime=0.28 cores=0-3
/proc/21085/task/21138/stat : 21138 (java) R 21082 21085 17242 0 -1 4202560 7227 13350 0 0 18 2 5 3 20 0 15 0 415547639 11080880128 12219 33554432000 4194304 4196468 140730864818544 140143934314016 140143955188765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21139] ppid=21082 vsize=10821172 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21139/stat : 21139 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547639 11080880128 12219 33554432000 4194304 4196468 140730864818544 140143966751248 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21140] ppid=21082 vsize=10820148 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21140/stat : 21140 (java) S 21082 21085 17242 0 -1 1077944384 2 13350 0 0 0 0 5 3 20 0 15 0 415547639 11079831552 12219 33554432000 4194304 4196468 140730864818544 140143855024784 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21141] ppid=21082 vsize=10820148 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21141/stat : 21141 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547639 11079831552 12219 33554432000 4194304 4196468 140730864818544 140143853971728 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21142] ppid=21082 vsize=10821172 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21142/stat : 21142 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547639 11080880128 12219 33554432000 4194304 4196468 140730864818544 140143852919184 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21143] ppid=21082 vsize=10821172 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21143/stat : 21143 (java) S 21082 21085 17242 0 -1 1077944384 2 13350 0 0 0 0 5 3 20 0 15 0 415547641 11080880128 12219 33554432000 4194304 4196468 140730864818544 140143032769264 140143962520194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21144] ppid=21082 vsize=10821172 memory=-1 CPUtime=0.08 cores=0-3
/proc/21085/task/21144/stat : 21144 (java) S 21082 21085 17242 0 -1 1077944384 33 13350 0 0 0 0 5 3 20 0 15 0 415547641 11080880128 12219 33554432000 4194304 4196468 140730864818544 140143031715488 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21145] ppid=21082 vsize=10820148 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21145/stat : 21145 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547642 11079831552 12219 33554432000 4194304 4196468 140730864818544 140142836704496 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21146] ppid=21082 vsize=10820148 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21146/stat : 21146 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11079831552 12219 33554432000 4194304 4196468 140730864818544 140142529305040 140143962527643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21147] ppid=21082 vsize=10820148 memory=0 CPUtime=0.1 cores=0-3
/proc/21085/task/21147/stat : 21147 (java) S 21082 21085 17242 0 -1 1077944384 591 13350 0 0 2 0 5 3 20 0 15 0 415547645 11079831552 12219 33554432000 4194304 4196468 140730864818544 140142998157552 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21148] ppid=21082 vsize=10820148 memory=-1 CPUtime=0.09 cores=0-3
/proc/21085/task/21148/stat : 21148 (java) S 21082 21085 17242 0 -1 1077944384 68 13350 0 0 1 0 5 3 20 0 15 0 415547645 11079831552 12219 33554432000 4194304 4196468 140730864818544 140142997105008 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21149] ppid=21082 vsize=10820148 memory=140358786107008 CPUtime=0.13 cores=0-3
/proc/21085/task/21149/stat : 21149 (java) S 21082 21085 17242 0 -1 1077944384 626 13350 0 0 5 0 5 3 20 0 15 0 415547645 11079831552 12219 33554432000 4194304 4196468 140730864818544 140142996051952 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21150] ppid=21082 vsize=10820148 memory=-1 CPUtime=0.08 cores=0-3
/proc/21085/task/21150/stat : 21150 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11079831552 12219 33554432000 4194304 4196468 140730864818544 140142495746400 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21151] ppid=21082 vsize=10820148 memory=140358786107008 CPUtime=0.08 cores=0-3
/proc/21085/task/21151/stat : 21151 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547645 11079831552 12219 33554432000 4194304 4196468 140730864818544 140142995000368 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10821172 KiB
Current children cumulated memory: 48876 KiB

[startup+0.700939 s]
/proc/loadavg: 1.27 1.27 1.31 6/227 21151
/proc/meminfo: memFree=29562184/32770688 swapFree=66961080/67108860
[pid=21085] ppid=21082 vsize=10822312 memory=75524 CPUtime=1.04 cores=0-3
/proc/21085/stat : 21085 (java) S 21082 21085 17242 0 -1 1077944320 14661 13350 0 0 91 5 5 3 20 0 15 0 415547629 11082047488 18881 33554432000 4194304 4196468 140730864818544 140730864801088 140143962509047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
/proc/21085/statm: 2705578 18881 3494 1 0 2667661 0
[pid=21085/tid=21138] ppid=21082 vsize=10822312 memory=0 CPUtime=0.64 cores=0-3
/proc/21085/task/21138/stat : 21138 (java) R 21082 21085 17242 0 -1 4202560 9937 13350 0 0 53 3 5 3 20 0 15 0 415547639 11082047488 18881 33554432000 4194304 4196468 140730864818544 140143934334816 140143946589534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21139] ppid=21082 vsize=10822312 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21139/stat : 21139 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547639 11082047488 18881 33554432000 4194304 4196468 140730864818544 140143966751248 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21140] ppid=21082 vsize=10822312 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21140/stat : 21140 (java) S 21082 21085 17242 0 -1 1077944384 2 13350 0 0 0 0 5 3 20 0 15 0 415547639 11082047488 18881 33554432000 4194304 4196468 140730864818544 140143855024784 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21141] ppid=21082 vsize=10822312 memory=68 CPUtime=0.08 cores=0-3
/proc/21085/task/21141/stat : 21141 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547639 11082047488 18881 33554432000 4194304 4196468 140730864818544 140143853971728 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21142] ppid=21082 vsize=10822312 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21142/stat : 21142 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547639 11082047488 18881 33554432000 4194304 4196468 140730864818544 140143852919184 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21143] ppid=21082 vsize=10822312 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21143/stat : 21143 (java) S 21082 21085 17242 0 -1 1077944384 5 13350 0 0 0 0 5 3 20 0 15 0 415547641 11082047488 18881 33554432000 4194304 4196468 140730864818544 140143032769264 140143962520194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21144] ppid=21082 vsize=10822312 memory=140358658961520 CPUtime=0.08 cores=0-3
/proc/21085/task/21144/stat : 21144 (java) S 21082 21085 17242 0 -1 1077944384 33 13350 0 0 0 0 5 3 20 0 15 0 415547641 11082047488 18881 33554432000 4194304 4196468 140730864818544 140143031715488 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21145] ppid=21082 vsize=10822312 memory=140359531233871 CPUtime=0.08 cores=0-3
/proc/21085/task/21145/stat : 21145 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547642 11082047488 18881 33554432000 4194304 4196468 140730864818544 140142836704496 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21146] ppid=21082 vsize=10822312 memory=1564 CPUtime=0.08 cores=0-3
/proc/21085/task/21146/stat : 21146 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11082047488 18881 33554432000 4194304 4196468 140730864818544 140142529305040 140143962527643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21147] ppid=21082 vsize=10822312 memory=7518026621751088993 CPUtime=0.2 cores=0-3
/proc/21085/task/21147/stat : 21147 (java) R 21082 21085 17242 0 -1 4202560 1181 13350 0 0 12 0 5 3 20 0 15 0 415547645 11082047488 18881 33554432000 4194304 4196468 140730864818544 140142998147344 140143940519840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21148] ppid=21082 vsize=10822312 memory=6081102367496366441 CPUtime=0.14 cores=0-3
/proc/21085/task/21148/stat : 21148 (java) R 21082 21085 17242 0 -1 1077944384 469 13350 0 0 6 0 5 3 20 0 15 0 415547645 11082047488 18881 33554432000 4194304 4196468 140730864818544 140142997090752 140143962530237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21149] ppid=21082 vsize=10822312 memory=7236547281622689387 CPUtime=0.25 cores=0-3
/proc/21085/task/21149/stat : 21149 (java) R 21082 21085 17242 0 -1 4202560 823 13350 0 0 17 0 5 3 20 0 15 0 415547645 11082047488 18881 33554432000 4194304 4196468 140730864818544 140142996051952 140143943153905 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21150] ppid=21082 vsize=10822312 memory=3612 CPUtime=0.08 cores=0-3
/proc/21085/task/21150/stat : 21150 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11082047488 18881 33554432000 4194304 4196468 140730864818544 140142495746400 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21151] ppid=21082 vsize=10822312 memory=2241 CPUtime=0.08 cores=0-3
/proc/21085/task/21151/stat : 21151 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547645 11082047488 18881 33554432000 4194304 4196468 140730864818544 140142995000368 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 10822312 KiB
Current children cumulated memory: 75524 KiB

[startup+1.50138 s]
/proc/loadavg: 1.27 1.27 1.31 8/227 21151
/proc/meminfo: memFree=29527876/32770688 swapFree=66961080/67108860
[pid=21085] ppid=21082 vsize=10830580 memory=174468 CPUtime=3.25 cores=0-3
/proc/21085/stat : 21085 (java) S 21082 21085 17242 0 -1 1077944320 26870 13350 0 0 309 8 5 3 20 0 15 0 415547629 11090513920 43617 33554432000 4194304 4196468 140730864818544 140730864801088 140143962509047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
/proc/21085/statm: 2707645 43617 3549 1 0 2669709 0
[pid=21085/tid=21138] ppid=21082 vsize=10830580 memory=9316 CPUtime=1.44 cores=0-3
/proc/21085/task/21138/stat : 21138 (java) R 21082 21085 17242 0 -1 4202560 13598 13350 0 0 131 5 5 3 20 0 15 0 415547639 11090513920 43617 33554432000 4194304 4196468 140730864818544 140143934306040 140143943882496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21139] ppid=21082 vsize=10830580 memory=6791534058613427641 CPUtime=0.08 cores=0-3
/proc/21085/task/21139/stat : 21139 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547639 11090513920 43617 33554432000 4194304 4196468 140730864818544 140143966751248 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21140] ppid=21082 vsize=10830580 memory=407652 CPUtime=0.08 cores=0-3
/proc/21085/task/21140/stat : 21140 (java) S 21082 21085 17242 0 -1 1077944384 2 13350 0 0 0 0 5 3 20 0 15 0 415547639 11090513920 43617 33554432000 4194304 4196468 140730864818544 140143855024784 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21141] ppid=21082 vsize=10830580 memory=1412 CPUtime=0.08 cores=0-3
/proc/21085/task/21141/stat : 21141 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547639 11090513920 43617 33554432000 4194304 4196468 140730864818544 140143853971728 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21142] ppid=21082 vsize=10830580 memory=75524 CPUtime=0.08 cores=0-3
/proc/21085/task/21142/stat : 21142 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547639 11090513920 43617 33554432000 4194304 4196468 140730864818544 140143852919184 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21143] ppid=21082 vsize=10830580 memory=0 CPUtime=0.08 cores=0-3
/proc/21085/task/21143/stat : 21143 (java) S 21082 21085 17242 0 -1 1077944384 14 13350 0 0 0 0 5 3 20 0 15 0 415547641 11090513920 43617 33554432000 4194304 4196468 140730864818544 140143032769264 140143962520194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21144] ppid=21082 vsize=10830580 memory=280717317866016 CPUtime=0.08 cores=0-3
/proc/21085/task/21144/stat : 21144 (java) S 21082 21085 17242 0 -1 1077944384 33 13350 0 0 0 0 5 3 20 0 15 0 415547641 11090513920 43617 33554432000 4194304 4196468 140730864818544 140143031715488 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21145] ppid=21082 vsize=10830580 memory=280717317916816 CPUtime=0.08 cores=0-3
/proc/21085/task/21145/stat : 21145 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547642 11090513920 43617 33554432000 4194304 4196468 140730864818544 140142836704496 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21146] ppid=21082 vsize=10830580 memory=280717318461632 CPUtime=0.08 cores=0-3
/proc/21085/task/21146/stat : 21146 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11090513920 43617 33554432000 4194304 4196468 140730864818544 140142529305040 140143962527643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21147] ppid=21082 vsize=10830580 memory=3047711553219693942 CPUtime=0.78 cores=0-3
/proc/21085/task/21147/stat : 21147 (java) R 21082 21085 17242 0 -1 4202560 4778 13350 0 0 70 0 5 3 20 0 15 0 415547645 11090513920 43617 33554432000 4194304 4196468 140730864818544 140142998137760 140143947432276 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21148] ppid=21082 vsize=10830580 memory=-7521736447810188379 CPUtime=0.71 cores=0-3
/proc/21085/task/21148/stat : 21148 (java) S 21082 21085 17242 0 -1 1077944384 4570 13350 0 0 62 1 5 3 20 0 15 0 415547645 11090513920 43617 33554432000 4194304 4196468 140730864818544 140142997105008 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21149] ppid=21082 vsize=10830580 memory=-8412652160765825907 CPUtime=0.52 cores=0-3
/proc/21085/task/21149/stat : 21149 (java) S 21082 21085 17242 0 -1 1077944384 1654 13350 0 0 44 0 5 3 20 0 15 0 415547645 11090513920 43617 33554432000 4194304 4196468 140730864818544 140142996051952 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21150] ppid=21082 vsize=10830580 memory=-8634980985311628903 CPUtime=0.08 cores=0-3
/proc/21085/task/21150/stat : 21150 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11090513920 43617 33554432000 4194304 4196468 140730864818544 140142495746400 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21151] ppid=21082 vsize=10830580 memory=7100839878645619564 CPUtime=0.08 cores=0-3
/proc/21085/task/21151/stat : 21151 (java) S 21082 21085 17242 0 -1 1077944384 1 13350 0 0 0 0 5 3 20 0 15 0 415547645 11090513920 43617 33554432000 4194304 4196468 140730864818544 140142995000368 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
Current children cumulated CPU time: 3.25 s
Current children cumulated vsize: 10830580 KiB

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

/proc/21085/task/21138/stat : 21138 (java) R 21082 21085 17242 0 -1 4202560 238821 13350 0 0 225186 90 5 3 20 0 15 0 415547639 11107311616 783798 33554432000 4194304 4196468 140730864818544 140143934345488 140143542039473 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21139] ppid=21082 vsize=10846984 memory=3135192 CPUtime=7.61 cores=0-3
/proc/21085/task/21139/stat : 21139 (java) S 21082 21085 17242 0 -1 1077944384 19828 13350 0 0 693 60 5 3 20 0 15 0 415547639 11107311616 783798 33554432000 4194304 4196468 140730864818544 140143966751248 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21140] ppid=21082 vsize=10846984 memory=3135192 CPUtime=7.67 cores=0-3
/proc/21085/task/21140/stat : 21140 (java) S 21082 21085 17242 0 -1 1077944384 19390 13350 0 0 699 60 5 3 20 0 15 0 415547639 11107311616 783798 33554432000 4194304 4196468 140730864818544 140143855024784 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21141] ppid=21082 vsize=10846984 memory=1708 CPUtime=7.67 cores=0-3
/proc/21085/task/21141/stat : 21141 (java) S 21082 21085 17242 0 -1 1077944384 19965 13350 0 0 698 61 5 3 20 0 15 0 415547639 11107311616 783798 33554432000 4194304 4196468 140730864818544 140143853971728 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21142] ppid=21082 vsize=10846984 memory=2257 CPUtime=7.65 cores=0-3
/proc/21085/task/21142/stat : 21142 (java) S 21082 21085 17242 0 -1 1077944384 18243 13350 0 0 697 60 5 3 20 0 15 0 415547639 11107311616 783798 33554432000 4194304 4196468 140730864818544 140143852919184 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21143] ppid=21082 vsize=10846984 memory=56 CPUtime=1.35 cores=0-3
/proc/21085/task/21143/stat : 21143 (java) S 21082 21085 17242 0 -1 1077944384 27919 13350 0 0 103 24 5 3 20 0 15 0 415547641 11107311616 783798 33554432000 4194304 4196468 140730864818544 140143032769264 140143962520194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21144] ppid=21082 vsize=10846984 memory=3135192 CPUtime=0.08 cores=0-3
/proc/21085/task/21144/stat : 21144 (java) S 21082 21085 17242 0 -1 1077944384 57 13350 0 0 0 0 5 3 20 0 15 0 415547641 11107311616 783798 33554432000 4194304 4196468 140730864818544 140143031715616 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21145] ppid=21082 vsize=10846984 memory=3135192 CPUtime=0.08 cores=0-3
/proc/21085/task/21145/stat : 21145 (java) S 21082 21085 17242 0 -1 1077944384 33 13350 0 0 0 0 5 3 20 0 15 0 415547642 11107311616 783798 33554432000 4194304 4196468 140730864818544 140142836704512 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21146] ppid=21082 vsize=10846984 memory=3135192 CPUtime=0.08 cores=0-3
/proc/21085/task/21146/stat : 21146 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11107311616 783798 33554432000 4194304 4196468 140730864818544 140142529305040 140143962527643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21147] ppid=21082 vsize=10846984 memory=3135192 CPUtime=6.92 cores=0-3
/proc/21085/task/21147/stat : 21147 (java) S 21082 21085 17242 0 -1 1077944384 50626 13350 0 0 679 5 5 3 20 0 15 0 415547645 11107311616 783798 33554432000 4194304 4196468 140730864818544 140142998157552 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21148] ppid=21082 vsize=10846984 memory=0 CPUtime=6.51 cores=0-3
/proc/21085/task/21148/stat : 21148 (java) S 21082 21085 17242 0 -1 1077944384 44882 13350 0 0 637 6 5 3 20 0 15 0 415547645 11107311616 783798 33554432000 4194304 4196468 140730864818544 140142997105008 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21149] ppid=21082 vsize=10846984 memory=3135192 CPUtime=2.42 cores=0-3
/proc/21085/task/21149/stat : 21149 (java) S 21082 21085 17242 0 -1 1077944384 36087 13350 0 0 227 7 5 3 20 0 15 0 415547645 11107311616 783798 33554432000 4194304 4196468 140730864818544 140142996051952 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21150] ppid=21082 vsize=10846984 memory=3135192 CPUtime=0.08 cores=0-3
/proc/21085/task/21150/stat : 21150 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11107311616 783798 33554432000 4194304 4196468 140730864818544 140142495746400 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21151] ppid=21082 vsize=10846984 memory=3135192 CPUtime=1.28 cores=0-3
/proc/21085/task/21151/stat : 21151 (java) S 21082 21085 17242 0 -1 1077944384 1788 13350 0 0 62 58 5 3 20 0 15 0 415547645 11107311616 783798 33554432000 4194304 4196468 140730864818544 140142995000368 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
Current children cumulated CPU time: 2301.29 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3135192 KiB

[startup+2322.3 s]
/proc/loadavg: 1.52 1.63 1.60 3/227 21388
/proc/meminfo: memFree=26315236/32770688 swapFree=66961084/67108860
[pid=21085] ppid=21082 vsize=10846984 memory=3133680 CPUtime=2361.62 cores=0-3
/proc/21085/stat : 21085 (java) S 21082 21085 17242 0 -1 1077944320 485042 13350 0 0 235738 416 5 3 20 0 15 0 415547629 11107311616 783420 33554432000 4194304 4196468 140730864818544 140730864801088 140143962509047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
/proc/21085/statm: 2711746 783420 3640 1 0 2673805 0
[pid=21085/tid=21138] ppid=21082 vsize=10846984 memory=3133680 CPUtime=2312.72 cores=0-3
/proc/21085/task/21138/stat : 21138 (java) R 21082 21085 17242 0 -1 4202560 241753 13350 0 0 231174 90 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143934345408 140143542370767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21139] ppid=21082 vsize=10846984 memory=3133680 CPUtime=7.71 cores=0-3
/proc/21085/task/21139/stat : 21139 (java) S 21082 21085 17242 0 -1 1077944384 20447 13350 0 0 703 60 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143966751248 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21140] ppid=21082 vsize=10846984 memory=3133680 CPUtime=7.77 cores=0-3
/proc/21085/task/21140/stat : 21140 (java) S 21082 21085 17242 0 -1 1077944384 19473 13350 0 0 709 60 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143855024784 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21141] ppid=21082 vsize=10846984 memory=3133680 CPUtime=7.77 cores=0-3
/proc/21085/task/21141/stat : 21141 (java) S 21082 21085 17242 0 -1 1077944384 21149 13350 0 0 708 61 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143853971728 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21142] ppid=21082 vsize=10846984 memory=3133680 CPUtime=7.75 cores=0-3
/proc/21085/task/21142/stat : 21142 (java) S 21082 21085 17242 0 -1 1077944384 18279 13350 0 0 707 60 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143852919184 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21143] ppid=21082 vsize=10846984 memory=3133680 CPUtime=1.36 cores=0-3
/proc/21085/task/21143/stat : 21143 (java) S 21082 21085 17242 0 -1 1077944384 28213 13350 0 0 104 24 5 3 20 0 15 0 415547641 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143032769264 140143962520194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21144] ppid=21082 vsize=10846984 memory=3133680 CPUtime=0.08 cores=0-3
/proc/21085/task/21144/stat : 21144 (java) S 21082 21085 17242 0 -1 1077944384 57 13350 0 0 0 0 5 3 20 0 15 0 415547641 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143031715616 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21145] ppid=21082 vsize=10846984 memory=3133680 CPUtime=0.08 cores=0-3
/proc/21085/task/21145/stat : 21145 (java) S 21082 21085 17242 0 -1 1077944384 33 13350 0 0 0 0 5 3 20 0 15 0 415547642 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142836704512 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21146] ppid=21082 vsize=10846984 memory=3133680 CPUtime=0.08 cores=0-3
/proc/21085/task/21146/stat : 21146 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142529305040 140143962527643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21147] ppid=21082 vsize=10846984 memory=3133680 CPUtime=6.92 cores=0-3
/proc/21085/task/21147/stat : 21147 (java) S 21082 21085 17242 0 -1 1077944384 50629 13350 0 0 679 5 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142998157552 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21148] ppid=21082 vsize=10846984 memory=3133680 CPUtime=6.51 cores=0-3
/proc/21085/task/21148/stat : 21148 (java) S 21082 21085 17242 0 -1 1077944384 44887 13350 0 0 637 6 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142997105008 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21149] ppid=21082 vsize=10846984 memory=3133680 CPUtime=2.42 cores=0-3
/proc/21085/task/21149/stat : 21149 (java) S 21082 21085 17242 0 -1 1077944384 36094 13350 0 0 227 7 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142996051952 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21150] ppid=21082 vsize=10846984 memory=1444 CPUtime=0.08 cores=0-3
/proc/21085/task/21150/stat : 21150 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142495746400 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21151] ppid=21082 vsize=10846984 memory=1984 CPUtime=1.3 cores=0-3
/proc/21085/task/21151/stat : 21151 (java) S 21082 21085 17242 0 -1 1077944384 1812 13350 0 0 63 59 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142995000368 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
Current children cumulated CPU time: 2361.62 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3133680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2360.5 s]
/proc/loadavg: 1.54 1.63 1.60 3/227 21392
/proc/meminfo: memFree=26315008/32770688 swapFree=66961084/67108860
[pid=21085] ppid=21082 vsize=10846984 memory=3133680 CPUtime=2400.04 cores=0-3
/proc/21085/stat : 21085 (java) S 21082 21085 17242 0 -1 1077944320 486460 13350 0 0 239579 417 5 3 20 0 15 0 415547629 11107311616 783420 33554432000 4194304 4196468 140730864818544 140730864801088 140143962509047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
/proc/21085/statm: 2711746 783420 3640 1 0 2673805 0
[pid=21085/tid=21138] ppid=21082 vsize=10846984 memory=3133680 CPUtime=2350.85 cores=0-3
/proc/21085/task/21138/stat : 21138 (java) R 21082 21085 17242 0 -1 4202560 243088 13350 0 0 234987 90 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143934344512 140143526020340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21139] ppid=21082 vsize=10846984 memory=1088 CPUtime=7.77 cores=0-3
/proc/21085/task/21139/stat : 21139 (java) S 21082 21085 17242 0 -1 1077944384 20459 13350 0 0 709 60 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143966751248 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21140] ppid=21082 vsize=10846984 memory=3133680 CPUtime=7.84 cores=0-3
/proc/21085/task/21140/stat : 21140 (java) S 21082 21085 17242 0 -1 1077944384 19487 13350 0 0 716 60 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143855024784 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21141] ppid=21082 vsize=10846984 memory=3133680 CPUtime=7.83 cores=0-3
/proc/21085/task/21141/stat : 21141 (java) S 21082 21085 17242 0 -1 1077944384 21167 13350 0 0 714 61 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143853971728 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21142] ppid=21082 vsize=10846984 memory=3133680 CPUtime=7.81 cores=0-3
/proc/21085/task/21142/stat : 21142 (java) S 21082 21085 17242 0 -1 1077944384 18296 13350 0 0 713 60 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143852919184 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21143] ppid=21082 vsize=10846984 memory=3133680 CPUtime=1.37 cores=0-3
/proc/21085/task/21143/stat : 21143 (java) S 21082 21085 17242 0 -1 1077944384 28233 13350 0 0 105 24 5 3 20 0 15 0 415547641 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143032769264 140143962520194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21144] ppid=21082 vsize=10846984 memory=3133680 CPUtime=0.08 cores=0-3
/proc/21085/task/21144/stat : 21144 (java) S 21082 21085 17242 0 -1 1077944384 57 13350 0 0 0 0 5 3 20 0 15 0 415547641 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143031715616 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21145] ppid=21082 vsize=10846984 memory=3133680 CPUtime=0.08 cores=0-3
/proc/21085/task/21145/stat : 21145 (java) S 21082 21085 17242 0 -1 1077944384 33 13350 0 0 0 0 5 3 20 0 15 0 415547642 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142836704512 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21146] ppid=21082 vsize=10846984 memory=3133680 CPUtime=0.08 cores=0-3
/proc/21085/task/21146/stat : 21146 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142529305040 140143962527643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21147] ppid=21082 vsize=10846984 memory=3133680 CPUtime=6.92 cores=0-3
/proc/21085/task/21147/stat : 21147 (java) S 21082 21085 17242 0 -1 1077944384 50629 13350 0 0 679 5 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142998157552 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21148] ppid=21082 vsize=10846984 memory=3133680 CPUtime=6.51 cores=0-3
/proc/21085/task/21148/stat : 21148 (java) S 21082 21085 17242 0 -1 1077944384 44887 13350 0 0 637 6 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142997105008 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21149] ppid=21082 vsize=10846984 memory=3133680 CPUtime=2.42 cores=0-3
/proc/21085/task/21149/stat : 21149 (java) S 21082 21085 17242 0 -1 1077944384 36094 13350 0 0 227 7 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142996051952 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21150] ppid=21082 vsize=10846984 memory=3133680 CPUtime=0.08 cores=0-3
/proc/21085/task/21150/stat : 21150 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142495746400 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21151] ppid=21082 vsize=10846984 memory=3133680 CPUtime=1.33 cores=0-3
/proc/21085/task/21151/stat : 21151 (java) S 21082 21085 17242 0 -1 1077944384 1814 13350 0 0 64 61 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142995000368 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3133680 KiB

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

[startup+2360.56 s]
# the end of solver process 21085 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.89 s, system=4.23623 s

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

[startup+2360.5 s]
/proc/loadavg: 1.54 1.63 1.60 3/227 21392
/proc/meminfo: memFree=26315008/32770688 swapFree=66961084/67108860
[pid=21085] ppid=21082 vsize=10846984 memory=3133680 CPUtime=2400.04 cores=0-3
/proc/21085/stat : 21085 (java) S 21082 21085 17242 0 -1 1077944320 486460 13350 0 0 239579 417 5 3 20 0 15 0 415547629 11107311616 783420 33554432000 4194304 4196468 140730864818544 140730864801088 140143962509047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
/proc/21085/statm: 2711746 783420 3640 1 0 2673805 0
[pid=21085/tid=21138] ppid=21082 vsize=10846984 memory=3133680 CPUtime=2350.85 cores=0-3
/proc/21085/task/21138/stat : 21138 (java) R 21082 21085 17242 0 -1 4202560 243088 13350 0 0 234987 90 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143934344512 140143526020340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21139] ppid=21082 vsize=10846984 memory=1088 CPUtime=7.77 cores=0-3
/proc/21085/task/21139/stat : 21139 (java) S 21082 21085 17242 0 -1 1077944384 20459 13350 0 0 709 60 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143966751248 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21140] ppid=21082 vsize=10846984 memory=3133680 CPUtime=7.84 cores=0-3
/proc/21085/task/21140/stat : 21140 (java) S 21082 21085 17242 0 -1 1077944384 19487 13350 0 0 716 60 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143855024784 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21141] ppid=21082 vsize=10846984 memory=3133680 CPUtime=7.83 cores=0-3
/proc/21085/task/21141/stat : 21141 (java) S 21082 21085 17242 0 -1 1077944384 21167 13350 0 0 714 61 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143853971728 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21142] ppid=21082 vsize=10846984 memory=3133680 CPUtime=7.81 cores=0-3
/proc/21085/task/21142/stat : 21142 (java) S 21082 21085 17242 0 -1 1077944384 18296 13350 0 0 713 60 5 3 20 0 15 0 415547639 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143852919184 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21143] ppid=21082 vsize=10846984 memory=3133680 CPUtime=1.37 cores=0-3
/proc/21085/task/21143/stat : 21143 (java) S 21082 21085 17242 0 -1 1077944384 28233 13350 0 0 105 24 5 3 20 0 15 0 415547641 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143032769264 140143962520194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21144] ppid=21082 vsize=10846984 memory=3133680 CPUtime=0.08 cores=0-3
/proc/21085/task/21144/stat : 21144 (java) S 21082 21085 17242 0 -1 1077944384 57 13350 0 0 0 0 5 3 20 0 15 0 415547641 11107311616 783420 33554432000 4194304 4196468 140730864818544 140143031715616 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21145] ppid=21082 vsize=10846984 memory=3133680 CPUtime=0.08 cores=0-3
/proc/21085/task/21145/stat : 21145 (java) S 21082 21085 17242 0 -1 1077944384 33 13350 0 0 0 0 5 3 20 0 15 0 415547642 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142836704512 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21146] ppid=21082 vsize=10846984 memory=3133680 CPUtime=0.08 cores=0-3
/proc/21085/task/21146/stat : 21146 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142529305040 140143962527643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21147] ppid=21082 vsize=10846984 memory=3133680 CPUtime=6.92 cores=0-3
/proc/21085/task/21147/stat : 21147 (java) S 21082 21085 17242 0 -1 1077944384 50629 13350 0 0 679 5 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142998157552 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21148] ppid=21082 vsize=10846984 memory=3133680 CPUtime=6.51 cores=0-3
/proc/21085/task/21148/stat : 21148 (java) S 21082 21085 17242 0 -1 1077944384 44887 13350 0 0 637 6 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142997105008 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21149] ppid=21082 vsize=10846984 memory=3133680 CPUtime=2.42 cores=0-3
/proc/21085/task/21149/stat : 21149 (java) S 21082 21085 17242 0 -1 1077944384 36094 13350 0 0 227 7 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142996051952 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21150] ppid=21082 vsize=10846984 memory=3133680 CPUtime=0.08 cores=0-3
/proc/21085/task/21150/stat : 21150 (java) S 21082 21085 17242 0 -1 1077944384 3 13350 0 0 0 0 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142495746400 140143962519253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
[pid=21085/tid=21151] ppid=21082 vsize=10846984 memory=3133680 CPUtime=1.33 cores=0-3
/proc/21085/task/21151/stat : 21151 (java) S 21082 21085 17242 0 -1 1077944384 1814 13350 0 0 64 61 5 3 20 0 15 0 415547645 11107311616 783420 33554432000 4194304 4196468 140730864818544 140142995000368 140143962520194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 13971456 140730864823024 140730864825541 140730864825541 140730864828367 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3133680 KiB

Child status: 143
Real time (s): 2360.56
CPU time (s): 2400.13
CPU user time (s): 2395.89
CPU system time (s): 4.23623
CPU usage (%): 101.676
Max. virtual memory (cumulated for all children) (KiB): 10847604
Max. memory (cumulated for all children) (KiB): 3135212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.89
system time used= 4.23623
maximum resident set size= 3137916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78942
involuntary context switches= 2887


# summary of solver processes directly reported to runsolver:
#   pid: 21085
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2395.89
#   total CPU system time (s): 4.23623

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0409 second user time and 23.6917 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-13 19:33:38
IDJOB=4396349
IDBENCH=120628
IDSOLVER=2847
FILE ID=node116/4396349-1568396059
RUNJOBID= node116-1568393667-20486
PBS_JOBID= 21701846
Free space on /tmp= 61208 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-4396349-1568396059/watcher-4396349-1568396059 -o /tmp/evaluation-result-4396349-1568396059/solver-4396349-1568396059 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568393667-20486 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=383217269 HOME/instance-4396349-1568396059.xml

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

MD5SUM BENCH= 0df69417c613ef889e63c8df69e0b506
RANDOM SEED=383217269

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        29612940 kB
MemAvailable:   31466808 kB
Buffers:          129348 kB
Cached:          2010748 kB
SwapCached:        46632 kB
Active:          1225760 kB
Inactive:        1358892 kB
Active(anon):     397584 kB
Inactive(anon):    87964 kB
Active(file):     828176 kB
Inactive(file):  1270928 kB
Unevictable:      109188 kB
Mlocked:          109188 kB
SwapTotal:      67108860 kB
SwapFree:       66961080 kB
Dirty:             36044 kB
Writeback:             0 kB
AnonPages:        525776 kB
Mapped:            57184 kB
Shmem:             31984 kB
Slab:             170004 kB
SReclaimable:     141196 kB
SUnreclaim:        28808 kB
KernelStack:        3984 kB
PageTables:         6904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1728092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    362496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61172 MiB
End job on node116 at 2019-09-13 20:12:59