Trace number 4292745

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.7 seq (493a269)SAT (TO)2788055 2400.15 2380.43

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay500_c18.xml
MD5SUMd1d7e4f351cab0858660dafd89ccc193
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3125540
Best CPU time to get the best result obtained on this benchmark2520.06
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":"sum","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 -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292745-1532286556.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.18	c [HOME/instance-4292745-1532286556.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.33/0.28	c parse instance...
1.43/0.67	c solve instance...
2.83/1.27	o 764799 
2.83/1.28	o 777062 
2.83/1.29	o 780279 
3.12/1.30	o 780363 
3.12/1.32	o 780638 
3.12/1.32	o 783151 
3.12/1.32	o 783235 
3.12/1.33	o 794502 
3.12/1.35	o 796824 
3.12/1.35	o 798869 
3.12/1.36	o 799421 
5.76/2.47	o 893176 
5.76/2.47	o 917815 
5.76/2.48	o 928540 
5.76/2.48	o 940907 
5.76/2.49	o 941380 
5.76/2.49	o 946317 
5.76/2.49	o 946790 
5.95/2.50	o 950858 
5.95/2.50	o 953139 
5.95/2.51	o 955966 
5.95/2.51	o 958247 
5.95/2.56	o 958603 
5.95/2.56	o 960611 
5.95/2.56	o 963711 
5.95/2.56	o 965719 
7.21/3.15	o 1013037 
7.21/3.15	o 1014664 
7.21/3.15	o 1017644 
7.21/3.16	o 1018566 
7.21/3.16	o 1018670 
7.21/3.17	o 1023277 
7.21/3.19	o 1031529 
8.54/3.71	o 1204724 
8.54/3.72	o 1206492 
8.54/3.74	o 1221114 
9.03/4.19	o 1222406 
9.03/4.20	o 1237637 
9.13/4.21	o 1239736 
9.63/4.70	o 1442896 
9.63/4.70	o 1453719 
9.63/4.73	o 1457092 
10.30/5.33	o 1548123 
10.30/5.33	o 1551055 
10.30/5.33	o 1554821 
10.30/5.34	o 1556903 
10.30/5.34	o 1560897 
10.30/5.35	o 1564863 
10.30/5.35	o 1570711 
10.30/5.35	o 1574705 
10.30/5.36	o 1577393 
10.30/5.37	o 1586342 
10.71/5.78	o 1801034 
10.71/5.79	o 1804262 
12.64/7.67	o 1893707 
12.74/7.73	o 1905964 
15.72/10.63	o 1976145 
15.72/10.63	o 1977724 
15.72/10.69	o 1979830 
16.23/11.14	o 2073666 
16.73/11.61	o 2074072 
17.17/12.07	o 2119186 
17.27/12.19	o 2121292 
17.77/12.61	o 2170663 
17.77/12.61	o 2171524 
18.47/13.32	o 2270720 
18.87/13.80	o 2303636 
18.87/13.80	o 2308166 
18.97/13.82	o 2311886 
19.37/14.24	o 2380026 
20.47/15.36	o 2383578 
20.99/15.88	o 2420730 
20.99/15.89	o 2423739 
21.59/16.46	o 2451061 
22.49/17.32	o 2459031 
22.49/17.35	o 2459111 
22.59/17.40	o 2467822 
23.90/18.73	o 2473556 
24.20/19.03	o 2475634 
24.50/19.36	o 2488777 
24.50/19.39	o 2489128 
29.53/24.30	o 2495435 
31.04/25.80	o 2502517 
31.54/26.39	o 2513223 
31.74/26.58	o 2520186 
32.25/27.02	o 2563674 
32.74/27.50	o 2580924 
32.74/27.51	o 2583525 
33.14/27.95	o 2622922 
38.36/33.15	o 2645063 
38.45/33.28	o 2651194 
39.55/34.32	o 2657036 
98.11/92.73	o 2676862 
98.81/93.47	o 2684247 
177.36/171.93	o 2692616 
177.86/172.45	o 2729100 
205.13/199.52	o 2730210 
205.33/199.75	o 2735580 
205.93/200.32	o 2742536 
205.93/200.33	o 2742649 
207.03/201.48	o 2766574 
207.64/202.04	o 2782472 
208.13/202.56	o 2784782 
209.54/203.90	o 2785298 
215.55/209.93	o 2788055 
2400.08/2380.41	s SATISFIABLE
2400.08/2380.41	v <instantiation>
2400.08/2380.41	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>
2400.08/2380.41	v 	<values>0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 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 1 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 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 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 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 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 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 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 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 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 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 0 0 0 1 1 0 0 0 0 0 0 1 0 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 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 1 1 0 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 0 0 0 0 1 0 0 0 0 0 0 1 1 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 1 1 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 1 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 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 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 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 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 0 0 0 1 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 1 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 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 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 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 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 1 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 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 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 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 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 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 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 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 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 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 </values>
2400.08/2380.41	v </instantiation>
2400.08/2380.41	c Unexpected resolution interruption!

Verifier Data 

OK	2788055

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292745-1532286556/watcher-4292745-1532286556 -o /tmp/evaluation-result-4292745-1532286556/solver-4292745-1532286556 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532279418-2548 --watchdog 2560 HOME/xcsp3-exec -seed 849720120 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292745-1532286556.xml 

running on 4 cores: 0,2,4,6

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

solver pid=3326, runsolver pid=3323

[startup+0.101861 s]*
/proc/loadavg: 1.41 1.53 1.58 3/217 3342
/proc/meminfo: memFree=21251568/32770624 swapFree=67108860/67108860
[pid=3326] ppid=3323 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3326/stat : 3326 (xcsp3-exec) S 3323 3326 32641 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46218737 115843072 364 33554432000 4194304 5098028 140727368586864 140727368584968 139952546103932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14290944 140727368594491 140727368594692 140727368594692 140727368597450 0
/proc/3326/statm: 28282 364 306 221 0 87 0
[pid=3328] ppid=3326 vsize=14082840 memory=28720 CPUtime=0.12 cores=0,2,4,6
/proc/3328/stat : 3328 (java) S 3326 3326 32641 0 -1 1077944320 5537 0 0 0 11 1 0 0 20 0 15 0 46218737 14420828160 7180 33554432000 4194304 4196468 140733556230784 140733556213328 139864254197495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
/proc/3328/statm: 3520710 7180 2998 1 0 3483008 0
[pid=3328/tid=3329] ppid=3326 vsize=14082840 memory=-8412652160985438067 CPUtime=0.09 cores=0,2,4,6
/proc/3328/task/3329/stat : 3329 (java) R 3326 3326 32641 0 -1 4202560 3550 0 0 0 8 1 0 0 20 0 15 0 46218738 14420828160 7245 33554432000 4194304 4196468 140733556230784 139864258430848 139863882049031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3330] ppid=3326 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3330/stat : 3330 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218739 14420828160 7245 33554432000 4194304 4196468 140733556230784 139864206818448 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3331] ppid=3326 vsize=14082840 memory=140381977097856 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3331/stat : 3331 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218739 14420828160 7245 33554432000 4194304 4196468 140733556230784 139864205765648 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3332] ppid=3326 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3332/stat : 3332 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218739 14420828160 7245 33554432000 4194304 4196468 140733556230784 139864204712848 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3333] ppid=3326 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3333/stat : 3333 (java) S 3326 3326 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46218739 14420828160 7245 33554432000 4194304 4196468 140733556230784 139864203660048 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3334] ppid=3326 vsize=14082840 memory=140381977097856 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3334/stat : 3334 (java) S 3326 3326 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46218740 14420828160 7245 33554432000 4194304 4196468 140733556230784 139863727782256 139864254208642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3335] ppid=3326 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3335/stat : 3335 (java) S 3326 3326 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46218740 14420828160 7245 33554432000 4194304 4196468 140733556230784 139863726728224 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3336] ppid=3326 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3336/stat : 3336 (java) S 3326 3326 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46218741 14420828160 7245 33554432000 4194304 4196468 140733556230784 139863725675376 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3337] ppid=3326 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3337/stat : 3337 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14420828160 7245 33554432000 4194304 4196468 140733556230784 139863724623696 139864254216091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3338] ppid=3326 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3338/stat : 3338 (java) S 3326 3326 32641 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 46218743 14420828160 7245 33554432000 4194304 4196468 140733556230784 139863723572080 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3339] ppid=3326 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3339/stat : 3339 (java) R 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14420828160 7245 33554432000 4194304 4196468 140733556230784 139863722519280 139864254208642 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3340] ppid=3326 vsize=14082840 memory=140381977097856 CPUtime=0.01 cores=0,2,4,6
/proc/3328/task/3340/stat : 3340 (java) R 3326 3326 32641 0 -1 4202560 318 0 0 0 1 0 0 0 20 0 15 0 46218743 14420828160 7245 33554432000 4194304 4196468 140733556230784 139863721466480 139864233139086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3341] ppid=3326 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3341/stat : 3341 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14420828160 7245 33554432000 4194304 4196468 140733556230784 139863720413920 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3342] ppid=3326 vsize=14082840 memory=140381977097856 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3342/stat : 3342 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218743 14420828160 7245 33554432000 4194304 4196468 140733556230784 139863719361200 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30176 KiB

