Trace number 4297915

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)SAT (TO)2270200 19913.3 2520.15

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay400_c18.xml
MD5SUMb20be86eed1a54c36d145f853cc0c945
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2270200
Best CPU time to get the best result obtained on this benchmark19913.3
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints400
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree40
Distribution of variable degrees[{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}]
Minimum constraint arity12
Maximum constraint arity37
Distribution of constraint arities[{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":400}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297915-1532702625.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297915-1532702625.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.84/0.99	c solve instance...
3.30/1.06	o 1461930 
3.30/1.07	o 1462456 
3.30/1.11	o 1463486 
4.03/1.13	o 1464012 
4.03/1.16	o 1472455 
4.03/1.16	o 1472981 
4.03/1.16	o 1474011 
4.03/1.16	o 1474537 
4.03/1.18	o 1478320 
4.62/1.23	o 1478846 
4.62/1.24	o 1479876 
4.62/1.24	o 1480402 
4.62/1.26	o 1485612 
4.62/1.27	o 1486138 
4.62/1.27	o 1487168 
4.62/1.27	o 1487694 
4.62/1.29	o 1491477 
4.62/1.30	o 1492003 
5.24/1.31	o 1493033 
5.24/1.31	o 1493559 
5.24/1.40	o 1493763 
5.24/1.40	o 1497546 
5.24/1.40	o 1498072 
6.00/1.41	o 1499102 
6.00/1.41	o 1499628 
9.74/1.95	o 1500266 
9.74/1.95	o 1500792 
37.59/5.89	o 1500800 
37.59/5.89	o 1501326 
37.59/5.89	o 1502356 
37.59/5.90	o 1502882 
39.13/6.01	o 1503520 
39.13/6.01	o 1504046 
46.20/6.98	o 1513069 
54.16/7.95	o 1515928 
60.52/8.73	o 1516030 
62.92/9.05	o 1527897 
62.92/9.09	o 1528738 
66.77/9.55	o 1562561 
71.68/10.12	o 1613607 
71.68/10.16	o 1618053 
73.05/10.37	o 1629877 
90.57/12.52	o 1644661 
94.51/13.02	o 1686515 
94.51/13.03	o 1695618 
99.17/13.61	o 1760505 
99.95/13.70	o 1763395 
103.19/14.13	o 1842697 
107.09/14.63	o 1846699 
112.65/15.30	o 1925856 
112.65/15.34	o 1925888 
112.65/15.37	o 1932577 
197.10/26.00	o 1935850 
201.81/26.55	o 1968939 
206.60/27.12	o 2008306 
206.60/27.14	o 2008337 
228.73/29.98	o 2029872 
228.73/29.99	o 2029946 
235.01/30.72	o 2030331 
249.31/32.59	o 2030616 
288.31/37.41	o 2041430 
297.04/38.59	o 2069135 
330.50/42.73	o 2088021 
341.65/44.12	o 2105643 
341.65/44.13	o 2107695 
572.08/73.08	o 2121303 
574.34/73.34	o 2121777 
679.58/86.60	o 2125296 
679.58/86.60	o 2125753 
740.83/94.28	o 2129903 
748.77/95.26	o 2141397 
800.53/101.73	o 2162522 
815.58/103.64	o 2185076 
1544.08/201.18	o 2189797 
1554.63/202.52	o 2200623 
1554.63/202.58	o 2202072 
1565.73/203.97	o 2203145 
1570.49/204.59	o 2206051 
1577.64/205.46	o 2212626 
6492.85/824.80	o 2227912 
6972.40/885.12	o 2227975 
7246.73/919.80	o 2228061 
7718.19/979.39	o 2228274 
7773.45/986.39	o 2228443 
8514.18/1079.81	o 2231889 
8514.95/1079.94	o 2232346 
8578.58/1087.93	o 2233352 
8578.58/1087.94	o 2233809 
8644.28/1096.24	o 2260924 
8644.28/1096.27	o 2261381 
10585.75/1340.87	o 2261455 
10658.95/1350.02	o 2261509 
10706.64/1356.05	o 2261822 
10825.72/1371.08	o 2262472 
11251.48/1424.88	o 2262500 
11325.13/1434.13	o 2262627 
11346.47/1436.80	o 2262697 
11404.66/1444.20	o 2262735 
11719.49/1484.03	o 2263227 
11732.72/1485.71	o 2263291 
13620.76/1724.47	o 2263604 
14387.35/1821.33	o 2263914 
15046.54/1904.62	o 2270200 
19912.39/2520.11	s SATISFIABLE
19912.39/2520.11	v <instantiation>
19912.39/2520.11	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>
19912.39/2520.11	v 	<values>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 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 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 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 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 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 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 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 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 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 </values>
19912.39/2520.11	v </instantiation>
19912.39/2520.11	c Unexpected resolution interruption!

Verifier Data 

OK	2270200

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297915-1532702625/watcher-4297915-1532702625 -o /tmp/evaluation-result-4297915-1532702625/solver-4297915-1532702625 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532695057-13124 --watchdog 2580 HOME/xcsp3-exec -seed 1504348134 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297915-1532702625.xml 

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

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

solver pid=13961, runsolver pid=13958

[startup+0.100139 s]*
/proc/loadavg: 7.38 7.50 7.88 3/201 13982
/proc/meminfo: memFree=22639972/32770624 swapFree=67108772/67108860
[pid=13961] ppid=13958 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13961/stat : 13961 (xcsp3-exec) S 13958 13961 13097 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87825337 115843072 363 33554432000 4194304 5098028 140722220038944 140722220037048 140328464052860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23322624 140722220045365 140722220045568 140722220045568 140722220048330 0
/proc/13961/statm: 28282 363 306 221 0 87 0
[pid=13963] ppid=13961 vsize=26104152 memory=27724 CPUtime=0.11 cores=0-7
/proc/13963/stat : 13963 (java) S 13961 13961 13097 0 -1 1077944320 5870 0 0 0 10 1 0 0 20 0 20 0 87825337 26730651648 6931 33554432000 4194304 4196468 140721254783280 140721254765824 139969588383479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
/proc/13963/statm: 6526038 6931 3000 1 0 6488315 0
[pid=13963/tid=13964] ppid=13961 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13963/task/13964/stat : 13964 (java) R 13961 13961 13097 0 -1 4202560 3876 0 0 0 8 1 0 0 20 0 20 0 87825338 26730651648 6931 33554432000 4194304 4196468 140721254783280 139969592610016 139969572427109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13965] ppid=13961 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13963/task/13965/stat : 13965 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825338 26730651648 6931 33554432000 4194304 4196468 140721254783280 139969495943952 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13966] ppid=13961 vsize=26104152 memory=140197678593664 CPUtime=0 cores=0-7
/proc/13963/task/13966/stat : 13966 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825338 26730651648 6931 33554432000 4194304 4196468 140721254783280 139969145703312 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13967] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13967/stat : 13967 (java) S 13961 13961 13097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87825338 26730651648 6931 33554432000 4194304 4196468 140721254783280 139969144650768 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13968] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13968/stat : 13968 (java) S 13961 13961 13097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87825338 26730651648 6931 33554432000 4194304 4196468 140721254783280 139969143598224 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13969] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13969/stat : 13969 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825338 26730651648 6931 33554432000 4194304 4196468 140721254783280 139969142544656 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13970] ppid=13961 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13963/task/13970/stat : 13970 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825339 26730651648 6931 33554432000 4194304 4196468 140721254783280 139969141492112 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13971] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13971/stat : 13971 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825339 26730651648 6931 33554432000 4194304 4196468 140721254783280 139969140439568 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13972] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13972/stat : 13972 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825339 26730651648 6931 33554432000 4194304 4196468 140721254783280 139969139387024 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13973] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13973/stat : 13973 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825340 26730651648 6931 33554432000 4194304 4196468 140721254783280 139968263256560 139969588394626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13974] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13974/stat : 13974 (java) S 13961 13961 13097 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87825340 26730651648 6931 33554432000 4194304 4196468 140721254783280 139968262202784 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13975] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13975/stat : 13975 (java) S 13961 13961 13097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87825341 26730651648 6931 33554432000 4194304 4196468 140721254783280 139968261150192 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13976] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13976/stat : 13976 (java) S 13961 13961 13097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87825343 26730651648 6931 33554432000 4194304 4196468 140721254783280 139968260098768 139969588402075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13977] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13977/stat : 13977 (java) S 13961 13961 13097 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 87825343 26730651648 6931 33554432000 4194304 4196468 140721254783280 139968259045360 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13978] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13978/stat : 13978 (java) S 13961 13961 13097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87825343 26730651648 6931 33554432000 4194304 4196468 140721254783280 139968257992816 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13979] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13979/stat : 13979 (java) S 13961 13961 13097 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 87825343 26730651648 6931 33554432000 4194304 4196468 140721254783280 139968256940272 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13980] ppid=13961 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/13963/task/13980/stat : 13980 (java) R 13961 13961 13097 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 87825343 26730651648 6931 33554432000 4194304 4196468 140721254783280 139968255887728 139969572551666 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13981] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13981/stat : 13981 (java) S 13961 13961 13097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87825343 26730651648 6931 33554432000 4194304 4196468 140721254783280 139968254835424 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13982] ppid=13961 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13963/task/13982/stat : 13982 (java) S 13961 13961 13097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87825344 26730651648 6931 33554432000 4194304 4196468 140721254783280 139968253782960 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29176 KiB

