Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 4850 | 54.8899 | 12.0946 |
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 | 17.9325 |
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-4394482-1568432606.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394482-1568432606.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.65/1.31 c solve instance... 7.64/1.73 o 0 7.64/1.77 o 0 8.38/1.81 o 40 8.38/1.89 o 107 9.12/1.92 o 196 9.12/1.95 o 246 9.12/1.97 o 252 9.12/2.00 o 271 9.86/2.04 o 318 9.86/2.07 o 386 9.86/2.11 o 480 10.55/2.14 o 566 10.55/2.18 o 600 11.13/2.24 o 614 11.88/2.31 o 628 11.88/2.33 o 4326 14.98/2.78 o 4327 14.98/2.79 o 4396 17.80/3.11 o 4397 17.80/3.13 o 4438 19.26/3.37 o 4439 19.26/3.38 o 4452 20.74/3.60 o 4504 23.82/4.52 o 4518 26.01/5.05 o 4519 26.01/5.08 o 4556 28.08/5.58 o 4558 28.59/5.98 o 4586 30.62/6.43 o 4590 31.46/6.82 o 4660 33.44/7.24 o 4674 35.37/7.66 o 4675 35.82/8.01 o 4759 38.04/8.43 o 4773 39.78/8.79 o 4774 39.78/8.79 o 4793 41.79/9.14 o 4795 44.13/9.76 o 4797 46.09/10.11 o 4800 47.92/10.42 o 4801 48.92/10.70 o 4804 50.45/10.99 o 4806 51.06/11.24 o 4839 52.78/11.58 o 4840 52.78/11.58 o 4841 54.51/11.85 o 4842 54.78/12.07 o 4850 54.78/12.07 s OPTIMUM FOUND 54.78/12.07 v <instantiation> 54.78/12.07 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> 54.78/12.07 v <values>7 0 37 4 80 64 31 88 46 71 77 70 78 32 59 61 13 26 69 54 75 1 73 50 11 81 60 2 48 28 97 12 91 34 90 92 21 14 44 36 38 85 49 41 93 25 22 27 56 8 62 74 30 55 95 58 17 83 72 89 51 76 40 18 94 20 98 6 79 57 15 52 87 68 84 9 67 47 19 99 65 29 39 16 10 82 45 86 33 3 35 5 23 96 66 43 63 42 53 24 106 0 175 82 338 381 116 182 220 359 183 254 36 229 12 237 214 292 23 17 216 117 290 418 274 241 405 252 75 254 212 206 358 196 494 49 220 123 72 310 128 26 19 55 271 425 78 201 397 37 144 282 26 91 402 185 354 0 311 68 464 258 26 403 321 1 475 314 143 187 144 443 59 262 315 32 284 497 139 89 2 79 110 185 25 312 356 119 38 35 415 71 31 453 25 243 139 185 63 97 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> 54.78/12.07 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 (14842 MiB free) memory of node 1: 16384 MiB (15305 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394482-1568432606/watcher-4394482-1568432606 -o /tmp/evaluation-result-4394482-1568432606/solver-4394482-1568432606 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568429993-11990 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1043321463 HOME/instance-4394482-1568432606.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=12567, runsolver pid=12564 Current StackSize limit: 8192 KiB [startup+0.100136 s]* /proc/loadavg: 8.12 8.26 8.12 2/212 12588 /proc/meminfo: memFree=30857460/32770624 swapFree=66940952/67108860 [pid=12567] ppid=12564 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12567/stat : 12567 (xcsp3-exec) S 12564 12567 11963 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419499262 115843072 364 33554432000 4194304 5098028 140732361550208 140732361548312 140043311813244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35155968 140732361552757 140732361553001 140732361553001 140732361555914 0 /proc/12567/statm: 28282 364 305 221 0 87 0 [pid=12569] ppid=12567 vsize=28227388 memory=28316 CPUtime=0.12 cores=0-7 /proc/12569/stat : 12569 (java) S 12567 12567 11963 0 -1 1077944320 5629 0 0 0 11 1 0 0 20 0 20 0 419499263 28904845312 7079 33554432000 4194304 4196468 140729321741184 140729321723728 139630119104247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 /proc/12569/statm: 7056847 7079 3120 1 0 7019032 0 [pid=12569/tid=12570] ppid=12567 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/12569/task/12570/stat : 12570 (java) R 12567 12567 11963 0 -1 4202560 3556 0 0 0 8 0 0 0 20 0 20 0 419499263 28904845312 7079 33554432000 4194304 4196468 140729321741184 139630123337520 139630119116182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12571] ppid=12567 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) S 12567 12567 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 7079 33554432000 4194304 4196468 140729321741184 139630071725072 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12572] ppid=12567 vsize=28227388 memory=139824623216256 CPUtime=0 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12567 12567 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 7079 33554432000 4194304 4196468 140729321741184 139630070672528 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12573] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 7079 33554432000 4194304 4196468 140729321741184 139630069619472 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12574] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12574/stat : 12574 (java) S 12567 12567 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 7079 33554432000 4194304 4196468 140729321741184 139630068566928 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12575] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12575/stat : 12575 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 7079 33554432000 4194304 4196468 140729321741184 139630067513872 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12576] ppid=12567 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/12569/task/12576/stat : 12576 (java) S 12567 12567 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 7079 33554432000 4194304 4196468 140729321741184 139630066461328 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12577] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12577/stat : 12577 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 7079 33554432000 4194304 4196468 140729321741184 139630065408272 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12578] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 7079 33554432000 4194304 4196468 140729321741184 139630064355728 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12579] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12567 12567 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419499265 28904845312 7079 33554432000 4194304 4196468 140729321741184 139628449024752 139630119115394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12580] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12567 12567 11963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419499266 28904845312 7079 33554432000 4194304 4196468 140729321741184 139628178826912 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12581] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12581/stat : 12581 (java) S 12567 12567 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419499266 28904845312 7079 33554432000 4194304 4196468 140729321741184 139628177773808 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12582] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12582/stat : 12582 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499268 28904845312 7079 33554432000 4194304 4196468 140729321741184 139628176722384 139630119122843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12583] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12583/stat : 12583 (java) S 12567 12567 11963 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 419499268 28904845312 7079 33554432000 4194304 4196468 140729321741184 139628175669488 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12584] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12584/stat : 12584 (java) S 12567 12567 11963 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419499268 28904845312 7079 33554432000 4194304 4196468 140729321741184 139628174616944 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12585] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12585/stat : 12585 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499269 28904845312 7079 33554432000 4194304 4196468 140729321741184 139628173563888 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12586] ppid=12567 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/12569/task/12586/stat : 12586 (java) S 12567 12567 11963 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 419499269 28904845312 7079 33554432000 4194304 4196468 140729321741184 139628172511344 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12587] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12587/stat : 12587 (java) S 12567 12567 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419499269 28904845312 7079 33554432000 4194304 4196468 140729321741184 139628171459552 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12588] ppid=12567 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/12569/task/12588/stat : 12588 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499269 28904845312 7079 33554432000 4194304 4196468 140729321741184 139628170407088 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 29772 KiB [startup+0.210482 s]* /proc/loadavg: 8.12 8.26 8.12 2/212 12588 /proc/meminfo: memFree=30843484/32770624 swapFree=66940952/67108860 [pid=12567] ppid=12564 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12567/stat : 12567 (xcsp3-exec) S 12564 12567 11963 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419499262 115843072 364 33554432000 4194304 5098028 140732361550208 140732361548312 140043311813244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35155968 140732361552757 140732361553001 140732361553001 140732361555914 0 /proc/12567/statm: 28282 364 305 221 0 87 0 [pid=12569] ppid=12567 vsize=28227388 memory=41020 CPUtime=0.34 cores=0-7 /proc/12569/stat : 12569 (java) S 12567 12567 11963 0 -1 1077944320 9524 0 0 0 30 4 0 0 20 0 20 0 419499263 28904845312 10255 33554432000 4194304 4196468 140729321741184 140729321723728 139630119104247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 /proc/12569/statm: 7056847 10255 3312 1 0 7019032 0 [pid=12569/tid=12570] ppid=12567 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/12569/task/12570/stat : 12570 (java) R 12567 12567 11963 0 -1 4202560 6605 0 0 0 17 2 0 0 20 0 20 0 419499263 28904845312 10255 33554432000 4194304 4196468 140729321741184 139630123335472 139630119116182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12571] ppid=12567 vsize=28227388 memory=329 CPUtime=0 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) S 12567 12567 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 10255 33554432000 4194304 4196468 140729321741184 139630071725072 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12572] ppid=12567 vsize=28227388 memory=3978007078936733344 CPUtime=0 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12567 12567 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 10255 33554432000 4194304 4196468 140729321741184 139630070672528 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12573] ppid=12567 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 10255 33554432000 4194304 4196468 140729321741184 139630069619472 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12574] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12574/stat : 12574 (java) S 12567 12567 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 10255 33554432000 4194304 4196468 140729321741184 139630068566928 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12575] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12575/stat : 12575 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 10255 33554432000 4194304 4196468 140729321741184 139630067513872 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12576] ppid=12567 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/12569/task/12576/stat : 12576 (java) S 12567 12567 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 10255 33554432000 4194304 4196468 140729321741184 139630066461328 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12577] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12577/stat : 12577 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 10255 33554432000 4194304 4196468 140729321741184 139630065408272 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12578] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28904845312 10255 33554432000 4194304 4196468 140729321741184 139630064355728 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12579] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12567 12567 11963 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419499265 28904845312 10255 33554432000 4194304 4196468 140729321741184 139628449024752 139630119115394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12580] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12567 12567 11963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419499266 28904845312 10255 33554432000 4194304 4196468 140729321741184 139628178826912 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12581] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12581/stat : 12581 (java) S 12567 12567 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419499266 28904845312 10255 33554432000 4194304 4196468 140729321741184 139628177773808 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12582] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12582/stat : 12582 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499268 28904845312 10255 33554432000 4194304 4196468 140729321741184 139628176722384 139630119122843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12583] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12583/stat : 12583 (java) S 12567 12567 11963 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 419499268 28904845312 10255 33554432000 4194304 4196468 140729321741184 139628175669488 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12584] ppid=12567 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/12569/task/12584/stat : 12584 (java) S 12567 12567 11963 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 20 0 419499268 28904845312 10255 33554432000 4194304 4196468 140729321741184 139628174616944 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12585] ppid=12567 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/12569/task/12585/stat : 12585 (java) S 12567 12567 11963 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 20 0 419499269 28904845312 10255 33554432000 4194304 4196468 140729321741184 139628173563888 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12586] ppid=12567 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/12569/task/12586/stat : 12586 (java) R 12567 12567 11963 0 -1 4202560 785 0 0 0 8 0 0 0 20 0 20 0 419499269 28904845312 10255 33554432000 4194304 4196468 140729321741184 139628172511472 139630119116182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12587] ppid=12567 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12587/stat : 12587 (java) S 12567 12567 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419499269 28904845312 10255 33554432000 4194304 4196468 140729321741184 139628171459552 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12588] ppid=12567 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/12569/task/12588/stat : 12588 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499269 28904845312 10255 33554432000 4194304 4196468 140729321741184 139628170407088 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42476 KiB [startup+0.310195 s]* /proc/loadavg: 8.12 8.26 8.12 3/212 12588 /proc/meminfo: memFree=30835728/32770624 swapFree=66940952/67108860 [pid=12567] ppid=12564 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12567/stat : 12567 (xcsp3-exec) S 12564 12567 11963 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419499262 115843072 364 33554432000 4194304 5098028 140732361550208 140732361548312 140043311813244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35155968 140732361552757 140732361553001 140732361553001 140732361555914 0 /proc/12567/statm: 28282 364 305 221 0 87 0 [pid=12569] ppid=12567 vsize=28231644 memory=50160 CPUtime=0.52 cores=0-7 /proc/12569/stat : 12569 (java) S 12567 12567 11963 0 -1 1077944320 10901 0 0 0 47 5 0 0 20 0 20 0 419499263 28909203456 12540 33554432000 4194304 4196468 140729321741184 140729321723728 139630119104247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 /proc/12569/statm: 7057911 12540 3362 1 0 7019032 0 [pid=12569/tid=12570] ppid=12567 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/12569/task/12570/stat : 12570 (java) R 12567 12567 11963 0 -1 4202560 7753 0 0 0 26 3 0 0 20 0 20 0 419499263 28909203456 12540 33554432000 4194304 4196468 140729321741184 139630123334400 139630103184734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12571] ppid=12567 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) S 12567 12567 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419499264 28909203456 12540 33554432000 4194304 4196468 140729321741184 139630071725072 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12572] ppid=12567 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12567 12567 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419499264 28909203456 12540 33554432000 4194304 4196468 140729321741184 139630070672528 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12573] ppid=12567 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28909203456 12540 33554432000 4194304 4196468 140729321741184 139630069619472 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12574] ppid=12567 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12574/stat : 12574 (java) S 12567 12567 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419499264 28909203456 12540 33554432000 4194304 4196468 140729321741184 139630068566928 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12575] ppid=12567 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/12569/task/12575/stat : 12575 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28909203456 12540 33554432000 4194304 4196468 140729321741184 139630067513872 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12576] ppid=12567 vsize=28231644 memory=139824472355759 CPUtime=0 cores=0-7 /proc/12569/task/12576/stat : 12576 (java) S 12567 12567 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419499264 28909203456 12540 33554432000 4194304 4196468 140729321741184 139630066461328 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12577] ppid=12567 vsize=28231644 memory=139824472358064 CPUtime=0 cores=0-7 /proc/12569/task/12577/stat : 12577 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28909203456 12540 33554432000 4194304 4196468 140729321741184 139630065408272 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12578] ppid=12567 vsize=28231644 memory=139824472360368 CPUtime=0 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28909203456 12540 33554432000 4194304 4196468 140729321741184 139630064355728 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12579] ppid=12567 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12567 12567 11963 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419499265 28909203456 12540 33554432000 4194304 4196468 140729321741184 139628449024752 139630119115394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12580] ppid=12567 vsize=28231644 memory=279648944727696 CPUtime=0 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12567 12567 11963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419499266 28909203456 12540 33554432000 4194304 4196468 140729321741184 139628178826912 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12581] ppid=12567 vsize=28231644 memory=279648944734608 CPUtime=0 cores=0-7 /proc/12569/task/12581/stat : 12581 (java) S 12567 12567 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419499266 28909203456 12540 33554432000 4194304 4196468 140729321741184 139628177773808 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12582] ppid=12567 vsize=28231644 memory=279648944675760 CPUtime=0 cores=0-7 /proc/12569/task/12582/stat : 12582 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499268 28909203456 12540 33554432000 4194304 4196468 140729321741184 139628176722384 139630119122843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12583] ppid=12567 vsize=28231644 memory=279648944748432 CPUtime=0.02 cores=0-7 /proc/12569/task/12583/stat : 12583 (java) S 12567 12567 11963 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 20 0 419499268 28909203456 12540 33554432000 4194304 4196468 140729321741184 139628175669488 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12584] ppid=12567 vsize=28231644 memory=279648944755344 CPUtime=0.03 cores=0-7 /proc/12569/task/12584/stat : 12584 (java) S 12567 12567 11963 0 -1 1077944384 408 0 0 0 3 0 0 0 20 0 20 0 419499268 28909203456 12540 33554432000 4194304 4196468 140729321741184 139628174616944 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12585] ppid=12567 vsize=28231644 memory=279648944753040 CPUtime=0.02 cores=0-7 /proc/12569/task/12585/stat : 12585 (java) R 12567 12567 11963 0 -1 4202560 218 0 0 0 2 0 0 0 20 0 20 0 419499269 28909203456 12540 33554432000 4194304 4196468 140729321741184 139628173563888 139630102492006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12586] ppid=12567 vsize=28231644 memory=279648944769200 CPUtime=0.12 cores=0-7 /proc/12569/task/12586/stat : 12586 (java) S 12567 12567 11963 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 20 0 419499269 28909203456 12540 33554432000 4194304 4196468 140729321741184 139628172511344 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12587] ppid=12567 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12587/stat : 12587 (java) S 12567 12567 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419499269 28909203456 12540 33554432000 4194304 4196468 140729321741184 139628171459552 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12588] ppid=12567 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/12569/task/12588/stat : 12588 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499269 28909203456 12540 33554432000 4194304 4196468 140729321741184 139628170407088 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51616 KiB [startup+0.701021 s] /proc/loadavg: 8.12 8.26 8.12 6/212 12588 /proc/meminfo: memFree=30807804/32770624 swapFree=66940952/67108860 [pid=12567] ppid=12564 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12567/stat : 12567 (xcsp3-exec) S 12564 12567 11963 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419499262 115843072 364 33554432000 4194304 5098028 140732361550208 140732361548312 140043311813244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35155968 140732361552757 140732361553001 140732361553001 140732361555914 0 /proc/12567/statm: 28282 364 305 221 0 87 0 [pid=12569] ppid=12567 vsize=28233768 memory=103372 CPUtime=1.91 cores=0-7 /proc/12569/stat : 12569 (java) S 12567 12567 11963 0 -1 1077944320 15414 0 0 0 183 8 0 0 20 0 20 0 419499263 28911378432 25843 33554432000 4194304 4196468 140729321741184 140729321723728 139630119104247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 /proc/12569/statm: 7058442 25843 3462 1 0 7019544 0 [pid=12569/tid=12570] ppid=12567 vsize=28233768 memory=279648945127088 CPUtime=0.67 cores=0-7 /proc/12569/task/12570/stat : 12570 (java) R 12567 12567 11963 0 -1 4202560 9108 0 0 0 63 4 0 0 20 0 20 0 419499263 28911378432 25843 33554432000 4194304 4196468 140729321741184 139630123340960 139630119116182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12571] ppid=12567 vsize=28233768 memory=139824472564592 CPUtime=0 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) S 12567 12567 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419499264 28911378432 25843 33554432000 4194304 4196468 140729321741184 139630071725072 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12572] ppid=12567 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12567 12567 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419499264 28911378432 25843 33554432000 4194304 4196468 140729321741184 139630070672528 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12573] ppid=12567 vsize=28233768 memory=5980 CPUtime=0 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419499264 28911378432 25843 33554432000 4194304 4196468 140729321741184 139630069619472 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 ################ # More data... # ################ [pid=12569/tid=12578] ppid=12567 vsize=28769356 memory=0 CPUtime=0.08 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12567 12567 11963 0 -1 1077944384 1190 0 0 0 5 3 0 0 20 0 28 0 419499264 29459820544 175383 33554432000 4194304 4196468 140729321741184 139630064355728 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12579] ppid=12567 vsize=28769356 memory=0 CPUtime=0.02 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12567 12567 11963 0 -1 1077944384 777 0 0 0 2 0 0 0 20 0 28 0 419499265 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628449024752 139630119115394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12580] ppid=12567 vsize=28769356 memory=53 CPUtime=0 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12567 12567 11963 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 419499266 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628178826976 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12581] ppid=12567 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12581/stat : 12581 (java) S 12567 12567 11963 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 419499266 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628177773824 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12582] ppid=12567 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12582/stat : 12582 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419499268 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628176722384 139630119122843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12583] ppid=12567 vsize=28769356 memory=0 CPUtime=3.63 cores=0-7 /proc/12569/task/12583/stat : 12583 (java) S 12567 12567 11963 0 -1 1077944384 9361 0 0 0 361 2 0 0 20 0 28 0 419499268 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628175669488 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12584] ppid=12567 vsize=28769356 memory=0 CPUtime=3.26 cores=0-7 /proc/12569/task/12584/stat : 12584 (java) S 12567 12567 11963 0 -1 1077944384 6716 0 0 0 324 2 0 0 20 0 28 0 419499268 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628174616944 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12585] ppid=12567 vsize=28769356 memory=1056 CPUtime=3.33 cores=0-7 /proc/12569/task/12585/stat : 12585 (java) S 12567 12567 11963 0 -1 1077944384 9276 0 0 0 331 2 0 0 20 0 28 0 419499269 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628173563888 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12586] ppid=12567 vsize=28769356 memory=1556 CPUtime=1.19 cores=0-7 /proc/12569/task/12586/stat : 12586 (java) S 12567 12567 11963 0 -1 1077944384 5514 0 0 0 116 3 0 0 20 0 28 0 419499269 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628172511344 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12587] ppid=12567 vsize=28769356 memory=11568 CPUtime=0 cores=0-7 /proc/12569/task/12587/stat : 12587 (java) S 12567 12567 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419499269 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628171459552 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12588] ppid=12567 vsize=28769356 memory=1532 CPUtime=0 cores=0-7 /proc/12569/task/12588/stat : 12588 (java) S 12567 12567 11963 0 -1 1077944384 474 0 0 0 0 0 0 0 20 0 28 0 419499269 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628170407088 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 39 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12925] ppid=12567 vsize=28769356 memory=1088 CPUtime=0 cores=0-7 /proc/12569/task/12925/stat : 12925 (java) S 12567 12567 11963 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 419500362 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628157234992 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12926] ppid=12567 vsize=28769356 memory=988 CPUtime=0 cores=0-7 /proc/12569/task/12926/stat : 12926 (java) S 12567 12567 11963 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 419500362 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628155131264 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12927] ppid=12567 vsize=28769356 memory=780 CPUtime=0 cores=0-7 /proc/12569/task/12927/stat : 12927 (java) S 12567 12567 11963 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419500362 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628151972864 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12928] ppid=12567 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12928/stat : 12928 (java) S 12567 12567 11963 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 419500362 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628150920320 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12929] ppid=12567 vsize=28769356 memory=2241 CPUtime=0 cores=0-7 /proc/12569/task/12929/stat : 12929 (java) S 12567 12567 11963 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 419500362 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628158288640 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12930] ppid=12567 vsize=28769356 memory=2244 CPUtime=0.2 cores=0-7 /proc/12569/task/12930/stat : 12930 (java) R 12567 12567 11963 0 -1 4202560 20 0 0 0 20 0 0 0 20 0 28 0 419500362 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628156177360 139629748017248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12931] ppid=12567 vsize=28769356 memory=7517159033909830208 CPUtime=0.2 cores=0-7 /proc/12569/task/12931/stat : 12931 (java) R 12567 12567 11963 0 -1 4202560 20 0 0 0 20 0 0 0 20 0 28 0 419500362 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628159335936 139629749669826 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12932] ppid=12567 vsize=28769356 memory=5787213827347079232 CPUtime=0 cores=0-7 /proc/12569/task/12932/stat : 12932 (java) S 12567 12567 11963 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419500362 29459820544 175383 33554432000 4194304 4196468 140729321741184 139628153026176 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 Current children cumulated CPU time: 51.06 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 702988 KiB [startup+11.6018 s] /proc/loadavg: 7.55 8.13 8.09 4/220 12932 /proc/meminfo: memFree=30178940/32770624 swapFree=66940952/67108860 [pid=12567] ppid=12564 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12567/stat : 12567 (xcsp3-exec) S 12564 12567 11963 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419499262 115843072 364 33554432000 4194304 5098028 140732361550208 140732361548312 140043311813244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35155968 140732361552757 140732361553001 140732361553001 140732361555914 0 /proc/12567/statm: 28282 364 305 221 0 87 0 [pid=12569] ppid=12567 vsize=28834892 memory=701564 CPUtime=53.03 cores=0-7 /proc/12569/stat : 12569 (java) S 12567 12567 11963 0 -1 1077944320 55121 0 0 0 5232 71 0 0 20 0 28 0 419499263 29526929408 175391 33554432000 4194304 4196468 140729321741184 140729321723728 139630119104247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 /proc/12569/statm: 7208723 175391 3534 1 0 7169825 0 [pid=12569/tid=12570] ppid=12567 vsize=28834892 memory=40552 CPUtime=1.3 cores=0-7 /proc/12569/task/12570/stat : 12570 (java) S 12567 12567 11963 0 -1 1077944384 9690 0 0 0 123 7 0 0 20 0 28 0 419499263 29526929408 175391 33554432000 4194304 4196468 140729321741184 139630123345024 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12571] ppid=12567 vsize=28834892 memory=1988 CPUtime=0.09 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) S 12567 12567 11963 0 -1 1077944384 157 0 0 0 5 4 0 0 20 0 28 0 419499264 29526929408 175391 33554432000 4194304 4196468 140729321741184 139630071725072 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12572] ppid=12567 vsize=28834892 memory=988 CPUtime=0.1 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12567 12567 11963 0 -1 1077944384 177 0 0 0 6 4 0 0 20 0 28 0 419499264 29526929408 175391 33554432000 4194304 4196468 140729321741184 139630070672528 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12573] ppid=12567 vsize=28834892 memory=1428 CPUtime=0.1 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12567 12567 11963 0 -1 1077944384 151 0 0 0 6 4 0 0 20 0 28 0 419499264 29526929408 175391 33554432000 4194304 4196468 140729321741184 139630069619472 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12574] ppid=12567 vsize=28834892 memory=1772 CPUtime=0.09 cores=0-7 /proc/12569/task/12574/stat : 12574 (java) S 12567 12567 11963 0 -1 1077944384 149 0 0 0 5 4 0 0 20 0 28 0 419499264 29526929408 175391 33554432000 4194304 4196468 140729321741184 139630068566928 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12575] ppid=12567 vsize=28834892 memory=1056 CPUtime=0.11 cores=0-7 /proc/12569/task/12575/stat : 12575 (java) S 12567 12567 11963 0 -1 1077944384 180 0 0 0 6 5 0 0 20 0 28 0 419499264 29526929408 175391 33554432000 4194304 4196468 140729321741184 139630067513872 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12576] ppid=12567 vsize=28834892 memory=1556 CPUtime=0.11 cores=0-7 /proc/12569/task/12576/stat : 12576 (java) S 12567 12567 11963 0 -1 1077944384 177 0 0 0 7 4 0 0 20 0 28 0 419499264 29526929408 175391 33554432000 4194304 4196468 140729321741184 139630066461328 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12577] ppid=12567 vsize=28834892 memory=6791534058613427641 CPUtime=0.12 cores=0-7 /proc/12569/task/12577/stat : 12577 (java) S 12567 12567 11963 0 -1 1077944384 248 0 0 0 7 5 0 0 20 0 28 0 419499264 29526929408 175391 33554432000 4194304 4196468 140729321741184 139630065408272 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12578] ppid=12567 vsize=28834892 memory=2432 CPUtime=0.08 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12567 12567 11963 0 -1 1077944384 1190 0 0 0 5 3 0 0 20 0 28 0 419499264 29526929408 175391 33554432000 4194304 4196468 140729321741184 139630064355728 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12579] ppid=12567 vsize=28834892 memory=1436 CPUtime=0.02 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12567 12567 11963 0 -1 1077944384 777 0 0 0 2 0 0 0 20 0 28 0 419499265 29526929408 175391 33554432000 4194304 4196468 140729321741184 139628449024752 139630119115394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12580] ppid=12567 vsize=28834892 memory=804 CPUtime=0 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12567 12567 11963 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 419499266 29526929408 175391 33554432000 4194304 4196468 140729321741184 139628178826976 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12581] ppid=12567 vsize=28834892 memory=1764 CPUtime=0 cores=0-7 /proc/12569/task/12581/stat : 12581 (java) S 12567 12567 11963 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 419499266 29526929408 175391 33554432000 4194304 4196468 140729321741184 139628177773824 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12582] ppid=12567 vsize=28834892 memory=111628 CPUtime=0 cores=0-7 /proc/12569/task/12582/stat : 12582 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419499268 29526929408 175391 33554432000 4194304 4196468 140729321741184 139628176722384 139630119122843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12583] ppid=12567 vsize=28834892 memory=800 CPUtime=3.64 cores=0-7 /proc/12569/task/12583/stat : 12583 (java) S 12567 12567 11963 0 -1 1077944384 9361 0 0 0 362 2 0 0 20 0 28 0 419499268 29526929408 175391 33554432000 4194304 4196468 140729321741184 139628175669488 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12584] ppid=12567 vsize=28834892 memory=4108 CPUtime=3.31 cores=0-7 /proc/12569/task/12584/stat : 12584 (java) S 12567 12567 11963 0 -1 1077944384 6716 0 0 0 329 2 0 0 20 0 28 0 419499268 29526929408 175391 33554432000 4194304 4196468 140729321741184 139628174616944 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12585] ppid=12567 vsize=28834892 memory=1808 CPUtime=3.41 cores=0-7 /proc/12569/task/12585/stat : 12585 (java) S 12567 12567 11963 0 -1 1077944384 9289 0 0 0 339 2 0 0 20 0 28 0 419499269 29526929408 175391 33554432000 4194304 4196468 140729321741184 139628173563888 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12586] ppid=12567 vsize=28834892 memory=924 CPUtime=1.21 cores=0-7 /proc/12569/task/12586/stat : 12586 (java) S 12567 12567 11963 0 -1 1077944384 5529 0 0 0 117 4 0 0 20 0 28 0 419499269 29526929408 175391 33554432000 4194304 4196468 140729321741184 139628172511344 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12587] ppid=12567 vsize=28834892 memory=4136 CPUtime=0 cores=0-7 /proc/12569/task/12587/stat : 12587 (java) S 12567 12567 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419499269 29526929408 175391 33554432000 4194304 4196468 140729321741184 139628171459552 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12588] ppid=12567 vsize=28834892 memory=1412 CPUtime=0 cores=0-7 /proc/12569/task/12588/stat : 12588 (java) S 12567 12567 11963 0 -1 1077944384 474 0 0 0 0 0 0 0 20 0 28 0 419499269 29526929408 175391 33554432000 4194304 4196468 140729321741184 139628170407088 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 Current children cumulated CPU time: 53.03 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 703020 KiB [startup+12.001 s]* /proc/loadavg: 6.94 8.00 8.04 2/220 12964 /proc/meminfo: memFree=30179568/32770624 swapFree=66940952/67108860 [pid=12567] ppid=12564 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12567/stat : 12567 (xcsp3-exec) S 12564 12567 11963 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419499262 115843072 364 33554432000 4194304 5098028 140732361550208 140732361548312 140043311813244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35155968 140732361552757 140732361553001 140732361553001 140732361555914 0 /proc/12567/statm: 28282 364 305 221 0 87 0 [pid=12569] ppid=12567 vsize=28834892 memory=702096 CPUtime=54.78 cores=0-7 /proc/12569/stat : 12569 (java) S 12567 12567 11963 0 -1 1077944320 55385 0 0 0 5407 71 0 0 20 0 28 0 419499263 29526929408 175524 33554432000 4194304 4196468 140729321741184 140729321723728 139630119104247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 /proc/12569/statm: 7208723 175524 3534 1 0 7169825 0 [pid=12569/tid=12570] ppid=12567 vsize=28834892 memory=6791534058613427641 CPUtime=1.3 cores=0-7 /proc/12569/task/12570/stat : 12570 (java) S 12567 12567 11963 0 -1 1077944384 9690 0 0 0 123 7 0 0 20 0 28 0 419499263 29526929408 175524 33554432000 4194304 4196468 140729321741184 139630123345024 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12571] ppid=12567 vsize=28834892 memory=4126316290023845779 CPUtime=0.09 cores=0-7 /proc/12569/task/12571/stat : 12571 (java) S 12567 12567 11963 0 -1 1077944384 157 0 0 0 5 4 0 0 20 0 28 0 419499264 29526929408 175524 33554432000 4194304 4196468 140729321741184 139630071725072 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12572] ppid=12567 vsize=28834892 memory=780 CPUtime=0.1 cores=0-7 /proc/12569/task/12572/stat : 12572 (java) S 12567 12567 11963 0 -1 1077944384 177 0 0 0 6 4 0 0 20 0 28 0 419499264 29526929408 175524 33554432000 4194304 4196468 140729321741184 139630070672528 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12573] ppid=12567 vsize=28834892 memory=5980 CPUtime=0.1 cores=0-7 /proc/12569/task/12573/stat : 12573 (java) S 12567 12567 11963 0 -1 1077944384 151 0 0 0 6 4 0 0 20 0 28 0 419499264 29526929408 175524 33554432000 4194304 4196468 140729321741184 139630069619472 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12574] ppid=12567 vsize=28834892 memory=624 CPUtime=0.09 cores=0-7 /proc/12569/task/12574/stat : 12574 (java) S 12567 12567 11963 0 -1 1077944384 149 0 0 0 5 4 0 0 20 0 28 0 419499264 29526929408 175524 33554432000 4194304 4196468 140729321741184 139630068566928 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12575] ppid=12567 vsize=28834892 memory=11568 CPUtime=0.11 cores=0-7 /proc/12569/task/12575/stat : 12575 (java) S 12567 12567 11963 0 -1 1077944384 180 0 0 0 6 5 0 0 20 0 28 0 419499264 29526929408 175524 33554432000 4194304 4196468 140729321741184 139630067513872 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12576] ppid=12567 vsize=28834892 memory=1532 CPUtime=0.11 cores=0-7 /proc/12569/task/12576/stat : 12576 (java) S 12567 12567 11963 0 -1 1077944384 177 0 0 0 7 4 0 0 20 0 28 0 419499264 29526929408 175524 33554432000 4194304 4196468 140729321741184 139630066461328 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12577] ppid=12567 vsize=28834892 memory=1088 CPUtime=0.12 cores=0-7 /proc/12569/task/12577/stat : 12577 (java) S 12567 12567 11963 0 -1 1077944384 248 0 0 0 7 5 0 0 20 0 28 0 419499264 29526929408 175524 33554432000 4194304 4196468 140729321741184 139630065408272 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12578] ppid=12567 vsize=28834892 memory=988 CPUtime=0.08 cores=0-7 /proc/12569/task/12578/stat : 12578 (java) S 12567 12567 11963 0 -1 1077944384 1190 0 0 0 5 3 0 0 20 0 28 0 419499264 29526929408 175524 33554432000 4194304 4196468 140729321741184 139630064355728 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12579] ppid=12567 vsize=28834892 memory=780 CPUtime=0.02 cores=0-7 /proc/12569/task/12579/stat : 12579 (java) S 12567 12567 11963 0 -1 1077944384 777 0 0 0 2 0 0 0 20 0 28 0 419499265 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628449024752 139630119115394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12580] ppid=12567 vsize=28834892 memory=5980 CPUtime=0 cores=0-7 /proc/12569/task/12580/stat : 12580 (java) S 12567 12567 11963 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 419499266 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628178826976 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12581] ppid=12567 vsize=28834892 memory=624 CPUtime=0 cores=0-7 /proc/12569/task/12581/stat : 12581 (java) S 12567 12567 11963 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 419499266 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628177773824 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12582] ppid=12567 vsize=28834892 memory=3996 CPUtime=0 cores=0-7 /proc/12569/task/12582/stat : 12582 (java) S 12567 12567 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419499268 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628176722384 139630119122843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12583] ppid=12567 vsize=28834892 memory=2832 CPUtime=3.65 cores=0-7 /proc/12569/task/12583/stat : 12583 (java) S 12567 12567 11963 0 -1 1077944384 9361 0 0 0 363 2 0 0 20 0 28 0 419499268 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628175669488 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12584] ppid=12567 vsize=28834892 memory=14012 CPUtime=3.31 cores=0-7 /proc/12569/task/12584/stat : 12584 (java) S 12567 12567 11963 0 -1 1077944384 6716 0 0 0 329 2 0 0 20 0 28 0 419499268 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628174616944 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12585] ppid=12567 vsize=28834892 memory=2112 CPUtime=3.41 cores=0-7 /proc/12569/task/12585/stat : 12585 (java) S 12567 12567 11963 0 -1 1077944384 9289 0 0 0 339 2 0 0 20 0 28 0 419499269 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628173563888 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12586] ppid=12567 vsize=28834892 memory=12040 CPUtime=1.22 cores=0-7 /proc/12569/task/12586/stat : 12586 (java) S 12567 12567 11963 0 -1 1077944384 5533 0 0 0 118 4 0 0 20 0 28 0 419499269 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628172511344 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12587] ppid=12567 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12587/stat : 12587 (java) S 12567 12567 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419499269 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628171459552 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12588] ppid=12567 vsize=28834892 memory=129 CPUtime=0 cores=0-7 /proc/12569/task/12588/stat : 12588 (java) S 12567 12567 11963 0 -1 1077944384 474 0 0 0 0 0 0 0 20 0 28 0 419499269 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628170407088 139630119115394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12957] ppid=12567 vsize=28834892 memory=288230617509003574 CPUtime=0 cores=0-7 /proc/12569/task/12957/stat : 12957 (java) S 12567 12567 11963 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419500448 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628153024480 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12958] ppid=12567 vsize=28834892 memory=14698482732632482 CPUtime=0 cores=0-7 /proc/12569/task/12958/stat : 12958 (java) S 12567 12567 11963 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419500448 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628154078592 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12959] ppid=12567 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12959/stat : 12959 (java) S 12567 12567 11963 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419500448 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628156183552 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12960] ppid=12567 vsize=28834892 memory=0 CPUtime=0.15 cores=0-7 /proc/12569/task/12960/stat : 12960 (java) R 12567 12567 11963 0 -1 4202560 133 0 0 0 15 0 0 0 20 0 28 0 419500448 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628155132896 139629749670028 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12961] ppid=12567 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12961/stat : 12961 (java) S 12567 12567 11963 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419500448 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628150919936 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12962] ppid=12567 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12962/stat : 12962 (java) S 12567 12567 11963 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419500448 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628151972736 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12963] ppid=12567 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12963/stat : 12963 (java) S 12567 12567 11963 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419500448 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628157236736 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 [pid=12569/tid=12964] ppid=12567 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/12569/task/12964/stat : 12964 (java) S 12567 12567 11963 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 419500448 29526929408 175524 33554432000 4194304 4196468 140729321741184 139628159342208 139630119114453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9691136 140729321743338 140729321743510 140729321743510 140729321746383 0 Current children cumulated CPU time: 54.78 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 703552 KiB Child status: 0 Real time (s): 12.0946 CPU time (s): 54.8899 CPU user time (s): 54.154 CPU system time (s): 0.735904 CPU usage (%): 453.839 Max. virtual memory (cumulated for all children) (KiB): 28948020 Max. memory (cumulated for all children) (KiB): 703552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 54.154 system time used= 0.735904 maximum resident set size= 702852 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56170 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8458 involuntary context switches= 1343 # summary of solver processes directly reported to runsolver: # pid: 12567 # total CPU time (s): 54.8899 # total CPU user time (s): 54.154 # total CPU system time (s): 0.735904 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.130904 second user time and 0.157593 second system time The end
Begin job on node149 at 2019-09-14 05:42:48 IDJOB=4394482 IDBENCH=133272 IDSOLVER=2843 FILE ID=node149/4394482-1568432606 RUNJOBID= node149-1568429993-11990 PBS_JOBID= 21702308 Free space on /tmp= 61424 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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-4394482-1568432606/watcher-4394482-1568432606 -o /tmp/evaluation-result-4394482-1568432606/solver-4394482-1568432606 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568429993-11990 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1043321463 HOME/instance-4394482-1568432606.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2b9b9d57997e47756252872b7d7d2054 RANDOM SEED=1043321463 node149.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.81 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.81 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.81 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.81 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: 30871948 kB MemAvailable: 31852520 kB Buffers: 190580 kB Cached: 1085704 kB SwapCached: 61296 kB Active: 621392 kB Inactive: 716832 kB Active(anon): 29740 kB Inactive(anon): 72468 kB Active(file): 591652 kB Inactive(file): 644364 kB Unevictable: 111244 kB Mlocked: 111244 kB SwapTotal: 67108860 kB SwapFree: 66940952 kB Dirty: 26160 kB Writeback: 0 kB AnonPages: 113520 kB Mapped: 45140 kB Shmem: 31376 kB Slab: 149320 kB SReclaimable: 120780 kB SUnreclaim: 28540 kB KernelStack: 3360 kB PageTables: 5132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498096 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61396 MiB End job on node149 at 2019-09-14 05:43:00