[startup+0.210831 s]*
/proc/loadavg: 1.41 1.53 1.58 4/217 3342
/proc/meminfo: memFree=21240352/32770624 swapFree=67108860/67108860
[pid=3326] ppid=3323 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3326/stat : 3326 (xcsp3-exec) S 3323 3326 32641 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46218737 115843072 364 33554432000 4194304 5098028 140727368586864 140727368584968 139952546103932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14290944 140727368594491 140727368594692 140727368594692 140727368597450 0
/proc/3326/statm: 28282 364 306 221 0 87 0
[pid=3328] ppid=3326 vsize=14082840 memory=40332 CPUtime=0.33 cores=0,2,4,6
/proc/3328/stat : 3328 (java) S 3326 3326 32641 0 -1 1077944320 8175 0 0 0 31 2 0 0 20 0 15 0 46218737 14420828160 10083 33554432000 4194304 4196468 140733556230784 140733556213328 139864254197495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
/proc/3328/statm: 3520710 10083 3161 1 0 3483008 0
[pid=3328/tid=3329] ppid=3326 vsize=14082840 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/3328/task/3329/stat : 3329 (java) D 3326 3326 32641 0 -1 1077944384 5416 0 0 0 18 1 0 0 20 0 15 0 46218738 14420828160 10083 33554432000 4194304 4196468 140733556230784 139864258421664 139864246876717 0 4 0 16800975 18446744072101797412 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3330] ppid=3326 vsize=14082840 memory=10882 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3330/stat : 3330 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218739 14420828160 10083 33554432000 4194304 4196468 140733556230784 139864206818448 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3331] ppid=3326 vsize=14082840 memory=3760568572309667872 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3331/stat : 3331 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218739 14420828160 10083 33554432000 4194304 4196468 140733556230784 139864205765648 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3332] ppid=3326 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3332/stat : 3332 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218739 14420828160 10083 33554432000 4194304 4196468 140733556230784 139864204712848 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3333] ppid=3326 vsize=14082872 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3333/stat : 3333 (java) S 3326 3326 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46218739 14420860928 10083 33554432000 4194304 4196468 140733556230784 139864203660048 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3334] ppid=3326 vsize=14082872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3334/stat : 3334 (java) S 3326 3326 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46218740 14420860928 10083 33554432000 4194304 4196468 140733556230784 139863727782256 139864254208642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3335] ppid=3326 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3335/stat : 3335 (java) S 3326 3326 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46218740 14420828160 10136 33554432000 4194304 4196468 140733556230784 139863726728224 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3336] ppid=3326 vsize=14082840 memory=140381977097856 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3336/stat : 3336 (java) S 3326 3326 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46218741 14420828160 10136 33554432000 4194304 4196468 140733556230784 139863725675376 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3337] ppid=3326 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3337/stat : 3337 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14420828160 10136 33554432000 4194304 4196468 140733556230784 139863724623696 139864254216091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3338] ppid=3326 vsize=14082840 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3328/task/3338/stat : 3338 (java) S 3326 3326 32641 0 -1 1077944384 638 0 0 0 2 0 0 0 20 0 15 0 46218743 14420828160 10136 33554432000 4194304 4196468 140733556230784 139863723572080 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3339] ppid=3326 vsize=14082840 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3328/task/3339/stat : 3339 (java) S 3326 3326 32641 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 46218743 14420828160 10136 33554432000 4194304 4196468 140733556230784 139863722519280 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3340] ppid=3326 vsize=14082840 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3328/task/3340/stat : 3340 (java) S 3326 3326 32641 0 -1 1077944384 710 0 0 0 7 0 0 0 20 0 15 0 46218743 14420828160 10136 33554432000 4194304 4196468 140733556230784 139863721466480 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3341] ppid=3326 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3341/stat : 3341 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14420828160 10136 33554432000 4194304 4196468 140733556230784 139863720413920 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3342] ppid=3326 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3342/stat : 3342 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218743 14420828160 10136 33554432000 4194304 4196468 140733556230784 139863719361200 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41788 KiB

