Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | SAT (TO) | 12 | 1996.14 | 252.106 |
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-4400101-1568709878.xml" -tl '2016s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4400101-1568709878.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 4.46/1.47 c solve instance... 7.38/1.87 o 14 8.98/2.05 o 13 8.98/2.09 o 12 1995.45/252.07 s SATISFIABLE 1995.45/252.07 v <instantiation> 1995.45/252.07 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> 1995.45/252.07 v <values>9 5 3 7 2 11 12 8 11 9 1 6 9 8 7 10 4 7 0 3 8 12 11 6 3 4 9 2 10 9 4 1 7 0 7 10 0 9 10 3 6 9 9 10 1 7 3 7 12 9 11 6 3 7 3 0 2 2 5 0 5 10 10 12 5 8 9 0 12 1 7 8 2 10 9 5 4 2 2 9 11 0 8 2 1 2 2 8 9 6 6 9 5 6 5 3 7 5 11 5 3 12 8 12 4 10 11 12 3 2 5 0 10 3 2 6 2 8 0 11 5 5 4 9 11 4 12 7 9 0 11 0 1 2 10 9 0 4 5 10 5 1 5 7 10 7 4 5 9 12 1 8 3 9 6 8 11 3 6 0 6 8 11 8 7 7 0 7 11 2 2 5 3 9 7 2 0 12 4 9 0 7 11 9 1 4 10 11 11 1 0 0 1 9 9 1 2 11 4 4 6 3 10 9 9 11 1 10 12 8 8 11 10 0 5 9 2 1 6 9 12 6 0 12 11 8 12 2 8 1 3 2 3 5 5 3 5 6 0 0 1 5 8 9 9 12 12 6 2 9 1 9 4 9 7 5 2 8 0 11 5 11 9 6 5 9 4 12 8 1 12 2 10 7 6 2 7 6 12 6 11 3 11 4 8 11 1 7 8 12 3 5 6 1 11 7 3 11 1 9 2 6 7 5 7 6 7 4 5 8 0 8 11 9 6 3 5 5 12 3 1 2 1 7 4 8 10 3 1 5 1 7 11 5 5 0 2 0 10 9 4 8 5 3 4 3 4 4 7 0 9 12 5 0 0 0 12 3 2 6 2 10 1 1 12 9 11 2 11 11 6 8 8 7 9 4 0 8 4 10 10 12 2 8 6 7 6 5 10 3 9 11 12 5 6 5 2 10 3 2 4 3 10 2 3 11 7 0 3 0 0 5 0 5 1 10 10 3 10 9 3 2 3 12 7 4 6 9 11 0 11 12 1 5 8 12 2 5 9 11 11 12 4 5 6 4 4 7 3 4 2 1 7 6 8 9 6 9 11 9 4 8 2 12 6 1 12 1 4 0 10 8 3 10 1 0 9 9 6 12 10 0 7 0 6 4 2 0 8 9 4 11 5 9 3 9 11 10 0 3 2 0 2 11 5 12 7 12 10 3 11 4 11 5 0 0 3 4 5 9 1 3 4 5 10 7 7 6 10 1 11 8 7 3 3 5 9 8 0 1 3 3 2 3 2 3 12 11 0 4 8 8 9 5 5 2 8 5 5 10 7 </values> 1995.45/252.07 v </instantiation> 1995.45/252.07 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 (14715 MiB free) memory of node 1: 16384 MiB (15239 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400101-1568709878/watcher-4400101-1568709878 -o /tmp/evaluation-result-4400101-1568709878/solver-4400101-1568709878 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2074971289 HOME/instance-4400101-1568709878.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 Current StackSize limit: 8192 KiB solver pid=32029, runsolver pid=32026 [startup+0.100122 s]* /proc/loadavg: 6.93 7.83 8.05 2/212 32050 /proc/meminfo: memFree=30658024/32770624 swapFree=66926788/67108860 [pid=32029] ppid=32026 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/32029/stat : 32029 (xcsp3-exec) S 32026 32029 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447243602 115843072 362 33554432000 4194304 5098028 140728485433392 140728485431496 140428397884028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38182912 140728485442427 140728485442670 140728485442670 140728485445578 0 /proc/32029/statm: 28282 362 304 221 0 87 0 [pid=32031] ppid=32029 vsize=28227396 memory=29096 CPUtime=0.11 cores=0-7 /proc/32031/stat : 32031 (java) S 32029 32029 26088 0 -1 1077944320 5758 0 0 0 10 1 0 0 20 0 20 0 447243602 28904853504 7274 33554432000 4194304 4196468 140728029005872 140728028988416 139882126880503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 /proc/32031/statm: 7056849 7274 3124 1 0 7019032 0 [pid=32031/tid=32032] ppid=32029 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/32031/task/32032/stat : 32032 (java) R 32029 32029 26088 0 -1 4202560 3699 0 0 0 8 1 0 0 20 0 20 0 447243603 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882131115680 139882126892438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32033] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32033/stat : 32033 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882079500560 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32034] ppid=32029 vsize=28227396 memory=140067981211264 CPUtime=0 cores=0-7 /proc/32031/task/32034/stat : 32034 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882078448016 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32035] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32035/stat : 32035 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882077395472 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32036] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32036/stat : 32036 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882076342928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32037] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32037/stat : 32037 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882075290384 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32038] ppid=32029 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/32031/task/32038/stat : 32038 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882074237840 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32039] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32039/stat : 32039 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882073185296 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32040] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32040/stat : 32040 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882072132752 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32041] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32041/stat : 32041 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243605 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880254519280 139882126891650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32042] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32042/stat : 32042 (java) S 32029 32029 26088 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447243605 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880253465504 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32043] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32043/stat : 32043 (java) S 32029 32029 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447243606 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880252412912 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32044] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32044/stat : 32044 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243608 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880251361488 139882126899099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32045] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32045/stat : 32045 (java) S 32029 32029 26088 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 447243608 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880250309104 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32046] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32046/stat : 32046 (java) S 32029 32029 26088 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 447243608 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880249256560 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32047] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32047/stat : 32047 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243608 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880248204016 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32048] ppid=32029 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/32031/task/32048/stat : 32048 (java) S 32029 32029 26088 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 20 0 447243608 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880247151472 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32049] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32049/stat : 32049 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243609 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880246098144 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32050] ppid=32029 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/32031/task/32050/stat : 32050 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243609 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880245045680 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30544 KiB [startup+0.210372 s]* /proc/loadavg: 6.93 7.83 8.05 2/212 32050 /proc/meminfo: memFree=30644400/32770624 swapFree=66926788/67108860 [pid=32029] ppid=32026 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/32029/stat : 32029 (xcsp3-exec) S 32026 32029 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447243602 115843072 362 33554432000 4194304 5098028 140728485433392 140728485431496 140428397884028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38182912 140728485442427 140728485442670 140728485442670 140728485445578 0 /proc/32029/statm: 28282 362 304 221 0 87 0 [pid=32031] ppid=32029 vsize=28227396 memory=40884 CPUtime=0.34 cores=0-7 /proc/32031/stat : 32031 (java) S 32029 32029 26088 0 -1 1077944320 9513 0 0 0 30 4 0 0 20 0 20 0 447243602 28904853504 10221 33554432000 4194304 4196468 140728029005872 140728028988416 139882126880503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 /proc/32031/statm: 7056849 10221 3301 1 0 7019032 0 [pid=32031/tid=32032] ppid=32029 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/32031/task/32032/stat : 32032 (java) R 32029 32029 26088 0 -1 4202560 6633 0 0 0 17 3 0 0 20 0 20 0 447243603 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882131110224 139882126902429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32033] ppid=32029 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/32031/task/32033/stat : 32033 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882079500560 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32034] ppid=32029 vsize=28227396 memory=140067981237609 CPUtime=0 cores=0-7 /proc/32031/task/32034/stat : 32034 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882078448016 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32035] ppid=32029 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/32031/task/32035/stat : 32035 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882077395472 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32036] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32036/stat : 32036 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882076342928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32037] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32037/stat : 32037 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882075290384 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32038] ppid=32029 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/32031/task/32038/stat : 32038 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882074237840 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32039] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32039/stat : 32039 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882073185296 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32040] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32040/stat : 32040 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882072132752 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32041] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32041/stat : 32041 (java) S 32029 32029 26088 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447243605 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880254519280 139882126891650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32042] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32042/stat : 32042 (java) S 32029 32029 26088 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447243605 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880253465504 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32043] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32043/stat : 32043 (java) S 32029 32029 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447243606 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880252412912 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32044] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32044/stat : 32044 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243608 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880251361488 139882126899099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32045] ppid=32029 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/32031/task/32045/stat : 32045 (java) S 32029 32029 26088 0 -1 1077944384 586 0 0 0 2 0 0 0 20 0 20 0 447243608 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880250309104 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32046] ppid=32029 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/32031/task/32046/stat : 32046 (java) S 32029 32029 26088 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 447243608 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880249256560 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32047] ppid=32029 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/32031/task/32047/stat : 32047 (java) S 32029 32029 26088 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 447243608 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880248204016 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32048] ppid=32029 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/32031/task/32048/stat : 32048 (java) S 32029 32029 26088 0 -1 1077944384 721 0 0 0 7 0 0 0 20 0 20 0 447243608 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880247151472 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32049] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32049/stat : 32049 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243609 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880246098144 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32050] ppid=32029 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/32031/task/32050/stat : 32050 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243609 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880245045680 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42332 KiB [startup+0.309676 s]* /proc/loadavg: 6.93 7.83 8.05 5/212 32050 /proc/meminfo: memFree=30636388/32770624 swapFree=66926788/67108860 [pid=32029] ppid=32026 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/32029/stat : 32029 (xcsp3-exec) S 32026 32029 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447243602 115843072 362 33554432000 4194304 5098028 140728485433392 140728485431496 140428397884028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38182912 140728485442427 140728485442670 140728485442670 140728485445578 0 /proc/32029/statm: 28282 362 304 221 0 87 0 [pid=32031] ppid=32029 vsize=28231652 memory=50000 CPUtime=0.52 cores=0-7 /proc/32031/stat : 32031 (java) S 32029 32029 26088 0 -1 1077944320 10877 0 0 0 48 4 0 0 20 0 20 0 447243602 28909211648 12500 33554432000 4194304 4196468 140728029005872 140728028988416 139882126880503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 /proc/32031/statm: 7057913 12500 3357 1 0 7019032 0 [pid=32031/tid=32032] ppid=32029 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/32031/task/32032/stat : 32032 (java) R 32029 32029 26088 0 -1 4202560 7750 0 0 0 26 3 0 0 20 0 20 0 447243603 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882131111616 139882110960990 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32033] ppid=32029 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32033/stat : 32033 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882079500560 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32034] ppid=32029 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32034/stat : 32034 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882078448016 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32035] ppid=32029 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32035/stat : 32035 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882077395472 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32036] ppid=32029 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32036/stat : 32036 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882076342928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32037] ppid=32029 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/32031/task/32037/stat : 32037 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882075290384 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32038] ppid=32029 vsize=28231652 memory=140067876205487 CPUtime=0 cores=0-7 /proc/32031/task/32038/stat : 32038 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882074237840 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32039] ppid=32029 vsize=28231652 memory=140067876207792 CPUtime=0 cores=0-7 /proc/32031/task/32039/stat : 32039 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882073185296 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32040] ppid=32029 vsize=28231652 memory=140067876210096 CPUtime=0 cores=0-7 /proc/32031/task/32040/stat : 32040 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882072132752 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32041] ppid=32029 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32041/stat : 32041 (java) S 32029 32029 26088 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447243605 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880254519280 139882126891650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32042] ppid=32029 vsize=28231652 memory=280135752427152 CPUtime=0 cores=0-7 /proc/32031/task/32042/stat : 32042 (java) S 32029 32029 26088 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447243605 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880253465504 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32043] ppid=32029 vsize=28231652 memory=280135752434064 CPUtime=0 cores=0-7 /proc/32031/task/32043/stat : 32043 (java) S 32029 32029 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447243606 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880252412912 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32044] ppid=32029 vsize=28231652 memory=280135752375344 CPUtime=0 cores=0-7 /proc/32031/task/32044/stat : 32044 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243608 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880251361488 139882126899099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32045] ppid=32029 vsize=28231652 memory=280135752447888 CPUtime=0.02 cores=0-7 /proc/32031/task/32045/stat : 32045 (java) S 32029 32029 26088 0 -1 1077944384 602 0 0 0 2 0 0 0 20 0 20 0 447243608 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880250309104 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32046] ppid=32029 vsize=28231652 memory=280135752454800 CPUtime=0.02 cores=0-7 /proc/32031/task/32046/stat : 32046 (java) R 32029 32029 26088 0 -1 4202560 252 0 0 0 2 0 0 0 20 0 20 0 447243608 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880249246944 139882110084142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32047] ppid=32029 vsize=28231652 memory=280135752452496 CPUtime=0.02 cores=0-7 /proc/32031/task/32047/stat : 32047 (java) S 32029 32029 26088 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 20 0 447243608 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880248204016 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32048] ppid=32029 vsize=28231652 memory=280135752468656 CPUtime=0.12 cores=0-7 /proc/32031/task/32048/stat : 32048 (java) S 32029 32029 26088 0 -1 1077944384 818 0 0 0 12 0 0 0 20 0 20 0 447243608 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880247151472 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32049] ppid=32029 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32049/stat : 32049 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243609 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880246098144 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32050] ppid=32029 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/32031/task/32050/stat : 32050 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243609 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880245045680 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51448 KiB [startup+0.701042 s] /proc/loadavg: 6.93 7.83 8.05 4/212 32050 /proc/meminfo: memFree=30616556/32770624 swapFree=66926788/67108860 [pid=32029] ppid=32026 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/32029/stat : 32029 (xcsp3-exec) S 32026 32029 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447243602 115843072 362 33554432000 4194304 5098028 140728485433392 140728485431496 140428397884028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38182912 140728485442427 140728485442670 140728485442670 140728485445578 0 /proc/32029/statm: 28282 362 304 221 0 87 0 [pid=32031] ppid=32029 vsize=28233776 memory=95104 CPUtime=1.77 cores=0-7 /proc/32031/stat : 32031 (java) S 32029 32029 26088 0 -1 1077944320 15947 0 0 0 171 6 0 0 20 0 20 0 447243602 28911386624 23776 33554432000 4194304 4196468 140728029005872 140728028988416 139882126880503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 /proc/32031/statm: 7058444 23776 3453 1 0 7019544 0 [pid=32031/tid=32032] ppid=32029 vsize=28233776 memory=280135752826544 CPUtime=0.67 cores=0-7 /proc/32031/task/32032/stat : 32032 (java) R 32029 32029 26088 0 -1 4202560 9185 0 0 0 63 4 0 0 20 0 20 0 447243603 28911386624 23776 33554432000 4194304 4196468 140728029005872 139882131116176 139882108529582 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32033] ppid=32029 vsize=28233776 memory=140067876414320 CPUtime=0 cores=0-7 /proc/32031/task/32033/stat : 32033 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28911386624 23776 33554432000 4194304 4196468 140728029005872 139882079500560 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32034] ppid=32029 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32034/stat : 32034 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28911386624 23776 33554432000 4194304 4196468 140728029005872 139882078448016 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32035] ppid=32029 vsize=28233776 memory=1556 CPUtime=0 cores=0-7 /proc/32031/task/32035/stat : 32035 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28911386624 23776 33554432000 4194304 4196468 140728029005872 139882077395472 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 ################ # More data... # ################ [pid=32031/tid=32082] ppid=32029 vsize=28768336 memory=1552 CPUtime=158.45 cores=0-7 /proc/32031/task/32082/stat : 32082 (java) R 32029 32029 26088 0 -1 4202560 2215 0 0 0 15845 0 0 0 20 0 28 0 447243813 29458776064 179010 33554432000 4194304 4196468 140728029005872 139879922762280 139881741230535 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 Current children cumulated CPU time: 1283.95 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 717488 KiB [startup+222.302 s] /proc/loadavg: 8.74 8.22 8.15 9/218 32096 /proc/meminfo: memFree=29911072/32770624 swapFree=66926788/67108860 [pid=32029] ppid=32026 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/32029/stat : 32029 (xcsp3-exec) S 32026 32029 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447243602 115843072 362 33554432000 4194304 5098028 140728485433392 140728485431496 140428397884028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38182912 140728485442427 140728485442670 140728485442670 140728485445578 0 /proc/32029/statm: 28282 362 304 221 0 87 0 [pid=32031] ppid=32029 vsize=28768336 memory=778408 CPUtime=1759.56 cores=0-7 /proc/32031/stat : 32031 (java) S 32029 32029 26088 0 -1 1077944320 121961 0 0 0 175826 130 0 0 20 0 28 0 447243602 29458776064 194602 33554432000 4194304 4196468 140728029005872 140728028988416 139882126880503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 /proc/32031/statm: 7192084 194602 3529 1 0 7153184 0 [pid=32031/tid=32032] ppid=32029 vsize=28768336 memory=778408 CPUtime=1.44 cores=0-7 /proc/32031/task/32032/stat : 32032 (java) S 32029 32029 26088 0 -1 1077944384 9869 0 0 0 138 6 0 0 20 0 28 0 447243603 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882131121280 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32033] ppid=32029 vsize=28768336 memory=778408 CPUtime=0.43 cores=0-7 /proc/32031/task/32033/stat : 32033 (java) S 32029 32029 26088 0 -1 1077944384 2650 0 0 0 35 8 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882079500560 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32034] ppid=32029 vsize=28768336 memory=1448 CPUtime=0.43 cores=0-7 /proc/32031/task/32034/stat : 32034 (java) S 32029 32029 26088 0 -1 1077944384 4017 0 0 0 36 7 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882078448016 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32035] ppid=32029 vsize=28768336 memory=1448 CPUtime=0.44 cores=0-7 /proc/32031/task/32035/stat : 32035 (java) S 32029 32029 26088 0 -1 1077944384 2817 0 0 0 35 9 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882077395472 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32036] ppid=32029 vsize=28768336 memory=275547921906330 CPUtime=0.45 cores=0-7 /proc/32031/task/32036/stat : 32036 (java) S 32029 32029 26088 0 -1 1077944384 2663 0 0 0 36 9 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882076342928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32037] ppid=32029 vsize=28768336 memory=1808 CPUtime=0.46 cores=0-7 /proc/32031/task/32037/stat : 32037 (java) S 32029 32029 26088 0 -1 1077944384 2458 0 0 0 37 9 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882075290384 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32038] ppid=32029 vsize=28768336 memory=924 CPUtime=0.43 cores=0-7 /proc/32031/task/32038/stat : 32038 (java) S 32029 32029 26088 0 -1 1077944384 5266 0 0 0 36 7 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882074237840 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32039] ppid=32029 vsize=28768336 memory=984 CPUtime=0.44 cores=0-7 /proc/32031/task/32039/stat : 32039 (java) S 32029 32029 26088 0 -1 1077944384 2111 0 0 0 35 9 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882073185296 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32040] ppid=32029 vsize=28768336 memory=14012 CPUtime=0.43 cores=0-7 /proc/32031/task/32040/stat : 32040 (java) S 32029 32029 26088 0 -1 1077944384 2834 0 0 0 35 8 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882072132752 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32041] ppid=32029 vsize=28768336 memory=1448 CPUtime=0.26 cores=0-7 /proc/32031/task/32041/stat : 32041 (java) S 32029 32029 26088 0 -1 1077944384 8740 0 0 0 20 6 0 0 20 0 28 0 447243605 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880254519280 139882126891650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32042] ppid=32029 vsize=28768336 memory=763760 CPUtime=0 cores=0-7 /proc/32031/task/32042/stat : 32042 (java) S 32029 32029 26088 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 447243605 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880253465568 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32043] ppid=32029 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/32031/task/32043/stat : 32043 (java) S 32029 32029 26088 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 447243606 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880252412928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32044] ppid=32029 vsize=28768336 memory=726280 CPUtime=0 cores=0-7 /proc/32031/task/32044/stat : 32044 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447243608 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880251361488 139882126899099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32045] ppid=32029 vsize=28768336 memory=3580 CPUtime=2.51 cores=0-7 /proc/32031/task/32045/stat : 32045 (java) S 32029 32029 26088 0 -1 1077944384 14209 0 0 0 249 2 0 0 20 0 28 0 447243608 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880250309104 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32046] ppid=32029 vsize=28768336 memory=31732 CPUtime=2.33 cores=0-7 /proc/32031/task/32046/stat : 32046 (java) S 32029 32029 26088 0 -1 1077944384 12217 0 0 0 231 2 0 0 20 0 28 0 447243608 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880249256560 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32047] ppid=32029 vsize=28768336 memory=11228 CPUtime=2.59 cores=0-7 /proc/32031/task/32047/stat : 32047 (java) S 32029 32029 26088 0 -1 1077944384 14193 0 0 0 256 3 0 0 20 0 28 0 447243608 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880248204016 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32048] ppid=32029 vsize=28768336 memory=2120 CPUtime=0.8 cores=0-7 /proc/32031/task/32048/stat : 32048 (java) S 32029 32029 26088 0 -1 1077944384 10132 0 0 0 78 2 0 0 20 0 28 0 447243608 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880247151472 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32049] ppid=32029 vsize=28768336 memory=763760 CPUtime=0 cores=0-7 /proc/32031/task/32049/stat : 32049 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447243609 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880246098144 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32050] ppid=32029 vsize=28768336 memory=1448 CPUtime=0.04 cores=0-7 /proc/32031/task/32050/stat : 32050 (java) S 32029 32029 26088 0 -1 1077944384 1074 0 0 0 0 4 0 0 20 0 28 0 447243609 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880245045680 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32075] ppid=32029 vsize=28768336 memory=-3622645143214314312 CPUtime=217.38 cores=0-7 /proc/32031/task/32075/stat : 32075 (java) R 32029 32029 26088 0 -1 4202560 2147 0 0 0 21737 1 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879928024568 139881741681863 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32076] ppid=32029 vsize=28768336 memory=1552 CPUtime=218.36 cores=0-7 /proc/32031/task/32076/stat : 32076 (java) R 32029 32029 26088 0 -1 4202560 2208 0 0 0 21835 1 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879925923872 139881741234585 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32077] ppid=32029 vsize=28768336 memory=3580 CPUtime=217.89 cores=0-7 /proc/32031/task/32077/stat : 32077 (java) R 32029 32029 26088 0 -1 4202560 2222 0 0 0 21787 2 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879924871216 139881741234630 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32078] ppid=32029 vsize=28768336 memory=1448 CPUtime=217.79 cores=0-7 /proc/32031/task/32078/stat : 32078 (java) R 32029 32029 26088 0 -1 4202560 5528 0 0 0 21767 12 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879921709688 139881741670368 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32079] ppid=32029 vsize=28768336 memory=1448 CPUtime=217.12 cores=0-7 /proc/32031/task/32079/stat : 32079 (java) R 32029 32029 26088 0 -1 4202560 3225 0 0 0 21707 5 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879926976816 139881740070303 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32080] ppid=32029 vsize=28768336 memory=778408 CPUtime=218.22 cores=0-7 /proc/32031/task/32080/stat : 32080 (java) R 32029 32029 26088 0 -1 4202560 3548 0 0 0 21819 3 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879923818944 139881740222634 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32081] ppid=32029 vsize=28768336 memory=6791534058613427641 CPUtime=218.01 cores=0-7 /proc/32031/task/32081/stat : 32081 (java) R 32029 32029 26088 0 -1 4202560 3472 0 0 0 21793 8 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879920655824 139881741234553 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32082] ppid=32029 vsize=28768336 memory=1984 CPUtime=217.9 cores=0-7 /proc/32031/task/32082/stat : 32082 (java) R 32029 32029 26088 0 -1 4202560 2344 0 0 0 21789 1 0 0 20 0 28 0 447243813 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879922765992 139881741234615 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 Current children cumulated CPU time: 1759.56 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 779856 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.63 8.25 8.16 9/218 32099 /proc/meminfo: memFree=29879004/32770624 swapFree=66926788/67108860 [pid=32029] ppid=32026 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/32029/stat : 32029 (xcsp3-exec) S 32026 32029 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447243602 115843072 362 33554432000 4194304 5098028 140728485433392 140728485431496 140428397884028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38182912 140728485442427 140728485442670 140728485442670 140728485445578 0 /proc/32029/statm: 28282 362 304 221 0 87 0 [pid=32031] ppid=32029 vsize=28768336 memory=811972 CPUtime=1995.45 cores=0-7 /proc/32031/stat : 32031 (java) S 32029 32029 26088 0 -1 1077944320 123392 0 0 0 199409 136 0 0 20 0 28 0 447243602 29458776064 202993 33554432000 4194304 4196468 140728029005872 140728028988416 139882126880503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 /proc/32031/statm: 7192084 202993 3529 1 0 7153184 0 [pid=32031/tid=32032] ppid=32029 vsize=28768336 memory=6791534058613427641 CPUtime=1.44 cores=0-7 /proc/32031/task/32032/stat : 32032 (java) S 32029 32029 26088 0 -1 1077944384 9869 0 0 0 138 6 0 0 20 0 28 0 447243603 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882131121280 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32033] ppid=32029 vsize=28768336 memory=11228 CPUtime=0.53 cores=0-7 /proc/32031/task/32033/stat : 32033 (java) S 32029 32029 26088 0 -1 1077944384 2698 0 0 0 44 9 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882079500560 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32034] ppid=32029 vsize=28768336 memory=2120 CPUtime=0.54 cores=0-7 /proc/32031/task/32034/stat : 32034 (java) S 32029 32029 26088 0 -1 1077944384 4076 0 0 0 46 8 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882078448016 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32035] ppid=32029 vsize=28768336 memory=12020 CPUtime=0.55 cores=0-7 /proc/32031/task/32035/stat : 32035 (java) S 32029 32029 26088 0 -1 1077944384 2889 0 0 0 45 10 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882077395472 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32036] ppid=32029 vsize=28768336 memory=496 CPUtime=0.56 cores=0-7 /proc/32031/task/32036/stat : 32036 (java) S 32029 32029 26088 0 -1 1077944384 2707 0 0 0 46 10 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882076342928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32037] ppid=32029 vsize=28768336 memory=1560 CPUtime=0.56 cores=0-7 /proc/32031/task/32037/stat : 32037 (java) S 32029 32029 26088 0 -1 1077944384 2535 0 0 0 46 10 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882075290384 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32038] ppid=32029 vsize=28768336 memory=928 CPUtime=0.54 cores=0-7 /proc/32031/task/32038/stat : 32038 (java) S 32029 32029 26088 0 -1 1077944384 5312 0 0 0 46 8 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882074237840 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32039] ppid=32029 vsize=28768336 memory=6791534058613427641 CPUtime=0.55 cores=0-7 /proc/32031/task/32039/stat : 32039 (java) S 32029 32029 26088 0 -1 1077944384 2204 0 0 0 46 9 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882073185296 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32040] ppid=32029 vsize=28768336 memory=809760 CPUtime=0.54 cores=0-7 /proc/32031/task/32040/stat : 32040 (java) S 32029 32029 26088 0 -1 1077944384 2989 0 0 0 45 9 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882072132752 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32041] ppid=32029 vsize=28768336 memory=1164 CPUtime=0.34 cores=0-7 /proc/32031/task/32041/stat : 32041 (java) S 32029 32029 26088 0 -1 1077944384 8960 0 0 0 27 7 0 0 20 0 28 0 447243605 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880254519280 139882126891650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32042] ppid=32029 vsize=28768336 memory=1412 CPUtime=0 cores=0-7 /proc/32031/task/32042/stat : 32042 (java) S 32029 32029 26088 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 447243605 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880253465568 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32043] ppid=32029 vsize=28768336 memory=3600 CPUtime=0 cores=0-7 /proc/32031/task/32043/stat : 32043 (java) S 32029 32029 26088 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 447243606 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880252412928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32044] ppid=32029 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/32031/task/32044/stat : 32044 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447243608 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880251361488 139882126899099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32045] ppid=32029 vsize=28768336 memory=799520 CPUtime=2.51 cores=0-7 /proc/32031/task/32045/stat : 32045 (java) S 32029 32029 26088 0 -1 1077944384 14209 0 0 0 249 2 0 0 20 0 28 0 447243608 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880250309104 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32046] ppid=32029 vsize=28768336 memory=6791534058613427641 CPUtime=2.33 cores=0-7 /proc/32031/task/32046/stat : 32046 (java) S 32029 32029 26088 0 -1 1077944384 12217 0 0 0 231 2 0 0 20 0 28 0 447243608 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880249256560 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32047] ppid=32029 vsize=28768336 memory=1760 CPUtime=2.59 cores=0-7 /proc/32031/task/32047/stat : 32047 (java) S 32029 32029 26088 0 -1 1077944384 14194 0 0 0 256 3 0 0 20 0 28 0 447243608 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880248204016 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32048] ppid=32029 vsize=28768336 memory=111632 CPUtime=0.8 cores=0-7 /proc/32031/task/32048/stat : 32048 (java) S 32029 32029 26088 0 -1 1077944384 10132 0 0 0 78 2 0 0 20 0 28 0 447243608 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880247151472 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32049] ppid=32029 vsize=28768336 memory=804 CPUtime=0 cores=0-7 /proc/32031/task/32049/stat : 32049 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447243609 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880246098144 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32050] ppid=32029 vsize=28768336 memory=1808 CPUtime=0.05 cores=0-7 /proc/32031/task/32050/stat : 32050 (java) S 32029 32029 26088 0 -1 1077944384 1089 0 0 0 0 5 0 0 20 0 28 0 447243609 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880245045680 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32075] ppid=32029 vsize=28768336 memory=924 CPUtime=246.75 cores=0-7 /proc/32031/task/32075/stat : 32075 (java) R 32029 32029 26088 0 -1 4202560 2193 0 0 0 24674 1 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879928027648 139881741230700 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32076] ppid=32029 vsize=28768336 memory=1448 CPUtime=247.82 cores=0-7 /proc/32031/task/32076/stat : 32076 (java) R 32029 32029 26088 0 -1 4202560 2312 0 0 0 24781 1 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879925923792 139881740775294 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32077] ppid=32029 vsize=28768336 memory=811972 CPUtime=247.29 cores=0-7 /proc/32031/task/32077/stat : 32077 (java) R 32029 32029 26088 0 -1 4202560 2255 0 0 0 24727 2 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879924871224 139881741234550 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32078] ppid=32029 vsize=28768336 memory=1556 CPUtime=247.15 cores=0-7 /proc/32031/task/32078/stat : 32078 (java) R 32029 32029 26088 0 -1 4202560 5622 0 0 0 24703 12 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879921713200 139881742331752 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32079] ppid=32029 vsize=28768336 memory=2832 CPUtime=246.38 cores=0-7 /proc/32031/task/32079/stat : 32079 (java) R 32029 32029 26088 0 -1 4202560 3344 0 0 0 24633 5 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879926972736 139881740070369 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32080] ppid=32029 vsize=28768336 memory=984 CPUtime=247.65 cores=0-7 /proc/32031/task/32080/stat : 32080 (java) R 32029 32029 26088 0 -1 4202560 3625 0 0 0 24762 3 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879923815032 139881740070104 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32081] ppid=32029 vsize=28768336 memory=56 CPUtime=247.22 cores=0-7 /proc/32031/task/32081/stat : 32081 (java) R 32029 32029 26088 0 -1 4202560 3548 0 0 0 24714 8 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879920658704 139881740070303 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 [pid=32031/tid=32082] ppid=32029 vsize=28768336 memory=11228 CPUtime=247.38 cores=0-7 /proc/32031/task/32082/stat : 32082 (java) R 32029 32029 26088 0 -1 4202560 2396 0 0 0 24737 1 0 0 20 0 28 0 447243813 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879922762144 139881741234524 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0 Current children cumulated CPU time: 1995.45 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 813420 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.039 s] # the end of solver process 32029 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.00117 s, system=0.00117 s [startup+252.106 s] # the end of solver process 32031 was just reported to runsolver # cumulated CPU time of all completed processes: user=1994.77 s, system=1.37856 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.106 CPU time (s): 1996.14 CPU user time (s): 1994.77 CPU system time (s): 1.37856 CPU usage (%): 791.788 Max. virtual memory (cumulated for all children) (KiB): 28885544 Max. memory (cumulated for all children) (KiB): 813420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1994.77 system time used= 1.37856 maximum resident set size= 813112 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 124779 page faults= 0 swaps= 0 block input operations= 0 block output operations= 480 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 32865 involuntary context switches= 21647 # summary of solver processes directly reported to runsolver: # pid: 32029,32031 # total CPU time (s): 1996.14 # total CPU user time (s): 1994.77 # total CPU system time (s): 1.37856 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.27173 second user time and 2.71484 second system time The end
Begin job on node107 at 2019-09-17 09:42:39 IDJOB=4400101 IDBENCH=120594 IDSOLVER=2855 FILE ID=node107/4400101-1568709878 RUNJOBID= node107-1568696839-26115 PBS_JOBID= 21703898 Free space on /tmp= 59040 MiB SOLVER NAME= choco-solver 2019-09-16 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 /tmp/evaluation-result-4400101-1568709878/watcher-4400101-1568709878 -o /tmp/evaluation-result-4400101-1568709878/solver-4400101-1568709878 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2074971289 HOME/instance-4400101-1568709878.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4034cc1c4ef788f4220b0fc076e8c883 RANDOM SEED=2074971289 node107.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: 30674872 kB MemAvailable: 31812156 kB Buffers: 226208 kB Cached: 1187196 kB SwapCached: 76292 kB Active: 682728 kB Inactive: 808308 kB Active(anon): 11480 kB Inactive(anon): 109076 kB Active(file): 671248 kB Inactive(file): 699232 kB Unevictable: 111200 kB Mlocked: 111200 kB SwapTotal: 67108860 kB SwapFree: 66926788 kB Dirty: 26260 kB Writeback: 0 kB AnonPages: 113160 kB Mapped: 42840 kB Shmem: 34404 kB Slab: 194740 kB SReclaimable: 165276 kB SUnreclaim: 29464 kB KernelStack: 3392 kB PageTables: 5928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497684 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59012 MiB End job on node107 at 2019-09-17 09:46:52