Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 4850 | 50.1286 | 10.8302 |
Name | Mario/ Mario-zinc-s1/Mario-t-hard-2.xml |
MD5SUM | 2b9b9d57997e47756252872b7d7d2054 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4850 |
Best CPU time to get the best result obtained on this benchmark | 15.6676 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 201 |
Number of domains | 161 |
Minimum domain size | 1 |
Maximum domain size | 100 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":98},{"size":85,"count":3},{"size":86,"count":3},{"size":87,"count":7},{"size":88,"count":10},{"size":89,"count":13},{"size":90,"count":11},{"size":91,"count":13},{"size":92,"count":9},{"size":93,"count":7},{"size":94,"count":9},{"size":95,"count":4},{"size":96,"count":8},{"size":97,"count":2},{"size":99,"count":1},{"size":100,"count":100}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 100 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 99 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399842-1568708328.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399842-1568708328.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.64/1.33 c solve instance... 6.81/1.68 o 0 6.81/1.70 o 0 7.51/1.79 o 40 8.22/1.82 o 107 8.22/1.85 o 196 8.22/1.87 o 246 8.97/1.91 o 252 8.97/1.97 o 271 9.74/2.02 o 318 9.74/2.04 o 386 9.74/2.09 o 480 10.37/2.13 o 566 10.37/2.15 o 600 10.37/2.16 o 614 10.37/2.18 o 628 10.37/2.19 o 644 10.96/2.21 o 711 10.96/2.23 o 810 10.96/2.24 o 840 10.96/2.24 o 4326 13.89/2.63 o 4327 13.89/2.64 o 4396 15.31/2.88 o 4438 17.71/3.13 o 4452 19.15/3.38 o 4454 19.15/3.39 o 4504 21.63/3.96 o 4505 22.05/4.38 o 4518 23.96/4.88 o 4519 24.57/5.30 o 4556 26.70/5.76 o 4586 28.86/6.21 o 4660 30.78/6.67 o 4662 30.78/6.68 o 4674 32.62/7.08 o 4675 32.62/7.09 o 4759 34.64/7.48 o 4760 34.64/7.50 o 4773 36.65/7.88 o 4774 36.85/7.90 o 4793 38.58/8.27 o 4794 41.23/8.91 o 4795 42.85/9.27 o 4797 44.22/9.60 o 4817 46.21/9.93 o 4825 47.99/10.24 o 4827 48.34/10.51 o 4848 50.08/10.81 o 4850 50.08/10.81 s OPTIMUM FOUND 50.08/10.81 v <instantiation> 50.08/10.81 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] g[30] g[31] g[32] g[33] g[34] g[35] g[36] g[37] g[38] g[39] g[40] g[41] g[42] g[43] g[44] g[45] g[46] g[47] g[48] g[49] g[50] g[51] g[52] g[53] g[54] g[55] g[56] g[57] g[58] g[59] g[60] g[61] g[62] g[63] g[64] g[65] g[66] g[67] g[68] g[69] g[70] g[71] g[72] g[73] g[74] g[75] g[76] g[77] g[78] g[79] g[80] g[81] g[82] g[83] g[84] g[85] g[86] g[87] g[88] g[89] g[90] g[91] g[92] g[93] g[94] g[95] g[96] g[97] g[98] g[99] </list> 50.08/10.81 v <values>39 0 32 66 55 65 59 24 30 18 70 73 54 15 9 40 46 1 25 20 27 92 35 52 28 49 21 81 82 93 80 76 45 36 23 13 90 53 69 89 3 42 8 34 84 43 6 44 38 19 86 11 97 5 31 58 60 83 95 67 17 10 99 37 85 22 26 98 63 64 41 87 74 68 16 48 4 2 72 56 71 29 88 50 61 7 14 94 47 77 96 51 78 75 12 33 91 57 62 79 367 0 258 134 409 392 160 30 376 150 458 415 47 156 138 353 8 28 492 397 131 418 123 84 14 253 121 373 227 36 85 53 80 15 387 302 32 30 454 206 65 248 63 376 119 34 262 38 18 37 275 141 9 167 132 185 271 0 247 247 89 293 309 51 94 125 330 88 112 104 70 404 449 262 263 463 408 101 165 434 317 79 110 240 17 205 90 272 374 116 33 276 295 228 101 492 259 142 361 89 0 0 40 67 89 50 6 19 47 68 94 86 34 14 14 16 67 99 30 31 78 47 99 42 56 14 62 35 53 62 79 26 7 50 30 24 97 15 67 88 2 55 58 19 42 40 34 83 36 67 59 66 98 31 99 9 58 2 70 73 14 62 94 13 34 56 38 26 94 47 91 36 35 88 33 71 8 23 5 19 31 93 72 92 46 65 8 37 35 2 86 35 3 49 43 67 70 64 96 66 </values> 50.08/10.81 v </instantiation>
OK 4850
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 (13921 MiB free) memory of node 1: 16384 MiB (15721 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399842-1568708328/watcher-4399842-1568708328 -o /tmp/evaluation-result-4399842-1568708328/solver-4399842-1568708328 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 519597941 HOME/instance-4399842-1568708328.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=29299, runsolver pid=29296 [startup+0.100139 s]* /proc/loadavg: 8.63 8.42 8.34 2/212 29320 /proc/meminfo: memFree=30337288/32770624 swapFree=66917056/67108860 [pid=29299] ppid=29296 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29299/stat : 29299 (xcsp3-exec) S 29296 29299 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446746619 115843072 363 33554432000 4194304 5098028 140726765841792 140726765839896 140330469925500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31178752 140726765847414 140726765847657 140726765847657 140726765850570 0 /proc/29299/statm: 28282 363 304 221 0 87 0 [pid=29301] ppid=29299 vsize=28227396 memory=30092 CPUtime=0.12 cores=0-7 /proc/29301/stat : 29301 (java) S 29299 29299 27783 0 -1 1077944320 5487 0 0 0 11 1 0 0 20 0 20 0 446746620 28904853504 7523 33554432000 4194304 4196468 140727063070416 140727063052960 140319156334327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 /proc/29301/statm: 7056849 7523 3116 1 0 7019032 0 [pid=29301/tid=29302] ppid=29299 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29301/task/29302/stat : 29302 (java) R 29299 29299 27783 0 -1 4202560 3395 0 0 0 8 0 0 0 20 0 20 0 446746620 28904853504 7523 33554432000 4194304 4196468 140727063070416 140319160573568 140319156346262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29303] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29303/stat : 29303 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 7523 33554432000 4194304 4196468 140727063070416 140319076186640 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29304] ppid=29299 vsize=28227396 memory=140259100821120 CPUtime=0 cores=0-7 /proc/29301/task/29304/stat : 29304 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 7523 33554432000 4194304 4196468 140727063070416 140319075134096 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29305] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29305/stat : 29305 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 7523 33554432000 4194304 4196468 140727063070416 140319074081040 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29306] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29306/stat : 29306 (java) S 29299 29299 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 7523 33554432000 4194304 4196468 140727063070416 140319073028496 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29307] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29307/stat : 29307 (java) S 29299 29299 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 7523 33554432000 4194304 4196468 140727063070416 140319071976464 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29308] ppid=29299 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29301/task/29308/stat : 29308 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 7523 33554432000 4194304 4196468 140727063070416 140319070923920 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29309] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29309/stat : 29309 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 7523 33554432000 4194304 4196468 140727063070416 140319069870864 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29310] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29310/stat : 29310 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 7523 33554432000 4194304 4196468 140727063070416 140319068818320 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29311] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29311/stat : 29311 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746622 28904853504 7523 33554432000 4194304 4196468 140727063070416 140317486237936 140319156345474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29312] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29312/stat : 29312 (java) S 29299 29299 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446746623 28904853504 7523 33554432000 4194304 4196468 140727063070416 140317485184160 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29313] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29313/stat : 29313 (java) S 29299 29299 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446746623 28904853504 7523 33554432000 4194304 4196468 140727063070416 140317484131056 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29314] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29314/stat : 29314 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746625 28904853504 7523 33554432000 4194304 4196468 140727063070416 140317483079632 140319156352923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29315] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29315/stat : 29315 (java) S 29299 29299 27783 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 446746625 28904853504 7523 33554432000 4194304 4196468 140727063070416 140317482027760 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29316] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29316/stat : 29316 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746625 28904853504 7523 33554432000 4194304 4196468 140727063070416 140317480975216 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29317] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29317/stat : 29317 (java) S 29299 29299 27783 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446746625 28904853504 7523 33554432000 4194304 4196468 140727063070416 140317479922160 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29318] ppid=29299 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29301/task/29318/stat : 29318 (java) S 29299 29299 27783 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 446746625 28904853504 7523 33554432000 4194304 4196468 140727063070416 140317478869616 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29319] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29319/stat : 29319 (java) S 29299 29299 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446746626 28904853504 7523 33554432000 4194304 4196468 140727063070416 140317477816800 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29320] ppid=29299 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29301/task/29320/stat : 29320 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746626 28904853504 7523 33554432000 4194304 4196468 140727063070416 140317476764336 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31544 KiB [startup+0.210118 s]* /proc/loadavg: 8.63 8.42 8.34 3/212 29320 /proc/meminfo: memFree=30325256/32770624 swapFree=66917056/67108860 [pid=29299] ppid=29296 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29299/stat : 29299 (xcsp3-exec) S 29296 29299 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446746619 115843072 363 33554432000 4194304 5098028 140726765841792 140726765839896 140330469925500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31178752 140726765847414 140726765847657 140726765847657 140726765850570 0 /proc/29299/statm: 28282 363 304 221 0 87 0 [pid=29301] ppid=29299 vsize=28227396 memory=41352 CPUtime=0.33 cores=0-7 /proc/29301/stat : 29301 (java) S 29299 29299 27783 0 -1 1077944320 9030 0 0 0 30 3 0 0 20 0 20 0 446746620 28904853504 10338 33554432000 4194304 4196468 140727063070416 140727063052960 140319156334327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 /proc/29301/statm: 7056849 10338 3301 1 0 7019032 0 [pid=29301/tid=29302] ppid=29299 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/29301/task/29302/stat : 29302 (java) R 29299 29299 27783 0 -1 4202560 6217 0 0 0 18 2 0 0 20 0 20 0 446746620 28904853504 10338 33554432000 4194304 4196468 140727063070416 140319160568112 140319156346262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29303] ppid=29299 vsize=28227396 memory=330 CPUtime=0 cores=0-7 /proc/29301/task/29303/stat : 29303 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 10338 33554432000 4194304 4196468 140727063070416 140319076186640 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29304] ppid=29299 vsize=28227396 memory=3690340100117726880 CPUtime=0 cores=0-7 /proc/29301/task/29304/stat : 29304 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 10338 33554432000 4194304 4196468 140727063070416 140319075134096 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29305] ppid=29299 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29301/task/29305/stat : 29305 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 10338 33554432000 4194304 4196468 140727063070416 140319074081040 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29306] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29306/stat : 29306 (java) S 29299 29299 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 10338 33554432000 4194304 4196468 140727063070416 140319073028496 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29307] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29307/stat : 29307 (java) S 29299 29299 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 10338 33554432000 4194304 4196468 140727063070416 140319071976464 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29308] ppid=29299 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29301/task/29308/stat : 29308 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 10338 33554432000 4194304 4196468 140727063070416 140319070923920 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29309] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29309/stat : 29309 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 10338 33554432000 4194304 4196468 140727063070416 140319069870864 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29310] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29310/stat : 29310 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28904853504 10338 33554432000 4194304 4196468 140727063070416 140319068818320 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29311] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29311/stat : 29311 (java) S 29299 29299 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446746622 28904853504 10338 33554432000 4194304 4196468 140727063070416 140317486237936 140319156345474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29312] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29312/stat : 29312 (java) S 29299 29299 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446746623 28904853504 10338 33554432000 4194304 4196468 140727063070416 140317485184160 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29313] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29313/stat : 29313 (java) S 29299 29299 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446746623 28904853504 10338 33554432000 4194304 4196468 140727063070416 140317484131056 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29314] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29314/stat : 29314 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746625 28904853504 10338 33554432000 4194304 4196468 140727063070416 140317483079632 140319156352923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29315] ppid=29299 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29301/task/29315/stat : 29315 (java) S 29299 29299 27783 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 20 0 446746625 28904853504 10338 33554432000 4194304 4196468 140727063070416 140317482027760 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29316] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29316/stat : 29316 (java) S 29299 29299 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446746625 28904853504 10338 33554432000 4194304 4196468 140727063070416 140317480975216 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29317] ppid=29299 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/29301/task/29317/stat : 29317 (java) S 29299 29299 27783 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 20 0 446746625 28904853504 10338 33554432000 4194304 4196468 140727063070416 140317479922160 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29318] ppid=29299 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/29301/task/29318/stat : 29318 (java) R 29299 29299 27783 0 -1 4202560 755 0 0 0 7 0 0 0 20 0 20 0 446746625 28904853504 10338 33554432000 4194304 4196468 140727063070416 140317478869616 140319135143260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29319] ppid=29299 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29319/stat : 29319 (java) S 29299 29299 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446746626 28904853504 10338 33554432000 4194304 4196468 140727063070416 140317477816800 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29320] ppid=29299 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29301/task/29320/stat : 29320 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746626 28904853504 10338 33554432000 4194304 4196468 140727063070416 140317476764336 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42804 KiB [startup+0.309479 s]* /proc/loadavg: 8.63 8.42 8.34 4/212 29320 /proc/meminfo: memFree=30318304/32770624 swapFree=66917056/67108860 [pid=29299] ppid=29296 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29299/stat : 29299 (xcsp3-exec) S 29296 29299 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446746619 115843072 363 33554432000 4194304 5098028 140726765841792 140726765839896 140330469925500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31178752 140726765847414 140726765847657 140726765847657 140726765850570 0 /proc/29299/statm: 28282 363 304 221 0 87 0 [pid=29301] ppid=29299 vsize=28231652 memory=50012 CPUtime=0.52 cores=0-7 /proc/29301/stat : 29301 (java) S 29299 29299 27783 0 -1 1077944320 10374 0 0 0 48 4 0 0 20 0 20 0 446746620 28909211648 12503 33554432000 4194304 4196468 140727063070416 140727063052960 140319156334327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 /proc/29301/statm: 7057913 12503 3350 1 0 7019032 0 [pid=29301/tid=29302] ppid=29299 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29301/task/29302/stat : 29302 (java) R 29299 29299 27783 0 -1 4202560 7304 0 0 0 27 2 0 0 20 0 20 0 446746620 28909211648 12503 33554432000 4194304 4196468 140727063070416 140319160568280 140319140414844 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29303] ppid=29299 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29303/stat : 29303 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28909211648 12503 33554432000 4194304 4196468 140727063070416 140319076186640 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29304] ppid=29299 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29304/stat : 29304 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28909211648 12503 33554432000 4194304 4196468 140727063070416 140319075134096 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29305] ppid=29299 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29305/stat : 29305 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746621 28909211648 12503 33554432000 4194304 4196468 140727063070416 140319074081040 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29306] ppid=29299 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29306/stat : 29306 (java) S 29299 29299 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446746621 28909211648 12503 33554432000 4194304 4196468 140727063070416 140319073028496 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29307] ppid=29299 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/29301/task/29307/stat : 29307 (java) S 29299 29299 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446746621 28909211648 12503 33554432000 4194304 4196468 140727063070416 140319071976464 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29308] ppid=29299 vsize=28231652 memory=140259002250159 CPUtime=0 cores=0-7 /proc/29301/task/29308/stat : 29308 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28909211648 12503 33554432000 4194304 4196468 140727063070416 140319070923920 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29309] ppid=29299 vsize=28231652 memory=140259002252464 CPUtime=0 cores=0-7 /proc/29301/task/29309/stat : 29309 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746621 28909211648 12503 33554432000 4194304 4196468 140727063070416 140319069870864 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29310] ppid=29299 vsize=28231652 memory=140259002254768 CPUtime=0 cores=0-7 /proc/29301/task/29310/stat : 29310 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28909211648 12503 33554432000 4194304 4196468 140727063070416 140319068818320 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29311] ppid=29299 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29311/stat : 29311 (java) S 29299 29299 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446746622 28909211648 12503 33554432000 4194304 4196468 140727063070416 140317486237936 140319156345474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29312] ppid=29299 vsize=28231652 memory=280518004516496 CPUtime=0 cores=0-7 /proc/29301/task/29312/stat : 29312 (java) S 29299 29299 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446746623 28909211648 12503 33554432000 4194304 4196468 140727063070416 140317485184160 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29313] ppid=29299 vsize=28231652 memory=280518004523408 CPUtime=0 cores=0-7 /proc/29301/task/29313/stat : 29313 (java) S 29299 29299 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446746623 28909211648 12503 33554432000 4194304 4196468 140727063070416 140317484131056 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29314] ppid=29299 vsize=28231652 memory=280518004464688 CPUtime=0 cores=0-7 /proc/29301/task/29314/stat : 29314 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746625 28909211648 12503 33554432000 4194304 4196468 140727063070416 140317483079632 140319156352923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29315] ppid=29299 vsize=28231652 memory=280518004537232 CPUtime=0.03 cores=0-7 /proc/29301/task/29315/stat : 29315 (java) R 29299 29299 27783 0 -1 4202560 586 0 0 0 3 0 0 0 20 0 20 0 446746625 28909211648 12503 33554432000 4194304 4196468 140727063070416 140317482008776 140319137858685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29316] ppid=29299 vsize=28231652 memory=280518004544144 CPUtime=0.02 cores=0-7 /proc/29301/task/29316/stat : 29316 (java) S 29299 29299 27783 0 -1 1077944384 42 0 0 0 2 0 0 0 20 0 20 0 446746625 28909211648 12503 33554432000 4194304 4196468 140727063070416 140317480975216 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29317] ppid=29299 vsize=28231652 memory=280518004541840 CPUtime=0.02 cores=0-7 /proc/29301/task/29317/stat : 29317 (java) S 29299 29299 27783 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 20 0 446746625 28909211648 12503 33554432000 4194304 4196468 140727063070416 140317479922160 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29318] ppid=29299 vsize=28231652 memory=280518004558000 CPUtime=0.12 cores=0-7 /proc/29301/task/29318/stat : 29318 (java) S 29299 29299 27783 0 -1 1077944384 872 0 0 0 12 0 0 0 20 0 20 0 446746625 28909211648 12503 33554432000 4194304 4196468 140727063070416 140317478869616 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29319] ppid=29299 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29319/stat : 29319 (java) S 29299 29299 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446746626 28909211648 12503 33554432000 4194304 4196468 140727063070416 140317477816800 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29320] ppid=29299 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/29301/task/29320/stat : 29320 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746626 28909211648 12503 33554432000 4194304 4196468 140727063070416 140317476764336 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51464 KiB [startup+0.700903 s] /proc/loadavg: 8.63 8.42 8.34 7/212 29320 /proc/meminfo: memFree=30291924/32770624 swapFree=66917056/67108860 [pid=29299] ppid=29296 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29299/stat : 29299 (xcsp3-exec) S 29296 29299 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446746619 115843072 363 33554432000 4194304 5098028 140726765841792 140726765839896 140330469925500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31178752 140726765847414 140726765847657 140726765847657 140726765850570 0 /proc/29299/statm: 28282 363 304 221 0 87 0 [pid=29301] ppid=29299 vsize=28233776 memory=102852 CPUtime=1.94 cores=0-7 /proc/29301/stat : 29301 (java) S 29299 29299 27783 0 -1 1077944320 15296 0 0 0 187 7 0 0 20 0 20 0 446746620 28911386624 25713 33554432000 4194304 4196468 140727063070416 140727063052960 140319156334327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 /proc/29301/statm: 7058444 25713 3462 1 0 7019544 0 [pid=29301/tid=29302] ppid=29299 vsize=28233776 memory=280518004915888 CPUtime=0.67 cores=0-7 /proc/29301/task/29302/stat : 29302 (java) R 29299 29299 27783 0 -1 4202560 8668 0 0 0 63 4 0 0 20 0 20 0 446746620 28911386624 25713 33554432000 4194304 4196468 140727063070416 140319160569952 140318750355175 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29303] ppid=29299 vsize=28233776 memory=140259002458992 CPUtime=0 cores=0-7 /proc/29301/task/29303/stat : 29303 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28911386624 25713 33554432000 4194304 4196468 140727063070416 140319076186640 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29304] ppid=29299 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29304/stat : 29304 (java) S 29299 29299 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446746621 28911386624 25713 33554432000 4194304 4196468 140727063070416 140319075134096 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29305] ppid=29299 vsize=28233776 memory=1124 CPUtime=0 cores=0-7 /proc/29301/task/29305/stat : 29305 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446746621 28911386624 25713 33554432000 4194304 4196468 140727063070416 140319074081040 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 ################ # More data... # ################ /proc/29301/task/29647/stat : 29647 (java) R 29299 29299 27783 0 -1 4202560 18 0 0 0 9 0 0 0 20 0 28 0 446747410 29459828736 168109 33554432000 4194304 4196468 140727063070416 140317460192200 140318746161453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29648] ppid=29299 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7 /proc/29301/task/29648/stat : 29648 (java) R 29299 29299 27783 0 -1 4202560 17 0 0 0 9 0 0 0 20 0 28 0 446747411 29459828736 168109 33554432000 4194304 4196468 140727063070416 140317457034312 140318755245187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 Current children cumulated CPU time: 37.66 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 673888 KiB [startup+9.60099 s] /proc/loadavg: 8.91 8.49 8.36 9/219 29664 /proc/meminfo: memFree=29692716/32770624 swapFree=66917056/67108860 [pid=29299] ppid=29296 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29299/stat : 29299 (xcsp3-exec) S 29296 29299 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446746619 115843072 363 33554432000 4194304 5098028 140726765841792 140726765839896 140330469925500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31178752 140726765847414 140726765847657 140726765847657 140726765850570 0 /proc/29299/statm: 28282 363 304 221 0 87 0 [pid=29301] ppid=29299 vsize=28769364 memory=672448 CPUtime=44.42 cores=0-7 /proc/29301/stat : 29301 (java) S 29299 29299 27783 0 -1 1077944320 43467 0 0 0 4389 53 0 0 20 0 28 0 446746620 29459828736 168112 33554432000 4194304 4196468 140727063070416 140727063052960 140319156334327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 /proc/29301/statm: 7192341 168112 3539 1 0 7153441 0 [pid=29301/tid=29302] ppid=29299 vsize=28769364 memory=0 CPUtime=1.28 cores=0-7 /proc/29301/task/29302/stat : 29302 (java) S 29299 29299 27783 0 -1 1077944384 9134 0 0 0 123 5 0 0 20 0 28 0 446746620 29459828736 168112 33554432000 4194304 4196468 140727063070416 140319160575104 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29303] ppid=29299 vsize=28769364 memory=6791534058613427641 CPUtime=0.1 cores=0-7 /proc/29301/task/29303/stat : 29303 (java) S 29299 29299 27783 0 -1 1077944384 275 0 0 0 6 4 0 0 20 0 28 0 446746621 29459828736 168112 33554432000 4194304 4196468 140727063070416 140319076186640 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29304] ppid=29299 vsize=28769364 memory=672436 CPUtime=0.06 cores=0-7 /proc/29301/task/29304/stat : 29304 (java) S 29299 29299 27783 0 -1 1077944384 76 0 0 0 4 2 0 0 20 0 28 0 446746621 29459828736 168112 33554432000 4194304 4196468 140727063070416 140319075134096 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29305] ppid=29299 vsize=28769364 memory=4100 CPUtime=0.07 cores=0-7 /proc/29301/task/29305/stat : 29305 (java) S 29299 29299 27783 0 -1 1077944384 76 0 0 0 5 2 0 0 20 0 28 0 446746621 29459828736 168112 33554432000 4194304 4196468 140727063070416 140319074081040 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29306] ppid=29299 vsize=28769364 memory=1412 CPUtime=0.06 cores=0-7 /proc/29301/task/29306/stat : 29306 (java) S 29299 29299 27783 0 -1 1077944384 146 0 0 0 5 1 0 0 20 0 28 0 446746621 29459828736 168112 33554432000 4194304 4196468 140727063070416 140319073028496 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29307] ppid=29299 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/29301/task/29307/stat : 29307 (java) S 29299 29299 27783 0 -1 1077944384 88 0 0 0 4 2 0 0 20 0 28 0 446746621 29459828736 168112 33554432000 4194304 4196468 140727063070416 140319071976464 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29308] ppid=29299 vsize=28769364 memory=576740651151845241 CPUtime=0.07 cores=0-7 /proc/29301/task/29308/stat : 29308 (java) S 29299 29299 27783 0 -1 1077944384 250 0 0 0 5 2 0 0 20 0 28 0 446746621 29459828736 168112 33554432000 4194304 4196468 140727063070416 140319070923920 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29309] ppid=29299 vsize=28769364 memory=140259002711105 CPUtime=0.11 cores=0-7 /proc/29301/task/29309/stat : 29309 (java) S 29299 29299 27783 0 -1 1077944384 171 0 0 0 8 3 0 0 20 0 28 0 446746621 29459828736 168112 33554432000 4194304 4196468 140727063070416 140319069870864 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29310] ppid=29299 vsize=28769364 memory=6382321403051 CPUtime=0.08 cores=0-7 /proc/29301/task/29310/stat : 29310 (java) S 29299 29299 27783 0 -1 1077944384 192 0 0 0 6 2 0 0 20 0 28 0 446746621 29459828736 168112 33554432000 4194304 4196468 140727063070416 140319068818320 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29311] ppid=29299 vsize=28769364 memory=288230621803970871 CPUtime=0.02 cores=0-7 /proc/29301/task/29311/stat : 29311 (java) S 29299 29299 27783 0 -1 1077944384 769 0 0 0 2 0 0 0 20 0 28 0 446746622 29459828736 168112 33554432000 4194304 4196468 140727063070416 140317486237936 140319156345474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29312] ppid=29299 vsize=28769364 memory=15544015764327034 CPUtime=0 cores=0-7 /proc/29301/task/29312/stat : 29312 (java) S 29299 29299 27783 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 446746623 29459828736 168112 33554432000 4194304 4196468 140727063070416 140317485184224 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29313] ppid=29299 vsize=28769364 memory=3 CPUtime=0 cores=0-7 /proc/29301/task/29313/stat : 29313 (java) S 29299 29299 27783 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 446746623 29459828736 168112 33554432000 4194304 4196468 140727063070416 140317484131072 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29314] ppid=29299 vsize=28769352 memory=72 CPUtime=0 cores=0-7 /proc/29301/task/29314/stat : 29314 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446746625 29459816448 168128 33554432000 4194304 4196468 140727063070416 140317483079632 140319156352923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29315] ppid=29299 vsize=28769364 memory=0 CPUtime=3.07 cores=0-7 /proc/29301/task/29315/stat : 29315 (java) S 29299 29299 27783 0 -1 1077944384 5667 0 0 0 305 2 0 0 20 0 28 0 446746625 29459828736 168162 33554432000 4194304 4196468 140727063070416 140317482027760 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29316] ppid=29299 vsize=28769364 memory=0 CPUtime=2.73 cores=0-7 /proc/29301/task/29316/stat : 29316 (java) R 29299 29299 27783 0 -1 4202560 5520 0 0 0 271 2 0 0 20 0 28 0 446746625 29459828736 168179 33554432000 4194304 4196468 140727063070416 140317480975216 140319156345474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29317] ppid=29299 vsize=28769364 memory=0 CPUtime=2.82 cores=0-7 /proc/29301/task/29317/stat : 29317 (java) S 29299 29299 27783 0 -1 1077944384 4830 0 0 0 281 1 0 0 20 0 28 0 446746625 29459828736 168196 33554432000 4194304 4196468 140727063070416 140317479922160 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29318] ppid=29299 vsize=28769352 memory=0 CPUtime=1.1 cores=0-7 /proc/29301/task/29318/stat : 29318 (java) R 29299 29299 27783 0 -1 4202560 5948 0 0 0 107 3 0 0 20 0 28 0 446746625 29459816448 168197 33554432000 4194304 4196468 140727063070416 140317478869616 140319140577168 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29319] ppid=29299 vsize=28769364 memory=822 CPUtime=0 cores=0-7 /proc/29301/task/29319/stat : 29319 (java) S 29299 29299 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446746626 29459828736 168197 33554432000 4194304 4196468 140727063070416 140317477816800 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29320] ppid=29299 vsize=28769364 memory=126 CPUtime=0 cores=0-7 /proc/29301/task/29320/stat : 29320 (java) S 29299 29299 27783 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 26 0 446746626 29459828736 168163 33554432000 4194304 4196468 140727063070416 140317476764336 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 Current children cumulated CPU time: 44.42 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 673900 KiB [startup+10.401 s] /proc/loadavg: 8.91 8.49 8.36 9/219 29688 /proc/meminfo: memFree=29692928/32770624 swapFree=66917056/67108860 [pid=29299] ppid=29296 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29299/stat : 29299 (xcsp3-exec) S 29296 29299 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446746619 115843072 363 33554432000 4194304 5098028 140726765841792 140726765839896 140330469925500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31178752 140726765847414 140726765847657 140726765847657 140726765850570 0 /proc/29299/statm: 28282 363 304 221 0 87 0 [pid=29301] ppid=29299 vsize=28769364 memory=672660 CPUtime=48.24 cores=0-7 /proc/29301/stat : 29301 (java) S 29299 29299 27783 0 -1 1077944320 44164 0 0 0 4771 53 0 0 20 0 28 0 446746620 29459828736 168165 33554432000 4194304 4196468 140727063070416 140727063052960 140319156334327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 /proc/29301/statm: 7192341 168165 3539 1 0 7153441 0 [pid=29301/tid=29302] ppid=29299 vsize=28769364 memory=0 CPUtime=1.29 cores=0-7 /proc/29301/task/29302/stat : 29302 (java) S 29299 29299 27783 0 -1 1077944384 9135 0 0 0 124 5 0 0 20 0 28 0 446746620 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319160575104 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29303] ppid=29299 vsize=28769364 memory=7 CPUtime=0.1 cores=0-7 /proc/29301/task/29303/stat : 29303 (java) S 29299 29299 27783 0 -1 1077944384 275 0 0 0 6 4 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319076186640 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29304] ppid=29299 vsize=28769364 memory=6 CPUtime=0.06 cores=0-7 /proc/29301/task/29304/stat : 29304 (java) S 29299 29299 27783 0 -1 1077944384 76 0 0 0 4 2 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319075134096 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29305] ppid=29299 vsize=28769364 memory=1452 CPUtime=0.07 cores=0-7 /proc/29301/task/29305/stat : 29305 (java) S 29299 29299 27783 0 -1 1077944384 76 0 0 0 5 2 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319074081040 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29306] ppid=29299 vsize=28769364 memory=672448 CPUtime=0.06 cores=0-7 /proc/29301/task/29306/stat : 29306 (java) S 29299 29299 27783 0 -1 1077944384 146 0 0 0 5 1 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319073028496 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29307] ppid=29299 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/29301/task/29307/stat : 29307 (java) S 29299 29299 27783 0 -1 1077944384 88 0 0 0 4 2 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319071976464 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29308] ppid=29299 vsize=28769364 memory=0 CPUtime=0.07 cores=0-7 /proc/29301/task/29308/stat : 29308 (java) S 29299 29299 27783 0 -1 1077944384 250 0 0 0 5 2 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319070923920 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29309] ppid=29299 vsize=28769364 memory=0 CPUtime=0.11 cores=0-7 /proc/29301/task/29309/stat : 29309 (java) S 29299 29299 27783 0 -1 1077944384 171 0 0 0 8 3 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319069870864 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29310] ppid=29299 vsize=28769364 memory=0 CPUtime=0.08 cores=0-7 /proc/29301/task/29310/stat : 29310 (java) S 29299 29299 27783 0 -1 1077944384 192 0 0 0 6 2 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319068818320 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29311] ppid=29299 vsize=28769364 memory=1452 CPUtime=0.02 cores=0-7 /proc/29301/task/29311/stat : 29311 (java) S 29299 29299 27783 0 -1 1077944384 769 0 0 0 2 0 0 0 20 0 28 0 446746622 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317486237936 140319156345474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29312] ppid=29299 vsize=28769364 memory=672448 CPUtime=0 cores=0-7 /proc/29301/task/29312/stat : 29312 (java) S 29299 29299 27783 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 446746623 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317485184224 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29313] ppid=29299 vsize=28769364 memory=1 CPUtime=0 cores=0-7 /proc/29301/task/29313/stat : 29313 (java) S 29299 29299 27783 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 446746623 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317484131072 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29314] ppid=29299 vsize=28769364 memory=1 CPUtime=0 cores=0-7 /proc/29301/task/29314/stat : 29314 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446746625 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317483079632 140319156352923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29315] ppid=29299 vsize=28769364 memory=1 CPUtime=3.07 cores=0-7 /proc/29301/task/29315/stat : 29315 (java) S 29299 29299 27783 0 -1 1077944384 5667 0 0 0 305 2 0 0 20 0 28 0 446746625 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317482027760 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29316] ppid=29299 vsize=28769364 memory=4 CPUtime=2.75 cores=0-7 /proc/29301/task/29316/stat : 29316 (java) S 29299 29299 27783 0 -1 1077944384 5520 0 0 0 273 2 0 0 20 0 28 0 446746625 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317480975216 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29317] ppid=29299 vsize=28769364 memory=4 CPUtime=2.84 cores=0-7 /proc/29301/task/29317/stat : 29317 (java) S 29299 29299 27783 0 -1 1077944384 4831 0 0 0 283 1 0 0 20 0 28 0 446746625 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317479922160 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29318] ppid=29299 vsize=28769364 memory=3 CPUtime=1.11 cores=0-7 /proc/29301/task/29318/stat : 29318 (java) S 29299 29299 27783 0 -1 1077944384 5972 0 0 0 108 3 0 0 20 0 28 0 446746625 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317478869616 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29319] ppid=29299 vsize=28769364 memory=111632 CPUtime=0 cores=0-7 /proc/29301/task/29319/stat : 29319 (java) S 29299 29299 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446746626 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317477816800 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29320] ppid=29299 vsize=28769364 memory=796 CPUtime=0 cores=0-7 /proc/29301/task/29320/stat : 29320 (java) S 29299 29299 27783 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 28 0 446746626 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317476764336 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 Current children cumulated CPU time: 48.24 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 674112 KiB [startup+10.801 s] /proc/loadavg: 8.91 8.49 8.36 9/219 29688 /proc/meminfo: memFree=29692928/32770624 swapFree=66917056/67108860 [pid=29299] ppid=29296 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29299/stat : 29299 (xcsp3-exec) S 29296 29299 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446746619 115843072 363 33554432000 4194304 5098028 140726765841792 140726765839896 140330469925500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31178752 140726765847414 140726765847657 140726765847657 140726765850570 0 /proc/29299/statm: 28282 363 304 221 0 87 0 [pid=29301] ppid=29299 vsize=28769364 memory=672660 CPUtime=50.08 cores=0-7 /proc/29301/stat : 29301 (java) S 29299 29299 27783 0 -1 1077944320 44307 0 0 0 4955 53 0 0 20 0 28 0 446746620 29459828736 168165 33554432000 4194304 4196468 140727063070416 140727063052960 140319156334327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 /proc/29301/statm: 7192341 168165 3539 1 0 7153441 0 [pid=29301/tid=29302] ppid=29299 vsize=28769364 memory=0 CPUtime=1.29 cores=0-7 /proc/29301/task/29302/stat : 29302 (java) S 29299 29299 27783 0 -1 1077944384 9135 0 0 0 124 5 0 0 20 0 28 0 446746620 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319160575104 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29303] ppid=29299 vsize=28769364 memory=0 CPUtime=0.1 cores=0-7 /proc/29301/task/29303/stat : 29303 (java) S 29299 29299 27783 0 -1 1077944384 275 0 0 0 6 4 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319076186640 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29304] ppid=29299 vsize=28769364 memory=288230574492221466 CPUtime=0.06 cores=0-7 /proc/29301/task/29304/stat : 29304 (java) S 29299 29299 27783 0 -1 1077944384 76 0 0 0 4 2 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319075134096 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29305] ppid=29299 vsize=28769364 memory=288230621803970871 CPUtime=0.07 cores=0-7 /proc/29301/task/29305/stat : 29305 (java) S 29299 29299 27783 0 -1 1077944384 76 0 0 0 5 2 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319074081040 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29306] ppid=29299 vsize=28769364 memory=1452 CPUtime=0.06 cores=0-7 /proc/29301/task/29306/stat : 29306 (java) S 29299 29299 27783 0 -1 1077944384 146 0 0 0 5 1 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319073028496 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29307] ppid=29299 vsize=28769364 memory=672584 CPUtime=0.06 cores=0-7 /proc/29301/task/29307/stat : 29307 (java) S 29299 29299 27783 0 -1 1077944384 88 0 0 0 4 2 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319071976464 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29308] ppid=29299 vsize=28769364 memory=25952 CPUtime=0.07 cores=0-7 /proc/29301/task/29308/stat : 29308 (java) S 29299 29299 27783 0 -1 1077944384 250 0 0 0 5 2 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319070923920 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29309] ppid=29299 vsize=28769364 memory=492 CPUtime=0.11 cores=0-7 /proc/29301/task/29309/stat : 29309 (java) S 29299 29299 27783 0 -1 1077944384 171 0 0 0 8 3 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319069870864 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29310] ppid=29299 vsize=28769364 memory=1560 CPUtime=0.08 cores=0-7 /proc/29301/task/29310/stat : 29310 (java) S 29299 29299 27783 0 -1 1077944384 192 0 0 0 6 2 0 0 20 0 28 0 446746621 29459828736 168165 33554432000 4194304 4196468 140727063070416 140319068818320 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29311] ppid=29299 vsize=28769364 memory=932 CPUtime=0.02 cores=0-7 /proc/29301/task/29311/stat : 29311 (java) S 29299 29299 27783 0 -1 1077944384 769 0 0 0 2 0 0 0 20 0 28 0 446746622 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317486237936 140319156345474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29312] ppid=29299 vsize=28769364 memory=1636 CPUtime=0 cores=0-7 /proc/29301/task/29312/stat : 29312 (java) S 29299 29299 27783 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 446746623 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317485184224 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29313] ppid=29299 vsize=28769364 memory=1436 CPUtime=0 cores=0-7 /proc/29301/task/29313/stat : 29313 (java) S 29299 29299 27783 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 446746623 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317484131072 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29314] ppid=29299 vsize=28769364 memory=896 CPUtime=0 cores=0-7 /proc/29301/task/29314/stat : 29314 (java) S 29299 29299 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446746625 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317483079632 140319156352923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29315] ppid=29299 vsize=28769364 memory=0 CPUtime=3.07 cores=0-7 /proc/29301/task/29315/stat : 29315 (java) S 29299 29299 27783 0 -1 1077944384 5667 0 0 0 305 2 0 0 20 0 28 0 446746625 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317482027760 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29316] ppid=29299 vsize=28769364 memory=0 CPUtime=2.75 cores=0-7 /proc/29301/task/29316/stat : 29316 (java) S 29299 29299 27783 0 -1 1077944384 5520 0 0 0 273 2 0 0 20 0 28 0 446746625 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317480975216 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29317] ppid=29299 vsize=28769364 memory=3184238179078778864 CPUtime=2.84 cores=0-7 /proc/29301/task/29317/stat : 29317 (java) S 29299 29299 27783 0 -1 1077944384 4831 0 0 0 283 1 0 0 20 0 28 0 446746625 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317479922160 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29318] ppid=29299 vsize=28769364 memory=0 CPUtime=1.12 cores=0-7 /proc/29301/task/29318/stat : 29318 (java) S 29299 29299 27783 0 -1 1077944384 5976 0 0 0 109 3 0 0 20 0 28 0 446746625 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317478869616 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29319] ppid=29299 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/29301/task/29319/stat : 29319 (java) S 29299 29299 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446746626 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317477816800 140319156344533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 [pid=29301/tid=29320] ppid=29299 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/29301/task/29320/stat : 29320 (java) S 29299 29299 27783 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 28 0 446746626 29459828736 168165 33554432000 4194304 4196468 140727063070416 140317476764336 140319156345474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25964544 140727063077866 140727063078038 140727063078038 140727063080911 0 Current children cumulated CPU time: 50.08 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 674112 KiB Child status: 0 Real time (s): 10.8302 CPU time (s): 50.1286 CPU user time (s): 49.5769 CPU system time (s): 0.551674 CPU usage (%): 462.858 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 674112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.5769 system time used= 0.551674 maximum resident set size= 673172 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45090 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7825 involuntary context switches= 1211 # summary of solver processes directly reported to runsolver: # pid: 29299 # total CPU time (s): 50.1286 # total CPU user time (s): 49.5769 # total CPU system time (s): 0.551674 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.090169 second user time and 0.166813 second system time The end
Begin job on node147 at 2019-09-17 10:18:04 IDJOB=4399842 IDBENCH=133272 IDSOLVER=2854 FILE ID=node147/4399842-1568708328 RUNJOBID= node147-1568700717-27810 PBS_JOBID= 21703903 Free space on /tmp= 58880 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-t-hard-2.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-4399842-1568708328/watcher-4399842-1568708328 -o /tmp/evaluation-result-4399842-1568708328/solver-4399842-1568708328 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 519597941 HOME/instance-4399842-1568708328.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2b9b9d57997e47756252872b7d7d2054 RANDOM SEED=519597941 node147.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.52 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.52 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.52 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.52 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: 30355236 kB MemAvailable: 31805292 kB Buffers: 112472 kB Cached: 1629124 kB SwapCached: 87660 kB Active: 937604 kB Inactive: 894868 kB Active(anon): 6124 kB Inactive(anon): 133772 kB Active(file): 931480 kB Inactive(file): 761096 kB Unevictable: 108644 kB Mlocked: 108644 kB SwapTotal: 67108860 kB SwapFree: 66917056 kB Dirty: 26020 kB Writeback: 0 kB AnonPages: 151352 kB Mapped: 48748 kB Shmem: 40920 kB Slab: 175156 kB SReclaimable: 146628 kB SUnreclaim: 28528 kB KernelStack: 3712 kB PageTables: 5724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505756 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 106496 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 58856 MiB End job on node147 at 2019-09-17 10:18:15