[startup+0.310841 s]*
/proc/loadavg: 1.41 1.53 1.58 3/217 3342
/proc/meminfo: memFree=21233776/32770624 swapFree=67108860/67108860
[pid=3326] ppid=3323 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3326/stat : 3326 (xcsp3-exec) S 3323 3326 32641 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46218737 115843072 364 33554432000 4194304 5098028 140727368586864 140727368584968 139952546103932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14290944 140727368594491 140727368594692 140727368594692 140727368597450 0
/proc/3326/statm: 28282 364 306 221 0 87 0
[pid=3328] ppid=3326 vsize=14087096 memory=47292 CPUtime=0.5 cores=0,2,4,6
/proc/3328/stat : 3328 (java) S 3326 3326 32641 0 -1 1077944320 9029 0 0 0 47 3 0 0 20 0 15 0 46218737 14425186304 11823 33554432000 4194304 4196468 140733556230784 140733556213328 139864254197495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
/proc/3328/statm: 3521774 11823 3196 1 0 3483008 0
[pid=3328/tid=3329] ppid=3326 vsize=14087096 memory=-7174084197661963716 CPUtime=0.29 cores=0,2,4,6
/proc/3328/task/3329/stat : 3329 (java) R 3326 3326 32641 0 -1 4202560 6123 0 0 0 27 2 0 0 20 0 15 0 46218738 14425186304 11823 33554432000 4194304 4196468 140733556230784 139864258428608 139864238277982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3330] ppid=3326 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3330/stat : 3330 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218739 14425186304 11823 33554432000 4194304 4196468 140733556230784 139864206818448 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3331] ppid=3326 vsize=14087096 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3331/stat : 3331 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218739 14425186304 11823 33554432000 4194304 4196468 140733556230784 139864205765648 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3332] ppid=3326 vsize=14087096 memory=2110732485695396 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3332/stat : 3332 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218739 14425186304 11823 33554432000 4194304 4196468 140733556230784 139864204712848 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3333] ppid=3326 vsize=14087096 memory=140381878593983 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3333/stat : 3333 (java) S 3326 3326 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46218739 14425186304 11823 33554432000 4194304 4196468 140733556230784 139864203660048 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3334] ppid=3326 vsize=14087096 memory=280763855724608 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3334/stat : 3334 (java) S 3326 3326 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46218740 14425186304 11823 33554432000 4194304 4196468 140733556230784 139863727782256 139864254208642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3335] ppid=3326 vsize=14087096 memory=140381878596279 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3335/stat : 3335 (java) S 3326 3326 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46218740 14425186304 11823 33554432000 4194304 4196468 140733556230784 139863726728224 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3336] ppid=3326 vsize=14087096 memory=280763757201792 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3336/stat : 3336 (java) S 3326 3326 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46218741 14425186304 11823 33554432000 4194304 4196468 140733556230784 139863725675376 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3337] ppid=3326 vsize=14087096 memory=280763757197168 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3337/stat : 3337 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14425186304 11823 33554432000 4194304 4196468 140733556230784 139863724623696 139864254216091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3338] ppid=3326 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3328/task/3338/stat : 3338 (java) S 3326 3326 32641 0 -1 1077944384 653 0 0 0 4 0 0 0 20 0 15 0 46218743 14425186304 11823 33554432000 4194304 4196468 140733556230784 139863723572080 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3339] ppid=3326 vsize=14087096 memory=67 CPUtime=0.03 cores=0,2,4,6
/proc/3328/task/3339/stat : 3339 (java) S 3326 3326 32641 0 -1 1077944384 118 0 0 0 3 0 0 0 20 0 15 0 46218743 14425186304 11823 33554432000 4194304 4196468 140733556230784 139863722519280 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3340] ppid=3326 vsize=14087096 memory=140381977097856 CPUtime=0.12 cores=0,2,4,6
/proc/3328/task/3340/stat : 3340 (java) S 3326 3326 32641 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 15 0 46218743 14425186304 11823 33554432000 4194304 4196468 140733556230784 139863721466480 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3341] ppid=3326 vsize=14087096 memory=67 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3341/stat : 3341 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14425186304 11823 33554432000 4194304 4196468 140733556230784 139863720413920 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3342] ppid=3326 vsize=14087096 memory=140381977097856 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3342/stat : 3342 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218743 14425186304 11823 33554432000 4194304 4196468 140733556230784 139863719361200 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48748 KiB

