Trace number 4297912

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
Choco-solver 4.0.7b par (e747e1e)SAT (TO)2730403 19878 2520.11

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay500_c18.xml
MD5SUMf56a4553a90e1a028ece3fd7f833aea7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2730403
Best CPU time to get the best result obtained on this benchmark19878
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints500
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree37
Distribution of variable degrees[{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}]
Minimum constraint arity7
Maximum constraint arity42
Distribution of constraint arities[{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":500}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297912-1532703789.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297912-1532703789.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.87/0.96	c solve instance...
4.12/1.12	o 1981158 
4.12/1.15	o 1984414 
4.12/1.18	o 1985521 
4.12/1.18	o 1985820 
4.73/1.20	o 1994288 
4.73/1.21	o 1997544 
4.73/1.26	o 1998651 
5.38/1.30	o 1998950 
6.93/1.53	o 1999046 
6.93/1.54	o 2000153 
6.93/1.55	o 2000452 
7.69/1.60	o 2008920 
7.69/1.61	o 2012176 
7.69/1.61	o 2013283 
7.69/1.61	o 2013582 
18.81/3.02	o 2020150 
18.81/3.03	o 2023406 
18.81/3.03	o 2024513 
18.81/3.03	o 2024812 
43.84/6.44	o 2027620 
43.84/6.45	o 2028727 
43.84/6.45	o 2029026 
44.51/6.52	o 2030187 
44.51/6.53	o 2031294 
44.51/6.53	o 2031593 
100.08/13.51	o 2032463 
100.08/13.51	o 2032762 
146.87/19.47	o 2043496 
152.49/20.13	o 2090912 
152.49/20.19	o 2092745 
153.18/20.21	o 2093648 
169.06/22.23	o 2143326 
263.15/34.10	o 2205748 
268.62/34.74	o 2223002 
268.62/34.77	o 2223583 
287.74/37.19	o 2231305 
288.49/37.21	o 2233060 
289.21/37.33	o 2233778 
289.21/37.37	o 2234172 
289.21/37.39	o 2234890 
313.07/40.34	o 2286124 
313.82/40.40	o 2288786 
319.35/41.14	o 2344034 
319.35/41.16	o 2345813 
377.42/48.45	o 2395025 
378.19/48.57	o 2396953 
378.97/48.64	o 2397198 
378.97/48.67	o 2399126 
825.15/104.74	o 2399312 
1406.89/177.94	o 2422744 
1555.48/196.66	o 2425752 
1605.48/202.97	o 2456376 
1622.13/205.07	o 2463296 
1622.13/205.09	o 2463313 
1634.63/206.67	o 2466843 
1634.63/206.68	o 2466860 
1643.33/207.73	o 2475500 
1649.65/208.53	o 2488224 
1655.18/209.28	o 2523819 
1656.70/209.43	o 2523836 
1672.55/211.43	o 2540834 
1672.55/211.45	o 2540851 
1686.58/213.26	o 2540907 
1686.58/213.30	o 2540924 
1694.48/214.23	o 2544407 
1700.85/215.05	o 2557165 
1714.29/216.72	o 2566238 
6029.68/760.13	o 2566263 
6038.30/761.24	o 2566274 
6124.92/772.15	o 2566380 
6132.04/773.05	o 2578305 
6155.04/775.95	o 2578597 
6756.01/851.74	o 2578636 
7033.78/886.77	o 2578749 
7495.27/944.80	o 2578943 
7495.27/944.83	o 2580240 
7511.15/946.82	o 2580574 
7527.02/948.84	o 2580654 
7538.80/950.32	o 2580906 
7963.72/1003.82	o 2588098 
7970.86/1004.76	o 2635555 
7977.99/1005.62	o 2635740 
8182.83/1031.54	o 2636573 
8557.06/1078.87	o 2636611 
8565.53/1080.07	o 2636714 
9420.80/1188.07	o 2636853 
9444.86/1191.17	o 2637008 
9452.81/1192.12	o 2637627 
9459.89/1193.13	o 2637870 
9466.88/1194.31	o 2637875 
9474.11/1195.53	o 2638320 
9550.93/1205.28	o 2638562 
9948.37/1255.40	o 2639212 
9980.18/1259.49	o 2639303 
10002.34/1262.29	o 2704312 
10193.88/1295.41	o 2704381 
11042.02/1402.51	o 2704605 
11176.12/1419.48	o 2704775 
11339.26/1439.97	o 2705299 
11365.41/1443.29	o 2705423 
11415.51/1449.52	o 2705676 
12511.70/1587.58	o 2706181 
13286.04/1685.28	o 2706187 
13377.12/1696.72	o 2706390 
13384.97/1698.32	o 2706890 
13960.28/1771.69	o 2706994 
14017.88/1779.02	o 2707549 
14046.36/1782.63	o 2707668 
14377.40/1824.46	o 2707862 
14385.37/1825.88	o 2711504 
14948.84/1897.19	o 2711601 
18274.82/2317.65	o 2712159 
18318.54/2323.25	o 2712800 
18405.83/2334.30	o 2729796 
18484.09/2344.26	o 2730375 
19106.39/2422.78	o 2730403 
19877.26/2520.09	s SATISFIABLE
19877.26/2520.09	v <instantiation>
19877.26/2520.09	v 	<list>b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] </list>
19877.26/2520.09	v 	<values>0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 </values>
19877.26/2520.09	v </instantiation>
19877.26/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	2730403

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297912-1532703789/watcher-4297912-1532703789 -o /tmp/evaluation-result-4297912-1532703789/solver-4297912-1532703789 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532703789-17537 --watchdog 2580 HOME/xcsp3-exec -seed 631696740 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297912-1532703789.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=17554, runsolver pid=17551

[startup+0.100131 s]*
/proc/loadavg: 8.07 8.10 8.17 2/200 17575
/proc/meminfo: memFree=17467528/32770624 swapFree=67108796/67108860
[pid=17554] ppid=17551 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17554/stat : 17554 (xcsp3-exec) S 17551 17554 17510 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87942058 115843072 363 33554432000 4194304 5098028 140728747372352 140728747370456 139736760304252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10903552 140728747373622 140728747373824 140728747373824 140728747376586 0
/proc/17554/statm: 28282 363 306 221 0 87 0
[pid=17556] ppid=17554 vsize=26104152 memory=28292 CPUtime=0.11 cores=0-7
/proc/17556/stat : 17556 (java) S 17554 17554 17510 0 -1 1077944320 5403 0 0 0 10 1 0 0 20 0 20 0 87942058 26730651648 7073 33554432000 4194304 4196468 140726146524016 140726146506560 140570819542775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
/proc/17556/statm: 6526038 7073 3039 1 0 6488315 0
[pid=17556/tid=17557] ppid=17554 vsize=26104152 memory=8042191367716118428 CPUtime=0.08 cores=0-7
/proc/17556/task/17557/stat : 17557 (java) R 17554 17554 17510 0 -1 4202560 3379 0 0 0 8 0 0 0 20 0 20 0 87942059 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570823776048 140570456016328 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17558] ppid=17554 vsize=26104152 memory=732370792114568165 CPUtime=0 cores=0-7
/proc/17556/task/17558/stat : 17558 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570791385744 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17559] ppid=17554 vsize=26104152 memory=140653777114752 CPUtime=0 cores=0-7
/proc/17556/task/17559/stat : 17559 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570376841744 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17560] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17560/stat : 17560 (java) S 17554 17554 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570375788944 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17561] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17561/stat : 17561 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570374736144 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17562] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17562/stat : 17562 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570373684368 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17563] ppid=17554 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17556/task/17563/stat : 17563 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570372631568 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17564] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17564/stat : 17564 (java) S 17554 17554 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570371578768 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17565] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17565/stat : 17565 (java) S 17554 17554 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570370525968 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17566] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17566/stat : 17566 (java) S 17554 17554 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87942061 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570215303536 140570819553922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17567] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17567/stat : 17567 (java) S 17554 17554 17510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87942061 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570214249504 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17568] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17568/stat : 17568 (java) S 17554 17554 17510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87942061 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570213196656 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17569] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17569/stat : 17569 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942064 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570212144976 140570819561371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17570] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17570/stat : 17570 (java) S 17554 17554 17510 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 20 0 87942064 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570211093360 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17571] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17571/stat : 17571 (java) S 17554 17554 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87942064 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570210040560 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17572] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17572/stat : 17572 (java) S 17554 17554 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87942064 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570208987760 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17573] ppid=17554 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17556/task/17573/stat : 17573 (java) R 17554 17554 17510 0 -1 4202560 283 0 0 0 1 0 0 0 20 0 20 0 87942064 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570207934960 140570812639611 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17574] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17574/stat : 17574 (java) S 17554 17554 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87942064 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570206882400 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17575] ppid=17554 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17556/task/17575/stat : 17575 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942064 26730651648 7073 33554432000 4194304 4196468 140726146524016 140570205829680 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29744 KiB

