Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | SAT (TO) | 22 | 1946.73 | 252.124 |
Name | Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml |
MD5SUM | edb7fc8f5d274005fc89ddd50225e87c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 2400.11 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 3757 |
Number of domains | 7 |
Minimum domain size | 6 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":3757}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3757 |
Distribution of constraint types | [{"type":"intension","count":3757}] |
Optimization problem | YES |
Type of objective | min NVALUES |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407508-1569350005.xml" -tl '2016s' -p 8 0.11/0.20 c Choco e747e1e 0.11/0.20 c [HOME/instance-4407508-1569350005.xml, -tl, 2016s, -p, 8] 0.33/0.25 c 8 solvers in parallel 0.33/0.31 c parse instance... 13.68/3.86 c solve instance... 1293.58/168.15 o 36 1439.09/187.15 o 34 1585.08/206.07 o 26 1684.59/219.05 o 24 1727.17/224.57 o 22 1946.06/252.09 s SATISFIABLE 1946.06/252.09 v <instantiation> 1946.06/252.09 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] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] </list> 1946.06/252.10 v <values>16 254 86 324 414 652 156 394 142 380 142 380 240 478 16 254 414 652 442 680 156 394 16 254 16 254 16 254 86 324 142 380 16 254 44 282 142 380 16 254 142 380 16 254 142 380 442 680 16 254 142 380 142 380 442 680 442 680 86 324 414 652 498 736 142 380 414 652 16 254 86 324 442 680 86 324 86 324 554 792 44 282 44 282 86 324 44 282 484 722 484 722 86 324 44 282 44 282 16 254 652 414 142 380 414 652 16 254 156 394 442 680 44 282 86 324 142 380 414 652 44 282 86 324 44 282 44 282 142 380 86 324 16 254 44 282 142 380 44 282 16 254 414 652 44 282 44 282 554 792 414 652 142 380 484 722 484 722 44 282 142 380 156 394 156 394 156 394 142 380 442 680 442 680 44 282 142 380 44 282 16 254 16 254 442 680 44 282 86 324 86 324 554 792 442 680 156 394 414 652 442 680 44 282 442 680 442 680 484 722 442 680 554 792 86 324 156 394 414 652 86 324 86 324 86 324 142 380 44 282 484 722 442 680 86 324 44 282 156 394 86 324 16 254 16 254 16 254 86 324 16 254 240 478 156 394 484 722 484 722 44 282 142 380 44 282 44 282 414 652 484 722 442 680 86 324 44 282 484 722 142 380 414 652 16 254 16 254 86 324 484 722 142 380 498 736 142 380 142 380 442 680 142 380 156 394 44 282 554 792 142 380 142 380 498 736 484 722 142 380 16 254 16 254 44 282 484 722 16 254 142 380 498 736 554 792 142 380 44 282 86 324 142 380 44 282 86 324 142 380 142 380 414 652 16 254 156 394 142 380 86 324 44 282 16 254 44 282 86 324 142 380 240 478 16 254 86 324 16 254 44 282 16 254 156 394 554 792 554 792 44 282 16 254 142 380 44 282 414 652 16 254 86 324 156 394 554 792 142 380 16 254 142 380 142 380 142 380 442 680 142 380 142 380 414 652 142 380 498 736 156 394 86 324 554 792 156 394 554 792 44 282 44 282 554 792 44 282 16 254 142 380 484 722 44 282 442 680 86 324 44 282 414 652 86 324 86 324 86 324 44 282 240 478 44 282 240 478 414 652 554 792 554 792 142 380 86 324 142 380 44 282 86 324 16 254 484 722 16 254 44 282 44 282 44 282 16 254 414 652 414 652 442 680 414 652 554 792 86 324 498 736 86 324 442 680 142 380 414 652 442 680 240 478 86 324 442 680 142 380 442 680 156 394 44 282 554 792 16 254 142 380 156 394 414 652 16 254 86 324 414 652 86 324 414 652 414 652 86 324 414 652 414 652 16 254 442 680 16 254 44 282 44 282 16 254 142 380 442 680 442 680 484 722 442 680 142 380 44 282 86 324 44 282 498 736 414 652 414 652 442 680 86 324 142 380 142 380 442 680 86 324 498 736 240 478 86 324 484 722 554 792 44 282 142 380 86 324 484 722 16 254 554 792 414 652 16 254 16 254 86 324 498 736 484 722 44 282 142 380 156 394 44 282 16 254 442 680 86 324 16 254 44 282 414 652 86 324 16 254 </values> 1946.06/252.10 v </instantiation> 1946.06/252.10 c Unexpected resolution interruption!
OK 22
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: 16375 MiB (12526 MiB free) memory of node 1: 16384 MiB (12348 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407508-1569350005/watcher-4407508-1569350005 -o /tmp/evaluation-result-4407508-1569350005/solver-4407508-1569350005 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324850400-23810 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 708794815 HOME/instance-4407508-1569350005.xml running on 8 cores: 0-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=31553, runsolver pid=31550 Current StackSize limit: 8192 KiB [startup+0.100107 s]* /proc/loadavg: 8.04 8.12 8.05 2/212 31574 /proc/meminfo: memFree=25457980/32770688 swapFree=66927640/67108860 [pid=31553] ppid=31550 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31553/stat : 31553 (xcsp3-exec) S 31550 31553 23783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511006669 115843072 362 33554432000 4194304 5098028 140733892047504 140733892045608 140288379581052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25219072 140733892051836 140733892052078 140733892052078 140733892054986 0 /proc/31553/statm: 28282 362 304 221 0 87 0 [pid=31555] ppid=31553 vsize=28227396 memory=28936 CPUtime=0.11 cores=0-7 /proc/31555/stat : 31555 (java) S 31553 31553 23783 0 -1 1077944320 5695 0 0 0 10 1 0 0 20 0 20 0 511006669 28904853504 7234 33554432000 4194304 4196468 140731852279328 140731852261872 139709982592759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 /proc/31555/statm: 7056849 7234 3119 1 0 7019032 0 [pid=31555/tid=31556] ppid=31553 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/31555/task/31556/stat : 31556 (java) R 31553 31553 23783 0 -1 4202560 3612 0 0 0 8 1 0 0 20 0 20 0 511006670 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709986813656 139709982604694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31557] ppid=31553 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/31555/task/31557/stat : 31557 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709935213328 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31558] ppid=31553 vsize=28227396 memory=140238891398784 CPUtime=0 cores=0-7 /proc/31555/task/31558/stat : 31558 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709934160784 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31559] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31559/stat : 31559 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709933108240 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31560] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31560/stat : 31560 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709932055696 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31561] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31561/stat : 31561 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709931002128 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31562] ppid=31553 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31555/task/31562/stat : 31562 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709929949584 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31563] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31563/stat : 31563 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709928897040 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31564] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31564/stat : 31564 (java) S 31553 31553 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709927844496 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31565] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31565/stat : 31565 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006672 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709031324144 139709982603906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31566] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31566/stat : 31566 (java) S 31553 31553 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511006673 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709030270368 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31567] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31567/stat : 31567 (java) S 31553 31553 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511006673 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709029217776 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31568] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31568/stat : 31568 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006676 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709028166352 139709982611355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31569] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31569/stat : 31569 (java) S 31553 31553 23783 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 511006676 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709027112944 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31570] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31570/stat : 31570 (java) S 31553 31553 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006676 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709026060400 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31571] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31571/stat : 31571 (java) S 31553 31553 23783 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511006676 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709025007856 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31572] ppid=31553 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31555/task/31572/stat : 31572 (java) S 31553 31553 23783 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 20 0 511006676 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709023955312 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31573] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31573/stat : 31573 (java) S 31553 31553 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006676 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709022903008 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31574] ppid=31553 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31555/task/31574/stat : 31574 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006676 28904853504 7234 33554432000 4194304 4196468 140731852279328 139709021850544 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30384 KiB [startup+0.211169 s]* /proc/loadavg: 7.47 8.00 8.01 3/212 31574 /proc/meminfo: memFree=25444360/32770688 swapFree=66927640/67108860 [pid=31553] ppid=31550 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31553/stat : 31553 (xcsp3-exec) S 31550 31553 23783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511006669 115843072 362 33554432000 4194304 5098028 140733892047504 140733892045608 140288379581052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25219072 140733892051836 140733892052078 140733892052078 140733892054986 0 /proc/31553/statm: 28282 362 304 221 0 87 0 [pid=31555] ppid=31553 vsize=28227396 memory=40956 CPUtime=0.33 cores=0-7 /proc/31555/stat : 31555 (java) S 31553 31553 23783 0 -1 1077944320 9470 0 0 0 30 3 0 0 20 0 20 0 511006669 28904853504 10239 33554432000 4194304 4196468 140731852279328 140731852261872 139709982592759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 /proc/31555/statm: 7056849 10239 3306 1 0 7019032 0 [pid=31555/tid=31556] ppid=31553 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/31555/task/31556/stat : 31556 (java) R 31553 31553 23783 0 -1 4202560 6586 0 0 0 18 2 0 0 20 0 20 0 511006670 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709986830320 139709966673276 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31557] ppid=31553 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/31555/task/31557/stat : 31557 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709935213328 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31558] ppid=31553 vsize=28227396 memory=140238891422851 CPUtime=0 cores=0-7 /proc/31555/task/31558/stat : 31558 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709934160784 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31559] ppid=31553 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31555/task/31559/stat : 31559 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709933108240 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31560] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31560/stat : 31560 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709932055696 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31561] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31561/stat : 31561 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709931002128 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31562] ppid=31553 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31555/task/31562/stat : 31562 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709929949584 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31563] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31563/stat : 31563 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709928897040 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31564] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31564/stat : 31564 (java) S 31553 31553 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006671 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709927844496 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31565] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31565/stat : 31565 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006672 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709031324144 139709982603906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31566] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31566/stat : 31566 (java) S 31553 31553 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511006673 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709030270368 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31567] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31567/stat : 31567 (java) S 31553 31553 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511006673 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709029217776 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31568] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31568/stat : 31568 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006676 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709028166352 139709982611355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31569] ppid=31553 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31555/task/31569/stat : 31569 (java) S 31553 31553 23783 0 -1 1077944384 552 0 0 0 1 0 0 0 20 0 20 0 511006676 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709027112944 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31570] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31570/stat : 31570 (java) S 31553 31553 23783 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 511006676 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709026060400 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31571] ppid=31553 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/31555/task/31571/stat : 31571 (java) S 31553 31553 23783 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 20 0 511006676 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709025007856 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31572] ppid=31553 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/31555/task/31572/stat : 31572 (java) S 31553 31553 23783 0 -1 1077944384 733 0 0 0 7 0 0 0 20 0 20 0 511006676 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709023955312 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31573] ppid=31553 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31573/stat : 31573 (java) S 31553 31553 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006676 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709022903008 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31574] ppid=31553 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31555/task/31574/stat : 31574 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006676 28904853504 10239 33554432000 4194304 4196468 140731852279328 139709021850544 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42404 KiB [startup+0.310862 s]* /proc/loadavg: 7.47 8.00 8.01 4/212 31574 /proc/meminfo: memFree=25438856/32770688 swapFree=66927640/67108860 [pid=31553] ppid=31550 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31553/stat : 31553 (xcsp3-exec) S 31550 31553 23783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511006669 115843072 362 33554432000 4194304 5098028 140733892047504 140733892045608 140288379581052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25219072 140733892051836 140733892052078 140733892052078 140733892054986 0 /proc/31553/statm: 28282 362 304 221 0 87 0 [pid=31555] ppid=31553 vsize=28231652 memory=46732 CPUtime=0.52 cores=0-7 /proc/31555/stat : 31555 (java) S 31553 31553 23783 0 -1 1077944320 10575 0 0 0 48 4 0 0 20 0 20 0 511006669 28909211648 11683 33554432000 4194304 4196468 140731852279328 140731852261872 139709982592759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 /proc/31555/statm: 7057913 11683 3327 1 0 7019032 0 [pid=31555/tid=31556] ppid=31553 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/31555/task/31556/stat : 31556 (java) R 31553 31553 23783 0 -1 4202560 7573 0 0 0 27 2 0 0 20 0 20 0 511006670 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709986816384 139709966673246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31557] ppid=31553 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31557/stat : 31557 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709935213328 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31558] ppid=31553 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31558/stat : 31558 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709934160784 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31559] ppid=31553 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31559/stat : 31559 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709933108240 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31560] ppid=31553 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31560/stat : 31560 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006671 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709932055696 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31561] ppid=31553 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/31555/task/31561/stat : 31561 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709931002128 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31562] ppid=31553 vsize=28231652 memory=140238735373231 CPUtime=0 cores=0-7 /proc/31555/task/31562/stat : 31562 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709929949584 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31563] ppid=31553 vsize=28231652 memory=140238735375536 CPUtime=0 cores=0-7 /proc/31555/task/31563/stat : 31563 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006671 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709928897040 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31564] ppid=31553 vsize=28231652 memory=140238735377840 CPUtime=0 cores=0-7 /proc/31555/task/31564/stat : 31564 (java) S 31553 31553 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006671 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709927844496 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31565] ppid=31553 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31565/stat : 31565 (java) S 31553 31553 23783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511006672 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709031324144 139709982603906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31566] ppid=31553 vsize=28231652 memory=280477470762640 CPUtime=0 cores=0-7 /proc/31555/task/31566/stat : 31566 (java) S 31553 31553 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511006673 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709030270368 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31567] ppid=31553 vsize=28231652 memory=280477470769552 CPUtime=0 cores=0-7 /proc/31555/task/31567/stat : 31567 (java) S 31553 31553 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511006673 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709029217776 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31568] ppid=31553 vsize=28231652 memory=280477470710832 CPUtime=0 cores=0-7 /proc/31555/task/31568/stat : 31568 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006676 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709028166352 139709982611355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31569] ppid=31553 vsize=28231652 memory=280477470783376 CPUtime=0.02 cores=0-7 /proc/31555/task/31569/stat : 31569 (java) S 31553 31553 23783 0 -1 1077944384 562 0 0 0 2 0 0 0 20 0 20 0 511006676 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709027112944 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31570] ppid=31553 vsize=28231652 memory=280477470790288 CPUtime=0.02 cores=0-7 /proc/31555/task/31570/stat : 31570 (java) S 31553 31553 23783 0 -1 1077944384 56 0 0 0 2 0 0 0 20 0 20 0 511006676 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709026060400 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31571] ppid=31553 vsize=28231652 memory=280477470787984 CPUtime=0.02 cores=0-7 /proc/31555/task/31571/stat : 31571 (java) S 31553 31553 23783 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 511006676 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709025007856 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31572] ppid=31553 vsize=28231652 memory=280477470804144 CPUtime=0.12 cores=0-7 /proc/31555/task/31572/stat : 31572 (java) S 31553 31553 23783 0 -1 1077944384 814 0 0 0 12 0 0 0 20 0 20 0 511006676 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709023955312 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31573] ppid=31553 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31573/stat : 31573 (java) S 31553 31553 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006676 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709022903008 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31574] ppid=31553 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/31555/task/31574/stat : 31574 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006676 28909211648 11683 33554432000 4194304 4196468 140731852279328 139709021850544 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48180 KiB [startup+0.700977 s] /proc/loadavg: 7.47 8.00 8.01 5/212 31574 /proc/meminfo: memFree=25420604/32770688 swapFree=66927640/67108860 [pid=31553] ppid=31550 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31553/stat : 31553 (xcsp3-exec) S 31550 31553 23783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511006669 115843072 362 33554432000 4194304 5098028 140733892047504 140733892045608 140288379581052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25219072 140733892051836 140733892052078 140733892052078 140733892054986 0 /proc/31553/statm: 28282 362 304 221 0 87 0 [pid=31555] ppid=31553 vsize=28233776 memory=96572 CPUtime=1.86 cores=0-7 /proc/31555/stat : 31555 (java) S 31553 31553 23783 0 -1 1077944320 14811 0 0 0 180 6 0 0 20 0 20 0 511006669 28911386624 24143 33554432000 4194304 4196468 140731852279328 140731852261872 139709982592759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 /proc/31555/statm: 7058444 24143 3448 1 0 7019544 0 [pid=31555/tid=31556] ppid=31553 vsize=28233776 memory=280477471162032 CPUtime=0.67 cores=0-7 /proc/31555/task/31556/stat : 31556 (java) R 31553 31553 23783 0 -1 4202560 8450 0 0 0 64 3 0 0 20 0 20 0 511006670 28911386624 24143 33554432000 4194304 4196468 140731852279328 139709986829760 139709982604694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31557] ppid=31553 vsize=28233776 memory=140238735582064 CPUtime=0 cores=0-7 /proc/31555/task/31557/stat : 31557 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28911386624 24143 33554432000 4194304 4196468 140731852279328 139709935213328 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31558] ppid=31553 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31558/stat : 31558 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28911386624 24143 33554432000 4194304 4196468 140731852279328 139709934160784 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31559] ppid=31553 vsize=28233776 memory=2828 CPUtime=0 cores=0-7 /proc/31555/task/31559/stat : 31559 (java) S 31553 31553 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006671 28911386624 24143 33554432000 4194304 4196468 140731852279328 139709933108240 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 ################ # More data... # ################ [pid=31555/tid=31582] ppid=31553 vsize=28768336 memory=137704704575978 CPUtime=151.9 cores=0-7 /proc/31555/task/31582/stat : 31582 (java) R 31553 31553 23783 0 -1 4202560 1647 0 0 0 15180 10 0 0 20 0 28 0 511007060 29458776064 674384 33554432000 4194304 4196468 140731852279328 139709003402904 139709611548689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 Current children cumulated CPU time: 1250.41 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2698984 KiB [startup+222.302 s] /proc/loadavg: 7.99 8.11 8.06 10/219 31629 /proc/meminfo: memFree=22382556/32770688 swapFree=66927640/67108860 [pid=31553] ppid=31550 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31553/stat : 31553 (xcsp3-exec) S 31550 31553 23783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511006669 115843072 362 33554432000 4194304 5098028 140733892047504 140733892045608 140288379581052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25219072 140733892051836 140733892052078 140733892052078 140733892054986 0 /proc/31553/statm: 28282 362 304 221 0 87 0 [pid=31555] ppid=31553 vsize=28768336 memory=3098880 CPUtime=1710.44 cores=0-7 /proc/31555/stat : 31555 (java) S 31553 31553 23783 0 -1 1077944320 182543 0 0 0 170665 379 0 0 20 0 28 0 511006669 29458776064 774720 33554432000 4194304 4196468 140731852279328 140731852261872 139709982592759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 /proc/31555/statm: 7192084 774720 3560 1 0 7153184 0 [pid=31555/tid=31556] ppid=31553 vsize=28768336 memory=3098612 CPUtime=3.61 cores=0-7 /proc/31555/task/31556/stat : 31556 (java) S 31553 31553 23783 0 -1 1077944384 13331 0 0 0 349 12 0 0 20 0 28 0 511006670 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709986833536 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31557] ppid=31553 vsize=28768336 memory=3098880 CPUtime=1.73 cores=0-7 /proc/31555/task/31557/stat : 31557 (java) S 31553 31553 23783 0 -1 1077944384 1057 0 0 0 160 13 0 0 20 0 28 0 511006671 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709935213328 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31558] ppid=31553 vsize=28768336 memory=3098880 CPUtime=1.8 cores=0-7 /proc/31555/task/31558/stat : 31558 (java) S 31553 31553 23783 0 -1 1077944384 2650 0 0 0 166 14 0 0 20 0 28 0 511006671 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709934160784 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31559] ppid=31553 vsize=28768336 memory=3098880 CPUtime=1.77 cores=0-7 /proc/31555/task/31559/stat : 31559 (java) S 31553 31553 23783 0 -1 1077944384 1570 0 0 0 158 19 0 0 20 0 28 0 511006671 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709933108240 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31560] ppid=31553 vsize=28768336 memory=3098880 CPUtime=1.71 cores=0-7 /proc/31555/task/31560/stat : 31560 (java) S 31553 31553 23783 0 -1 1077944384 2101 0 0 0 158 13 0 0 20 0 28 0 511006671 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709932055696 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31561] ppid=31553 vsize=28768336 memory=3098880 CPUtime=1.79 cores=0-7 /proc/31555/task/31561/stat : 31561 (java) S 31553 31553 23783 0 -1 1077944384 730 0 0 0 165 14 0 0 20 0 28 0 511006671 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709931002128 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31562] ppid=31553 vsize=28768336 memory=1448 CPUtime=1.77 cores=0-7 /proc/31555/task/31562/stat : 31562 (java) S 31553 31553 23783 0 -1 1077944384 1907 0 0 0 163 14 0 0 20 0 28 0 511006671 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709929949584 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31563] ppid=31553 vsize=28768336 memory=1448 CPUtime=1.77 cores=0-7 /proc/31555/task/31563/stat : 31563 (java) S 31553 31553 23783 0 -1 1077944384 927 0 0 0 165 12 0 0 20 0 28 0 511006671 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709928897040 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31564] ppid=31553 vsize=28768336 memory=3098880 CPUtime=1.78 cores=0-7 /proc/31555/task/31564/stat : 31564 (java) S 31553 31553 23783 0 -1 1077944384 2255 0 0 0 162 16 0 0 20 0 28 0 511006671 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709927844496 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31565] ppid=31553 vsize=28768336 memory=0 CPUtime=3.82 cores=0-7 /proc/31555/task/31565/stat : 31565 (java) S 31553 31553 23783 0 -1 1077944384 11771 0 0 0 366 16 0 0 20 0 28 0 511006672 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709031324144 139709982603906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31566] ppid=31553 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/31555/task/31566/stat : 31566 (java) S 31553 31553 23783 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 511006673 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709030270432 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31567] ppid=31553 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/31555/task/31567/stat : 31567 (java) S 31553 31553 23783 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 511006673 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709029217792 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31568] ppid=31553 vsize=28768336 memory=980 CPUtime=0 cores=0-7 /proc/31555/task/31568/stat : 31568 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511006676 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709028166352 139709982611355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31569] ppid=31553 vsize=28768336 memory=3624 CPUtime=5.31 cores=0-7 /proc/31555/task/31569/stat : 31569 (java) S 31553 31553 23783 0 -1 1077944384 27703 0 0 0 523 8 0 0 20 0 28 0 511006676 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709027112944 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31570] ppid=31553 vsize=28768336 memory=75360 CPUtime=5.02 cores=0-7 /proc/31555/task/31570/stat : 31570 (java) S 31553 31553 23783 0 -1 1077944384 21889 0 0 0 498 4 0 0 20 0 28 0 511006676 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709026060400 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31571] ppid=31553 vsize=28768336 memory=75360 CPUtime=4.98 cores=0-7 /proc/31555/task/31571/stat : 31571 (java) S 31553 31553 23783 0 -1 1077944384 23598 0 0 0 494 4 0 0 20 0 28 0 511006676 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709025007856 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31572] ppid=31553 vsize=28768336 memory=984 CPUtime=1.16 cores=0-7 /proc/31555/task/31572/stat : 31572 (java) S 31553 31553 23783 0 -1 1077944384 16236 0 0 0 113 3 0 0 20 0 28 0 511006676 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709023955312 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31573] ppid=31553 vsize=28768336 memory=140243186366079 CPUtime=0 cores=0-7 /proc/31555/task/31573/stat : 31573 (java) S 31553 31553 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511006676 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709022903008 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31574] ppid=31553 vsize=28768336 memory=275754080335497 CPUtime=0.13 cores=0-7 /proc/31555/task/31574/stat : 31574 (java) S 31553 31553 23783 0 -1 1077944384 2238 0 0 0 3 10 0 0 20 0 28 0 511006676 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709021850544 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31622] ppid=31553 vsize=28768336 memory=3098880 CPUtime=3.22 cores=0-7 /proc/31555/task/31622/stat : 31622 (java) R 31553 31553 23783 0 -1 4202560 478 0 0 0 322 0 0 0 20 0 28 0 511028575 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709008665848 139709609766307 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31623] ppid=31553 vsize=28768336 memory=1448 CPUtime=3.21 cores=0-7 /proc/31555/task/31623/stat : 31623 (java) R 31553 31553 23783 0 -1 4202560 124 0 0 0 321 0 0 0 20 0 28 0 511028575 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709004456296 139709609383512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31624] ppid=31553 vsize=28768336 memory=1448 CPUtime=3.22 cores=0-7 /proc/31555/task/31624/stat : 31624 (java) R 31553 31553 23783 0 -1 4202560 107 0 0 0 322 0 0 0 20 0 28 0 511028575 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709006560936 139709609654723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31625] ppid=31553 vsize=28768336 memory=3098880 CPUtime=3.22 cores=0-7 /proc/31555/task/31625/stat : 31625 (java) R 31553 31553 23783 0 -1 4202560 779 0 0 0 322 0 0 0 20 0 28 0 511028575 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709007613752 139709609383413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31626] ppid=31553 vsize=28768336 memory=1448 CPUtime=3.15 cores=0-7 /proc/31555/task/31626/stat : 31626 (java) R 31553 31553 23783 0 -1 4202560 339 0 0 0 315 0 0 0 20 0 28 0 511028575 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709009719272 139709610229341 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31627] ppid=31553 vsize=28768336 memory=1448 CPUtime=3.21 cores=0-7 /proc/31555/task/31627/stat : 31627 (java) R 31553 31553 23783 0 -1 4202560 196 0 0 0 321 0 0 0 20 0 28 0 511028575 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709005507472 139709611548006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31628] ppid=31553 vsize=28768336 memory=3624 CPUtime=3.22 cores=0-7 /proc/31555/task/31628/stat : 31628 (java) R 31553 31553 23783 0 -1 4202560 115 0 0 0 322 0 0 0 20 0 28 0 511028575 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709010771944 139709609383544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31629] ppid=31553 vsize=28768336 memory=75360 CPUtime=3.22 cores=0-7 /proc/31555/task/31629/stat : 31629 (java) R 31553 31553 23783 0 -1 4202560 187 0 0 0 322 0 0 0 20 0 28 0 511028575 29458776064 774720 33554432000 4194304 4196468 140731852279328 139709003402952 139709609383395 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 Current children cumulated CPU time: 1710.44 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 3100328 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 7.99 8.10 8.06 11/219 31639 /proc/meminfo: memFree=22292900/32770688 swapFree=66927640/67108860 [pid=31553] ppid=31550 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31553/stat : 31553 (xcsp3-exec) S 31550 31553 23783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511006669 115843072 362 33554432000 4194304 5098028 140733892047504 140733892045608 140288379581052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25219072 140733892051836 140733892052078 140733892052078 140733892054986 0 /proc/31553/statm: 28282 362 304 221 0 87 0 [pid=31555] ppid=31553 vsize=28768336 memory=3187336 CPUtime=1946.06 cores=0-7 /proc/31555/stat : 31555 (java) S 31553 31553 23783 0 -1 1077944320 202015 0 0 0 194216 390 0 0 20 0 28 0 511006669 29458776064 796834 33554432000 4194304 4196468 140731852279328 140731852261872 139709982592759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 /proc/31555/statm: 7192084 796834 3560 1 0 7153184 0 [pid=31555/tid=31556] ppid=31553 vsize=28768336 memory=6791534058613427641 CPUtime=3.61 cores=0-7 /proc/31555/task/31556/stat : 31556 (java) S 31553 31553 23783 0 -1 1077944384 13530 0 0 0 349 12 0 0 20 0 28 0 511006670 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709986833536 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31557] ppid=31553 vsize=28768336 memory=4872558044660077418 CPUtime=1.83 cores=0-7 /proc/31555/task/31557/stat : 31557 (java) S 31553 31553 23783 0 -1 1077944384 1154 0 0 0 168 15 0 0 20 0 28 0 511006671 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709935213328 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31558] ppid=31553 vsize=28768336 memory=1556 CPUtime=1.89 cores=0-7 /proc/31555/task/31558/stat : 31558 (java) S 31553 31553 23783 0 -1 1077944384 3128 0 0 0 175 14 0 0 20 0 28 0 511006671 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709934160784 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31559] ppid=31553 vsize=28768336 memory=1448 CPUtime=1.86 cores=0-7 /proc/31555/task/31559/stat : 31559 (java) S 31553 31553 23783 0 -1 1077944384 1656 0 0 0 167 19 0 0 20 0 28 0 511006671 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709933108240 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31560] ppid=31553 vsize=28768336 memory=0 CPUtime=1.81 cores=0-7 /proc/31555/task/31560/stat : 31560 (java) S 31553 31553 23783 0 -1 1077944384 2212 0 0 0 168 13 0 0 20 0 28 0 511006671 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709932055696 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31561] ppid=31553 vsize=28768336 memory=8292088564187963537 CPUtime=1.88 cores=0-7 /proc/31555/task/31561/stat : 31561 (java) S 31553 31553 23783 0 -1 1077944384 811 0 0 0 174 14 0 0 20 0 28 0 511006671 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709931002128 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31562] ppid=31553 vsize=28768336 memory=5787213912678088808 CPUtime=1.87 cores=0-7 /proc/31555/task/31562/stat : 31562 (java) S 31553 31553 23783 0 -1 1077944384 1963 0 0 0 173 14 0 0 20 0 28 0 511006671 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709929949584 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31563] ppid=31553 vsize=28768336 memory=1176 CPUtime=1.86 cores=0-7 /proc/31555/task/31563/stat : 31563 (java) S 31553 31553 23783 0 -1 1077944384 1154 0 0 0 174 12 0 0 20 0 28 0 511006671 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709928897040 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31564] ppid=31553 vsize=28768336 memory=2241 CPUtime=1.88 cores=0-7 /proc/31555/task/31564/stat : 31564 (java) S 31553 31553 23783 0 -1 1077944384 2722 0 0 0 171 17 0 0 20 0 28 0 511006671 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709927844496 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31565] ppid=31553 vsize=28768336 memory=2244 CPUtime=3.82 cores=0-7 /proc/31555/task/31565/stat : 31565 (java) S 31553 31553 23783 0 -1 1077944384 12221 0 0 0 366 16 0 0 20 0 28 0 511006672 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709031324144 139709982603906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31566] ppid=31553 vsize=28768336 memory=3716 CPUtime=0 cores=0-7 /proc/31555/task/31566/stat : 31566 (java) S 31553 31553 23783 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 511006673 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709030270432 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31567] ppid=31553 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/31555/task/31567/stat : 31567 (java) S 31553 31553 23783 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 511006673 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709029217792 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31568] ppid=31553 vsize=28768336 memory=3113216 CPUtime=0 cores=0-7 /proc/31555/task/31568/stat : 31568 (java) S 31553 31553 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511006676 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709028166352 139709982611355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31569] ppid=31553 vsize=28768336 memory=6791534058613427641 CPUtime=5.41 cores=0-7 /proc/31555/task/31569/stat : 31569 (java) S 31553 31553 23783 0 -1 1077944384 30151 0 0 0 533 8 0 0 20 0 28 0 511006676 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709027112944 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31570] ppid=31553 vsize=28768336 memory=4872558044660077418 CPUtime=5.04 cores=0-7 /proc/31555/task/31570/stat : 31570 (java) S 31553 31553 23783 0 -1 1077944384 22114 0 0 0 500 4 0 0 20 0 28 0 511006676 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709026060400 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31571] ppid=31553 vsize=28768336 memory=1560 CPUtime=5.09 cores=0-7 /proc/31555/task/31571/stat : 31571 (java) S 31553 31553 23783 0 -1 1077944384 27455 0 0 0 504 5 0 0 20 0 28 0 511006676 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709025007856 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31572] ppid=31553 vsize=28768336 memory=288230591722422566 CPUtime=1.17 cores=0-7 /proc/31555/task/31572/stat : 31572 (java) S 31553 31553 23783 0 -1 1077944384 18215 0 0 0 114 3 0 0 20 0 28 0 511006676 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709023955312 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31573] ppid=31553 vsize=28768336 memory=111632 CPUtime=0 cores=0-7 /proc/31555/task/31573/stat : 31573 (java) S 31553 31553 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511006676 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709022903008 139709982602965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31574] ppid=31553 vsize=28768336 memory=800 CPUtime=0.14 cores=0-7 /proc/31555/task/31574/stat : 31574 (java) S 31553 31553 23783 0 -1 1077944384 2859 0 0 0 3 11 0 0 20 0 28 0 511006676 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709021850544 139709982603906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31630] ppid=31553 vsize=28768336 memory=1808 CPUtime=27.26 cores=0-7 /proc/31555/task/31630/stat : 31630 (java) R 31553 31553 23783 0 -1 4202560 630 0 0 0 2725 1 0 0 20 0 28 0 511029127 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709005507832 139709608949317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31631] ppid=31553 vsize=28768336 memory=924 CPUtime=27.32 cores=0-7 /proc/31555/task/31631/stat : 31631 (java) R 31553 31553 23783 0 -1 4202560 322 0 0 0 2732 0 0 0 20 0 28 0 511029127 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709009719656 139709608875103 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31632] ppid=31553 vsize=28768336 memory=4592 CPUtime=27.32 cores=0-7 /proc/31555/task/31632/stat : 31632 (java) R 31553 31553 23783 0 -1 4202560 482 0 0 0 2732 0 0 0 20 0 28 0 511029127 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709008666184 139709609383597 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31633] ppid=31553 vsize=28768336 memory=4112 CPUtime=27.33 cores=0-7 /proc/31555/task/31633/stat : 31633 (java) R 31553 31553 23783 0 -1 4202560 3665 0 0 0 2731 2 0 0 20 0 28 0 511029127 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709010774768 139709611390644 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31634] ppid=31553 vsize=28768336 memory=1656 CPUtime=27.32 cores=0-7 /proc/31555/task/31634/stat : 31634 (java) R 31553 31553 23783 0 -1 4202560 625 0 0 0 2732 0 0 0 20 0 28 0 511029127 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709003403112 139709608875076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31635] ppid=31553 vsize=28768336 memory=1412 CPUtime=27.2 cores=0-7 /proc/31555/task/31635/stat : 31635 (java) R 31553 31553 23783 0 -1 4202560 951 0 0 0 2720 0 0 0 20 0 28 0 511029127 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709007616136 139709609383413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31636] ppid=31553 vsize=28768336 memory=3716 CPUtime=26.93 cores=0-7 /proc/31555/task/31636/stat : 31636 (java) R 31553 31553 23783 0 -1 4202560 487 0 0 0 2693 0 0 0 20 0 28 0 511029127 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709004455768 139709609383608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 [pid=31555/tid=31637] ppid=31553 vsize=28768336 memory=1448 CPUtime=27.04 cores=0-7 /proc/31555/task/31637/stat : 31637 (java) R 31553 31553 23783 0 -1 4202560 314 0 0 0 2704 0 0 0 20 0 28 0 511029128 29458776064 796834 33554432000 4194304 4196468 140731852279328 139709006561184 139709608875042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140731852284912 140731852285083 140731852285083 140731852287951 0 Current children cumulated CPU time: 1946.06 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 3188784 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.057 s] # the end of solver process 31553 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001257 s, system=0.001257 s [startup+252.124 s] # the end of solver process 31555 was just reported to runsolver # cumulated CPU time of all completed processes: user=1942.8 s, system=3.93143 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.124 CPU time (s): 1946.73 CPU user time (s): 1942.8 CPU system time (s): 3.93143 CPU usage (%): 772.13 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 3188784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1942.8 system time used= 3.93143 maximum resident set size= 3187752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 204384 page faults= 0 swaps= 0 block input operations= 0 block output operations= 592 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12447 involuntary context switches= 24098 # summary of solver processes directly reported to runsolver: # pid: 31553,31555 # total CPU time (s): 1946.73 # total CPU user time (s): 1942.8 # total CPU system time (s): 3.93143 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.42849 second user time and 3.42882 second system time The end
Begin job on node120 at 2011-12-26 02:53:46 IDJOB=4407508 IDBENCH=141210 IDSOLVER=2872 FILE ID=node120/4407508-1569350005 RUNJOBID= node120-1324850400-23810 PBS_JOBID= 21705064 Free space on /tmp= 23412 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-08-opt_c18.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-4407508-1569350005/watcher-4407508-1569350005 -o /tmp/evaluation-result-4407508-1569350005/solver-4407508-1569350005 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324850400-23810 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 708794815 HOME/instance-4407508-1569350005.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= edb7fc8f5d274005fc89ddd50225e87c RANDOM SEED=708794815 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 25471792 kB MemAvailable: 31773640 kB Buffers: 111592 kB Cached: 6466048 kB SwapCached: 68820 kB Active: 3253352 kB Inactive: 3398368 kB Active(anon): 4624 kB Inactive(anon): 133816 kB Active(file): 3248728 kB Inactive(file): 3264552 kB Unevictable: 107952 kB Mlocked: 107952 kB SwapTotal: 67108860 kB SwapFree: 66927640 kB Dirty: 25884 kB Writeback: 0 kB AnonPages: 113716 kB Mapped: 63900 kB Shmem: 55948 kB Slab: 238156 kB SReclaimable: 208808 kB SUnreclaim: 29348 kB KernelStack: 3376 kB PageTables: 6412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 531464 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 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: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 23384 MiB End job on node120 at 2011-12-26 02:57:58