[startup+0.701131 s]
/proc/loadavg: 1.41 1.53 1.58 6/217 3342
/proc/meminfo: memFree=21178736/32770624 swapFree=67108860/67108860
[pid=3326] ppid=3323 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3326/stat : 3326 (xcsp3-exec) S 3323 3326 32641 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46218737 115843072 364 33554432000 4194304 5098028 140727368586864 140727368584968 139952546103932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14290944 140727368594491 140727368594692 140727368594692 140727368597450 0
/proc/3326/statm: 28282 364 306 221 0 87 0
[pid=3328] ppid=3326 vsize=14089220 memory=94840 CPUtime=1.74 cores=0,2,4,6
/proc/3328/stat : 3328 (java) S 3326 3326 32641 0 -1 1077944320 14311 0 0 0 169 5 0 0 20 0 15 0 46218737 14427361280 23710 33554432000 4194304 4196468 140733556230784 140733556213328 139864254197495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
/proc/3328/statm: 3522305 23710 3336 1 0 3483520 0
[pid=3328/tid=3329] ppid=3326 vsize=14089220 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3328/task/3329/stat : 3329 (java) R 3326 3326 32641 0 -1 4202560 6922 0 0 0 64 3 0 0 20 0 15 0 46218738 14427361280 23710 33554432000 4194304 4196468 140733556230784 139864258433712 139863886172246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3330] ppid=3326 vsize=14089220 memory=8242257093008242485 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3330/stat : 3330 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218739 14427361280 23710 33554432000 4194304 4196468 140733556230784 139864206818448 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3331] ppid=3326 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3331/stat : 3331 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218739 14427361280 23710 33554432000 4194304 4196468 140733556230784 139864205765648 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3332] ppid=3326 vsize=14089220 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3332/stat : 3332 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218739 14427361280 23710 33554432000 4194304 4196468 140733556230784 139864204712848 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3333] ppid=3326 vsize=14089220 memory=12976 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3333/stat : 3333 (java) S 3326 3326 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46218739 14427361280 23710 33554432000 4194304 4196468 140733556230784 139864203660048 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3334] ppid=3326 vsize=14089220 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3334/stat : 3334 (java) S 3326 3326 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46218740 14427361280 23710 33554432000 4194304 4196468 140733556230784 139863727782256 139864254208642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3335] ppid=3326 vsize=14089220 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3335/stat : 3335 (java) S 3326 3326 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46218740 14427361280 23710 33554432000 4194304 4196468 140733556230784 139863726728224 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3336] ppid=3326 vsize=14089220 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3336/stat : 3336 (java) S 3326 3326 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46218741 14427361280 23710 33554432000 4194304 4196468 140733556230784 139863725675376 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3337] ppid=3326 vsize=14089220 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3337/stat : 3337 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14427361280 23710 33554432000 4194304 4196468 140733556230784 139863724623696 139864254216091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3338] ppid=3326 vsize=14089220 memory=8364 CPUtime=0.32 cores=0,2,4,6
/proc/3328/task/3338/stat : 3338 (java) R 3326 3326 32641 0 -1 4202560 2350 0 0 0 32 0 0 0 20 0 15 0 46218743 14427361280 23710 33554432000 4194304 4196468 140733556230784 139863723557584 139864235741695 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3339] ppid=3326 vsize=14089220 memory=7662705889289527641 CPUtime=0.34 cores=0,2,4,6
/proc/3328/task/3339/stat : 3339 (java) R 3326 3326 32641 0 -1 4202560 1457 0 0 0 34 0 0 0 20 0 15 0 46218743 14427361280 23710 33554432000 4194304 4196468 140733556230784 139863722505232 139864235720688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3340] ppid=3326 vsize=14089220 memory=7885081012184048465 CPUtime=0.37 cores=0,2,4,6
/proc/3328/task/3340/stat : 3340 (java) R 3326 3326 32641 0 -1 4202560 2274 0 0 0 37 0 0 0 20 0 15 0 46218743 14427361280 23710 33554432000 4194304 4196468 140733556230784 139863721466480 139864233659725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3341] ppid=3326 vsize=14089220 memory=7588684550706915689 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3341/stat : 3341 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14427361280 23710 33554432000 4194304 4196468 140733556230784 139863720413920 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3342] ppid=3326 vsize=14089220 memory=5450909908396308010 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3342/stat : 3342 (java) S 3326 3326 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46218743 14427361280 23710 33554432000 4194304 4196468 140733556230784 139863719361200 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 96296 KiB

