Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | SAT (TO) | 12 | 1995.22 | 252.104 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml |
MD5SUM | 4034cc1c4ef788f4220b0fc076e8c883 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 26.8114 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 561 |
Number of constraints | 1628 |
Number of domains | 1 |
Minimum domain size | 561 |
Maximum domain size | 561 |
Distribution of domain sizes | [{"size":561,"count":561}] |
Minimum variable degree | 1 |
Maximum variable degree | 100 |
Distribution of variable degrees | [{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1628}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1628 |
Distribution of constraint types | [{"type":"intension","count":1628}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407301-1569346630.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407301-1569346630.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.28/1.46 c solve instance... 7.09/1.86 o 14 7.83/1.93 o 13 8.70/2.10 o 12 1994.56/252.08 s SATISFIABLE 1994.56/252.08 v <instantiation> 1994.56/252.08 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] </list> 1994.56/252.08 v <values>3 6 5 3 2 5 5 2 3 4 2 10 4 5 11 8 2 3 2 8 3 7 2 8 0 1 4 9 10 6 1 12 11 5 2 4 0 4 7 8 0 9 12 7 4 11 1 7 4 0 2 6 10 11 2 4 6 12 3 5 7 5 6 10 1 6 0 11 1 1 0 3 10 0 0 5 1 8 6 3 1 10 12 1 7 0 0 0 6 5 11 5 7 1 1 9 12 2 12 9 10 9 1 9 8 9 1 11 2 10 3 7 0 9 9 7 7 2 5 6 8 4 12 0 6 2 5 3 8 3 12 10 10 4 10 1 8 12 0 12 6 5 11 1 11 7 4 0 0 0 0 6 3 0 7 9 7 0 8 9 10 8 4 6 6 9 1 4 0 4 0 9 0 10 1 7 4 8 9 1 9 2 11 3 9 8 9 8 0 12 1 0 8 8 12 0 0 11 12 8 11 4 3 3 11 1 12 6 3 9 9 10 10 4 8 1 12 6 10 11 5 11 3 11 11 8 8 0 9 7 7 2 9 9 6 11 3 12 9 2 9 9 12 3 0 0 10 11 11 1 0 12 12 9 1 10 7 6 2 2 12 6 7 8 6 1 10 11 6 4 5 3 9 8 7 1 6 12 2 9 11 4 4 11 8 1 9 2 7 9 9 12 9 3 9 12 0 10 2 3 10 9 6 10 1 7 4 4 5 3 12 5 11 12 2 1 0 1 10 10 5 9 1 11 1 3 8 1 5 5 2 6 9 8 11 5 8 8 7 1 3 5 7 8 1 0 0 12 11 1 9 0 7 4 4 8 1 4 2 0 2 12 2 5 0 4 12 9 8 9 10 3 10 7 4 5 7 7 12 9 4 5 11 5 5 12 1 6 12 9 11 10 8 10 2 0 5 0 4 9 10 0 0 3 8 10 3 4 4 8 0 12 7 5 2 9 7 8 11 11 4 12 1 0 2 0 10 0 2 4 9 4 9 6 0 12 12 3 3 5 9 12 8 3 8 12 4 0 12 4 0 5 4 9 2 0 1 10 9 12 8 11 0 5 7 8 1 0 1 6 0 8 12 0 12 0 6 2 6 6 3 6 11 0 4 1 3 7 3 7 2 2 10 11 12 3 0 1 0 4 4 4 11 1 5 1 4 2 2 12 1 0 4 10 4 1 0 8 5 8 3 2 7 2 11 12 11 10 0 4 8 11 1 2 1 5 9 9 8 2 6 12 7 2 3 9 0 12 11 12 10 4 10 10 7 9 4 12 1 10 9 </values> 1994.56/252.08 v </instantiation> 1994.56/252.08 c Unexpected resolution interruption!
OK 12
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 (14033 MiB free) memory of node 1: 16384 MiB (10974 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407301-1569346630/watcher-4407301-1569346630 -o /var/tmp/evaluation-result-4407301-1569346630/solver-4407301-1569346630 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 403979807 HOME/instance-4407301-1569346630.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 solver pid=13297, runsolver pid=13294 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 7.69 8.09 8.14 2/211 13318 /proc/meminfo: memFree=25590944/32770624 swapFree=66997516/67108860 [pid=13297] ppid=13294 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13297/stat : 13297 (xcsp3-exec) S 13294 13297 9260 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510601341 115843072 364 33554432000 4194304 5098028 140735541389808 140735541387912 139715626852988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37875712 140735541396312 140735541396570 140735541396570 140735541399494 0 /proc/13297/statm: 28282 364 305 221 0 87 0 [pid=13299] ppid=13297 vsize=28227396 memory=29788 CPUtime=0.12 cores=0-7 /proc/13299/stat : 13299 (java) S 13297 13297 9260 0 -1 1077944320 5931 0 0 0 11 1 0 0 20 0 20 0 510601342 28904853504 7447 33554432000 4194304 4196468 140735436402608 140735436385152 140232309497591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 /proc/13299/statm: 7056849 7447 3122 1 0 7019032 0 [pid=13299/tid=13300] ppid=13297 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/13299/task/13300/stat : 13300 (java) R 13297 13297 9260 0 -1 4202560 3839 0 0 0 8 1 0 0 20 0 20 0 510601342 28904853504 7447 33554432000 4194304 4196468 140735436402608 140232313730656 140232309509526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13301] ppid=13297 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13299/task/13301/stat : 13301 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140232229350160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13302] ppid=13297 vsize=28227396 memory=140206000522880 CPUtime=0 cores=0-7 /proc/13299/task/13302/stat : 13302 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140232228297616 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13303] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13303/stat : 13303 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140232227245072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13304] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13304/stat : 13304 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231857790096 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13305] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13305/stat : 13305 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231856736528 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13306] ppid=13297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13299/task/13306/stat : 13306 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231855683984 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13307] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13307/stat : 13307 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231854631440 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13308] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13308/stat : 13308 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231853578896 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13309] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13309/stat : 13309 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601344 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231694166512 140232309508738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13310] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13310/stat : 13310 (java) S 13297 13297 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510601345 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231693112736 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13311] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13311/stat : 13311 (java) S 13297 13297 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510601345 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231692060144 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13312] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13312/stat : 13312 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601347 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231691008720 140232309516187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13313] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13313/stat : 13313 (java) R 13297 13297 9260 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 510601347 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231689955312 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13314] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13314/stat : 13314 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601347 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231621732464 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13315] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13315/stat : 13315 (java) R 13297 13297 9260 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 20 0 510601347 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231620679920 140232292914048 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13316] ppid=13297 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/13299/task/13316/stat : 13316 (java) R 13297 13297 9260 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 20 0 510601347 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231619627376 140232288767734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13317] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13317/stat : 13317 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601348 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231618575072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13318] ppid=13297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13299/task/13318/stat : 13318 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601348 28904853504 7513 33554432000 4194304 4196468 140735436402608 140231617522608 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31244 KiB [startup+0.210858 s]* /proc/loadavg: 7.69 8.09 8.14 3/211 13318 /proc/meminfo: memFree=25578324/32770624 swapFree=66997516/67108860 [pid=13297] ppid=13294 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13297/stat : 13297 (xcsp3-exec) S 13294 13297 9260 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510601341 115843072 364 33554432000 4194304 5098028 140735541389808 140735541387912 139715626852988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37875712 140735541396312 140735541396570 140735541396570 140735541399494 0 /proc/13297/statm: 28282 364 305 221 0 87 0 [pid=13299] ppid=13297 vsize=28227396 memory=41020 CPUtime=0.34 cores=0-7 /proc/13299/stat : 13299 (java) S 13297 13297 9260 0 -1 1077944320 9530 0 0 0 30 4 0 0 20 0 20 0 510601342 28904853504 10255 33554432000 4194304 4196468 140735436402608 140735436385152 140232309497591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 /proc/13299/statm: 7056849 10255 3300 1 0 7019032 0 [pid=13299/tid=13300] ppid=13297 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/13299/task/13300/stat : 13300 (java) R 13297 13297 9260 0 -1 4202560 6675 0 0 0 17 3 0 0 20 0 20 0 510601342 28904853504 10255 33554432000 4194304 4196468 140735436402608 140232313730768 140232293578078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13301] ppid=13297 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/13299/task/13301/stat : 13301 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140232229350160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13302] ppid=13297 vsize=28227396 memory=4049498805863663264 CPUtime=0 cores=0-7 /proc/13299/task/13302/stat : 13302 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140232228297616 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13303] ppid=13297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13299/task/13303/stat : 13303 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140232227245072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13304] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13304/stat : 13304 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231857790096 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13305] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13305/stat : 13305 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231856736528 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13306] ppid=13297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13299/task/13306/stat : 13306 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231855683984 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13307] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13307/stat : 13307 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231854631440 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13308] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13308/stat : 13308 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231853578896 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13309] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13309/stat : 13309 (java) S 13297 13297 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510601344 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231694166512 140232309508738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13310] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13310/stat : 13310 (java) S 13297 13297 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510601345 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231693112736 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13311] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13311/stat : 13311 (java) S 13297 13297 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510601345 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231692060144 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13312] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13312/stat : 13312 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601347 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231691008720 140232309516187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13313] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13313/stat : 13313 (java) S 13297 13297 9260 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 510601347 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231689955312 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13314] ppid=13297 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13299/task/13314/stat : 13314 (java) S 13297 13297 9260 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 510601347 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231621732464 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13315] ppid=13297 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/13299/task/13315/stat : 13315 (java) S 13297 13297 9260 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 20 0 510601347 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231620679920 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13316] ppid=13297 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/13299/task/13316/stat : 13316 (java) R 13297 13297 9260 0 -1 4202560 673 0 0 0 8 0 0 0 20 0 20 0 510601347 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231619627184 140232309518938 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13317] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13317/stat : 13317 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601348 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231618575072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13318] ppid=13297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13299/task/13318/stat : 13318 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601348 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231617522608 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42476 KiB [startup+0.310545 s]* /proc/loadavg: 7.69 8.09 8.14 4/211 13318 /proc/meminfo: memFree=25571904/32770624 swapFree=66997516/67108860 [pid=13297] ppid=13294 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13297/stat : 13297 (xcsp3-exec) S 13294 13297 9260 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510601341 115843072 364 33554432000 4194304 5098028 140735541389808 140735541387912 139715626852988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37875712 140735541396312 140735541396570 140735541396570 140735541399494 0 /proc/13297/statm: 28282 364 305 221 0 87 0 [pid=13299] ppid=13297 vsize=28231652 memory=50276 CPUtime=0.53 cores=0-7 /proc/13299/stat : 13299 (java) S 13297 13297 9260 0 -1 1077944320 10883 0 0 0 48 5 0 0 20 0 20 0 510601342 28909211648 12569 33554432000 4194304 4196468 140735436402608 140735436385152 140232309497591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 /proc/13299/statm: 7057913 12569 3372 1 0 7019032 0 [pid=13299/tid=13300] ppid=13297 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/13299/task/13300/stat : 13300 (java) R 13297 13297 9260 0 -1 4202560 7847 0 0 0 26 3 0 0 20 0 20 0 510601342 28909211648 12569 33554432000 4194304 4196468 140735436402608 140232313731376 140232293578078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13301] ppid=13297 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13301/stat : 13301 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140232229350160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13302] ppid=13297 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13302/stat : 13302 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140232228297616 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13303] ppid=13297 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13303/stat : 13303 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140232227245072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13304] ppid=13297 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13304/stat : 13304 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231857790096 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13305] ppid=13297 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/13299/task/13305/stat : 13305 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231856736528 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13306] ppid=13297 vsize=28231652 memory=140205852029871 CPUtime=0 cores=0-7 /proc/13299/task/13306/stat : 13306 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231855683984 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13307] ppid=13297 vsize=28231652 memory=140205852032176 CPUtime=0 cores=0-7 /proc/13299/task/13307/stat : 13307 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231854631440 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13308] ppid=13297 vsize=28231652 memory=140205852034480 CPUtime=0 cores=0-7 /proc/13299/task/13308/stat : 13308 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231853578896 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13309] ppid=13297 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13309/stat : 13309 (java) S 13297 13297 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510601344 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231694166512 140232309508738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13310] ppid=13297 vsize=28231652 memory=280411704075920 CPUtime=0 cores=0-7 /proc/13299/task/13310/stat : 13310 (java) S 13297 13297 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510601345 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231693112736 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13311] ppid=13297 vsize=28231652 memory=280411704082832 CPUtime=0 cores=0-7 /proc/13299/task/13311/stat : 13311 (java) S 13297 13297 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510601345 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231692060144 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13312] ppid=13297 vsize=28231652 memory=280411704023984 CPUtime=0 cores=0-7 /proc/13299/task/13312/stat : 13312 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601347 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231691008720 140232309516187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13313] ppid=13297 vsize=28231652 memory=280411704096656 CPUtime=0.01 cores=0-7 /proc/13299/task/13313/stat : 13313 (java) S 13297 13297 9260 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 20 0 510601347 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231689955312 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13314] ppid=13297 vsize=28231652 memory=280411704103568 CPUtime=0.02 cores=0-7 /proc/13299/task/13314/stat : 13314 (java) S 13297 13297 9260 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 20 0 510601347 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231621732464 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13315] ppid=13297 vsize=28231652 memory=280411704101264 CPUtime=0.04 cores=0-7 /proc/13299/task/13315/stat : 13315 (java) R 13297 13297 9260 0 -1 4202560 580 0 0 0 4 0 0 0 20 0 20 0 510601347 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231620679920 140232291023064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13316] ppid=13297 vsize=28231652 memory=280411704117424 CPUtime=0.12 cores=0-7 /proc/13299/task/13316/stat : 13316 (java) S 13297 13297 9260 0 -1 1077944384 746 0 0 0 12 0 0 0 20 0 20 0 510601347 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231619627376 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13317] ppid=13297 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13317/stat : 13317 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601348 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231618575072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13318] ppid=13297 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/13299/task/13318/stat : 13318 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601348 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231617522608 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51732 KiB [startup+0.701016 s] /proc/loadavg: 7.69 8.09 8.14 5/211 13318 /proc/meminfo: memFree=25549936/32770624 swapFree=66997516/67108860 [pid=13297] ppid=13294 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13297/stat : 13297 (xcsp3-exec) S 13294 13297 9260 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510601341 115843072 364 33554432000 4194304 5098028 140735541389808 140735541387912 139715626852988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37875712 140735541396312 140735541396570 140735541396570 140735541399494 0 /proc/13297/statm: 28282 364 305 221 0 87 0 [pid=13299] ppid=13297 vsize=28233776 memory=93644 CPUtime=1.69 cores=0-7 /proc/13299/stat : 13299 (java) S 13297 13297 9260 0 -1 1077944320 15074 0 0 0 161 8 0 0 20 0 20 0 510601342 28911386624 23411 33554432000 4194304 4196468 140735436402608 140735436385152 140232309497591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 /proc/13299/statm: 7058444 23411 3442 1 0 7019544 0 [pid=13299/tid=13300] ppid=13297 vsize=28233776 memory=280411704475312 CPUtime=0.68 cores=0-7 /proc/13299/task/13300/stat : 13300 (java) R 13297 13297 9260 0 -1 4202560 9111 0 0 0 63 5 0 0 20 0 20 0 510601342 28911386624 23411 33554432000 4194304 4196468 140735436402608 140232313728912 140232309509526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13301] ppid=13297 vsize=28233776 memory=140205852238704 CPUtime=0 cores=0-7 /proc/13299/task/13301/stat : 13301 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28911386624 23411 33554432000 4194304 4196468 140735436402608 140232229350160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13302] ppid=13297 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/13299/task/13302/stat : 13302 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601343 28911386624 23411 33554432000 4194304 4196468 140735436402608 140232228297616 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13303] ppid=13297 vsize=28233776 memory=6124 CPUtime=0 cores=0-7 /proc/13299/task/13303/stat : 13303 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28911386624 23411 33554432000 4194304 4196468 140735436402608 140232227245072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 ################ # More data... # ################ [pid=13299/tid=13350] ppid=13297 vsize=28768336 memory=1456 CPUtime=159.09 cores=0-7 /proc/13299/task/13350/stat : 13350 (java) R 13297 13297 9260 0 -1 4202560 2273 0 0 0 15908 1 0 0 20 0 28 0 510601553 29458776064 221325 33554432000 4194304 4196468 140735436402608 140231604093528 140231914999041 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 Current children cumulated CPU time: 1283.6 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 886756 KiB [startup+222.301 s] /proc/loadavg: 8.58 8.32 8.22 9/221 13372 /proc/meminfo: memFree=24648380/32770624 swapFree=66997516/67108860 [pid=13297] ppid=13294 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13297/stat : 13297 (xcsp3-exec) S 13294 13297 9260 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510601341 115843072 364 33554432000 4194304 5098028 140735541389808 140735541387912 139715626852988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37875712 140735541396312 140735541396570 140735541396570 140735541399494 0 /proc/13297/statm: 28282 364 305 221 0 87 0 [pid=13299] ppid=13297 vsize=28768336 memory=979156 CPUtime=1758.83 cores=0-7 /proc/13299/stat : 13299 (java) S 13297 13297 9260 0 -1 1077944320 150080 0 0 0 175754 129 0 0 20 0 28 0 510601342 29458776064 244789 33554432000 4194304 4196468 140735436402608 140735436385152 140232309497591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 /proc/13299/statm: 7192084 244789 3530 1 0 7153184 0 [pid=13299/tid=13300] ppid=13297 vsize=28768336 memory=976932 CPUtime=1.43 cores=0-7 /proc/13299/task/13300/stat : 13300 (java) S 13297 13297 9260 0 -1 1077944384 9853 0 0 0 136 7 0 0 20 0 28 0 510601342 29458776064 244789 33554432000 4194304 4196468 140735436402608 140232313738368 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13301] ppid=13297 vsize=28768336 memory=976932 CPUtime=0.51 cores=0-7 /proc/13299/task/13301/stat : 13301 (java) S 13297 13297 9260 0 -1 1077944384 3763 0 0 0 46 5 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140232229350160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13302] ppid=13297 vsize=28768336 memory=976932 CPUtime=0.52 cores=0-7 /proc/13299/task/13302/stat : 13302 (java) S 13297 13297 9260 0 -1 1077944384 4180 0 0 0 46 6 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140232228297616 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13303] ppid=13297 vsize=28768336 memory=1456 CPUtime=0.51 cores=0-7 /proc/13299/task/13303/stat : 13303 (java) S 13297 13297 9260 0 -1 1077944384 3526 0 0 0 46 5 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140232227245072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13304] ppid=13297 vsize=28768336 memory=976932 CPUtime=0.5 cores=0-7 /proc/13299/task/13304/stat : 13304 (java) S 13297 13297 9260 0 -1 1077944384 2872 0 0 0 46 4 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231857790096 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13305] ppid=13297 vsize=28768336 memory=977032 CPUtime=0.51 cores=0-7 /proc/13299/task/13305/stat : 13305 (java) S 13297 13297 9260 0 -1 1077944384 3168 0 0 0 46 5 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231856736528 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13306] ppid=13297 vsize=28768336 memory=1760 CPUtime=0.51 cores=0-7 /proc/13299/task/13306/stat : 13306 (java) S 13297 13297 9260 0 -1 1077944384 4941 0 0 0 46 5 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231855683984 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13307] ppid=13297 vsize=28768336 memory=114641267091522 CPUtime=0.53 cores=0-7 /proc/13299/task/13307/stat : 13307 (java) S 13297 13297 9260 0 -1 1077944384 3822 0 0 0 48 5 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231854631440 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13308] ppid=13297 vsize=28768336 memory=33 CPUtime=0.51 cores=0-7 /proc/13299/task/13308/stat : 13308 (java) S 13297 13297 9260 0 -1 1077944384 4539 0 0 0 46 5 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231853578896 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13309] ppid=13297 vsize=28768336 memory=0 CPUtime=0.36 cores=0-7 /proc/13299/task/13309/stat : 13309 (java) S 13297 13297 9260 0 -1 1077944384 12153 0 0 0 27 9 0 0 20 0 28 0 510601344 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231694166512 140232309508738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13310] ppid=13297 vsize=28768336 memory=6645459911560372124 CPUtime=0 cores=0-7 /proc/13299/task/13310/stat : 13310 (java) S 13297 13297 9260 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510601345 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231693112800 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13311] ppid=13297 vsize=28768336 memory=280411704865440 CPUtime=0 cores=0-7 /proc/13299/task/13311/stat : 13311 (java) S 13297 13297 9260 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510601345 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231692060160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13312] ppid=13297 vsize=28768336 memory=288230591722422566 CPUtime=0 cores=0-7 /proc/13299/task/13312/stat : 13312 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510601347 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231691008720 140232309516187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13313] ppid=13297 vsize=28768336 memory=804 CPUtime=2.11 cores=0-7 /proc/13299/task/13313/stat : 13313 (java) S 13297 13297 9260 0 -1 1077944384 11722 0 0 0 208 3 0 0 20 0 28 0 510601347 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231689955312 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13314] ppid=13297 vsize=28768336 memory=1808 CPUtime=2.05 cores=0-7 /proc/13299/task/13314/stat : 13314 (java) S 13297 13297 9260 0 -1 1077944384 10351 0 0 0 203 2 0 0 20 0 28 0 510601347 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231621732464 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13315] ppid=13297 vsize=28768336 memory=954216 CPUtime=2.16 cores=0-7 /proc/13299/task/13315/stat : 13315 (java) S 13297 13297 9260 0 -1 1077944384 12981 0 0 0 213 3 0 0 20 0 28 0 510601347 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231620679920 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13316] ppid=13297 vsize=28768336 memory=1142796 CPUtime=0.91 cores=0-7 /proc/13299/task/13316/stat : 13316 (java) S 13297 13297 9260 0 -1 1077944384 14955 0 0 0 89 2 0 0 20 0 28 0 510601347 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231619627376 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13317] ppid=13297 vsize=28768336 memory=4108 CPUtime=0 cores=0-7 /proc/13299/task/13317/stat : 13317 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510601348 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231618575072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13318] ppid=13297 vsize=28768336 memory=1456 CPUtime=0.04 cores=0-7 /proc/13299/task/13318/stat : 13318 (java) S 13297 13297 9260 0 -1 1077944384 1995 0 0 0 4 0 0 0 20 0 28 0 510601348 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231617522608 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13343] ppid=13297 vsize=28768336 memory=1456 CPUtime=218.26 cores=0-7 /proc/13299/task/13343/stat : 13343 (java) R 13297 13297 9260 0 -1 4202560 3429 0 0 0 21824 2 0 0 20 0 28 0 510601552 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231608303144 140231914999095 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13344] ppid=13297 vsize=28768336 memory=929288 CPUtime=218.03 cores=0-7 /proc/13299/task/13344/stat : 13344 (java) R 13297 13297 9260 0 -1 4202560 3686 0 0 0 21800 3 0 0 20 0 28 0 510601552 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231601988192 140231914080733 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13345] ppid=13297 vsize=28768336 memory=1456 CPUtime=217.58 cores=0-7 /proc/13299/task/13345/stat : 13345 (java) R 13297 13297 9260 0 -1 4202560 12868 0 0 0 21741 17 0 0 20 0 28 0 510601552 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231605145208 140231914392131 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13346] ppid=13297 vsize=28768336 memory=3624 CPUtime=217.12 cores=0-7 /proc/13299/task/13346/stat : 13346 (java) R 13297 13297 9260 0 -1 4202560 4802 0 0 0 21708 4 0 0 20 0 28 0 510601552 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231600934376 140231917239373 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13347] ppid=13297 vsize=28768336 memory=43 CPUtime=217.81 cores=0-7 /proc/13299/task/13347/stat : 13347 (java) R 13297 13297 9260 0 -1 4202560 3895 0 0 0 21775 6 0 0 20 0 28 0 510601553 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231607251464 140231914722522 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13348] ppid=13297 vsize=28768336 memory=44 CPUtime=217.68 cores=0-7 /proc/13299/task/13348/stat : 13348 (java) R 13297 13297 9260 0 -1 4202560 6934 0 0 0 21754 14 0 0 20 0 28 0 510601553 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231606198552 140231915271721 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13349] ppid=13297 vsize=28768336 memory=532 CPUtime=217.02 cores=0-7 /proc/13299/task/13349/stat : 13349 (java) R 13297 13297 9260 0 -1 4202560 4863 0 0 0 21697 5 0 0 20 0 28 0 510601553 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231603043232 140231914722449 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13350] ppid=13297 vsize=28768336 memory=1556 CPUtime=218.36 cores=0-7 /proc/13299/task/13350/stat : 13350 (java) R 13297 13297 9260 0 -1 4202560 2741 0 0 0 21834 2 0 0 20 0 28 0 510601553 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231604093992 140231914997719 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 Current children cumulated CPU time: 1758.83 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 980612 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.67 8.36 8.24 9/220 13372 /proc/meminfo: memFree=24589960/32770624 swapFree=66997516/67108860 [pid=13297] ppid=13294 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13297/stat : 13297 (xcsp3-exec) S 13294 13297 9260 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510601341 115843072 364 33554432000 4194304 5098028 140735541389808 140735541387912 139715626852988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37875712 140735541396312 140735541396570 140735541396570 140735541399494 0 /proc/13297/statm: 28282 364 305 221 0 87 0 [pid=13299] ppid=13297 vsize=28768336 memory=1035324 CPUtime=1994.56 cores=0-7 /proc/13299/stat : 13299 (java) S 13297 13297 9260 0 -1 1077944320 159900 0 0 0 199317 139 0 0 20 0 28 0 510601342 29458776064 258831 33554432000 4194304 4196468 140735436402608 140735436385152 140232309497591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 /proc/13299/statm: 7192084 258831 3530 1 0 7153184 0 [pid=13299/tid=13300] ppid=13297 vsize=28768336 memory=14004 CPUtime=1.43 cores=0-7 /proc/13299/task/13300/stat : 13300 (java) S 13297 13297 9260 0 -1 1077944384 9853 0 0 0 136 7 0 0 20 0 28 0 510601342 29458776064 258831 33554432000 4194304 4196468 140735436402608 140232313738368 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13301] ppid=13297 vsize=28768336 memory=14060 CPUtime=0.62 cores=0-7 /proc/13299/task/13301/stat : 13301 (java) S 13297 13297 9260 0 -1 1077944384 4019 0 0 0 56 6 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140232229350160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13302] ppid=13297 vsize=28768336 memory=2116 CPUtime=0.63 cores=0-7 /proc/13299/task/13302/stat : 13302 (java) S 13297 13297 9260 0 -1 1077944384 4418 0 0 0 56 7 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140232228297616 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13303] ppid=13297 vsize=28768336 memory=4872558044660077418 CPUtime=0.63 cores=0-7 /proc/13299/task/13303/stat : 13303 (java) S 13297 13297 9260 0 -1 1077944384 4165 0 0 0 57 6 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140232227245072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13304] ppid=13297 vsize=28768336 memory=2540 CPUtime=0.62 cores=0-7 /proc/13299/task/13304/stat : 13304 (java) S 13297 13297 9260 0 -1 1077944384 3478 0 0 0 57 5 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231857790096 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13305] ppid=13297 vsize=28768336 memory=1760 CPUtime=0.63 cores=0-7 /proc/13299/task/13305/stat : 13305 (java) S 13297 13297 9260 0 -1 1077944384 3505 0 0 0 56 7 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231856736528 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13306] ppid=13297 vsize=28768336 memory=1456 CPUtime=0.62 cores=0-7 /proc/13299/task/13306/stat : 13306 (java) S 13297 13297 9260 0 -1 1077944384 5242 0 0 0 56 6 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231855683984 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13307] ppid=13297 vsize=28768336 memory=1033204 CPUtime=0.65 cores=0-7 /proc/13299/task/13307/stat : 13307 (java) S 13297 13297 9260 0 -1 1077944384 4191 0 0 0 59 6 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231854631440 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13308] ppid=13297 vsize=28768336 memory=1808 CPUtime=0.63 cores=0-7 /proc/13299/task/13308/stat : 13308 (java) S 13297 13297 9260 0 -1 1077944384 5628 0 0 0 57 6 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231853578896 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13309] ppid=13297 vsize=28768336 memory=920 CPUtime=0.41 cores=0-7 /proc/13299/task/13309/stat : 13309 (java) S 13297 13297 9260 0 -1 1077944384 13380 0 0 0 32 9 0 0 20 0 28 0 510601344 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231694166512 140232309508738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13310] ppid=13297 vsize=28768336 memory=4484 CPUtime=0 cores=0-7 /proc/13299/task/13310/stat : 13310 (java) S 13297 13297 9260 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510601345 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231693112800 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13311] ppid=13297 vsize=28768336 memory=4108 CPUtime=0 cores=0-7 /proc/13299/task/13311/stat : 13311 (java) S 13297 13297 9260 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510601345 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231692060160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13312] ppid=13297 vsize=28768336 memory=1412 CPUtime=0 cores=0-7 /proc/13299/task/13312/stat : 13312 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510601347 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231691008720 140232309516187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13313] ppid=13297 vsize=28768336 memory=3612 CPUtime=2.11 cores=0-7 /proc/13299/task/13313/stat : 13313 (java) S 13297 13297 9260 0 -1 1077944384 11729 0 0 0 208 3 0 0 20 0 28 0 510601347 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231689955312 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13314] ppid=13297 vsize=28768336 memory=1456 CPUtime=2.05 cores=0-7 /proc/13299/task/13314/stat : 13314 (java) S 13297 13297 9260 0 -1 1077944384 10357 0 0 0 203 2 0 0 20 0 28 0 510601347 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231621732464 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13315] ppid=13297 vsize=28768336 memory=772 CPUtime=2.16 cores=0-7 /proc/13299/task/13315/stat : 13315 (java) S 13297 13297 9260 0 -1 1077944384 12988 0 0 0 213 3 0 0 20 0 28 0 510601347 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231620679920 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13316] ppid=13297 vsize=28768336 memory=10596 CPUtime=0.91 cores=0-7 /proc/13299/task/13316/stat : 13316 (java) S 13297 13297 9260 0 -1 1077944384 15990 0 0 0 89 2 0 0 20 0 28 0 510601347 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231619627376 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13317] ppid=13297 vsize=28768336 memory=1708 CPUtime=0 cores=0-7 /proc/13299/task/13317/stat : 13317 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510601348 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231618575072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13318] ppid=13297 vsize=28768336 memory=988 CPUtime=0.05 cores=0-7 /proc/13299/task/13318/stat : 13318 (java) S 13297 13297 9260 0 -1 1077944384 2111 0 0 0 5 0 0 0 20 0 28 0 510601348 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231617522608 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13343] ppid=13297 vsize=28768336 memory=3628 CPUtime=247.55 cores=0-7 /proc/13299/task/13343/stat : 13343 (java) R 13297 13297 9260 0 -1 4202560 3706 0 0 0 24753 2 0 0 20 0 28 0 510601552 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231608306672 140231914392134 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13344] ppid=13297 vsize=28768336 memory=14004 CPUtime=247.35 cores=0-7 /proc/13299/task/13344/stat : 13344 (java) R 13297 13297 9260 0 -1 4202560 3957 0 0 0 24732 3 0 0 20 0 28 0 510601552 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231601988768 140231914392147 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13345] ppid=13297 vsize=28768336 memory=14060 CPUtime=246.98 cores=0-7 /proc/13299/task/13345/stat : 13345 (java) R 13297 13297 9260 0 -1 4202560 13637 0 0 0 24681 17 0 0 20 0 28 0 510601552 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231605147360 140231914392131 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13346] ppid=13297 vsize=28768336 memory=2116 CPUtime=246.51 cores=0-7 /proc/13299/task/13346/stat : 13346 (java) R 13297 13297 9260 0 -1 4202560 5206 0 0 0 24647 4 0 0 20 0 28 0 510601552 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231600934512 140231913992740 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13347] ppid=13297 vsize=28768336 memory=33088 CPUtime=247.09 cores=0-7 /proc/13299/task/13347/stat : 13347 (java) R 13297 13297 9260 0 -1 4202560 4337 0 0 0 24703 6 0 0 20 0 28 0 510601553 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231607250880 140231914722517 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13348] ppid=13297 vsize=28768336 memory=532 CPUtime=247 cores=0-7 /proc/13299/task/13348/stat : 13348 (java) R 13297 13297 9260 0 -1 4202560 7507 0 0 0 24685 15 0 0 20 0 28 0 510601553 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231606198552 140231915271717 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13349] ppid=13297 vsize=28768336 memory=1556 CPUtime=246.41 cores=0-7 /proc/13299/task/13349/stat : 13349 (java) R 13297 13297 9260 0 -1 4202560 5378 0 0 0 24635 6 0 0 20 0 28 0 510601553 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231603040672 140231914997719 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 [pid=13299/tid=13350] ppid=13297 vsize=28768336 memory=1456 CPUtime=247.72 cores=0-7 /proc/13299/task/13350/stat : 13350 (java) R 13297 13297 9260 0 -1 4202560 3077 0 0 0 24770 2 0 0 20 0 28 0 510601553 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231604093528 140231914997862 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0 Current children cumulated CPU time: 1994.56 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1036780 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.037 s] # the end of solver process 13297 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001167 s, system=0.001167 s [startup+252.104 s] # the end of solver process 13299 was just reported to runsolver # cumulated CPU time of all completed processes: user=1993.81 s, system=1.40981 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.104 CPU time (s): 1995.22 CPU user time (s): 1993.81 CPU system time (s): 1.40981 CPU usage (%): 791.425 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 1144764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1993.81 system time used= 1.40981 maximum resident set size= 1158116 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 161016 page faults= 0 swaps= 0 block input operations= 0 block output operations= 568 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38813 involuntary context switches= 25610 # summary of solver processes directly reported to runsolver: # pid: 13297,13299 # total CPU time (s): 1995.22 # total CPU user time (s): 1993.81 # total CPU system time (s): 1.40981 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.30011 second user time and 2.97244 second system time The end
Begin job on node140 at 2019-09-24 19:36:29 IDJOB=4407301 IDBENCH=120594 IDSOLVER=2872 FILE ID=node140/4407301-1569346630 RUNJOBID= node140-1569335937-9287 PBS_JOBID= 21705054 Free space on /var/tmp= 13516 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-homer.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407301-1569346630/watcher-4407301-1569346630 -o /var/tmp/evaluation-result-4407301-1569346630/solver-4407301-1569346630 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 403979807 HOME/instance-4407301-1569346630.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4034cc1c4ef788f4220b0fc076e8c883 RANDOM SEED=403979807 node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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: 25608220 kB MemAvailable: 31841576 kB Buffers: 125820 kB Cached: 6205328 kB SwapCached: 2792 kB Active: 3158364 kB Inactive: 3181760 kB Active(anon): 5352 kB Inactive(anon): 58440 kB Active(file): 3153012 kB Inactive(file): 3123320 kB Unevictable: 107660 kB Mlocked: 107660 kB SwapTotal: 67108860 kB SwapFree: 66997516 kB Dirty: 26100 kB Writeback: 0 kB AnonPages: 43668 kB Mapped: 56684 kB Shmem: 46812 kB Slab: 414108 kB SReclaimable: 385484 kB SUnreclaim: 28624 kB KernelStack: 3712 kB PageTables: 6628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515096 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /var/tmp at the end= 13492 MiB End job on node140 at 2019-09-24 19:40:41