[startup+0.210444 s]*
/proc/loadavg: 8.07 8.10 8.17 4/200 17575
/proc/meminfo: memFree=17457832/32770624 swapFree=67108796/67108860
[pid=17554] ppid=17551 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17554/stat : 17554 (xcsp3-exec) S 17551 17554 17510 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87942058 115843072 363 33554432000 4194304 5098028 140728747372352 140728747370456 139736760304252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10903552 140728747373622 140728747373824 140728747373824 140728747376586 0
/proc/17554/statm: 28282 363 306 221 0 87 0
[pid=17556] ppid=17554 vsize=26104152 memory=39884 CPUtime=0.33 cores=0-7
/proc/17556/stat : 17556 (java) S 17554 17554 17510 0 -1 1077944320 8073 0 0 0 31 2 0 0 20 0 20 0 87942058 26730651648 9971 33554432000 4194304 4196468 140726146524016 140726146506560 140570819542775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
/proc/17556/statm: 6526038 9971 3174 1 0 6488315 0
[pid=17556/tid=17557] ppid=17554 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/17556/task/17557/stat : 17557 (java) R 17554 17554 17510 0 -1 4202560 5071 0 0 0 18 1 0 0 20 0 20 0 87942059 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570823781088 140570819564701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17558] ppid=17554 vsize=26104152 memory=281307446499064 CPUtime=0 cores=0-7
/proc/17556/task/17558/stat : 17558 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570791385744 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17559] ppid=17554 vsize=26104152 memory=140653777114752 CPUtime=0 cores=0-7
/proc/17556/task/17559/stat : 17559 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570376841744 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17560] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17560/stat : 17560 (java) S 17554 17554 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570375788944 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17561] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17561/stat : 17561 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570374736144 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17562] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17562/stat : 17562 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570373684368 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17563] ppid=17554 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17556/task/17563/stat : 17563 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570372631568 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17564] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17564/stat : 17564 (java) S 17554 17554 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570371578768 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17565] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17565/stat : 17565 (java) S 17554 17554 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87942059 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570370525968 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17566] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17566/stat : 17566 (java) S 17554 17554 17510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87942061 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570215303536 140570819553922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17567] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17567/stat : 17567 (java) S 17554 17554 17510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87942061 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570214249504 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17568] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17568/stat : 17568 (java) S 17554 17554 17510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87942061 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570213196656 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17569] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17569/stat : 17569 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942064 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570212144976 140570819561371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17570] ppid=17554 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17556/task/17570/stat : 17570 (java) S 17554 17554 17510 0 -1 1077944384 521 0 0 0 1 0 0 0 20 0 20 0 87942064 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570211093360 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17571] ppid=17554 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/17556/task/17571/stat : 17571 (java) S 17554 17554 17510 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 20 0 87942064 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570210040560 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17572] ppid=17554 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17556/task/17572/stat : 17572 (java) S 17554 17554 17510 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 87942064 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570208987760 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17573] ppid=17554 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7
/proc/17556/task/17573/stat : 17573 (java) S 17554 17554 17510 0 -1 1077944384 886 0 0 0 8 0 0 0 20 0 20 0 87942064 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570207934960 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17574] ppid=17554 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17574/stat : 17574 (java) S 17554 17554 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87942064 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570206882400 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17575] ppid=17554 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17556/task/17575/stat : 17575 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942064 26730651648 9971 33554432000 4194304 4196468 140726146524016 140570205829680 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41336 KiB