[startup+1.50082 s]
/proc/loadavg: 1.41 1.53 1.58 3/217 3342
/proc/meminfo: memFree=21119856/32770624 swapFree=67108860/67108860
[pid=3326] ppid=3323 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3326/stat : 3326 (xcsp3-exec) S 3323 3326 32641 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46218737 115843072 364 33554432000 4194304 5098028 140727368586864 140727368584968 139952546103932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14290944 140727368594491 140727368594692 140727368594692 140727368597450 0
/proc/3326/statm: 28282 364 306 221 0 87 0

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

/proc/3328/task/3336/stat : 3336 (java) S 3326 3326 32641 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 46218741 14427361280 513893 33554432000 4194304 4196468 140733556230784 139863725675376 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3337] ppid=3326 vsize=14089220 memory=2055572 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3337/stat : 3337 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14427361280 513893 33554432000 4194304 4196468 140733556230784 139863724623696 139864254216091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3338] ppid=3326 vsize=14089220 memory=1456 CPUtime=2.47 cores=0,2,4,6
/proc/3328/task/3338/stat : 3338 (java) S 3326 3326 32641 0 -1 1077944384 13311 0 0 0 245 2 0 0 20 0 15 0 46218743 14427361280 513893 33554432000 4194304 4196468 140733556230784 139863723572080 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3339] ppid=3326 vsize=14089220 memory=2056600 CPUtime=2.5 cores=0,2,4,6
/proc/3328/task/3339/stat : 3339 (java) S 3326 3326 32641 0 -1 1077944384 12935 0 0 0 248 2 0 0 20 0 15 0 46218743 14427361280 513893 33554432000 4194304 4196468 140733556230784 139863722519280 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3340] ppid=3326 vsize=14089220 memory=55 CPUtime=0.62 cores=0,2,4,6
/proc/3328/task/3340/stat : 3340 (java) S 3326 3326 32641 0 -1 1077944384 9197 0 0 0 61 1 0 0 20 0 15 0 46218743 14427361280 513893 33554432000 4194304 4196468 140733556230784 139863721466480 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3341] ppid=3326 vsize=14089220 memory=2056088 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3341/stat : 3341 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14427361280 513893 33554432000 4194304 4196468 140733556230784 139863720413920 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3342] ppid=3326 vsize=14089220 memory=2436 CPUtime=0.71 cores=0,2,4,6
/proc/3328/task/3342/stat : 3342 (java) S 3326 3326 32641 0 -1 1077944384 888 0 0 0 32 39 0 0 20 0 15 0 46218743 14427361280 513893 33554432000 4194304 4196468 140733556230784 139863719361200 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
Current children cumulated CPU time: 2219.81 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2057028 KiB