[startup+0.210542 s]*
/proc/loadavg: 7.38 7.50 7.88 3/201 13982
/proc/meminfo: memFree=22628172/32770624 swapFree=67108772/67108860
[pid=13961] ppid=13958 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13961/stat : 13961 (xcsp3-exec) S 13958 13961 13097 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87825337 115843072 363 33554432000 4194304 5098028 140722220038944 140722220037048 140328464052860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23322624 140722220045365 140722220045568 140722220045568 140722220048330 0
/proc/13961/statm: 28282 363 306 221 0 87 0
[pid=13963] ppid=13961 vsize=26104152 memory=39652 CPUtime=0.33 cores=0-7
/proc/13963/stat : 13963 (java) S 13961 13961 13097 0 -1 1077944320 8474 0 0 0 31 2 0 0 20 0 20 0 87825337 26730651648 9913 33554432000 4194304 4196468 140721254783280 140721254765824 139969588383479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
/proc/13963/statm: 6526038 9913 3201 1 0 6488315 0
[pid=13963/tid=13964] ppid=13961 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13963/task/13964/stat : 13964 (java) R 13961 13961 13097 0 -1 4202560 5602 0 0 0 18 1 0 0 20 0 20 0 87825338 26730651648 9913 33554432000 4194304 4196468 140721254783280 139969592613200 139969572463966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13965] ppid=13961 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/13963/task/13965/stat : 13965 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825338 26730651648 9913 33554432000 4194304 4196468 140721254783280 139969495943952 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13966] ppid=13961 vsize=26104152 memory=140197679088830 CPUtime=0 cores=0-7
/proc/13963/task/13966/stat : 13966 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825338 26730651648 9913 33554432000 4194304 4196468 140721254783280 139969145703312 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13967] ppid=13961 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13963/task/13967/stat : 13967 (java) S 13961 13961 13097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87825338 26730651648 9913 33554432000 4194304 4196468 140721254783280 139969144650768 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13968] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13968/stat : 13968 (java) S 13961 13961 13097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87825338 26730651648 9913 33554432000 4194304 4196468 140721254783280 139969143598224 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13969] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13969/stat : 13969 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825338 26730651648 9913 33554432000 4194304 4196468 140721254783280 139969142544656 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13970] ppid=13961 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13963/task/13970/stat : 13970 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825339 26730651648 9913 33554432000 4194304 4196468 140721254783280 139969141492112 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13971] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13971/stat : 13971 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825339 26730651648 9913 33554432000 4194304 4196468 140721254783280 139969140439568 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13972] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13972/stat : 13972 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825339 26730651648 9913 33554432000 4194304 4196468 140721254783280 139969139387024 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13973] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13973/stat : 13973 (java) S 13961 13961 13097 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87825340 26730651648 9913 33554432000 4194304 4196468 140721254783280 139968263256560 139969588394626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13974] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13974/stat : 13974 (java) S 13961 13961 13097 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87825340 26730651648 9913 33554432000 4194304 4196468 140721254783280 139968262202784 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13975] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13975/stat : 13975 (java) S 13961 13961 13097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87825341 26730651648 9913 33554432000 4194304 4196468 140721254783280 139968261150192 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13976] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13976/stat : 13976 (java) S 13961 13961 13097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87825343 26730651648 9913 33554432000 4194304 4196468 140721254783280 139968260098768 139969588402075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13977] ppid=13961 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/13963/task/13977/stat : 13977 (java) S 13961 13961 13097 0 -1 1077944384 538 0 0 0 1 0 0 0 20 0 20 0 87825343 26730651648 9913 33554432000 4194304 4196468 140721254783280 139968259045360 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13978] ppid=13961 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/13963/task/13978/stat : 13978 (java) S 13961 13961 13097 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 87825343 26730651648 9913 33554432000 4194304 4196468 140721254783280 139968257992816 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13979] ppid=13961 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7
/proc/13963/task/13979/stat : 13979 (java) S 13961 13961 13097 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 20 0 87825343 26730651648 9913 33554432000 4194304 4196468 140721254783280 139968256940272 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13980] ppid=13961 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/13963/task/13980/stat : 13980 (java) S 13961 13961 13097 0 -1 1077944384 774 0 0 0 7 0 0 0 20 0 20 0 87825343 26730651648 9913 33554432000 4194304 4196468 140721254783280 139968255887728 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13981] ppid=13961 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13981/stat : 13981 (java) S 13961 13961 13097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87825343 26730651648 9913 33554432000 4194304 4196468 140721254783280 139968254835424 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13982] ppid=13961 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13963/task/13982/stat : 13982 (java) S 13961 13961 13097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87825344 26730651648 9913 33554432000 4194304 4196468 140721254783280 139968253782960 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41104 KiB