[startup+0.310393 s]*
/proc/loadavg: 7.58 8.00 8.14 5/200 17575
/proc/meminfo: memFree=17451504/32770624 swapFree=67108796/67108860
[pid=17554] ppid=17551 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17554/stat : 17554 (xcsp3-exec) S 17551 17554 17510 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87942058 115843072 363 33554432000 4194304 5098028 140728747372352 140728747370456 139736760304252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10903552 140728747373622 140728747373824 140728747373824 140728747376586 0
/proc/17554/statm: 28282 363 306 221 0 87 0
[pid=17556] ppid=17554 vsize=26108408 memory=47104 CPUtime=0.52 cores=0-7
/proc/17556/stat : 17556 (java) S 17554 17554 17510 0 -1 1077944320 9054 0 0 0 49 3 0 0 20 0 20 0 87942058 26735009792 11776 33554432000 4194304 4196468 140726146524016 140726146506560 140570819542775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
/proc/17556/statm: 6527102 11776 3217 1 0 6488315 0
[pid=17556/tid=17557] ppid=17554 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17556/task/17557/stat : 17557 (java) R 17554 17554 17510 0 -1 4202560 5749 0 0 0 27 2 0 0 20 0 20 0 87942059 26735009792 11776 33554432000 4194304 4196468 140726146524016 140570823773888 140570803623262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17558] ppid=17554 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17558/stat : 17558 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26735009792 11776 33554432000 4194304 4196468 140726146524016 140570791385744 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17559] ppid=17554 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17559/stat : 17559 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26735009792 11776 33554432000 4194304 4196468 140726146524016 140570376841744 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17560] ppid=17554 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17560/stat : 17560 (java) S 17554 17554 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87942059 26735009792 11776 33554432000 4194304 4196468 140726146524016 140570375788944 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17561] ppid=17554 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17561/stat : 17561 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26735009792 11776 33554432000 4194304 4196468 140726146524016 140570374736144 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17562] ppid=17554 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/17556/task/17562/stat : 17562 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26735009792 11776 33554432000 4194304 4196468 140726146524016 140570373684368 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17563] ppid=17554 vsize=26108408 memory=140653669479343 CPUtime=0 cores=0-7
/proc/17556/task/17563/stat : 17563 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570372631568 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17564] ppid=17554 vsize=26108408 memory=140653669481648 CPUtime=0 cores=0-7
/proc/17556/task/17564/stat : 17564 (java) S 17554 17554 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87942059 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570371578768 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17565] ppid=17554 vsize=26108408 memory=140653669483952 CPUtime=0 cores=0-7
/proc/17556/task/17565/stat : 17565 (java) S 17554 17554 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87942059 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570370525968 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17566] ppid=17554 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17566/stat : 17566 (java) S 17554 17554 17510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87942061 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570215303536 140570819553922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17567] ppid=17554 vsize=26108408 memory=281307338974864 CPUtime=0 cores=0-7
/proc/17556/task/17567/stat : 17567 (java) S 17554 17554 17510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87942061 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570214249504 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17568] ppid=17554 vsize=26108408 memory=281307338981776 CPUtime=0 cores=0-7
/proc/17556/task/17568/stat : 17568 (java) S 17554 17554 17510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87942061 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570213196656 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17569] ppid=17554 vsize=26108408 memory=281307338923056 CPUtime=0 cores=0-7
/proc/17556/task/17569/stat : 17569 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942064 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570212144976 140570819561371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17570] ppid=17554 vsize=26108408 memory=281307338995600 CPUtime=0.01 cores=0-7
/proc/17556/task/17570/stat : 17570 (java) S 17554 17554 17510 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 20 0 87942064 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570211093360 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17571] ppid=17554 vsize=26108408 memory=281307339002512 CPUtime=0.03 cores=0-7
/proc/17556/task/17571/stat : 17571 (java) S 17554 17554 17510 0 -1 1077944384 254 0 0 0 3 0 0 0 20 0 20 0 87942064 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570210040560 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17572] ppid=17554 vsize=26108408 memory=281307339000208 CPUtime=0.03 cores=0-7
/proc/17556/task/17572/stat : 17572 (java) R 17554 17554 17510 0 -1 4202560 167 0 0 0 3 0 0 0 20 0 20 0 87942064 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570208977872 140570801064175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17573] ppid=17554 vsize=26108408 memory=281307339016368 CPUtime=0.12 cores=0-7
/proc/17556/task/17573/stat : 17573 (java) S 17554 17554 17510 0 -1 1077944384 1052 0 0 0 12 0 0 0 20 0 20 0 87942064 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570207934960 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17574] ppid=17554 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17574/stat : 17574 (java) S 17554 17554 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87942064 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570206882400 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17575] ppid=17554 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/17556/task/17575/stat : 17575 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942064 26735009792 11789 33554432000 4194304 4196468 140726146524016 140570205829680 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48556 KiB