[startup+2262.3 s]
/proc/loadavg: 1.41 1.39 1.44 3/217 3489
/proc/meminfo: memFree=19673628/32770624 swapFree=67108860/67108860
[pid=3326] ppid=3323 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3326/stat : 3326 (xcsp3-exec) S 3323 3326 32641 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46218737 115843072 364 33554432000 4194304 5098028 140727368586864 140727368584968 139952546103932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14290944 140727368594491 140727368594692 140727368594692 140727368597450 0
/proc/3326/statm: 28282 364 306 221 0 87 0
[pid=3328] ppid=3326 vsize=14089220 memory=476572 CPUtime=2280.75 cores=0,2,4,6
/proc/3328/stat : 3328 (java) S 3326 3326 32641 0 -1 1077944320 119544 0 0 0 227950 125 0 0 20 0 15 0 46218737 14427361280 119143 33554432000 4194304 4196468 140733556230784 140733556213328 139864254197495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
/proc/3328/statm: 3522305 119143 3408 1 0 3483520 0
[pid=3328/tid=3329] ppid=3326 vsize=14089220 memory=476984 CPUtime=2256.42 cores=0,2,4,6
/proc/3328/task/3329/stat : 3329 (java) R 3326 3326 32641 0 -1 4202560 47732 0 0 0 225603 39 0 0 20 0 15 0 46218738 14427361280 119143 33554432000 4194304 4196468 140733556230784 139864258436496 139863886773617 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3330] ppid=3326 vsize=14089220 memory=476468 CPUtime=4.22 cores=0,2,4,6
/proc/3328/task/3330/stat : 3330 (java) S 3326 3326 32641 0 -1 1077944384 8979 0 0 0 412 10 0 0 20 0 15 0 46218739 14427361280 119143 33554432000 4194304 4196468 140733556230784 139864206818448 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3331] ppid=3326 vsize=14089220 memory=476468 CPUtime=4.23 cores=0,2,4,6
/proc/3328/task/3331/stat : 3331 (java) S 3326 3326 32641 0 -1 1077944384 7379 0 0 0 412 11 0 0 20 0 15 0 46218739 14427361280 119143 33554432000 4194304 4196468 140733556230784 139864205765648 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3332] ppid=3326 vsize=14089220 memory=476984 CPUtime=4.23 cores=0,2,4,6
/proc/3328/task/3332/stat : 3332 (java) S 3326 3326 32641 0 -1 1077944384 6024 0 0 0 412 11 0 0 20 0 15 0 46218739 14427361280 119143 33554432000 4194304 4196468 140733556230784 139864204712848 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3333] ppid=3326 vsize=14089220 memory=476572 CPUtime=4.24 cores=0,2,4,6
/proc/3328/task/3333/stat : 3333 (java) S 3326 3326 32641 0 -1 1077944384 5453 0 0 0 414 10 0 0 20 0 15 0 46218739 14427361280 119143 33554432000 4194304 4196468 140733556230784 139864203660048 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3334] ppid=3326 vsize=14089220 memory=1456 CPUtime=0.98 cores=0,2,4,6
/proc/3328/task/3334/stat : 3334 (java) S 3326 3326 32641 0 -1 1077944384 6243 0 0 0 88 10 0 0 20 0 15 0 46218740 14427361280 119143 33554432000 4194304 4196468 140733556230784 139863727782256 139864254208642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3335] ppid=3326 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3335/stat : 3335 (java) S 3326 3326 32641 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46218740 14427361280 119143 33554432000 4194304 4196468 140733556230784 139863726728224 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3336] ppid=3326 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3336/stat : 3336 (java) S 3326 3326 32641 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 46218741 14427361280 119143 33554432000 4194304 4196468 140733556230784 139863725675376 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3337] ppid=3326 vsize=14089220 memory=474360 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3337/stat : 3337 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14427361280 119143 33554432000 4194304 4196468 140733556230784 139863724623696 139864254216091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3338] ppid=3326 vsize=14089220 memory=1456 CPUtime=2.47 cores=0,2,4,6
/proc/3328/task/3338/stat : 3338 (java) S 3326 3326 32641 0 -1 1077944384 13315 0 0 0 245 2 0 0 20 0 15 0 46218743 14427361280 119143 33554432000 4194304 4196468 140733556230784 139863723572080 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3339] ppid=3326 vsize=14089220 memory=1456 CPUtime=2.5 cores=0,2,4,6
/proc/3328/task/3339/stat : 3339 (java) S 3326 3326 32641 0 -1 1077944384 12939 0 0 0 248 2 0 0 20 0 15 0 46218743 14427361280 119143 33554432000 4194304 4196468 140733556230784 139863722519280 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3340] ppid=3326 vsize=14089220 memory=1948 CPUtime=0.62 cores=0,2,4,6
/proc/3328/task/3340/stat : 3340 (java) S 3326 3326 32641 0 -1 1077944384 9202 0 0 0 61 1 0 0 20 0 15 0 46218743 14427361280 119143 33554432000 4194304 4196468 140733556230784 139863721466480 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3341] ppid=3326 vsize=14089220 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3341/stat : 3341 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14427361280 119143 33554432000 4194304 4196468 140733556230784 139863720413920 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3342] ppid=3326 vsize=14089220 memory=1456 CPUtime=0.73 cores=0,2,4,6
/proc/3328/task/3342/stat : 3342 (java) S 3326 3326 32641 0 -1 1077944384 932 0 0 0 33 40 0 0 20 0 15 0 46218743 14427361280 119143 33554432000 4194304 4196468 140733556230784 139863719361200 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
Current children cumulated CPU time: 2280.75 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 478028 KiB

