Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | SAT | 4591.52 | 577.08 |
Name | PseudoBoolean/PseudoBoolean-dec-armies/ Pb-army12-21ls.xml |
MD5SUM | 23e4294b931acf98fdd35eb0662a4341 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 470.531 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 428 |
Number of constraints | 644 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":428}] |
Minimum variable degree | 3 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":296},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":8},{"degree":14,"count":52}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 144 |
Distribution of constraint arities | [{"arity":2,"count":222},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":296},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":8},{"arity":13,"count":52},{"arity":144,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":644}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393752-1568437902.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393752-1568437902.xml, -tl, 20160s, -p, 8] 0.34/0.23 c 8 solvers in parallel 0.34/0.29 c parse instance... 2.58/0.94 c solve instance... 4591.44/577.02 s SATISFIABLE 4591.44/577.02 v <instantiation> 4591.44/577.02 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] </list> 4591.44/577.02 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 </values> 4591.44/577.02 v </instantiation>
OK
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 (14380 MiB free) memory of node 1: 16384 MiB (15163 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393752-1568437902/watcher-4393752-1568437902 -o /tmp/evaluation-result-4393752-1568437902/solver-4393752-1568437902 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568437264-31194 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2089532786 HOME/instance-4393752-1568437902.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=32258, runsolver pid=32255 Current StackSize limit: 8192 KiB [startup+0.100093 s]* /proc/loadavg: 6.19 6.42 4.93 2/216 32279 /proc/meminfo: memFree=30236492/32770624 swapFree=66916668/67108860 [pid=32258] ppid=32255 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/32258/stat : 32258 (xcsp3-exec) S 32255 32258 31167 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420040752 115843072 363 33554432000 4194304 5098028 140731515888160 140731515886264 140328687006332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34291712 140731515892597 140731515892841 140731515892841 140731515895754 0 /proc/32258/statm: 28282 363 304 221 0 87 0 [pid=32260] ppid=32258 vsize=28227388 memory=30060 CPUtime=0.13 cores=0-7 /proc/32260/stat : 32260 (java) S 32258 32258 31167 0 -1 1077944320 5993 0 0 0 11 2 0 0 20 0 20 0 420040752 28904845312 7515 33554432000 4194304 4196468 140727279729808 140727279712352 140014726995703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 /proc/32260/statm: 7056847 7515 3115 1 0 7019032 0 [pid=32260/tid=32261] ppid=32258 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/32260/task/32261/stat : 32261 (java) R 32258 32258 31167 0 -1 4202560 3895 0 0 0 8 1 0 0 20 0 20 0 420040752 28904845312 7515 33554432000 4194304 4196468 140727279729808 140014731230240 140014727007638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32262] ppid=32258 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/32260/task/32262/stat : 32262 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 7515 33554432000 4194304 4196468 140727279729808 140014679616144 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32263] ppid=32258 vsize=28227388 memory=140613382432384 CPUtime=0 cores=0-7 /proc/32260/task/32263/stat : 32263 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 7515 33554432000 4194304 4196468 140727279729808 140014678563344 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32264] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32264/stat : 32264 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 7515 33554432000 4194304 4196468 140727279729808 140014677510544 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32265] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32265/stat : 32265 (java) S 32258 32258 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 7515 33554432000 4194304 4196468 140727279729808 140014676457744 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32266] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32266/stat : 32266 (java) S 32258 32258 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 7515 33554432000 4194304 4196468 140727279729808 140014675405968 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32267] ppid=32258 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/32260/task/32267/stat : 32267 (java) S 32258 32258 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 7515 33554432000 4194304 4196468 140727279729808 140014674353168 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32268] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32268/stat : 32268 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 7515 33554432000 4194304 4196468 140727279729808 140014673300368 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32269] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32269/stat : 32269 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 7515 33554432000 4194304 4196468 140727279729808 140014672247568 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32270] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32270/stat : 32270 (java) S 32258 32258 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420040755 28904845312 7515 33554432000 4194304 4196468 140727279729808 140013240015216 140014727006850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32271] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32271/stat : 32271 (java) S 32258 32258 31167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420040755 28904845312 7515 33554432000 4194304 4196468 140727279729808 140013238961184 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32272] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32272/stat : 32272 (java) S 32258 32258 31167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420040755 28904845312 7515 33554432000 4194304 4196468 140727279729808 140013237908336 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32273] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32273/stat : 32273 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040758 28904845312 7515 33554432000 4194304 4196468 140727279729808 140013236856656 140014727014299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32274] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32274/stat : 32274 (java) S 32258 32258 31167 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 420040758 28904845312 7515 33554432000 4194304 4196468 140727279729808 140013235805040 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32275] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32275/stat : 32275 (java) S 32258 32258 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420040758 28904845312 7515 33554432000 4194304 4196468 140727279729808 140013234752240 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32276] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32276/stat : 32276 (java) S 32258 32258 31167 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420040758 28904845312 7515 33554432000 4194304 4196468 140727279729808 140013233699440 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32277] ppid=32258 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/32260/task/32277/stat : 32277 (java) R 32258 32258 31167 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 420040758 28904845312 7515 33554432000 4194304 4196468 140727279729808 140013232646640 140014727009590 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32278] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32278/stat : 32278 (java) S 32258 32258 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420040758 28904845312 7515 33554432000 4194304 4196468 140727279729808 140013231594080 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32279] ppid=32258 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/32260/task/32279/stat : 32279 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040758 28904845312 7515 33554432000 4194304 4196468 140727279729808 140013230541360 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31512 KiB [startup+0.210475 s]* /proc/loadavg: 6.19 6.42 4.93 3/216 32279 /proc/meminfo: memFree=30225800/32770624 swapFree=66916668/67108860 [pid=32258] ppid=32255 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/32258/stat : 32258 (xcsp3-exec) S 32255 32258 31167 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420040752 115843072 363 33554432000 4194304 5098028 140731515888160 140731515886264 140328687006332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34291712 140731515892597 140731515892841 140731515892841 140731515895754 0 /proc/32258/statm: 28282 363 304 221 0 87 0 [pid=32260] ppid=32258 vsize=28227388 memory=40412 CPUtime=0.34 cores=0-7 /proc/32260/stat : 32260 (java) S 32258 32258 31167 0 -1 1077944320 9393 0 0 0 31 3 0 0 20 0 20 0 420040752 28904845312 10103 33554432000 4194304 4196468 140727279729808 140727279712352 140014726995703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 /proc/32260/statm: 7056847 10103 3256 1 0 7019032 0 [pid=32260/tid=32261] ppid=32258 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/32260/task/32261/stat : 32261 (java) R 32258 32258 31167 0 -1 4202560 6646 0 0 0 17 2 0 0 20 0 20 0 420040752 28904845312 10103 33554432000 4194304 4196468 140727279729808 140014731226240 140014727017629 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32262] ppid=32258 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/32260/task/32262/stat : 32262 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 10103 33554432000 4194304 4196468 140727279729808 140014679616144 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32263] ppid=32258 vsize=28227388 memory=140613385618217 CPUtime=0 cores=0-7 /proc/32260/task/32263/stat : 32263 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 10103 33554432000 4194304 4196468 140727279729808 140014678563344 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32264] ppid=32258 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/32260/task/32264/stat : 32264 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 10103 33554432000 4194304 4196468 140727279729808 140014677510544 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32265] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32265/stat : 32265 (java) S 32258 32258 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 10103 33554432000 4194304 4196468 140727279729808 140014676457744 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32266] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32266/stat : 32266 (java) S 32258 32258 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 10103 33554432000 4194304 4196468 140727279729808 140014675405968 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32267] ppid=32258 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/32260/task/32267/stat : 32267 (java) S 32258 32258 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 10103 33554432000 4194304 4196468 140727279729808 140014674353168 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32268] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32268/stat : 32268 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 10103 33554432000 4194304 4196468 140727279729808 140014673300368 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32269] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32269/stat : 32269 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28904845312 10103 33554432000 4194304 4196468 140727279729808 140014672247568 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32270] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32270/stat : 32270 (java) S 32258 32258 31167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420040755 28904845312 10103 33554432000 4194304 4196468 140727279729808 140013240015216 140014727006850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32271] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32271/stat : 32271 (java) S 32258 32258 31167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420040755 28904845312 10103 33554432000 4194304 4196468 140727279729808 140013238961184 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32272] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32272/stat : 32272 (java) S 32258 32258 31167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420040755 28904845312 10103 33554432000 4194304 4196468 140727279729808 140013237908336 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32273] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32273/stat : 32273 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040758 28904845312 10103 33554432000 4194304 4196468 140727279729808 140013236856656 140014727014299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32274] ppid=32258 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/32260/task/32274/stat : 32274 (java) S 32258 32258 31167 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 20 0 420040758 28904845312 10103 33554432000 4194304 4196468 140727279729808 140013235805040 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32275] ppid=32258 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/32260/task/32275/stat : 32275 (java) S 32258 32258 31167 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 420040758 28904845312 10103 33554432000 4194304 4196468 140727279729808 140013234752240 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32276] ppid=32258 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/32260/task/32276/stat : 32276 (java) S 32258 32258 31167 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 20 0 420040758 28904845312 10103 33554432000 4194304 4196468 140727279729808 140013233699440 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32277] ppid=32258 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/32260/task/32277/stat : 32277 (java) R 32258 32258 31167 0 -1 4202560 778 0 0 0 8 0 0 0 20 0 20 0 420040758 28904845312 10103 33554432000 4194304 4196468 140727279729808 140013232646640 140014706423164 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32278] ppid=32258 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32278/stat : 32278 (java) S 32258 32258 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420040758 28904845312 10103 33554432000 4194304 4196468 140727279729808 140013231594080 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32279] ppid=32258 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/32260/task/32279/stat : 32279 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040758 28904845312 10103 33554432000 4194304 4196468 140727279729808 140013230541360 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41864 KiB [startup+0.310079 s]* /proc/loadavg: 6.19 6.42 4.93 3/216 32279 /proc/meminfo: memFree=30220796/32770624 swapFree=66916668/67108860 [pid=32258] ppid=32255 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/32258/stat : 32258 (xcsp3-exec) S 32255 32258 31167 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420040752 115843072 363 33554432000 4194304 5098028 140731515888160 140731515886264 140328687006332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34291712 140731515892597 140731515892841 140731515892841 140731515895754 0 /proc/32258/statm: 28282 363 304 221 0 87 0 [pid=32260] ppid=32258 vsize=28231644 memory=48796 CPUtime=0.52 cores=0-7 /proc/32260/stat : 32260 (java) S 32258 32258 31167 0 -1 1077944320 10638 0 0 0 48 4 0 0 20 0 20 0 420040752 28909203456 12199 33554432000 4194304 4196468 140727279729808 140727279712352 140014726995703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 /proc/32260/statm: 7057911 12199 3333 1 0 7019032 0 [pid=32260/tid=32261] ppid=32258 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/32260/task/32261/stat : 32261 (java) R 32258 32258 31167 0 -1 4202560 7659 0 0 0 26 3 0 0 20 0 20 0 420040752 28909203456 12199 33554432000 4194304 4196468 140727279729808 140014731226816 140014719673717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32262] ppid=32258 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32262/stat : 32262 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28909203456 12199 33554432000 4194304 4196468 140727279729808 140014679616144 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32263] ppid=32258 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32263/stat : 32263 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28909203456 12199 33554432000 4194304 4196468 140727279729808 140014678563344 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32264] ppid=32258 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32264/stat : 32264 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28909203456 12199 33554432000 4194304 4196468 140727279729808 140014677510544 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32265] ppid=32258 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32265/stat : 32265 (java) S 32258 32258 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420040753 28909203456 12199 33554432000 4194304 4196468 140727279729808 140014676457744 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32266] ppid=32258 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/32260/task/32266/stat : 32266 (java) S 32258 32258 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420040753 28909203456 12199 33554432000 4194304 4196468 140727279729808 140014675405968 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32267] ppid=32258 vsize=28231644 memory=140613269943215 CPUtime=0 cores=0-7 /proc/32260/task/32267/stat : 32267 (java) S 32258 32258 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420040753 28909203456 12199 33554432000 4194304 4196468 140727279729808 140014674353168 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32268] ppid=32258 vsize=28231644 memory=140613269945520 CPUtime=0 cores=0-7 /proc/32260/task/32268/stat : 32268 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28909203456 12199 33554432000 4194304 4196468 140727279729808 140014673300368 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32269] ppid=32258 vsize=28231644 memory=140613269947824 CPUtime=0 cores=0-7 /proc/32260/task/32269/stat : 32269 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28909203456 12199 33554432000 4194304 4196468 140727279729808 140014672247568 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32270] ppid=32258 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32270/stat : 32270 (java) S 32258 32258 31167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420040755 28909203456 12199 33554432000 4194304 4196468 140727279729808 140013240015216 140014727006850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32271] ppid=32258 vsize=28231644 memory=281226539902608 CPUtime=0 cores=0-7 /proc/32260/task/32271/stat : 32271 (java) S 32258 32258 31167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420040755 28909203456 12199 33554432000 4194304 4196468 140727279729808 140013238961184 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32272] ppid=32258 vsize=28231644 memory=281226539909520 CPUtime=0 cores=0-7 /proc/32260/task/32272/stat : 32272 (java) S 32258 32258 31167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420040755 28909203456 12199 33554432000 4194304 4196468 140727279729808 140013237908336 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32273] ppid=32258 vsize=28231644 memory=281226539850672 CPUtime=0 cores=0-7 /proc/32260/task/32273/stat : 32273 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040758 28909203456 12199 33554432000 4194304 4196468 140727279729808 140013236856656 140014727014299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32274] ppid=32258 vsize=28231644 memory=281226539923344 CPUtime=0.03 cores=0-7 /proc/32260/task/32274/stat : 32274 (java) S 32258 32258 31167 0 -1 1077944384 447 0 0 0 3 0 0 0 20 0 20 0 420040758 28909203456 12199 33554432000 4194304 4196468 140727279729808 140013235805040 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32275] ppid=32258 vsize=28231644 memory=281226539930256 CPUtime=0.03 cores=0-7 /proc/32260/task/32275/stat : 32275 (java) R 32258 32258 31167 0 -1 4202560 131 0 0 0 3 0 0 0 20 0 20 0 420040758 28909203456 12199 33554432000 4194304 4196468 140727279729808 140013234742624 140014713027758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32276] ppid=32258 vsize=28231644 memory=281226539927952 CPUtime=0.01 cores=0-7 /proc/32260/task/32276/stat : 32276 (java) S 32258 32258 31167 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 20 0 420040758 28909203456 12264 33554432000 4194304 4196468 140727279729808 140013233699440 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32277] ppid=32258 vsize=28231644 memory=281226539944112 CPUtime=0.13 cores=0-7 /proc/32260/task/32277/stat : 32277 (java) R 32258 32258 31167 0 -1 4202560 918 0 0 0 13 0 0 0 20 0 20 0 420040758 28909203456 12264 33554432000 4194304 4196468 140727279729808 140013232646640 140014705937240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32278] ppid=32258 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32278/stat : 32278 (java) S 32258 32258 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420040758 28909203456 12264 33554432000 4194304 4196468 140727279729808 140013231594080 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32279] ppid=32258 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/32260/task/32279/stat : 32279 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040758 28909203456 12264 33554432000 4194304 4196468 140727279729808 140013230541360 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50248 KiB [startup+0.700899 s] /proc/loadavg: 6.19 6.42 4.93 4/216 32279 /proc/meminfo: memFree=30205596/32770624 swapFree=66916668/67108860 [pid=32258] ppid=32255 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/32258/stat : 32258 (xcsp3-exec) S 32255 32258 31167 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420040752 115843072 363 33554432000 4194304 5098028 140731515888160 140731515886264 140328687006332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34291712 140731515892597 140731515892841 140731515892841 140731515895754 0 /proc/32258/statm: 28282 363 304 221 0 87 0 [pid=32260] ppid=32258 vsize=28233768 memory=93788 CPUtime=1.73 cores=0-7 /proc/32260/stat : 32260 (java) S 32258 32258 31167 0 -1 1077944320 16189 0 0 0 167 6 0 0 20 0 20 0 420040752 28911378432 23447 33554432000 4194304 4196468 140727279729808 140727279712352 140014726995703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 /proc/32260/statm: 7058442 23447 3456 1 0 7019544 0 [pid=32260/tid=32261] ppid=32258 vsize=28233768 memory=281226540302000 CPUtime=0.68 cores=0-7 /proc/32260/task/32261/stat : 32261 (java) R 32258 32258 31167 0 -1 4202560 9208 0 0 0 64 4 0 0 20 0 20 0 420040752 28911378432 23447 33554432000 4194304 4196468 140727279729808 140014731231584 140014341319544 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32262] ppid=32258 vsize=28233768 memory=140613270152048 CPUtime=0 cores=0-7 /proc/32260/task/32262/stat : 32262 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28911378432 23447 33554432000 4194304 4196468 140727279729808 140014679616144 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32263] ppid=32258 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/32260/task/32263/stat : 32263 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28911378432 23447 33554432000 4194304 4196468 140727279729808 140014678563344 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32264] ppid=32258 vsize=28233768 memory=5996 CPUtime=0 cores=0-7 /proc/32260/task/32264/stat : 32264 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420040753 28911378432 23447 33554432000 4194304 4196468 140727279729808 140014677510544 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 ################ # More data... # ################ [pid=32260/tid=32277] ppid=32258 vsize=28768328 memory=1296 CPUtime=1.04 cores=0-7 /proc/32260/task/32277/stat : 32277 (java) S 32258 32258 31167 0 -1 1077944384 13064 0 0 0 102 2 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013232646640 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32278] ppid=32258 vsize=28768328 memory=1452 CPUtime=0 cores=0-7 /proc/32260/task/32278/stat : 32278 (java) S 32258 32258 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013231594080 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32279] ppid=32258 vsize=28768328 memory=8616308 CPUtime=0.2 cores=0-7 /proc/32260/task/32279/stat : 32279 (java) S 32258 32258 31167 0 -1 1077944384 1106 0 0 0 20 0 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013230541360 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32280] ppid=32258 vsize=28768328 memory=8737796 CPUtime=569.38 cores=0-7 /proc/32260/task/32280/stat : 32280 (java) R 32258 32258 31167 0 -1 4202560 1398 0 0 0 56937 1 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013221567688 140014346487403 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32281] ppid=32258 vsize=28768328 memory=8366856 CPUtime=569.5 cores=0-7 /proc/32260/task/32281/stat : 32281 (java) R 32258 32258 31167 0 -1 4202560 1365 0 0 0 56950 0 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013220519424 140014346487269 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32282] ppid=32258 vsize=28768328 memory=1452 CPUtime=567.43 cores=0-7 /proc/32260/task/32282/stat : 32282 (java) R 32258 32258 31167 0 -1 4202560 28899 0 0 0 56661 82 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013219463256 140014349662558 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32283] ppid=32258 vsize=28768328 memory=8366856 CPUtime=568.93 cores=0-7 /proc/32260/task/32283/stat : 32283 (java) R 32258 32258 31167 0 -1 4202560 25794 0 0 0 56709 184 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013218413808 140014348832251 0 4 0 16800975 0 0 0 -1 2 0 0 32 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32284] ppid=32258 vsize=28768328 memory=6791534058613427641 CPUtime=567.01 cores=0-7 /proc/32260/task/32284/stat : 32284 (java) R 32258 32258 31167 0 -1 4202560 15875 0 0 0 56630 71 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013217357536 140014346487214 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32285] ppid=32258 vsize=28768328 memory=8422252 CPUtime=565.07 cores=0-7 /proc/32260/task/32285/stat : 32285 (java) R 32258 32258 31167 0 -1 4202560 16935 0 0 0 56449 58 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013216305848 140014348500027 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32286] ppid=32258 vsize=28768328 memory=1764 CPUtime=568.56 cores=0-7 /proc/32260/task/32286/stat : 32286 (java) R 32258 32258 31167 0 -1 4202560 1232 0 0 0 56855 1 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013215257016 140014347537423 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32287] ppid=32258 vsize=28768328 memory=2451 CPUtime=567.57 cores=0-7 /proc/32260/task/32287/stat : 32287 (java) R 32258 32258 31167 0 -1 4202560 20912 0 0 0 56655 102 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013214199400 140014348500560 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 Current children cumulated CPU time: 4583.61 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 8368308 KiB [startup+576.802 s] /proc/loadavg: 8.35 8.00 6.49 9/226 32335 /proc/meminfo: memFree=21883756/32770624 swapFree=66916668/67108860 [pid=32258] ppid=32255 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/32258/stat : 32258 (xcsp3-exec) S 32255 32258 31167 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420040752 115843072 363 33554432000 4194304 5098028 140731515888160 140731515886264 140328687006332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34291712 140731515892597 140731515892841 140731515892841 140731515895754 0 /proc/32258/statm: 28282 363 304 221 0 87 0 [pid=32260] ppid=32258 vsize=28768328 memory=8366856 CPUtime=4589.93 cores=0-7 /proc/32260/stat : 32260 (java) S 32258 32258 31167 0 -1 1077944320 250571 0 0 0 457934 1059 0 0 20 0 28 0 420040752 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140727279712352 140014726995703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 /proc/32260/statm: 7192082 2091714 3542 1 0 7153184 0 [pid=32260/tid=32261] ppid=32258 vsize=28768328 memory=6791534058613427641 CPUtime=0.94 cores=0-7 /proc/32260/task/32261/stat : 32261 (java) S 32258 32258 31167 0 -1 1077944384 9383 0 0 0 89 5 0 0 20 0 28 0 420040752 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014731236480 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32262] ppid=32258 vsize=28768328 memory=8366856 CPUtime=3.53 cores=0-7 /proc/32260/task/32262/stat : 32262 (java) S 32258 32258 31167 0 -1 1077944384 4344 0 0 0 289 64 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014679616144 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32263] ppid=32258 vsize=28768328 memory=1556 CPUtime=3.54 cores=0-7 /proc/32260/task/32263/stat : 32263 (java) S 32258 32258 31167 0 -1 1077944384 4982 0 0 0 287 67 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014678563344 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32264] ppid=32258 vsize=28768328 memory=3628 CPUtime=3.56 cores=0-7 /proc/32260/task/32264/stat : 32264 (java) S 32258 32258 31167 0 -1 1077944384 5394 0 0 0 288 68 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014677510544 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32265] ppid=32258 vsize=28768328 memory=40196 CPUtime=3.54 cores=0-7 /proc/32260/task/32265/stat : 32265 (java) S 32258 32258 31167 0 -1 1077944384 3383 0 0 0 290 64 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014676457744 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32266] ppid=32258 vsize=28768328 memory=1452 CPUtime=3.55 cores=0-7 /proc/32260/task/32266/stat : 32266 (java) S 32258 32258 31167 0 -1 1077944384 3902 0 0 0 286 69 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014675405968 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32267] ppid=32258 vsize=28768328 memory=8366856 CPUtime=3.54 cores=0-7 /proc/32260/task/32267/stat : 32267 (java) S 32258 32258 31167 0 -1 1077944384 5041 0 0 0 287 67 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014674353168 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32268] ppid=32258 vsize=28768328 memory=1169 CPUtime=3.51 cores=0-7 /proc/32260/task/32268/stat : 32268 (java) S 32258 32258 31167 0 -1 1077944384 5686 0 0 0 288 63 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014673300368 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32269] ppid=32258 vsize=28768328 memory=247 CPUtime=3.52 cores=0-7 /proc/32260/task/32269/stat : 32269 (java) S 32258 32258 31167 0 -1 1077944384 4703 0 0 0 288 64 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014672247568 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32270] ppid=32258 vsize=28768328 memory=269 CPUtime=0.35 cores=0-7 /proc/32260/task/32270/stat : 32270 (java) S 32258 32258 31167 0 -1 1077944384 18995 0 0 0 30 5 0 0 20 0 28 0 420040755 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013240015216 140014727006850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32271] ppid=32258 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/32260/task/32271/stat : 32271 (java) S 32258 32258 31167 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 420040755 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013238961248 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32272] ppid=32258 vsize=28768328 memory=992 CPUtime=0 cores=0-7 /proc/32260/task/32272/stat : 32272 (java) S 32258 32258 31167 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 420040755 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013237908336 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32273] ppid=32258 vsize=28768328 memory=2044 CPUtime=0 cores=0-7 /proc/32260/task/32273/stat : 32273 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013236856656 140014727014299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32274] ppid=32258 vsize=28768328 memory=1296 CPUtime=2.66 cores=0-7 /proc/32260/task/32274/stat : 32274 (java) S 32258 32258 31167 0 -1 1077944384 15501 0 0 0 263 3 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013235805040 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32275] ppid=32258 vsize=28768328 memory=620 CPUtime=3.16 cores=0-7 /proc/32260/task/32275/stat : 32275 (java) S 32258 32258 31167 0 -1 1077944384 25706 0 0 0 312 4 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013234752240 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32276] ppid=32258 vsize=28768328 memory=4000 CPUtime=3.29 cores=0-7 /proc/32260/task/32276/stat : 32276 (java) S 32258 32258 31167 0 -1 1077944384 15539 0 0 0 326 3 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013233699440 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32277] ppid=32258 vsize=28768328 memory=2828 CPUtime=1.04 cores=0-7 /proc/32260/task/32277/stat : 32277 (java) S 32258 32258 31167 0 -1 1077944384 13064 0 0 0 102 2 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013232646640 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32278] ppid=32258 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/32260/task/32278/stat : 32278 (java) S 32258 32258 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013231594080 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32279] ppid=32258 vsize=28768328 memory=40196 CPUtime=0.2 cores=0-7 /proc/32260/task/32279/stat : 32279 (java) S 32258 32258 31167 0 -1 1077944384 1106 0 0 0 20 0 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013230541360 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32280] ppid=32258 vsize=28768328 memory=992 CPUtime=570.17 cores=0-7 /proc/32260/task/32280/stat : 32280 (java) R 32258 32258 31167 0 -1 4202560 1398 0 0 0 57016 1 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013221567688 140014346629613 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32281] ppid=32258 vsize=28768328 memory=2044 CPUtime=570.29 cores=0-7 /proc/32260/task/32281/stat : 32281 (java) R 32258 32258 31167 0 -1 4202560 1365 0 0 0 57029 0 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013220519424 140014346086158 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32282] ppid=32258 vsize=28768328 memory=1296 CPUtime=568.22 cores=0-7 /proc/32260/task/32282/stat : 32282 (java) R 32258 32258 31167 0 -1 4202560 28934 0 0 0 56739 83 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013219463256 140014350532122 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32283] ppid=32258 vsize=28768328 memory=3628 CPUtime=569.72 cores=0-7 /proc/32260/task/32283/stat : 32283 (java) R 32258 32258 31167 0 -1 4202560 25795 0 0 0 56788 184 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013218413808 140014347882970 0 4 0 16800975 0 0 0 -1 2 0 0 32 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32284] ppid=32258 vsize=28768328 memory=40196 CPUtime=567.8 cores=0-7 /proc/32260/task/32284/stat : 32284 (java) R 32258 32258 31167 0 -1 4202560 15879 0 0 0 56709 71 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013217357536 140014348498913 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32285] ppid=32258 vsize=28768328 memory=2116 CPUtime=565.86 cores=0-7 /proc/32260/task/32285/stat : 32285 (java) R 32258 32258 31167 0 -1 4202560 16935 0 0 0 56528 58 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013216305848 140014348499231 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32286] ppid=32258 vsize=28768328 memory=500 CPUtime=569.34 cores=0-7 /proc/32260/task/32286/stat : 32286 (java) R 32258 32258 31167 0 -1 4202560 1232 0 0 0 56933 1 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013215257016 140014346629157 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32287] ppid=32258 vsize=28768328 memory=1452 CPUtime=568.36 cores=0-7 /proc/32260/task/32287/stat : 32287 (java) R 32258 32258 31167 0 -1 4202560 20912 0 0 0 56734 102 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013214199400 140014346487486 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 Current children cumulated CPU time: 4589.93 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 8368308 KiB [startup+577.001 s]* /proc/loadavg: 8.35 8.00 6.49 2/226 32335 /proc/meminfo: memFree=21883632/32770624 swapFree=66916668/67108860 [pid=32258] ppid=32255 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/32258/stat : 32258 (xcsp3-exec) S 32255 32258 31167 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420040752 115843072 363 33554432000 4194304 5098028 140731515888160 140731515886264 140328687006332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34291712 140731515892597 140731515892841 140731515892841 140731515895754 0 /proc/32258/statm: 28282 363 304 221 0 87 0 [pid=32260] ppid=32258 vsize=28768328 memory=8366856 CPUtime=4591.44 cores=0-7 /proc/32260/stat : 32260 (java) S 32258 32258 31167 0 -1 1077944320 250803 0 0 0 458085 1059 0 0 20 0 28 0 420040752 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140727279712352 140014726995703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 /proc/32260/statm: 7192082 2091714 3542 1 0 7153184 0 [pid=32260/tid=32261] ppid=32258 vsize=28768328 memory=6791534058613427641 CPUtime=0.94 cores=0-7 /proc/32260/task/32261/stat : 32261 (java) S 32258 32258 31167 0 -1 1077944384 9383 0 0 0 89 5 0 0 20 0 28 0 420040752 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014731236480 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32262] ppid=32258 vsize=28768328 memory=4872558044660077418 CPUtime=3.53 cores=0-7 /proc/32260/task/32262/stat : 32262 (java) S 32258 32258 31167 0 -1 1077944384 4344 0 0 0 289 64 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014679616144 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32263] ppid=32258 vsize=28768328 memory=1460 CPUtime=3.54 cores=0-7 /proc/32260/task/32263/stat : 32263 (java) S 32258 32258 31167 0 -1 1077944384 4982 0 0 0 287 67 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014678563344 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32264] ppid=32258 vsize=28768328 memory=916 CPUtime=3.56 cores=0-7 /proc/32260/task/32264/stat : 32264 (java) S 32258 32258 31167 0 -1 1077944384 5394 0 0 0 288 68 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014677510544 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32265] ppid=32258 vsize=28768328 memory=1444 CPUtime=3.54 cores=0-7 /proc/32260/task/32265/stat : 32265 (java) S 32258 32258 31167 0 -1 1077944384 3383 0 0 0 290 64 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014676457744 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32266] ppid=32258 vsize=28768328 memory=1984 CPUtime=3.55 cores=0-7 /proc/32260/task/32266/stat : 32266 (java) S 32258 32258 31167 0 -1 1077944384 3902 0 0 0 286 69 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014675405968 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32267] ppid=32258 vsize=28768328 memory=6791534058613427641 CPUtime=3.54 cores=0-7 /proc/32260/task/32267/stat : 32267 (java) S 32258 32258 31167 0 -1 1077944384 5041 0 0 0 287 67 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014674353168 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32268] ppid=32258 vsize=28768328 memory=3628 CPUtime=3.51 cores=0-7 /proc/32260/task/32268/stat : 32268 (java) S 32258 32258 31167 0 -1 1077944384 5686 0 0 0 288 63 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014673300368 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32269] ppid=32258 vsize=28768328 memory=40196 CPUtime=3.52 cores=0-7 /proc/32260/task/32269/stat : 32269 (java) S 32258 32258 31167 0 -1 1077944384 4703 0 0 0 288 64 0 0 20 0 28 0 420040753 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140014672247568 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32270] ppid=32258 vsize=28768328 memory=992 CPUtime=0.35 cores=0-7 /proc/32260/task/32270/stat : 32270 (java) S 32258 32258 31167 0 -1 1077944384 18995 0 0 0 30 5 0 0 20 0 28 0 420040755 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013240015216 140014727006850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32271] ppid=32258 vsize=28768328 memory=2044 CPUtime=0 cores=0-7 /proc/32260/task/32271/stat : 32271 (java) S 32258 32258 31167 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 420040755 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013238961248 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32272] ppid=32258 vsize=28768328 memory=1296 CPUtime=0 cores=0-7 /proc/32260/task/32272/stat : 32272 (java) S 32258 32258 31167 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 420040755 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013237908336 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32273] ppid=32258 vsize=28768328 memory=620 CPUtime=0 cores=0-7 /proc/32260/task/32273/stat : 32273 (java) S 32258 32258 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013236856656 140014727014299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32274] ppid=32258 vsize=28768328 memory=4000 CPUtime=2.66 cores=0-7 /proc/32260/task/32274/stat : 32274 (java) S 32258 32258 31167 0 -1 1077944384 15501 0 0 0 263 3 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013235805040 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32275] ppid=32258 vsize=28768328 memory=2828 CPUtime=3.16 cores=0-7 /proc/32260/task/32275/stat : 32275 (java) S 32258 32258 31167 0 -1 1077944384 25706 0 0 0 312 4 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013234752240 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32276] ppid=32258 vsize=28768328 memory=1712 CPUtime=3.29 cores=0-7 /proc/32260/task/32276/stat : 32276 (java) S 32258 32258 31167 0 -1 1077944384 15539 0 0 0 326 3 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013233699440 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32277] ppid=32258 vsize=28768328 memory=1156 CPUtime=1.04 cores=0-7 /proc/32260/task/32277/stat : 32277 (java) S 32258 32258 31167 0 -1 1077944384 13064 0 0 0 102 2 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013232646640 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32278] ppid=32258 vsize=28768328 memory=944 CPUtime=0 cores=0-7 /proc/32260/task/32278/stat : 32278 (java) S 32258 32258 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013231594080 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32279] ppid=32258 vsize=28768328 memory=1552 CPUtime=0.2 cores=0-7 /proc/32260/task/32279/stat : 32279 (java) S 32258 32258 31167 0 -1 1077944384 1106 0 0 0 20 0 0 0 20 0 28 0 420040758 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013230541360 140014727006850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32280] ppid=32258 vsize=28768328 memory=1052 CPUtime=570.36 cores=0-7 /proc/32260/task/32280/stat : 32280 (java) S 32258 32258 31167 0 -1 1077944384 1431 0 0 0 57035 1 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013221572032 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32281] ppid=32258 vsize=28768328 memory=288230574492221466 CPUtime=570.47 cores=0-7 /proc/32260/task/32281/stat : 32281 (java) S 32258 32258 31167 0 -1 1077944384 1385 0 0 0 57047 0 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013220520656 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32282] ppid=32258 vsize=28768328 memory=288230596050944315 CPUtime=568.43 cores=0-7 /proc/32260/task/32282/stat : 32282 (java) R 32258 32258 31167 0 -1 4202560 28934 0 0 0 56760 83 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013219463256 140014349089700 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32283] ppid=32258 vsize=28768328 memory=15815590841420219 CPUtime=569.91 cores=0-7 /proc/32260/task/32283/stat : 32283 (java) S 32258 32258 31167 0 -1 1077944384 25891 0 0 0 56807 184 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013218416080 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32284] ppid=32258 vsize=28768328 memory=928 CPUtime=567.99 cores=0-7 /proc/32260/task/32284/stat : 32284 (java) S 32258 32258 31167 0 -1 1077944384 15899 0 0 0 56728 71 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013217363280 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32285] ppid=32258 vsize=28768328 memory=1460 CPUtime=566.05 cores=0-7 /proc/32260/task/32285/stat : 32285 (java) S 32258 32258 31167 0 -1 1077944384 16955 0 0 0 56547 58 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013216310480 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32286] ppid=32258 vsize=28768328 memory=916 CPUtime=569.53 cores=0-7 /proc/32260/task/32286/stat : 32286 (java) S 32258 32258 31167 0 -1 1077944384 1255 0 0 0 56952 1 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013215257680 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 [pid=32260/tid=32287] ppid=32258 vsize=28768328 memory=1444 CPUtime=568.54 cores=0-7 /proc/32260/task/32287/stat : 32287 (java) S 32258 32258 31167 0 -1 1077944384 20932 0 0 0 56752 102 0 0 20 0 28 0 420040849 29458767872 2091714 33554432000 4194304 4196468 140727279729808 140013214204880 140014727005909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 17866752 140727279731690 140727279731862 140727279731862 140727279734735 0 Current children cumulated CPU time: 4591.44 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 8368308 KiB Child status: 0 Real time (s): 577.08 CPU time (s): 4591.52 CPU user time (s): 4580.88 CPU system time (s): 10.6334 CPU usage (%): 795.647 Max. virtual memory (cumulated for all children) (KiB): 28883468 Max. memory (cumulated for all children) (KiB): 8840668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4580.88 system time used= 10.6334 maximum resident set size= 8839332 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 252851 page faults= 0 swaps= 0 block input operations= 0 block output operations= 848 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21471 involuntary context switches= 57316 # summary of solver processes directly reported to runsolver: # pid: 32258 # total CPU time (s): 4591.52 # total CPU user time (s): 4580.88 # total CPU system time (s): 10.6334 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.44763 second user time and 7.71859 second system time The end
Begin job on node134 at 2019-09-14 07:11:01 IDJOB=4393752 IDBENCH=134846 IDSOLVER=2841 FILE ID=node134/4393752-1568437902 RUNJOBID= node134-1568437264-31194 PBS_JOBID= 21702320 Free space on /tmp= 59576 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-armies/Pb-army12-21ls.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-4393752-1568437902/watcher-4393752-1568437902 -o /tmp/evaluation-result-4393752-1568437902/solver-4393752-1568437902 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568437264-31194 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2089532786 HOME/instance-4393752-1568437902.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 23e4294b931acf98fdd35eb0662a4341 RANDOM SEED=2089532786 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 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: 30253772 kB MemAvailable: 31795112 kB Buffers: 199756 kB Cached: 1608324 kB SwapCached: 90600 kB Active: 502384 kB Inactive: 1397832 kB Active(anon): 25044 kB Inactive(anon): 106628 kB Active(file): 477340 kB Inactive(file): 1291204 kB Unevictable: 110900 kB Mlocked: 110900 kB SwapTotal: 67108860 kB SwapFree: 66916668 kB Dirty: 25952 kB Writeback: 0 kB AnonPages: 142912 kB Mapped: 44168 kB Shmem: 31112 kB Slab: 207564 kB SReclaimable: 177264 kB SUnreclaim: 30300 kB KernelStack: 3952 kB PageTables: 5212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497796 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 98304 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59552 MiB End job on node134 at 2019-09-14 07:20:38