[startup+0.30993 s]*
/proc/loadavg: 7.38 7.50 7.88 4/201 13982
/proc/meminfo: memFree=22622508/32770624 swapFree=67108772/67108860
[pid=13961] ppid=13958 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13961/stat : 13961 (xcsp3-exec) S 13958 13961 13097 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87825337 115843072 363 33554432000 4194304 5098028 140722220038944 140722220037048 140328464052860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23322624 140722220045365 140722220045568 140722220045568 140722220048330 0
/proc/13961/statm: 28282 363 306 221 0 87 0
[pid=13963] ppid=13961 vsize=26108408 memory=46188 CPUtime=0.51 cores=0-7
/proc/13963/stat : 13963 (java) S 13961 13961 13097 0 -1 1077944320 9346 0 0 0 48 3 0 0 20 0 20 0 87825337 26735009792 11547 33554432000 4194304 4196468 140721254783280 140721254765824 139969588383479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
/proc/13963/statm: 6527102 11547 3241 1 0 6488315 0
[pid=13963/tid=13964] ppid=13961 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13963/task/13964/stat : 13964 (java) R 13961 13961 13097 0 -1 4202560 6290 0 0 0 27 2 0 0 20 0 20 0 87825338 26735009792 11603 33554432000 4194304 4196468 140721254783280 139969592613152 139969572463966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13965] ppid=13961 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13965/stat : 13965 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825338 26735009792 11603 33554432000 4194304 4196468 140721254783280 139969495943952 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13966] ppid=13961 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13966/stat : 13966 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825338 26735009792 11603 33554432000 4194304 4196468 140721254783280 139969145703312 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13967] ppid=13961 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13967/stat : 13967 (java) S 13961 13961 13097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87825338 26735009792 11603 33554432000 4194304 4196468 140721254783280 139969144650768 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13968] ppid=13961 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13968/stat : 13968 (java) S 13961 13961 13097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87825338 26735009792 11603 33554432000 4194304 4196468 140721254783280 139969143598224 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13969] ppid=13961 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/13963/task/13969/stat : 13969 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825338 26735009792 11603 33554432000 4194304 4196468 140721254783280 139969142544656 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13970] ppid=13961 vsize=26108408 memory=140197530530735 CPUtime=0 cores=0-7
/proc/13963/task/13970/stat : 13970 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825339 26735009792 11603 33554432000 4194304 4196468 140721254783280 139969141492112 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13971] ppid=13961 vsize=26108408 memory=140197530533040 CPUtime=0 cores=0-7
/proc/13963/task/13971/stat : 13971 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825339 26735009792 11603 33554432000 4194304 4196468 140721254783280 139969140439568 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13972] ppid=13961 vsize=26108408 memory=140197530535344 CPUtime=0 cores=0-7
/proc/13963/task/13972/stat : 13972 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825339 26735009792 11616 33554432000 4194304 4196468 140721254783280 139969139387024 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13973] ppid=13961 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13973/stat : 13973 (java) S 13961 13961 13097 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87825340 26735009792 11616 33554432000 4194304 4196468 140721254783280 139968263256560 139969588394626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13974] ppid=13961 vsize=26108408 memory=280395061077648 CPUtime=0 cores=0-7
/proc/13963/task/13974/stat : 13974 (java) S 13961 13961 13097 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87825340 26735009792 11616 33554432000 4194304 4196468 140721254783280 139968262202784 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13975] ppid=13961 vsize=26108408 memory=280395061084560 CPUtime=0 cores=0-7
/proc/13963/task/13975/stat : 13975 (java) S 13961 13961 13097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87825341 26735009792 11616 33554432000 4194304 4196468 140721254783280 139968261150192 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13976] ppid=13961 vsize=26108408 memory=280395061025712 CPUtime=0 cores=0-7
/proc/13963/task/13976/stat : 13976 (java) S 13961 13961 13097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87825343 26735009792 11616 33554432000 4194304 4196468 140721254783280 139968260098768 139969588402075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13977] ppid=13961 vsize=26108408 memory=280395061098384 CPUtime=0.02 cores=0-7
/proc/13963/task/13977/stat : 13977 (java) S 13961 13961 13097 0 -1 1077944384 546 0 0 0 2 0 0 0 20 0 20 0 87825343 26735009792 11616 33554432000 4194304 4196468 140721254783280 139968259045360 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13978] ppid=13961 vsize=26108408 memory=280395061105296 CPUtime=0.03 cores=0-7
/proc/13963/task/13978/stat : 13978 (java) R 13961 13961 13097 0 -1 4202560 130 0 0 0 3 0 0 0 20 0 20 0 87825343 26735009792 11616 33554432000 4194304 4196468 140721254783280 139968257983200 139969569908549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13979] ppid=13961 vsize=26108408 memory=280395061102992 CPUtime=0.03 cores=0-7
/proc/13963/task/13979/stat : 13979 (java) S 13961 13961 13097 0 -1 1077944384 227 0 0 0 3 0 0 0 20 0 20 0 87825343 26735009792 11616 33554432000 4194304 4196468 140721254783280 139968256940272 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13980] ppid=13961 vsize=26108408 memory=280395061119152 CPUtime=0.12 cores=0-7
/proc/13963/task/13980/stat : 13980 (java) S 13961 13961 13097 0 -1 1077944384 853 0 0 0 12 0 0 0 20 0 20 0 87825343 26735009792 11616 33554432000 4194304 4196468 140721254783280 139968255887728 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13981] ppid=13961 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13981/stat : 13981 (java) S 13961 13961 13097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87825343 26735009792 11616 33554432000 4194304 4196468 140721254783280 139968254835424 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13982] ppid=13961 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/13963/task/13982/stat : 13982 (java) S 13961 13961 13097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87825344 26735009792 11616 33554432000 4194304 4196468 140721254783280 139968253782960 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47640 KiB