[startup+2322.3 s]
/proc/loadavg: 1.67 1.46 1.46 3/217 3490
/proc/meminfo: memFree=19300056/32770624 swapFree=67108860/67108860
[pid=3326] ppid=3323 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3326/stat : 3326 (xcsp3-exec) S 3323 3326 32641 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46218737 115843072 364 33554432000 4194304 5098028 140727368586864 140727368584968 139952546103932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14290944 140727368594491 140727368594692 140727368594692 140727368597450 0
/proc/3326/statm: 28282 364 306 221 0 87 0
[pid=3328] ppid=3326 vsize=14089220 memory=846680 CPUtime=2341.05 cores=0,2,4,6
/proc/3328/stat : 3328 (java) S 3326 3326 32641 0 -1 1077944320 121796 0 0 0 233973 132 0 0 20 0 15 0 46218737 14427361280 211670 33554432000 4194304 4196468 140733556230784 140733556213328 139864254197495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
/proc/3328/statm: 3522305 211670 3408 1 0 3483520 0
[pid=3328/tid=3329] ppid=3326 vsize=14089220 memory=787568 CPUtime=2316.26 cores=0,2,4,6
/proc/3328/task/3329/stat : 3329 (java) R 3326 3326 32641 0 -1 4202560 49065 0 0 0 231582 44 0 0 20 0 15 0 46218738 14427361280 211670 33554432000 4194304 4196468 140733556230784 139864258436496 139863888370001 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3330] ppid=3326 vsize=14089220 memory=787568 CPUtime=4.32 cores=0,2,4,6
/proc/3328/task/3330/stat : 3330 (java) S 3326 3326 32641 0 -1 1077944384 9105 0 0 0 422 10 0 0 20 0 15 0 46218739 14427361280 211670 33554432000 4194304 4196468 140733556230784 139864206818448 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3331] ppid=3326 vsize=14089220 memory=818404 CPUtime=4.33 cores=0,2,4,6
/proc/3328/task/3331/stat : 3331 (java) S 3326 3326 32641 0 -1 1077944384 7481 0 0 0 422 11 0 0 20 0 15 0 46218739 14427361280 211670 33554432000 4194304 4196468 140733556230784 139864205765648 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3332] ppid=3326 vsize=14089220 memory=1456 CPUtime=4.34 cores=0,2,4,6
/proc/3328/task/3332/stat : 3332 (java) S 3326 3326 32641 0 -1 1077944384 6140 0 0 0 422 12 0 0 20 0 15 0 46218739 14427361280 211670 33554432000 4194304 4196468 140733556230784 139864204712848 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3333] ppid=3326 vsize=14089220 memory=846680 CPUtime=4.35 cores=0,2,4,6
/proc/3328/task/3333/stat : 3333 (java) S 3326 3326 32641 0 -1 1077944384 5821 0 0 0 424 11 0 0 20 0 15 0 46218739 14427361280 211670 33554432000 4194304 4196468 140733556230784 139864203660048 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3334] ppid=3326 vsize=14089220 memory=1456 CPUtime=1.01 cores=0,2,4,6
/proc/3328/task/3334/stat : 3334 (java) S 3326 3326 32641 0 -1 1077944384 6424 0 0 0 91 10 0 0 20 0 15 0 46218740 14427361280 211670 33554432000 4194304 4196468 140733556230784 139863727782256 139864254208642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3335] ppid=3326 vsize=14089220 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3335/stat : 3335 (java) S 3326 3326 32641 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46218740 14427361280 211670 33554432000 4194304 4196468 140733556230784 139863726728224 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3336] ppid=3326 vsize=14089220 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3336/stat : 3336 (java) S 3326 3326 32641 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 46218741 14427361280 211670 33554432000 4194304 4196468 140733556230784 139863725675376 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3337] ppid=3326 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3337/stat : 3337 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14427361280 211670 33554432000 4194304 4196468 140733556230784 139863724623696 139864254216091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3338] ppid=3326 vsize=14089220 memory=1456 CPUtime=2.47 cores=0,2,4,6
/proc/3328/task/3338/stat : 3338 (java) S 3326 3326 32641 0 -1 1077944384 13318 0 0 0 245 2 0 0 20 0 15 0 46218743 14427361280 211670 33554432000 4194304 4196468 140733556230784 139863723572080 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3339] ppid=3326 vsize=14089220 memory=1456 CPUtime=2.5 cores=0,2,4,6
/proc/3328/task/3339/stat : 3339 (java) S 3326 3326 32641 0 -1 1077944384 12941 0 0 0 248 2 0 0 20 0 15 0 46218743 14427361280 211670 33554432000 4194304 4196468 140733556230784 139863722519280 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3340] ppid=3326 vsize=14089220 memory=611260 CPUtime=0.62 cores=0,2,4,6
/proc/3328/task/3340/stat : 3340 (java) S 3326 3326 32641 0 -1 1077944384 9204 0 0 0 61 1 0 0 20 0 15 0 46218743 14427361280 211670 33554432000 4194304 4196468 140733556230784 139863721466480 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3341] ppid=3326 vsize=14089220 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3341/stat : 3341 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14427361280 211670 33554432000 4194304 4196468 140733556230784 139863720413920 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3342] ppid=3326 vsize=14089220 memory=1232 CPUtime=0.75 cores=0,2,4,6
/proc/3328/task/3342/stat : 3342 (java) S 3326 3326 32641 0 -1 1077944384 951 0 0 0 34 41 0 0 20 0 15 0 46218743 14427361280 211670 33554432000 4194304 4196468 140733556230784 139863719361200 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
Current children cumulated CPU time: 2341.05 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 848136 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2380.4 s]
/proc/loadavg: 1.76 1.52 1.48 3/217 3491
/proc/meminfo: memFree=18377624/32770624 swapFree=67108860/67108860
[pid=3326] ppid=3323 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3326/stat : 3326 (xcsp3-exec) S 3323 3326 32641 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46218737 115843072 364 33554432000 4194304 5098028 140727368586864 140727368584968 139952546103932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14290944 140727368594491 140727368594692 140727368594692 140727368597450 0
/proc/3326/statm: 28282 364 306 221 0 87 0
[pid=3328] ppid=3326 vsize=14089220 memory=1769864 CPUtime=2400.08 cores=0,2,4,6
/proc/3328/stat : 3328 (java) S 3326 3326 32641 0 -1 1077944320 123281 0 0 0 239859 149 0 0 20 0 15 0 46218737 14427361280 442466 33554432000 4194304 4196468 140733556230784 140733556213328 139864254197495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
/proc/3328/statm: 3522305 442466 3408 1 0 3483520 0
[pid=3328/tid=3329] ppid=3326 vsize=14089220 memory=2580 CPUtime=2373.98 cores=0,2,4,6
/proc/3328/task/3329/stat : 3329 (java) R 3326 3326 32641 0 -1 4202560 50517 0 0 0 237340 58 0 0 20 0 15 0 46218738 14427361280 442466 33554432000 4194304 4196468 140733556230784 139864258437056 139863888548508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3330] ppid=3326 vsize=14089220 memory=2580 CPUtime=4.64 cores=0,2,4,6
/proc/3328/task/3330/stat : 3330 (java) S 3326 3326 32641 0 -1 1077944384 9113 0 0 0 453 11 0 0 20 0 15 0 46218739 14427361280 442466 33554432000 4194304 4196468 140733556230784 139864206818448 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3331] ppid=3326 vsize=14089220 memory=1408 CPUtime=4.64 cores=0,2,4,6
/proc/3328/task/3331/stat : 3331 (java) S 3326 3326 32641 0 -1 1077944384 7493 0 0 0 452 12 0 0 20 0 15 0 46218739 14427361280 442466 33554432000 4194304 4196468 140733556230784 139864205765648 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3332] ppid=3326 vsize=14089220 memory=3272 CPUtime=4.65 cores=0,2,4,6
/proc/3328/task/3332/stat : 3332 (java) S 3326 3326 32641 0 -1 1077944384 6142 0 0 0 453 12 0 0 20 0 15 0 46218739 14427361280 442466 33554432000 4194304 4196468 140733556230784 139864204712848 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3333] ppid=3326 vsize=14089220 memory=1456 CPUtime=4.66 cores=0,2,4,6
/proc/3328/task/3333/stat : 3333 (java) S 3326 3326 32641 0 -1 1077944384 5824 0 0 0 455 11 0 0 20 0 15 0 46218739 14427361280 442466 33554432000 4194304 4196468 140733556230784 139864203660048 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3334] ppid=3326 vsize=14089220 memory=288230574492221466 CPUtime=1.04 cores=0,2,4,6
/proc/3328/task/3334/stat : 3334 (java) S 3326 3326 32641 0 -1 1077944384 6429 0 0 0 93 11 0 0 20 0 15 0 46218740 14427361280 442466 33554432000 4194304 4196468 140733556230784 139863727782256 139864254208642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3335] ppid=3326 vsize=14089220 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3335/stat : 3335 (java) S 3326 3326 32641 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46218740 14427361280 442466 33554432000 4194304 4196468 140733556230784 139863726728224 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3336] ppid=3326 vsize=14089220 memory=13847486485760432 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3336/stat : 3336 (java) S 3326 3326 32641 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 46218741 14427361280 442466 33554432000 4194304 4196468 140733556230784 139863725675376 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3337] ppid=3326 vsize=14089220 memory=576460756337521186 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3337/stat : 3337 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14427361280 442466 33554432000 4194304 4196468 140733556230784 139863724623696 139864254216091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3338] ppid=3326 vsize=14089220 memory=288284476415682908 CPUtime=2.47 cores=0,2,4,6
/proc/3328/task/3338/stat : 3338 (java) S 3326 3326 32641 0 -1 1077944384 13318 0 0 0 245 2 0 0 20 0 15 0 46218743 14427361280 442466 33554432000 4194304 4196468 140733556230784 139863723572080 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3339] ppid=3326 vsize=14089220 memory=249879 CPUtime=2.5 cores=0,2,4,6
/proc/3328/task/3339/stat : 3339 (java) S 3326 3326 32641 0 -1 1077944384 12941 0 0 0 248 2 0 0 20 0 15 0 46218743 14427361280 442466 33554432000 4194304 4196468 140733556230784 139863722519280 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3340] ppid=3326 vsize=14089220 memory=291045169690588011 CPUtime=0.62 cores=0,2,4,6
/proc/3328/task/3340/stat : 3340 (java) S 3326 3326 32641 0 -1 1077944384 9204 0 0 0 61 1 0 0 20 0 15 0 46218743 14427361280 442466 33554432000 4194304 4196468 140733556230784 139863721466480 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3341] ppid=3326 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/3328/task/3341/stat : 3341 (java) S 3326 3326 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46218743 14427361280 442466 33554432000 4194304 4196468 140733556230784 139863720413920 139864254207701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
[pid=3328/tid=3342] ppid=3326 vsize=14089220 memory=1428 CPUtime=0.78 cores=0,2,4,6
/proc/3328/task/3342/stat : 3342 (java) S 3326 3326 32641 0 -1 1077944384 954 0 0 0 36 42 0 0 20 0 15 0 46218743 14427361280 442466 33554432000 4194304 4196468 140733556230784 139863719361200 139864254208642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11436032 140733556237441 140733556237617 140733556237617 140733556240335 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1771320 KiB

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