[startup+0.70098 s]
/proc/loadavg: 7.58 8.00 8.14 6/200 17575
/proc/meminfo: memFree=17428052/32770624 swapFree=67108796/67108860
[pid=17554] ppid=17551 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17554/stat : 17554 (xcsp3-exec) S 17551 17554 17510 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87942058 115843072 363 33554432000 4194304 5098028 140728747372352 140728747370456 139736760304252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10903552 140728747373622 140728747373824 140728747373824 140728747376586 0
/proc/17554/statm: 28282 363 306 221 0 87 0
[pid=17556] ppid=17554 vsize=26110532 memory=114608 CPUtime=1.99 cores=0-7
/proc/17556/stat : 17556 (java) S 17554 17554 17510 0 -1 1077944320 14714 0 0 0 193 6 0 0 20 0 20 0 87942058 26737184768 28652 33554432000 4194304 4196468 140726146524016 140726146506560 140570819542775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
/proc/17556/statm: 6527633 28652 3361 1 0 6488827 0
[pid=17556/tid=17557] ppid=17554 vsize=26110532 memory=281307339311232 CPUtime=0.67 cores=0-7
/proc/17556/task/17557/stat : 17557 (java) R 17554 17554 17510 0 -1 4202560 6601 0 0 0 63 4 0 0 20 0 20 0 87942059 26737184768 28652 33554432000 4194304 4196468 140726146524016 140570823779440 140570460250392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17558] ppid=17554 vsize=26110532 memory=5085241279643 CPUtime=0 cores=0-7
/proc/17556/task/17558/stat : 17558 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26737184768 28652 33554432000 4194304 4196468 140726146524016 140570791385744 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17559] ppid=17554 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17559/stat : 17559 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87942059 26737184768 28652 33554432000 4194304 4196468 140726146524016 140570376841744 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17560] ppid=17554 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/17556/task/17560/stat : 17560 (java) S 17554 17554 17510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87942059 26737184768 28652 33554432000 4194304 4196468 140726146524016 140570375788944 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0

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

[pid=17556/tid=18544] ppid=17554 vsize=26643044 memory=3708 CPUtime=19.27 cores=0-7
/proc/17556/task/18544/stat : 18544 (java) R 17554 17554 17510 0 -1 4202560 260 0 0 0 1927 0 0 0 20 0 28 0 88184337 27282477056 572090 33554432000 4194304 4196468 140726146524016 140570189677208 140570463065430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
Current children cumulated CPU time: 19262.2 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 2289812 KiB