[startup+0.700907 s]
/proc/loadavg: 7.38 7.50 7.88 6/201 13982
/proc/meminfo: memFree=22595216/32770624 swapFree=67108772/67108860
[pid=13961] ppid=13958 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13961/stat : 13961 (xcsp3-exec) S 13958 13961 13097 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87825337 115843072 363 33554432000 4194304 5098028 140722220038944 140722220037048 140328464052860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23322624 140722220045365 140722220045568 140722220045568 140722220048330 0
/proc/13961/statm: 28282 363 306 221 0 87 0
[pid=13963] ppid=13961 vsize=26110532 memory=114848 CPUtime=1.97 cores=0-7
/proc/13963/stat : 13963 (java) S 13961 13961 13097 0 -1 1077944320 14306 0 0 0 191 6 0 0 20 0 20 0 87825337 26737184768 28712 33554432000 4194304 4196468 140721254783280 140721254765824 139969588383479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
/proc/13963/statm: 6527633 28712 3370 1 0 6488827 0
[pid=13963/tid=13964] ppid=13961 vsize=26110532 memory=280395061477040 CPUtime=0.66 cores=0-7
/proc/13963/task/13964/stat : 13964 (java) R 13961 13961 13097 0 -1 4202560 7134 0 0 0 63 3 0 0 20 0 20 0 87825338 26737184768 28712 33554432000 4194304 4196468 140721254783280 139969592620832 139969566386401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13965] ppid=13961 vsize=26110532 memory=140197530739568 CPUtime=0 cores=0-7
/proc/13963/task/13965/stat : 13965 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825338 26737184768 28712 33554432000 4194304 4196468 140721254783280 139969495943952 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13966] ppid=13961 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/13963/task/13966/stat : 13966 (java) S 13961 13961 13097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87825338 26737184768 28712 33554432000 4194304 4196468 140721254783280 139969145703312 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13967] ppid=13961 vsize=26110532 memory=4616 CPUtime=0 cores=0-7
/proc/13963/task/13967/stat : 13967 (java) S 13961 13961 13097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87825338 26737184768 28712 33554432000 4194304 4196468 140721254783280 139969144650768 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0

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