[startup+2380.41 s]
# the end of solver process 3326 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002339 s, system=0 s

[startup+2380.43 s]
# the end of solver process 3328 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.64 s, system=1.50277 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): 2380.43
CPU time (s): 2400.15
CPU user time (s): 2398.64
CPU system time (s): 1.50277
CPU usage (%): 100.828
Max. virtual memory (cumulated for all children) (KiB): 14204204
Max. memory (cumulated for all children) (KiB): 2060108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.64
system time used= 1.50277
maximum resident set size= 2123056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80109
involuntary context switches= 4007


# summary of solver processes directly reported to runsolver:
#   pid: 3326,3328
#   total CPU time (s): 2400.15
#   total CPU user time (s): 2398.64
#   total CPU system time (s): 1.50277

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2481 second user time and 22.7102 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-22 21:09:16
IDJOB=4292745
IDBENCH=141153
IDSOLVER=2747
FILE ID=node136/4292745-1532286556
RUNJOBID= node136-1532279418-2548
PBS_JOBID= 21018966
Free space on /tmp= 57092 MiB

SOLVER NAME= Choco-solver 4.0.7 seq (493a269)
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292745-1532286556/watcher-4292745-1532286556 -o /tmp/evaluation-result-4292745-1532286556/solver-4292745-1532286556 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532279418-2548 --watchdog 2560  HOME/xcsp3-exec -seed 849720120 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292745-1532286556.xml

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

MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193
RANDOM SEED=849720120

node136.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.50
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.50
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.50
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.50
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:        21268768 kB
MemAvailable:   31251272 kB
Buffers:          247984 kB
Cached:          9940592 kB
SwapCached:            0 kB
Active:          1876000 kB
Inactive:        9054272 kB
Active(anon):     744864 kB
Inactive(anon):    16916 kB
Active(file):    1131136 kB
Inactive(file):  9037356 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             20728 kB
Writeback:             0 kB
AnonPages:        749476 kB
Mapped:            48844 kB
Shmem:             17036 kB
Slab:             269632 kB
SReclaimable:     242472 kB
SUnreclaim:        27160 kB
KernelStack:        3584 kB
PageTables:         6616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1195904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    667648 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= 57072 MiB
End job on node136 at 2018-07-22 21:48:56