[startup+2502.3 s]
/proc/loadavg: 8.07 8.09 8.13 9/207 18544
/proc/meminfo: memFree=15228840/32770624 swapFree=67108796/67108860
[pid=17554] ppid=17551 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17554/stat : 17554 (xcsp3-exec) S 17551 17554 17510 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87942058 115843072 363 33554432000 4194304 5098028 140728747372352 140728747370456 139736760304252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10903552 140728747373622 140728747373824 140728747373824 140728747376586 0
/proc/17554/statm: 28282 363 306 221 0 87 0
[pid=17556] ppid=17554 vsize=26643044 memory=2257184 CPUtime=19737.3 cores=0-7
/proc/17556/stat : 17556 (java) S 17554 17554 17510 0 -1 1077944320 2103609 0 0 0 1971590 2145 0 0 20 0 28 0 87942058 27282477056 564296 33554432000 4194304 4196468 140726146524016 140726146506560 140570819542775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
/proc/17556/statm: 6660761 564296 3446 1 0 6621955 0
[pid=17556/tid=17557] ppid=17554 vsize=26643044 memory=2267884 CPUtime=1.07 cores=0-7
/proc/17556/task/17557/stat : 17557 (java) S 17554 17554 17510 0 -1 1077944384 17596 0 0 0 100 7 0 0 20 0 28 0 87942059 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570823783552 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17558] ppid=17554 vsize=26643044 memory=2313028 CPUtime=17.11 cores=0-7
/proc/17556/task/17558/stat : 17558 (java) S 17554 17554 17510 0 -1 1077944384 91582 0 0 0 1646 65 0 0 20 0 28 0 87942059 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570791385744 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17559] ppid=17554 vsize=26643044 memory=2803804 CPUtime=17.11 cores=0-7
/proc/17556/task/17559/stat : 17559 (java) S 17554 17554 17510 0 -1 1077944384 93081 0 0 0 1648 63 0 0 20 0 28 0 87942059 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570376841744 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17560] ppid=17554 vsize=26643044 memory=2751080 CPUtime=17.06 cores=0-7
/proc/17556/task/17560/stat : 17560 (java) S 17554 17554 17510 0 -1 1077944384 95268 0 0 0 1644 62 0 0 20 0 28 0 87942059 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570375788944 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17561] ppid=17554 vsize=26643044 memory=2698432 CPUtime=17 cores=0-7
/proc/17556/task/17561/stat : 17561 (java) S 17554 17554 17510 0 -1 1077944384 109452 0 0 0 1640 60 0 0 20 0 28 0 87942059 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570374736144 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17562] ppid=17554 vsize=26643044 memory=2636160 CPUtime=17.04 cores=0-7
/proc/17556/task/17562/stat : 17562 (java) S 17554 17554 17510 0 -1 1077944384 99995 0 0 0 1641 63 0 0 20 0 28 0 87942059 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570373684368 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17563] ppid=17554 vsize=26643044 memory=2616560 CPUtime=17.04 cores=0-7
/proc/17556/task/17563/stat : 17563 (java) S 17554 17554 17510 0 -1 1077944384 101179 0 0 0 1640 64 0 0 20 0 28 0 87942059 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570372631568 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17564] ppid=17554 vsize=26643044 memory=2615536 CPUtime=17.01 cores=0-7
/proc/17556/task/17564/stat : 17564 (java) S 17554 17554 17510 0 -1 1077944384 99024 0 0 0 1638 63 0 0 20 0 28 0 87942059 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570371578768 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17565] ppid=17554 vsize=26643044 memory=2355688 CPUtime=17.04 cores=0-7
/proc/17556/task/17565/stat : 17565 (java) S 17554 17554 17510 0 -1 1077944384 103943 0 0 0 1641 63 0 0 20 0 28 0 87942059 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570370525968 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17566] ppid=17554 vsize=26643044 memory=2288360 CPUtime=13.31 cores=0-7
/proc/17556/task/17566/stat : 17566 (java) S 17554 17554 17510 0 -1 1077944384 316787 0 0 0 622 709 0 0 20 0 28 0 87942061 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570215303536 140570819553922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17567] ppid=17554 vsize=26643044 memory=2288360 CPUtime=0 cores=0-7
/proc/17556/task/17567/stat : 17567 (java) S 17554 17554 17510 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 87942061 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570214249568 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17568] ppid=17554 vsize=26643044 memory=2288360 CPUtime=0 cores=0-7
/proc/17556/task/17568/stat : 17568 (java) S 17554 17554 17510 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 87942061 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570213196672 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17569] ppid=17554 vsize=26643044 memory=2288360 CPUtime=0 cores=0-7
/proc/17556/task/17569/stat : 17569 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87942064 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570212144976 140570819561371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17570] ppid=17554 vsize=26643044 memory=2285856 CPUtime=1.96 cores=0-7
/proc/17556/task/17570/stat : 17570 (java) S 17554 17554 17510 0 -1 1077944384 15353 0 0 0 195 1 0 0 20 0 28 0 87942064 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570211093360 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17571] ppid=17554 vsize=26643044 memory=2281236 CPUtime=2.33 cores=0-7
/proc/17556/task/17571/stat : 17571 (java) S 17554 17554 17510 0 -1 1077944384 22644 0 0 0 231 2 0 0 20 0 28 0 87942064 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570210040560 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17572] ppid=17554 vsize=26643044 memory=2265832 CPUtime=1.96 cores=0-7
/proc/17556/task/17572/stat : 17572 (java) S 17554 17554 17510 0 -1 1077944384 16172 0 0 0 194 2 0 0 20 0 28 0 87942064 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570208987760 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17573] ppid=17554 vsize=26643044 memory=2262752 CPUtime=0.87 cores=0-7
/proc/17556/task/17573/stat : 17573 (java) S 17554 17554 17510 0 -1 1077944384 36188 0 0 0 82 5 0 0 20 0 28 0 87942064 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570207934960 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17574] ppid=17554 vsize=26643044 memory=2258172 CPUtime=0 cores=0-7
/proc/17556/task/17574/stat : 17574 (java) S 17554 17554 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87942064 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570206882400 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17575] ppid=17554 vsize=26643044 memory=2258172 CPUtime=0.75 cores=0-7
/proc/17556/task/17575/stat : 17575 (java) S 17554 17554 17510 0 -1 1077944384 18273 0 0 0 25 50 0 0 20 0 28 0 87942064 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570205829680 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18537] ppid=17554 vsize=26643044 memory=2258172 CPUtime=78.13 cores=0-7
/proc/17556/task/18537/stat : 18537 (java) R 17554 17554 17510 0 -1 4202560 1479 0 0 0 7813 0 0 0 20 0 28 0 88184337 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570193886632 140570462715885 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18538] ppid=17554 vsize=26643044 memory=2257184 CPUtime=78.34 cores=0-7
/proc/17556/task/18538/stat : 18538 (java) R 17554 17554 17510 0 -1 4202560 1617 0 0 0 7834 0 0 0 20 0 28 0 88184337 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570195995408 140570462671153 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18539] ppid=17554 vsize=26643044 memory=2257184 CPUtime=78.32 cores=0-7
/proc/17556/task/18539/stat : 18539 (java) R 17554 17554 17510 0 -1 4202560 2308 0 0 0 7831 1 0 0 20 0 28 0 88184337 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570190729992 140570463076164 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18540] ppid=17554 vsize=26643044 memory=1284 CPUtime=77.86 cores=0-7
/proc/17556/task/18540/stat : 18540 (java) R 17554 17554 17510 0 -1 4202560 3844 0 0 0 7783 3 0 0 20 0 28 0 88184337 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570194940568 140570463590067 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18541] ppid=17554 vsize=26643044 memory=1088 CPUtime=78.07 cores=0-7
/proc/17556/task/18541/stat : 18541 (java) R 17554 17554 17510 0 -1 4202560 3711 0 0 0 7804 3 0 0 20 0 28 0 88184337 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570192835064 140570463065665 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18542] ppid=17554 vsize=26643044 memory=2261728 CPUtime=78.24 cores=0-7
/proc/17556/task/18542/stat : 18542 (java) R 17554 17554 17510 0 -1 4202560 1744 0 0 0 7823 1 0 0 20 0 28 0 88184337 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570197045568 140570462715927 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18543] ppid=17554 vsize=26643044 memory=1452 CPUtime=78.27 cores=0-7
/proc/17556/task/18543/stat : 18543 (java) R 17554 17554 17510 0 -1 4202560 7562 0 0 0 7823 4 0 0 20 0 28 0 88184337 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570191781920 140570464794205 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18544] ppid=17554 vsize=26643044 memory=1608 CPUtime=78.18 cores=0-7
/proc/17556/task/18544/stat : 18544 (java) R 17554 17554 17510 0 -1 4202560 1014 0 0 0 7817 1 0 0 20 0 28 0 88184337 27282477056 564296 33554432000 4194304 4196468 140726146524016 140570189676664 140570463075538 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
Current children cumulated CPU time: 19737.3 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 2258636 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.57 7.98 8.09 9/207 18544
/proc/meminfo: memFree=15238760/32770624 swapFree=67108796/67108860
[pid=17554] ppid=17551 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17554/stat : 17554 (xcsp3-exec) S 17551 17554 17510 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87942058 115843072 363 33554432000 4194304 5098028 140728747372352 140728747370456 139736760304252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10903552 140728747373622 140728747373824 140728747373824 140728747376586 0
/proc/17554/statm: 28282 363 306 221 0 87 0
[pid=17556] ppid=17554 vsize=26643044 memory=2247444 CPUtime=19877.3 cores=0-7
/proc/17556/stat : 17556 (java) S 17554 17554 17510 0 -1 1077944320 2108044 0 0 0 1985568 2158 0 0 20 0 28 0 87942058 27282477056 561861 33554432000 4194304 4196468 140726146524016 140726146506560 140570819542775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
/proc/17556/statm: 6660761 561861 3446 1 0 6621955 0
[pid=17556/tid=17557] ppid=17554 vsize=26643044 memory=6791534058613427641 CPUtime=1.07 cores=0-7
/proc/17556/task/17557/stat : 17557 (java) S 17554 17554 17510 0 -1 1077944384 17596 0 0 0 100 7 0 0 20 0 28 0 87942059 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570823783552 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17558] ppid=17554 vsize=26643044 memory=-7003737579269690708 CPUtime=17.26 cores=0-7
/proc/17556/task/17558/stat : 17558 (java) S 17554 17554 17510 0 -1 1077944384 91771 0 0 0 1661 65 0 0 20 0 28 0 87942059 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570791385744 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17559] ppid=17554 vsize=26643044 memory=1608 CPUtime=17.26 cores=0-7
/proc/17556/task/17559/stat : 17559 (java) S 17554 17554 17510 0 -1 1077944384 93306 0 0 0 1663 63 0 0 20 0 28 0 87942059 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570376841744 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17560] ppid=17554 vsize=26643044 memory=5024 CPUtime=17.21 cores=0-7
/proc/17556/task/17560/stat : 17560 (java) S 17554 17554 17510 0 -1 1077944384 95457 0 0 0 1659 62 0 0 20 0 28 0 87942059 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570375788944 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17561] ppid=17554 vsize=26643044 memory=4032 CPUtime=17.13 cores=0-7
/proc/17556/task/17561/stat : 17561 (java) S 17554 17554 17510 0 -1 1077944384 109574 0 0 0 1653 60 0 0 20 0 28 0 87942059 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570374736144 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17562] ppid=17554 vsize=26643044 memory=1284 CPUtime=17.18 cores=0-7
/proc/17556/task/17562/stat : 17562 (java) S 17554 17554 17510 0 -1 1077944384 100224 0 0 0 1655 63 0 0 20 0 28 0 87942059 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570373684368 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17563] ppid=17554 vsize=26643044 memory=1088 CPUtime=17.18 cores=0-7
/proc/17556/task/17563/stat : 17563 (java) S 17554 17554 17510 0 -1 1077944384 101246 0 0 0 1654 64 0 0 20 0 28 0 87942059 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570372631568 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17564] ppid=17554 vsize=26643044 memory=1800 CPUtime=17.13 cores=0-7
/proc/17556/task/17564/stat : 17564 (java) S 17554 17554 17510 0 -1 1077944384 99387 0 0 0 1650 63 0 0 20 0 28 0 87942059 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570371578768 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17565] ppid=17554 vsize=26643044 memory=1452 CPUtime=17.17 cores=0-7
/proc/17556/task/17565/stat : 17565 (java) S 17554 17554 17510 0 -1 1077944384 104017 0 0 0 1653 64 0 0 20 0 28 0 87942059 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570370525968 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17566] ppid=17554 vsize=26643044 memory=1452 CPUtime=13.49 cores=0-7
/proc/17556/task/17566/stat : 17566 (java) S 17554 17554 17510 0 -1 1077944384 318032 0 0 0 628 721 0 0 20 0 28 0 87942061 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570215303536 140570819553922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17567] ppid=17554 vsize=26643044 memory=2247956 CPUtime=0 cores=0-7
/proc/17556/task/17567/stat : 17567 (java) S 17554 17554 17510 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 87942061 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570214249568 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17568] ppid=17554 vsize=26643044 memory=840 CPUtime=0 cores=0-7
/proc/17556/task/17568/stat : 17568 (java) S 17554 17554 17510 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 87942061 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570213196672 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17569] ppid=17554 vsize=26643044 memory=4100 CPUtime=0 cores=0-7
/proc/17556/task/17569/stat : 17569 (java) S 17554 17554 17510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87942064 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570212144976 140570819561371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17570] ppid=17554 vsize=26643044 memory=1800 CPUtime=1.96 cores=0-7
/proc/17556/task/17570/stat : 17570 (java) S 17554 17554 17510 0 -1 1077944384 15357 0 0 0 195 1 0 0 20 0 28 0 87942064 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570211093360 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17571] ppid=17554 vsize=26643044 memory=920 CPUtime=2.33 cores=0-7
/proc/17556/task/17571/stat : 17571 (java) S 17554 17554 17510 0 -1 1077944384 22648 0 0 0 231 2 0 0 20 0 28 0 87942064 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570210040560 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17572] ppid=17554 vsize=26643044 memory=3908 CPUtime=1.96 cores=0-7
/proc/17556/task/17572/stat : 17572 (java) S 17554 17554 17510 0 -1 1077944384 16176 0 0 0 194 2 0 0 20 0 28 0 87942064 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570208987760 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17573] ppid=17554 vsize=26643044 memory=7032 CPUtime=0.87 cores=0-7
/proc/17556/task/17573/stat : 17573 (java) S 17554 17554 17510 0 -1 1077944384 36192 0 0 0 82 5 0 0 20 0 28 0 87942064 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570207934960 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17574] ppid=17554 vsize=26643044 memory=15044 CPUtime=0 cores=0-7
/proc/17556/task/17574/stat : 17574 (java) S 17554 17554 17510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87942064 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570206882400 140570819552981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=17575] ppid=17554 vsize=26643044 memory=19604 CPUtime=0.75 cores=0-7
/proc/17556/task/17575/stat : 17575 (java) S 17554 17554 17510 0 -1 1077944384 18301 0 0 0 25 50 0 0 20 0 28 0 87942064 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570205829680 140570819553922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18537] ppid=17554 vsize=26643044 memory=17804 CPUtime=95.36 cores=0-7
/proc/17556/task/18537/stat : 18537 (java) R 17554 17554 17510 0 -1 4202560 1567 0 0 0 9536 0 0 0 20 0 28 0 88184337 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570193886384 140570463065336 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18538] ppid=17554 vsize=26643044 memory=4016 CPUtime=95.7 cores=0-7
/proc/17556/task/18538/stat : 18538 (java) R 17554 17554 17510 0 -1 4202560 1718 0 0 0 9570 0 0 0 20 0 28 0 88184337 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570195992984 140570463075292 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18539] ppid=17554 vsize=26643044 memory=644 CPUtime=95.68 cores=0-7
/proc/17556/task/18539/stat : 18539 (java) R 17554 17554 17510 0 -1 4202560 2487 0 0 0 9567 1 0 0 20 0 28 0 88184337 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570190730520 140570463064838 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18540] ppid=17554 vsize=26643044 memory=1676 CPUtime=95.08 cores=0-7
/proc/17556/task/18540/stat : 18540 (java) R 17554 17554 17510 0 -1 4202560 4064 0 0 0 9505 3 0 0 20 0 28 0 88184337 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570194940568 140570463240709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18541] ppid=17554 vsize=26643044 memory=960 CPUtime=95.44 cores=0-7
/proc/17556/task/18541/stat : 18541 (java) R 17554 17554 17510 0 -1 4202560 3998 0 0 0 9540 4 0 0 20 0 28 0 88184337 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570192837888 140570462671079 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18542] ppid=17554 vsize=26643044 memory=7032 CPUtime=95.51 cores=0-7
/proc/17556/task/18542/stat : 18542 (java) R 17554 17554 17510 0 -1 4202560 1863 0 0 0 9550 1 0 0 20 0 28 0 88184337 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570197046280 140570463065553 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18543] ppid=17554 vsize=26643044 memory=15044 CPUtime=95.75 cores=0-7
/proc/17556/task/18543/stat : 18543 (java) R 17554 17554 17510 0 -1 4202560 8202 0 0 0 9570 5 0 0 20 0 28 0 88184337 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570191782136 140570463240191 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
[pid=17556/tid=18544] ppid=17554 vsize=26643044 memory=19604 CPUtime=95.54 cores=0-7
/proc/17556/task/18544/stat : 18544 (java) R 17554 17554 17510 0 -1 4202560 1068 0 0 0 9553 1 0 0 20 0 28 0 88184337 27282477056 561861 33554432000 4194304 4196468 140726146524016 140570189677320 140570461552487 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18800640 140726146532481 140726146532653 140726146532653 140726146535375 0
Current children cumulated CPU time: 19877.3 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 2248896 KiB

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