/proc/meminfo: memFree=18691756/32770624 swapFree=67108772/67108860
[pid=13961] ppid=13958 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13961/stat : 13961 (xcsp3-exec) S 13958 13961 13097 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87825337 115843072 363 33554432000 4194304 5098028 140722220038944 140722220037048 140328464052860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23322624 140722220045365 140722220045568 140722220045568 140722220048330 0
/proc/13961/statm: 28282 363 306 221 0 87 0
[pid=13963] ppid=13961 vsize=26776172 memory=3966276 CPUtime=19773 cores=0-7
/proc/13963/stat : 13963 (java) S 13961 13961 13097 0 -1 1077944320 1691694 0 0 0 1975510 1789 0 0 20 0 28 0 87825337 27418800128 991569 33554432000 4194304 4196468 140721254783280 140721254765824 139969588383479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
/proc/13963/statm: 6694043 991569 3445 1 0 6655237 0
[pid=13963/tid=13964] ppid=13961 vsize=26776172 memory=3961616 CPUtime=1.08 cores=0-7
/proc/13963/task/13964/stat : 13964 (java) S 13961 13961 13097 0 -1 1077944384 15354 0 0 0 102 6 0 0 20 0 28 0 87825338 27418800128 991569 33554432000 4194304 4196468 140721254783280 139969592624256 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13965] ppid=13961 vsize=26776172 memory=1452 CPUtime=15.68 cores=0-7
/proc/13963/task/13965/stat : 13965 (java) S 13961 13961 13097 0 -1 1077944384 81942 0 0 0 1528 40 0 0 20 0 28 0 87825338 27418800128 991569 33554432000 4194304 4196468 140721254783280 139969495943952 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13966] ppid=13961 vsize=26776172 memory=3961616 CPUtime=15.56 cores=0-7
/proc/13963/task/13966/stat : 13966 (java) S 13961 13961 13097 0 -1 1077944384 73024 0 0 0 1519 37 0 0 20 0 28 0 87825338 27418800128 991569 33554432000 4194304 4196468 140721254783280 139969145703312 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13967] ppid=13961 vsize=26776172 memory=4003388 CPUtime=15.61 cores=0-7
/proc/13963/task/13967/stat : 13967 (java) S 13961 13961 13097 0 -1 1077944384 75658 0 0 0 1528 33 0 0 20 0 28 0 87825338 27418800128 991569 33554432000 4194304 4196468 140721254783280 139969144650768 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13968] ppid=13961 vsize=26776172 memory=4008488 CPUtime=15.6 cores=0-7
/proc/13963/task/13968/stat : 13968 (java) S 13961 13961 13097 0 -1 1077944384 88324 0 0 0 1526 34 0 0 20 0 28 0 87825338 27418800128 991569 33554432000 4194304 4196468 140721254783280 139969143598224 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13969] ppid=13961 vsize=26776172 memory=4092328 CPUtime=15.62 cores=0-7
/proc/13963/task/13969/stat : 13969 (java) S 13961 13961 13097 0 -1 1077944384 79354 0 0 0 1529 33 0 0 20 0 28 0 87825338 27418800128 991569 33554432000 4194304 4196468 140721254783280 139969142544656 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13970] ppid=13961 vsize=26776172 memory=1452 CPUtime=15.58 cores=0-7
/proc/13963/task/13970/stat : 13970 (java) S 13961 13961 13097 0 -1 1077944384 77099 0 0 0 1524 34 0 0 20 0 28 0 87825339 27418800128 991569 33554432000 4194304 4196468 140721254783280 139969141492112 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13971] ppid=13961 vsize=26776172 memory=1452 CPUtime=15.58 cores=0-7
/proc/13963/task/13971/stat : 13971 (java) S 13961 13961 13097 0 -1 1077944384 84224 0 0 0 1523 35 0 0 20 0 28 0 87825339 27418800128 991569 33554432000 4194304 4196468 140721254783280 139969140439568 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13972] ppid=13961 vsize=26776172 memory=4083604 CPUtime=15.65 cores=0-7
/proc/13963/task/13972/stat : 13972 (java) S 13961 13961 13097 0 -1 1077944384 73444 0 0 0 1530 35 0 0 20 0 28 0 87825339 27418800128 991569 33554432000 4194304 4196468 140721254783280 139969139387024 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13973] ppid=13961 vsize=26776172 memory=4025360 CPUtime=13.72 cores=0-7
/proc/13963/task/13973/stat : 13973 (java) S 13961 13961 13097 0 -1 1077944384 360234 0 0 0 650 722 0 0 20 0 28 0 87825340 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968263256560 139969588394626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13974] ppid=13961 vsize=26776172 memory=4009036 CPUtime=0 cores=0-7
/proc/13963/task/13974/stat : 13974 (java) S 13961 13961 13097 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 87825340 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968262202848 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13975] ppid=13961 vsize=26776172 memory=3982868 CPUtime=0 cores=0-7
/proc/13963/task/13975/stat : 13975 (java) S 13961 13961 13097 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 87825341 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968261150208 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13976] ppid=13961 vsize=26776172 memory=3961616 CPUtime=0 cores=0-7
/proc/13963/task/13976/stat : 13976 (java) S 13961 13961 13097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87825343 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968260098768 139969588402075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13977] ppid=13961 vsize=26776172 memory=3959564 CPUtime=2.3 cores=0-7
/proc/13963/task/13977/stat : 13977 (java) S 13961 13961 13097 0 -1 1077944384 15721 0 0 0 227 3 0 0 20 0 28 0 87825343 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968259045360 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13978] ppid=13961 vsize=26776172 memory=3971784 CPUtime=2.3 cores=0-7
/proc/13963/task/13978/stat : 13978 (java) S 13961 13961 13097 0 -1 1077944384 13131 0 0 0 227 3 0 0 20 0 28 0 87825343 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968257992816 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13979] ppid=13961 vsize=26776172 memory=3969768 CPUtime=2.12 cores=0-7
/proc/13963/task/13979/stat : 13979 (java) S 13961 13961 13097 0 -1 1077944384 14670 0 0 0 210 2 0 0 20 0 28 0 87825343 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968256940272 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13980] ppid=13961 vsize=26776172 memory=3966276 CPUtime=0.85 cores=0-7
/proc/13963/task/13980/stat : 13980 (java) S 13961 13961 13097 0 -1 1077944384 23830 0 0 0 82 3 0 0 20 0 28 0 87825343 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968255887728 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13981] ppid=13961 vsize=26776172 memory=3968780 CPUtime=0 cores=0-7
/proc/13963/task/13981/stat : 13981 (java) S 13961 13961 13097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87825343 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968254835424 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13982] ppid=13961 vsize=26776172 memory=1452 CPUtime=0.7 cores=0-7
/proc/13963/task/13982/stat : 13982 (java) S 13961 13961 13097 0 -1 1077944384 13117 0 0 0 47 23 0 0 20 0 28 0 87825344 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968253782960 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14854] ppid=13961 vsize=26776172 memory=4140 CPUtime=586.65 cores=0-7
/proc/13963/task/14854/stat : 14854 (java) R 13961 13961 13097 0 -1 4202560 4977 0 0 0 58662 3 0 0 20 0 28 0 88015800 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968236580040 139969181886235 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14855] ppid=13961 vsize=26776172 memory=25508 CPUtime=586.43 cores=0-7
/proc/13963/task/14855/stat : 14855 (java) R 13961 13961 13097 0 -1 4202560 4771 0 0 0 58639 4 0 0 20 0 28 0 88015800 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968239736040 139969182211037 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14856] ppid=13961 vsize=26776172 memory=1452 CPUtime=584.76 cores=0-7
/proc/13963/task/14856/stat : 14856 (java) R 13961 13961 13097 0 -1 4202560 7917 0 0 0 58471 5 0 0 20 0 28 0 88015800 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968243950296 139969182367426 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14857] ppid=13961 vsize=26776172 memory=1452 CPUtime=584.03 cores=0-7
/proc/13963/task/14857/stat : 14857 (java) R 13961 13961 13097 0 -1 4202560 15708 0 0 0 58387 16 0 0 20 0 28 0 88015800 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968242892160 139969182906207 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14858] ppid=13961 vsize=26776172 memory=1452 CPUtime=586.74 cores=0-7
/proc/13963/task/14858/stat : 14858 (java) R 13961 13961 13097 0 -1 4202560 6666 0 0 0 58669 5 0 0 20 0 28 0 88015800 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968241844024 139969183242296 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14859] ppid=13961 vsize=26776172 memory=3970248 CPUtime=588.85 cores=0-7
/proc/13963/task/14859/stat : 14859 (java) R 13961 13961 13097 0 -1 4202560 26386 0 0 0 58864 21 0 0 20 0 28 0 88015800 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968237632512 139969183183675 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14860] ppid=13961 vsize=26776172 memory=928 CPUtime=585.11 cores=0-7
/proc/13963/task/14860/stat : 14860 (java) R 13961 13961 13097 0 -1 4202560 5442 0 0 0 58506 5 0 0 20 0 28 0 88015800 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968235528248 139969182210124 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14861] ppid=13961 vsize=26776172 memory=2240 CPUtime=587.15 cores=0-7
/proc/13963/task/14861/stat : 14861 (java) R 13961 13961 13097 0 -1 4202560 5179 0 0 0 58712 3 0 0 20 0 28 0 88015800 27418800128 991569 33554432000 4194304 4196468 140721254783280 139968238682976 139969182121616 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
Current children cumulated CPU time: 19773 s
Current children cumulated vsize: 26889300 KiB
Current children cumulated memory: 3967728 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.45 8.27 8.22 9/207 14869
/proc/meminfo: memFree=18699008/32770624 swapFree=67108772/67108860
[pid=13961] ppid=13958 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13961/stat : 13961 (xcsp3-exec) S 13958 13961 13097 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87825337 115843072 363 33554432000 4194304 5098028 140722220038944 140722220037048 140328464052860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23322624 140722220045365 140722220045568 140722220045568 140722220048330 0
/proc/13961/statm: 28282 363 306 221 0 87 0
[pid=13963] ppid=13961 vsize=26776172 memory=3958036 CPUtime=19912.4 cores=0-7
/proc/13963/stat : 13963 (java) S 13961 13961 13097 0 -1 1077944320 1700044 0 0 0 1989430 1809 0 0 20 0 28 0 87825337 27418800128 989509 33554432000 4194304 4196468 140721254783280 140721254765824 139969588383479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
/proc/13963/statm: 6694043 989509 3445 1 0 6655237 0
[pid=13963/tid=13964] ppid=13961 vsize=26776172 memory=1692 CPUtime=1.08 cores=0-7
/proc/13963/task/13964/stat : 13964 (java) S 13961 13961 13097 0 -1 1077944384 15354 0 0 0 102 6 0 0 20 0 28 0 87825338 27418800128 989509 33554432000 4194304 4196468 140721254783280 139969592624256 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13965] ppid=13961 vsize=26776172 memory=912 CPUtime=15.81 cores=0-7
/proc/13963/task/13965/stat : 13965 (java) S 13961 13961 13097 0 -1 1077944384 82527 0 0 0 1541 40 0 0 20 0 28 0 87825338 27418800128 989509 33554432000 4194304 4196468 140721254783280 139969495943952 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13966] ppid=13961 vsize=26776172 memory=5768 CPUtime=15.67 cores=0-7
/proc/13963/task/13966/stat : 13966 (java) S 13961 13961 13097 0 -1 1077944384 73417 0 0 0 1530 37 0 0 20 0 28 0 87825338 27418800128 989509 33554432000 4194304 4196468 140721254783280 139969145703312 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13967] ppid=13961 vsize=26776172 memory=4872558044660077418 CPUtime=15.74 cores=0-7
/proc/13963/task/13967/stat : 13967 (java) S 13961 13961 13097 0 -1 1077944384 75728 0 0 0 1541 33 0 0 20 0 28 0 87825338 27418800128 989509 33554432000 4194304 4196468 140721254783280 139969144650768 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13968] ppid=13961 vsize=26776172 memory=3959092 CPUtime=15.73 cores=0-7
/proc/13963/task/13968/stat : 13968 (java) S 13961 13961 13097 0 -1 1077944384 88585 0 0 0 1539 34 0 0 20 0 28 0 87825338 27418800128 989509 33554432000 4194304 4196468 140721254783280 139969143598224 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13969] ppid=13961 vsize=26776172 memory=15872 CPUtime=15.75 cores=0-7
/proc/13963/task/13969/stat : 13969 (java) S 13961 13961 13097 0 -1 1077944384 79446 0 0 0 1542 33 0 0 20 0 28 0 87825338 27418800128 989509 33554432000 4194304 4196468 140721254783280 139969142544656 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13970] ppid=13961 vsize=26776172 memory=4008 CPUtime=15.71 cores=0-7
/proc/13963/task/13970/stat : 13970 (java) S 13961 13961 13097 0 -1 1077944384 77738 0 0 0 1537 34 0 0 20 0 28 0 87825339 27418800128 989509 33554432000 4194304 4196468 140721254783280 139969141492112 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13971] ppid=13961 vsize=26776172 memory=18264 CPUtime=15.68 cores=0-7
/proc/13963/task/13971/stat : 13971 (java) S 13961 13961 13097 0 -1 1077944384 84309 0 0 0 1533 35 0 0 20 0 28 0 87825339 27418800128 989509 33554432000 4194304 4196468 140721254783280 139969140439568 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13972] ppid=13961 vsize=26776172 memory=15792 CPUtime=15.78 cores=0-7
/proc/13963/task/13972/stat : 13972 (java) S 13961 13961 13097 0 -1 1077944384 76592 0 0 0 1543 35 0 0 20 0 28 0 87825339 27418800128 989509 33554432000 4194304 4196468 140721254783280 139969139387024 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13973] ppid=13961 vsize=26776172 memory=1788 CPUtime=14 cores=0-7
/proc/13963/task/13973/stat : 13973 (java) S 13961 13961 13097 0 -1 1077944384 362175 0 0 0 661 739 0 0 20 0 28 0 87825340 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968263256560 139969588394626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13974] ppid=13961 vsize=26776172 memory=4616 CPUtime=0 cores=0-7
/proc/13963/task/13974/stat : 13974 (java) S 13961 13961 13097 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 87825340 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968262202848 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13975] ppid=13961 vsize=26776172 memory=14076 CPUtime=0 cores=0-7
/proc/13963/task/13975/stat : 13975 (java) S 13961 13961 13097 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 87825341 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968261150208 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13976] ppid=13961 vsize=26776172 memory=1204 CPUtime=0 cores=0-7
/proc/13963/task/13976/stat : 13976 (java) S 13961 13961 13097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87825343 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968260098768 139969588402075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13977] ppid=13961 vsize=26776172 memory=15872 CPUtime=2.3 cores=0-7
/proc/13963/task/13977/stat : 13977 (java) S 13961 13961 13097 0 -1 1077944384 15723 0 0 0 227 3 0 0 20 0 28 0 87825343 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968259045360 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13978] ppid=13961 vsize=26776172 memory=4008 CPUtime=2.3 cores=0-7
/proc/13963/task/13978/stat : 13978 (java) S 13961 13961 13097 0 -1 1077944384 13133 0 0 0 227 3 0 0 20 0 28 0 87825343 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968257992816 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13979] ppid=13961 vsize=26776172 memory=18264 CPUtime=2.12 cores=0-7
/proc/13963/task/13979/stat : 13979 (java) S 13961 13961 13097 0 -1 1077944384 14672 0 0 0 210 2 0 0 20 0 28 0 87825343 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968256940272 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13980] ppid=13961 vsize=26776172 memory=15792 CPUtime=0.85 cores=0-7
/proc/13963/task/13980/stat : 13980 (java) S 13961 13961 13097 0 -1 1077944384 23833 0 0 0 82 3 0 0 20 0 28 0 87825343 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968255887728 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13981] ppid=13961 vsize=26776172 memory=1788 CPUtime=0 cores=0-7
/proc/13963/task/13981/stat : 13981 (java) S 13961 13961 13097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87825343 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968254835424 139969588393685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=13982] ppid=13961 vsize=26776172 memory=644 CPUtime=0.7 cores=0-7
/proc/13963/task/13982/stat : 13982 (java) S 13961 13961 13097 0 -1 1077944384 13140 0 0 0 47 23 0 0 20 0 28 0 87825344 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968253782960 139969588394626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14854] ppid=13961 vsize=26776172 memory=6791534058613427641 CPUtime=603.93 cores=0-7
/proc/13963/task/14854/stat : 14854 (java) R 13961 13961 13097 0 -1 4202560 5053 0 0 0 60390 3 0 0 20 0 28 0 88015800 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968236576760 139969183436938 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14855] ppid=13961 vsize=26776172 memory=2240 CPUtime=603.61 cores=0-7
/proc/13963/task/14855/stat : 14855 (java) R 13961 13961 13097 0 -1 4202560 4860 0 0 0 60357 4 0 0 20 0 28 0 88015800 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968239736040 139969182211070 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14856] ppid=13961 vsize=26776172 memory=4124 CPUtime=601.94 cores=0-7
/proc/13963/task/14856/stat : 14856 (java) R 13961 13961 13097 0 -1 4202560 8018 0 0 0 60189 5 0 0 20 0 28 0 88015800 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968243946720 139969183436911 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14857] ppid=13961 vsize=26776172 memory=2200 CPUtime=601.18 cores=0-7
/proc/13963/task/14857/stat : 14857 (java) R 13961 13961 13097 0 -1 4202560 15969 0 0 0 60102 16 0 0 20 0 28 0 88015800 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968242892488 139969183339284 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14858] ppid=13961 vsize=26776172 memory=7284 CPUtime=604.02 cores=0-7
/proc/13963/task/14858/stat : 14858 (java) R 13961 13961 13097 0 -1 4202560 6775 0 0 0 60396 6 0 0 20 0 28 0 88015800 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968241842736 139969183436964 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14859] ppid=13961 vsize=26776172 memory=840 CPUtime=606.38 cores=0-7
/proc/13963/task/14859/stat : 14859 (java) R 13961 13961 13097 0 -1 4202560 26708 0 0 0 60616 22 0 0 20 0 28 0 88015800 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968237629360 139969178605027 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14860] ppid=13961 vsize=26776172 memory=1692 CPUtime=602.35 cores=0-7
/proc/13963/task/14860/stat : 14860 (java) R 13961 13961 13097 0 -1 4202560 5547 0 0 0 60230 5 0 0 20 0 28 0 88015800 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968235524328 139969182209081 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
[pid=13963/tid=14861] ppid=13961 vsize=26776172 memory=912 CPUtime=604.44 cores=0-7
/proc/13963/task/14861/stat : 14861 (java) R 13961 13961 13097 0 -1 4202560 5220 0 0 0 60441 3 0 0 20 0 28 0 88015800 27418800128 989509 33554432000 4194304 4196468 140721254783280 139968238682600 139969183439464 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 21454848 140721254790273 140721254790445 140721254790445 140721254793167 0
Current children cumulated CPU time: 19912.4 s
Current children cumulated vsize: 26889300 KiB
Current children cumulated memory: 3959488 KiB

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

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