[startup+2520.04 s]
# the end of solver process 17554 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001089 s, system=0.001089 s

[startup+2520.11 s]
# the end of solver process 17556 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19856.4 s, system=21.6035 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.11
CPU time (s): 19878
CPU user time (s): 19856.4
CPU system time (s): 21.6035
CPU usage (%): 788.774
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 3783548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19856.4
system time used= 21.6035
maximum resident set size= 3782504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2108741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270145
involuntary context switches= 217159


# summary of solver processes directly reported to runsolver:
#   pid: 17554,17556
#   total CPU time (s): 19878
#   total CPU user time (s): 19856.4
#   total CPU system time (s): 21.6035

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.5219 second user time and 23.1686 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-27 17:03:09
IDJOB=4297912
IDBENCH=141161
IDSOLVER=2760
FILE ID=node138/4297912-1532703789
RUNJOBID= node138-1532703789-17537
PBS_JOBID= 21022304
Free space on /tmp= 53804 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay500_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297912-1532703789/watcher-4297912-1532703789 -o /tmp/evaluation-result-4297912-1532703789/solver-4297912-1532703789 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532703789-17537 --watchdog 2580  HOME/xcsp3-exec -seed 631696740 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297912-1532703789.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= f56a4553a90e1a028ece3fd7f833aea7
RANDOM SEED=631696740

node138.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.71
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.71
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.71
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.71
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:        17483912 kB
MemAvailable:   31921328 kB
Buffers:          216408 kB
Cached:         14363576 kB
SwapCached:           44 kB
Active:          2482256 kB
Inactive:       12158308 kB
Active(anon):      10712 kB
Inactive(anon):    77276 kB
Active(file):    2471544 kB
Inactive(file): 12081032 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             21908 kB
Writeback:            28 kB
AnonPages:         65768 kB
Mapped:            37352 kB
Shmem:             25164 kB
Slab:             341360 kB
SReclaimable:     313300 kB
SUnreclaim:        28060 kB
KernelStack:        3200 kB
PageTables:         5488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53780 MiB
End job on node138 at 2018-07-27 17:45:09