[startup+2520.15 s]
# the end of solver process 13963 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19895.2 s, system=18.1158 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

[startup+2520.13 s]*
/proc/loadavg: 8.45 8.27 8.22 2/180 14871
/proc/meminfo: memFree=19489040/32770624 swapFree=67108772/67108860
Current cumulated CPU time of completed processes: 0.00228 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19913.3
CPU user time (s): 19895.2
CPU system time (s): 18.1158
CPU usage (%): 790.165
Max. virtual memory (cumulated for all children) (KiB): 26889300
Max. memory (cumulated for all children) (KiB): 5436884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19895.2
system time used= 18.1158
maximum resident set size= 5441116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1700841
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270587
involuntary context switches= 220693


# summary of solver processes directly reported to runsolver:
#   pid: 13961,13963
#   total CPU time (s): 19913.3
#   total CPU user time (s): 19895.2
#   total CPU system time (s): 18.1158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5191 second user time and 32.0475 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-27 16:43:45
IDJOB=4297915
IDBENCH=141152
IDSOLVER=2760
FILE ID=node106/4297915-1532702625
RUNJOBID= node106-1532695057-13124
PBS_JOBID= 21022292
Free space on /tmp= 46168 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay400_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297915-1532702625/watcher-4297915-1532702625 -o /tmp/evaluation-result-4297915-1532702625/solver-4297915-1532702625 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532695057-13124 --watchdog 2580  HOME/xcsp3-exec -seed 1504348134 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297915-1532702625.xml

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

MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945
RANDOM SEED=1504348134

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        22658156 kB
MemAvailable:   31926532 kB
Buffers:          212452 kB
Cached:          9200172 kB
SwapCached:           56 kB
Active:          2698544 kB
Inactive:        6772884 kB
Active(anon):       5220 kB
Inactive(anon):    80708 kB
Active(file):    2693324 kB
Inactive(file):  6692176 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108772 kB
Dirty:             21980 kB
Writeback:             0 kB
AnonPages:        156520 kB
Mapped:            42048 kB
Shmem:             25140 kB
Slab:             338140 kB
SReclaimable:     311336 kB
SUnreclaim:        26804 kB
KernelStack:        3552 kB
PageTables:         5696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46144 MiB
End job on node106 at 2018-07-27 17:25:45