Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.9.2 | OPT | 4482 | 23.8532 | 12.9422 |
| Name | Mario/ Mario-t-hard-5_c18.xml |
| MD5SUM | 4de37f7087aa8e77bde3fd457ed5d54a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4482 |
| Best CPU time to get the best result obtained on this benchmark | 3.6868 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 201 |
| Number of domains | 166 |
| Minimum domain size | 1 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":95},{"size":83,"count":1},{"size":85,"count":1},{"size":86,"count":3},{"size":87,"count":3},{"size":88,"count":8},{"size":89,"count":19},{"size":90,"count":19},{"size":91,"count":8},{"size":92,"count":17},{"size":93,"count":12},{"size":94,"count":3},{"size":95,"count":3},{"size":96,"count":1},{"size":97,"count":2},{"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 |
1.00/0.74 c Concrete v3.9.2.1532736233296 running 22.62/12.34 o 4446 23.57/12.89 o 4482 23.78/12.91 v <instantiation cost="4482"> 23.78/12.91 v <list> 23.78/12.91 v 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] 23.78/12.91 v </list> 23.78/12.91 v <values> 23.78/12.91 v 27 0 38 47 33 98 50 52 64 34 49 42 36 51 5 32 83 35 99 43 13 19 56 45 21 18 16 78 96 20 72 85 68 76 69 11 63 84 67 14 24 37 89 66 10 26 95 8 65 81 90 91 74 82 79 73 17 57 87 62 7 22 71 97 70 25 23 12 86 77 75 93 80 4 15 54 44 61 59 30 41 3 2 88 58 39 6 31 53 1 9 55 92 29 94 40 46 48 28 60 180 0 47 156 155 168 72 224 145 424 358 102 33 419 425 202 57 2 492 10 300 23 6 61 356 48 297 358 88 344 176 328 143 356 176 25 484 39 131 57 381 285 274 132 354 283 262 443 13 195 395 389 372 465 348 82 48 0 79 192 70 105 8 157 493 1 234 30 263 258 7 146 353 448 103 458 77 114 296 124 85 216 394 0 195 123 114 255 352 435 176 455 0 95 0 30 137 22 125 448 0 0 74 24 6 5 54 91 22 21 31 3 47 60 28 90 78 15 17 17 8 65 8 56 61 2 80 47 15 20 89 92 57 29 7 30 46 43 69 33 84 51 70 57 41 98 52 42 53 95 25 5 12 37 3 12 59 0 47 31 99 51 7 26 98 65 33 97 44 18 49 36 58 30 55 57 69 60 13 99 65 73 84 63 56 91 88 6 91 37 43 11 0 1 0 85 27 69 54 60 23.78/12.91 v </values> 23.78/12.91 v </instantiation> 23.78/12.91 s OPTIMUM FOUND
OK 4482
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 (10106 MiB free)
memory of node 1: 16384 MiB (11090 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304657-1534124217/watcher-4304657-1534124217 -o /tmp/evaluation-result-4304657-1534124217/solver-4304657-1534124217 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534096381-30252 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1460811442 HOME/instance-4304657-1534124217.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2579, runsolver pid=2576
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 1.54 1.48 1.47 3/206 2636
/proc/meminfo: memFree=21699560/32770624 swapFree=67108372/67108860
[pid=2579] ppid=2576 vsize=10005480 memory=16548 CPUtime=0.09 cores=1,3,5,7
/proc/2579/stat : 2579 (java) S 2576 2579 30220 0 -1 1077944320 4318 13164 0 0 1 0 5 3 20 0 6 0 229984832 10245611520 4137 33554432000 4194304 4196468 140723750694992 140723750677536 140419546345207 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
/proc/2579/statm: 2501370 4137 1932 1 0 2489808 0
[pid=2579/tid=2632] ppid=2576 vsize=10005480 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2632/stat : 2632 (java) R 2576 2579 30220 0 -1 4202560 2193 13164 0 0 0 0 5 3 20 0 6 0 229984841 10245611520 4203 33554432000 4194304 4196468 140723750694992 140419518181968 140419527738941 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2633] ppid=2576 vsize=10005480 memory=7948963741541478447 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2633/stat : 2633 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 6 0 229984842 10245611520 4269 33554432000 4194304 4196468 140723750694992 140419550587664 140419546355413 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2634] ppid=2576 vsize=10005480 memory=140459563562624 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2634/stat : 2634 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 6 0 229984842 10245611520 4269 33554432000 4194304 4196468 140723750694992 140419405306768 140419546355413 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2635] ppid=2576 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2635/stat : 2635 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 6 0 229984842 10245611520 4269 33554432000 4194304 4196468 140723750694992 140419404254224 140419546355413 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2636] ppid=2576 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2636/stat : 2636 (java) S 2576 2579 30220 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 6 0 229984842 10245611520 4269 33554432000 4194304 4196468 140723750694992 140419403201680 140419546355413 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210088 s]*
/proc/loadavg: 1.54 1.48 1.47 3/215 2645
/proc/meminfo: memFree=21673228/32770624 swapFree=67108372/67108860
[pid=2579] ppid=2576 vsize=10982744 memory=46804 CPUtime=0.26 cores=1,3,5,7
/proc/2579/stat : 2579 (java) S 2576 2579 30220 0 -1 1077944320 7913 13164 0 0 17 1 5 3 20 0 15 0 229984832 11246329856 11701 33554432000 4194304 4196468 140723750694992 140723750677536 140419546345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
/proc/2579/statm: 2745686 11701 2948 1 0 2708109 0
[pid=2579/tid=2632] ppid=2576 vsize=10983736 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/2579/task/2632/stat : 2632 (java) R 2576 2579 30220 0 -1 4202560 4669 13164 0 0 10 1 5 3 20 0 15 0 229984841 11247345664 11899 33554432000 4194304 4196468 140723750694992 140419518170016 140419539024925 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2633] ppid=2576 vsize=10983736 memory=4294967641 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2633/stat : 2633 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984842 11247345664 11899 33554432000 4194304 4196468 140723750694992 140419550587664 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2634] ppid=2576 vsize=10983736 memory=140459564739896 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2634/stat : 2634 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984842 11247345664 11965 33554432000 4194304 4196468 140723750694992 140419405306768 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2635] ppid=2576 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2635/stat : 2635 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984842 11247345664 11965 33554432000 4194304 4196468 140723750694992 140419404254224 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2636] ppid=2576 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2636/stat : 2636 (java) S 2576 2579 30220 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 229984842 11247345664 11965 33554432000 4194304 4196468 140723750694992 140419403201680 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2637] ppid=2576 vsize=10985364 memory=140459563562624 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2637/stat : 2637 (java) S 2576 2579 30220 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 229984843 11249012736 11965 33554432000 4194304 4196468 140723750694992 140418971953136 140419546356354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2638] ppid=2576 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2638/stat : 2638 (java) S 2576 2579 30220 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 229984844 11249012736 11965 33554432000 4194304 4196468 140723750694992 140418332222368 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2639] ppid=2576 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2639/stat : 2639 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984844 11249012736 12031 33554432000 4194304 4196468 140723750694992 140418184373232 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2640] ppid=2576 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2640/stat : 2640 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984846 11249012736 12031 33554432000 4194304 4196468 140723750694992 140417876973776 140419546363803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2641] ppid=2576 vsize=10985364 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2579/task/2641/stat : 2641 (java) S 2576 2579 30220 0 -1 1077944384 484 13164 0 0 1 0 5 3 20 0 15 0 229984847 11249012736 12031 33554432000 4194304 4196468 140723750694992 140418970900976 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2642] ppid=2576 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2642/stat : 2642 (java) S 2576 2579 30220 0 -1 1077944384 129 13164 0 0 0 0 5 3 20 0 15 0 229984847 11249012736 12031 33554432000 4194304 4196468 140723750694992 140418969848432 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2643] ppid=2576 vsize=10985364 memory=140459563562624 CPUtime=0.11 cores=1,3,5,7
/proc/2579/task/2643/stat : 2643 (java) S 2576 2579 30220 0 -1 1077944384 612 13164 0 0 3 0 5 3 20 0 15 0 229984847 11249012736 12031 33554432000 4194304 4196468 140723750694992 140418968795888 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2644] ppid=2576 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2644/stat : 2644 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984847 11249012736 12097 33554432000 4194304 4196468 140723750694992 140417446177888 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2645] ppid=2576 vsize=10985364 memory=140459563562624 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2645/stat : 2645 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984847 11249012736 12097 33554432000 4194304 4196468 140723750694992 140418967742768 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46804 KiB
[startup+0.310502 s]*
/proc/loadavg: 1.54 1.48 1.47 3/215 2645
/proc/meminfo: memFree=21661072/32770624 swapFree=67108372/67108860
[pid=2579] ppid=2576 vsize=10983192 memory=57476 CPUtime=0.38 cores=1,3,5,7
/proc/2579/stat : 2579 (java) S 2576 2579 30220 0 -1 1077944320 10421 13164 0 0 28 2 5 3 20 0 15 0 229984832 11246788608 14369 33554432000 4194304 4196468 140723750694992 140723750677536 140419546345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
/proc/2579/statm: 2745798 14369 3067 1 0 2708109 0
[pid=2579/tid=2632] ppid=2576 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/2579/task/2632/stat : 2632 (java) R 2576 2579 30220 0 -1 4202560 6987 13164 0 0 19 1 5 3 20 0 15 0 229984841 11246788608 14369 33554432000 4194304 4196468 140723750694992 140419518157216 140419539445159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2633] ppid=2576 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2633/stat : 2633 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984842 11246788608 14369 33554432000 4194304 4196468 140723750694992 140419550587664 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2634] ppid=2576 vsize=10983192 memory=-7390251449858225344 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2634/stat : 2634 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984842 11246788608 14369 33554432000 4194304 4196468 140723750694992 140419405306768 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2635] ppid=2576 vsize=10983192 memory=1328725297981317182 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2635/stat : 2635 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984842 11246788608 14369 33554432000 4194304 4196468 140723750694992 140419404254224 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2636] ppid=2576 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2636/stat : 2636 (java) S 2576 2579 30220 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 229984842 11246788608 14369 33554432000 4194304 4196468 140723750694992 140419403201680 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2637] ppid=2576 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2637/stat : 2637 (java) S 2576 2579 30220 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 229984843 11246788608 14369 33554432000 4194304 4196468 140723750694992 140418971953136 140419546356354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2638] ppid=2576 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2638/stat : 2638 (java) S 2576 2579 30220 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 229984844 11246788608 14369 33554432000 4194304 4196468 140723750694992 140418332222368 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2639] ppid=2576 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2639/stat : 2639 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984844 11246788608 14369 33554432000 4194304 4196468 140723750694992 140418184373232 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2640] ppid=2576 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2640/stat : 2640 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984846 11246788608 14369 33554432000 4194304 4196468 140723750694992 140417876973776 140419546363803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2641] ppid=2576 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2579/task/2641/stat : 2641 (java) S 2576 2579 30220 0 -1 1077944384 489 13164 0 0 1 0 5 3 20 0 15 0 229984847 11246788608 14369 33554432000 4194304 4196468 140723750694992 140418970900976 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2642] ppid=2576 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2579/task/2642/stat : 2642 (java) S 2576 2579 30220 0 -1 1077944384 129 13164 0 0 1 0 5 3 20 0 15 0 229984847 11246788608 14369 33554432000 4194304 4196468 140723750694992 140418969848432 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2643] ppid=2576 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/2579/task/2643/stat : 2643 (java) R 2576 2579 30220 0 -1 4202560 618 13164 0 0 5 0 5 3 20 0 15 0 229984847 11246788608 14369 33554432000 4194304 4196468 140723750694992 140418968795888 140419526527784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2644] ppid=2576 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2644/stat : 2644 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984847 11246788608 14369 33554432000 4194304 4196468 140723750694992 140417446177888 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2645] ppid=2576 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2645/stat : 2645 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984847 11246788608 14369 33554432000 4194304 4196468 140723750694992 140418967742768 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57476 KiB
[startup+0.700798 s]
/proc/loadavg: 1.54 1.48 1.47 3/215 2645
/proc/meminfo: memFree=21650364/32770624 swapFree=67108372/67108860
[pid=2579] ppid=2576 vsize=10983192 memory=90504 CPUtime=1 cores=1,3,5,7
/proc/2579/stat : 2579 (java) S 2576 2579 30220 0 -1 1077944320 16734 13164 0 0 88 4 5 3 20 0 15 0 229984832 11246788608 22626 33554432000 4194304 4196468 140723750694992 140723750677536 140419546345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
/proc/2579/statm: 2745798 22626 3238 1 0 2708109 0
[pid=2579/tid=2632] ppid=2576 vsize=10983192 memory=2 CPUtime=0.67 cores=1,3,5,7
/proc/2579/task/2632/stat : 2632 (java) R 2576 2579 30220 0 -1 4202560 12144 13164 0 0 56 3 5 3 20 0 15 0 229984841 11246788608 22626 33554432000 4194304 4196468 140723750694992 140419518166032 140419531510775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2633] ppid=2576 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2633/stat : 2633 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984842 11246788608 22626 33554432000 4194304 4196468 140723750694992 140419550587664 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2634] ppid=2576 vsize=10983192 memory=8174711894690511157 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2634/stat : 2634 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984842 11246788608 22626 33554432000 4194304 4196468 140723750694992 140419405306768 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2635] ppid=2576 vsize=10983192 memory=5787219410854896217 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2635/stat : 2635 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984842 11246788608 22626 33554432000 4194304 4196468 140723750694992 140419404254224 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2636] ppid=2576 vsize=10983192 memory=5865491479076426066 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2636/stat : 2636 (java) S 2576 2579 30220 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 229984842 11246788608 22626 33554432000 4194304 4196468 140723750694992 140419403201680 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2637] ppid=2576 vsize=10983192 memory=4638778398332769633 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2637/stat : 2637 (java) S 2576 2579 30220 0 -1 1077944384 6 13164 0 0 0 0 5 3 20 0 15 0 229984843 11246788608 22626 33554432000 4194304 4196468 140723750694992 140418971953136 140419546356354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2638] ppid=2576 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2638/stat : 2638 (java) S 2576 2579 30220 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 229984844 11246788608 22626 33554432000 4194304 4196468 140723750694992 140418332222368 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2639] ppid=2576 vsize=10983192 memory=140459563561457 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2639/stat : 2639 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984844 11246788608 22626 33554432000 4194304 4196468 140723750694992 140418184373232 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2640] ppid=2576 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2640/stat : 2640 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984846 11246788608 22626 33554432000 4194304 4196468 140723750694992 140417876973776 140419546363803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2641] ppid=2576 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/2579/task/2641/stat : 2641 (java) S 2576 2579 30220 0 -1 1077944384 895 13164 0 0 8 0 5 3 20 0 15 0 229984847 11246788608 22626 33554432000 4194304 4196468 140723750694992 140418970900976 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2642] ppid=2576 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/2579/task/2642/stat : 2642 (java) S 2576 2579 30220 0 -1 1077944384 771 13164 0 0 9 0 5 3 20 0 15 0 229984847 11246788608 22626 33554432000 4194304 4196468 140723750694992 140418969848432 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2643] ppid=2576 vsize=10983192 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/2579/task/2643/stat : 2643 (java) S 2576 2579 30220 0 -1 1077944384 704 13164 0 0 13 0 5 3 20 0 15 0 229984847 11246788608 22626 33554432000 4194304 4196468 140723750694992 140418968795888 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2644] ppid=2576 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2644/stat : 2644 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984847 11246788608 22626 33554432000 4194304 4196468 140723750694992 140417446177888 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2645] ppid=2576 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2645/stat : 2645 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984847 11246788608 22626 33554432000 4194304 4196468 140723750694992 140418967742768 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90504 KiB
[startup+1.50666 s]
/proc/loadavg: 1.54 1.48 1.47 3/215 2645
/proc/meminfo: memFree=21603536/32770624 swapFree=67108372/67108860
[pid=2579] ppid=2576 vsize=10999896 memory=219540 CPUtime=3.1 cores=1,3,5,7
/proc/2579/stat : 2579 (java) S 2576 2579 30220 0 -1 1077944320 29336 13164 0 0 293 9 5 3 20 0 15 0 229984832 11263893504 54885 33554432000 4194304 4196468 140723750694992 140723750677536 140419546345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
/proc/2579/statm: 2749974 54885 3474 1 0 2711632 0
[pid=2579/tid=2632] ppid=2576 vsize=10999896 memory=2600 CPUtime=1.43 cores=1,3,5,7
/proc/2579/task/2632/stat : 2632 (java) R 2576 2579 30220 0 -1 4202560 17350 13164 0 0 129 6 5 3 20 0 15 0 229984841 11263893504 54885 33554432000 4194304 4196468 140723750694992 140419518156144 140419532025332 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2633] ppid=2576 vsize=10999896 memory=2716 CPUtime=0.09 cores=1,3,5,7
/proc/2579/task/2633/stat : 2633 (java) S 2576 2579 30220 0 -1 1077944384 22 13164 0 0 1 0 5 3 20 0 15 0 229984842 11263893504 54885 33554432000 4194304 4196468 140723750694992 140419550587664 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2634] ppid=2576 vsize=10999896 memory=280918912941536 CPUtime=0.09 cores=1,3,5,7
/proc/2579/task/2634/stat : 2634 (java) S 2576 2579 30220 0 -1 1077944384 14 13164 0 0 1 0 5 3 20 0 15 0 229984842 11263893504 54885 33554432000 4194304 4196468 140723750694992 140419405306768 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2635] ppid=2576 vsize=10999896 memory=6947753869684926059 CPUtime=0.09 cores=1,3,5,7
/proc/2579/task/2635/stat : 2635 (java) S 2576 2579 30220 0 -1 1077944384 6 13164 0 0 1 0 5 3 20 0 15 0 229984842 11263893504 54885 33554432000 4194304 4196468 140723750694992 140419404254224 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2636] ppid=2576 vsize=10999896 memory=3472328296227679313 CPUtime=0.1 cores=1,3,5,7
/proc/2579/task/2636/stat : 2636 (java) S 2576 2579 30220 0 -1 1077944384 246 13164 0 0 2 0 5 3 20 0 15 0 229984842 11263893504 54885 33554432000 4194304 4196468 140723750694992 140419403201680 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2637] ppid=2576 vsize=10999896 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2579/task/2637/stat : 2637 (java) S 2576 2579 30220 0 -1 1077944384 112 13164 0 0 1 0 5 3 20 0 15 0 229984843 11263893504 54885 33554432000 4194304 4196468 140723750694992 140418971953136 140419546356354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2638] ppid=2576 vsize=10999896 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2638/stat : 2638 (java) S 2576 2579 30220 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 229984844 11263893504 54885 33554432000 4194304 4196468 140723750694992 140418332222368 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2639] ppid=2576 vsize=10999896 memory=-5921431000321636112 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2639/stat : 2639 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984844 11263893504 54885 33554432000 4194304 4196468 140723750694992 140418184373232 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2640] ppid=2576 vsize=10999896 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2640/stat : 2640 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984846 11263893504 54885 33554432000 4194304 4196468 140723750694992 140417876973776 140419546363803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2641] ppid=2576 vsize=10999896 memory=6944656592387989600 CPUtime=0.66 cores=1,3,5,7
/proc/2579/task/2641/stat : 2641 (java) R 2576 2579 30220 0 -1 4202560 4793 13164 0 0 57 1 5 3 20 0 15 0 229984847 11263893504 54885 33554432000 4194304 4196468 140723750694992 140418970886856 140419527865227 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2642] ppid=2576 vsize=10999896 memory=280918913225488 CPUtime=0.63 cores=1,3,5,7
/proc/2579/task/2642/stat : 2642 (java) R 2576 2579 30220 0 -1 4202560 2848 13164 0 0 55 0 5 3 20 0 15 0 229984847 11263893504 54885 33554432000 4194304 4196468 140723750694992 140418969834496 140419526045265 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2643] ppid=2576 vsize=10999896 memory=11716 CPUtime=0.49 cores=1,3,5,7
/proc/2579/task/2643/stat : 2643 (java) S 2576 2579 30220 0 -1 1077944384 1736 13164 0 0 41 0 5 3 20 0 15 0 229984847 11263893504 54885 33554432000 4194304 4196468 140723750694992 140418968793424 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2644] ppid=2576 vsize=10999896 memory=24398 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2644/stat : 2644 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984847 11263893504 54885 33554432000 4194304 4196468 140723750694992 140417446177888 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2645] ppid=2576 vsize=10999896 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2645/stat : 2645 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984847 11263893504 54885 33554432000 4194304 4196468 140723750694992 140418967742768 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10999896 KiB
################
# More data... #
################
[startup+6.3008 s]
/proc/loadavg: 1.74 1.53 1.49 4/215 2645
/proc/meminfo: memFree=21307648/32770624 swapFree=67108372/67108860
[pid=2579] ppid=2576 vsize=11080032 memory=404308 CPUtime=15.02 cores=1,3,5,7
/proc/2579/stat : 2579 (java) S 2576 2579 30220 0 -1 1077944320 70108 13164 0 0 1473 21 5 3 20 0 15 0 229984832 11345952768 101077 33554432000 4194304 4196468 140723750694992 140723750677536 140419546345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
/proc/2579/statm: 2770008 101077 3510 1 0 2731661 0
[pid=2579/tid=2632] ppid=2576 vsize=11080032 memory=404308 CPUtime=6.13 cores=1,3,5,7
/proc/2579/task/2632/stat : 2632 (java) R 2576 2579 30220 0 -1 4202560 41972 13164 0 0 593 12 5 3 20 0 15 0 229984841 11345952768 101077 33554432000 4194304 4196468 140723750694992 140419518172752 140419090427277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2633] ppid=2576 vsize=11080032 memory=3828253057525899312 CPUtime=0.12 cores=1,3,5,7
/proc/2579/task/2633/stat : 2633 (java) S 2576 2579 30220 0 -1 1077944384 52 13164 0 0 4 0 5 3 20 0 15 0 229984842 11345952768 101077 33554432000 4194304 4196468 140723750694992 140419550587664 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2634] ppid=2576 vsize=11080032 memory=404308 CPUtime=0.1 cores=1,3,5,7
/proc/2579/task/2634/stat : 2634 (java) S 2576 2579 30220 0 -1 1077944384 19 13164 0 0 2 0 5 3 20 0 15 0 229984842 11345952768 101077 33554432000 4194304 4196468 140723750694992 140419405306768 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2635] ppid=2576 vsize=11080032 memory=7883944108235712103 CPUtime=0.12 cores=1,3,5,7
/proc/2579/task/2635/stat : 2635 (java) S 2576 2579 30220 0 -1 1077944384 174 13164 0 0 4 0 5 3 20 0 15 0 229984842 11345952768 101077 33554432000 4194304 4196468 140723750694992 140419404254224 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2636] ppid=2576 vsize=11080032 memory=2488 CPUtime=0.13 cores=1,3,5,7
/proc/2579/task/2636/stat : 2636 (java) S 2576 2579 30220 0 -1 1077944384 414 13164 0 0 5 0 5 3 20 0 15 0 229984842 11345952768 101077 33554432000 4194304 4196468 140723750694992 140419403201680 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2637] ppid=2576 vsize=11080032 memory=372504 CPUtime=0.12 cores=1,3,5,7
/proc/2579/task/2637/stat : 2637 (java) S 2576 2579 30220 0 -1 1077944384 5209 13164 0 0 4 0 5 3 20 0 15 0 229984843 11345952768 101077 33554432000 4194304 4196468 140723750694992 140418971953136 140419546356354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2638] ppid=2576 vsize=11080032 memory=1800 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2638/stat : 2638 (java) S 2576 2579 30220 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 229984844 11345952768 101077 33554432000 4194304 4196468 140723750694992 140418332222432 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2639] ppid=2576 vsize=11080032 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2639/stat : 2639 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984844 11345952768 101077 33554432000 4194304 4196468 140723750694992 140418184373248 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2640] ppid=2576 vsize=11080032 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2640/stat : 2640 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984846 11345952768 101077 33554432000 4194304 4196468 140723750694992 140417876973776 140419546363803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2641] ppid=2576 vsize=11080032 memory=6944656592455097440 CPUtime=3.61 cores=1,3,5,7
/proc/2579/task/2641/stat : 2641 (java) S 2576 2579 30220 0 -1 1077944384 7763 13164 0 0 351 2 5 3 20 0 15 0 229984847 11345952768 101077 33554432000 4194304 4196468 140723750694992 140418970900976 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2642] ppid=2576 vsize=11080032 memory=219792 CPUtime=3.33 cores=1,3,5,7
/proc/2579/task/2642/stat : 2642 (java) S 2576 2579 30220 0 -1 1077944384 4711 13164 0 0 324 1 5 3 20 0 15 0 229984847 11345952768 101077 33554432000 4194304 4196468 140723750694992 140418969848432 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2643] ppid=2576 vsize=11080032 memory=0 CPUtime=1.91 cores=1,3,5,7
/proc/2579/task/2643/stat : 2643 (java) S 2576 2579 30220 0 -1 1077944384 7571 13164 0 0 181 2 5 3 20 0 15 0 229984847 11345952768 101077 33554432000 4194304 4196468 140723750694992 140418968795888 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2644] ppid=2576 vsize=11080032 memory=-2127761009452342152 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2644/stat : 2644 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984847 11345952768 101077 33554432000 4194304 4196468 140723750694992 140417446177888 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2645] ppid=2576 vsize=11080032 memory=280918912911728 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2645/stat : 2645 (java) S 2576 2579 30220 0 -1 1077944384 15 13164 0 0 0 0 5 3 20 0 15 0 229984847 11345952768 101077 33554432000 4194304 4196468 140723750694992 140418967742768 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
Current children cumulated CPU time: 15.02 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 404308 KiB
[startup+12.7007 s]
/proc/loadavg: 1.78 1.54 1.49 5/216 2646
/proc/meminfo: memFree=21180244/32770624 swapFree=67108372/67108860
[pid=2579] ppid=2576 vsize=11080032 memory=539344 CPUtime=23.43 cores=1,3,5,7
/proc/2579/stat : 2579 (java) S 2576 2579 30220 0 -1 1077944320 81869 13164 0 0 2307 28 5 3 20 0 15 0 229984832 11345952768 134836 33554432000 4194304 4196468 140723750694992 140723750677536 140419546345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
/proc/2579/statm: 2770008 134836 3518 1 0 2731661 0
[pid=2579/tid=2632] ppid=2576 vsize=11080032 memory=539264 CPUtime=12.51 cores=1,3,5,7
/proc/2579/task/2632/stat : 2632 (java) R 2576 2579 30220 0 -1 4202560 44579 13164 0 0 1229 14 5 3 20 0 15 0 229984841 11345952768 134836 33554432000 4194304 4196468 140723750694992 140419518175272 140419089542664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2633] ppid=2576 vsize=11080032 memory=55 CPUtime=0.14 cores=1,3,5,7
/proc/2579/task/2633/stat : 2633 (java) S 2576 2579 30220 0 -1 1077944384 141 13164 0 0 5 1 5 3 20 0 15 0 229984842 11345952768 134836 33554432000 4194304 4196468 140723750694992 140419550587664 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2634] ppid=2576 vsize=11080032 memory=265671729 CPUtime=0.12 cores=1,3,5,7
/proc/2579/task/2634/stat : 2634 (java) S 2576 2579 30220 0 -1 1077944384 140 13164 0 0 3 1 5 3 20 0 15 0 229984842 11345952768 134836 33554432000 4194304 4196468 140723750694992 140419405306768 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2635] ppid=2576 vsize=11080032 memory=8112282956445269571 CPUtime=0.14 cores=1,3,5,7
/proc/2579/task/2635/stat : 2635 (java) S 2576 2579 30220 0 -1 1077944384 265 13164 0 0 5 1 5 3 20 0 15 0 229984842 11345952768 134836 33554432000 4194304 4196468 140723750694992 140419404254224 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2636] ppid=2576 vsize=11080032 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/2579/task/2636/stat : 2636 (java) S 2576 2579 30220 0 -1 1077944384 1273 13164 0 0 6 1 5 3 20 0 15 0 229984842 11345952768 134836 33554432000 4194304 4196468 140723750694992 140419403201680 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2637] ppid=2576 vsize=11080032 memory=524456 CPUtime=0.13 cores=1,3,5,7
/proc/2579/task/2637/stat : 2637 (java) S 2576 2579 30220 0 -1 1077944384 5291 13164 0 0 5 0 5 3 20 0 15 0 229984843 11345952768 134836 33554432000 4194304 4196468 140723750694992 140418971953136 140419546356354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2638] ppid=2576 vsize=11080032 memory=2611 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2638/stat : 2638 (java) S 2576 2579 30220 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 229984844 11345952768 134836 33554432000 4194304 4196468 140723750694992 140418332222432 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2639] ppid=2576 vsize=11080032 memory=3316 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2639/stat : 2639 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984844 11345952768 134836 33554432000 4194304 4196468 140723750694992 140418184373248 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2640] ppid=2576 vsize=11080032 memory=488 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2640/stat : 2640 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984846 11345952768 134836 33554432000 4194304 4196468 140723750694992 140417876973776 140419546363803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2641] ppid=2576 vsize=11080032 memory=1616 CPUtime=4.49 cores=1,3,5,7
/proc/2579/task/2641/stat : 2641 (java) R 2576 2579 30220 0 -1 4202560 10284 13164 0 0 439 2 5 3 20 0 15 0 229984847 11345952768 134836 33554432000 4194304 4196468 140723750694992 140418970900976 140419525564528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2642] ppid=2576 vsize=11080032 memory=281748 CPUtime=4.24 cores=1,3,5,7
/proc/2579/task/2642/stat : 2642 (java) S 2576 2579 30220 0 -1 1077944384 8380 13164 0 0 414 2 5 3 20 0 15 0 229984847 11345952768 134836 33554432000 4194304 4196468 140723750694992 140418969848432 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2643] ppid=2576 vsize=11080032 memory=6944656592387989600 CPUtime=2.06 cores=1,3,5,7
/proc/2579/task/2643/stat : 2643 (java) S 2576 2579 30220 0 -1 1077944384 8906 13164 0 0 195 3 5 3 20 0 15 0 229984847 11345952768 134836 33554432000 4194304 4196468 140723750694992 140418968795888 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2644] ppid=2576 vsize=11080032 memory=280918913457648 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2644/stat : 2644 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984847 11345952768 134836 33554432000 4194304 4196468 140723750694992 140417446177888 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2645] ppid=2576 vsize=11080032 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2645/stat : 2645 (java) S 2576 2579 30220 0 -1 1077944384 402 13164 0 0 0 0 5 3 20 0 15 0 229984847 11345952768 134836 33554432000 4194304 4196468 140723750694992 140418967742768 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
Current children cumulated CPU time: 23.43 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 539344 KiB
[startup+12.9422 s]
# the end of solver process 2579 was just reported to runsolver
# cumulated CPU time of all completed processes: user=23.5164 s, system=0.336795 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8009 s]
/proc/loadavg: 1.78 1.54 1.49 5/216 2646
/proc/meminfo: memFree=21180244/32770624 swapFree=67108372/67108860
[pid=2579] ppid=2576 vsize=11080032 memory=541484 CPUtime=23.57 cores=1,3,5,7
/proc/2579/stat : 2579 (java) S 2576 2579 30220 0 -1 1077944320 81891 13164 0 0 2321 28 5 3 20 0 15 0 229984832 11345952768 135371 33554432000 4194304 4196468 140723750694992 140723750677536 140419546345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
/proc/2579/statm: 2770008 135371 3518 1 0 2731661 0
[pid=2579/tid=2632] ppid=2576 vsize=11080032 memory=7306916055891837009 CPUtime=12.61 cores=1,3,5,7
/proc/2579/task/2632/stat : 2632 (java) R 2576 2579 30220 0 -1 4202560 44580 13164 0 0 1239 14 5 3 20 0 15 0 229984841 11345952768 135371 33554432000 4194304 4196468 140723750694992 140419518175272 140419089149922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2633] ppid=2576 vsize=11080032 memory=8112282956445269571 CPUtime=0.14 cores=1,3,5,7
/proc/2579/task/2633/stat : 2633 (java) S 2576 2579 30220 0 -1 1077944384 141 13164 0 0 5 1 5 3 20 0 15 0 229984842 11345952768 135371 33554432000 4194304 4196468 140723750694992 140419550587664 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2634] ppid=2576 vsize=11080032 memory=2117176 CPUtime=0.12 cores=1,3,5,7
/proc/2579/task/2634/stat : 2634 (java) S 2576 2579 30220 0 -1 1077944384 140 13164 0 0 3 1 5 3 20 0 15 0 229984842 11345952768 135371 33554432000 4194304 4196468 140723750694992 140419405306768 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2635] ppid=2576 vsize=11080032 memory=1924 CPUtime=0.14 cores=1,3,5,7
/proc/2579/task/2635/stat : 2635 (java) S 2576 2579 30220 0 -1 1077944384 265 13164 0 0 5 1 5 3 20 0 15 0 229984842 11345952768 135371 33554432000 4194304 4196468 140723750694992 140419404254224 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2636] ppid=2576 vsize=11080032 memory=7532 CPUtime=0.15 cores=1,3,5,7
/proc/2579/task/2636/stat : 2636 (java) S 2576 2579 30220 0 -1 1077944384 1273 13164 0 0 6 1 5 3 20 0 15 0 229984842 11345952768 135371 33554432000 4194304 4196468 140723750694992 140419403201680 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2637] ppid=2576 vsize=11080032 memory=808 CPUtime=0.13 cores=1,3,5,7
/proc/2579/task/2637/stat : 2637 (java) S 2576 2579 30220 0 -1 1077944384 5291 13164 0 0 5 0 5 3 20 0 15 0 229984843 11345952768 135371 33554432000 4194304 4196468 140723750694992 140418971953136 140419546356354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2638] ppid=2576 vsize=11080032 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2638/stat : 2638 (java) S 2576 2579 30220 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 229984844 11345952768 135371 33554432000 4194304 4196468 140723750694992 140418332222432 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2639] ppid=2576 vsize=11080032 memory=1220 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2639/stat : 2639 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984844 11345952768 135371 33554432000 4194304 4196468 140723750694992 140418184373248 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2640] ppid=2576 vsize=11080032 memory=1800 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2640/stat : 2640 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984846 11345952768 135371 33554432000 4194304 4196468 140723750694992 140417876973776 140419546363803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2641] ppid=2576 vsize=11080032 memory=868 CPUtime=4.51 cores=1,3,5,7
/proc/2579/task/2641/stat : 2641 (java) R 2576 2579 30220 0 -1 4202560 10294 13164 0 0 441 2 5 3 20 0 15 0 229984847 11345952768 135371 33554432000 4194304 4196468 140723750694992 140418970900976 140419524367744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2642] ppid=2576 vsize=11080032 memory=6792 CPUtime=4.26 cores=1,3,5,7
/proc/2579/task/2642/stat : 2642 (java) R 2576 2579 30220 0 -1 4202560 8382 13164 0 0 416 2 5 3 20 0 15 0 229984847 11345952768 135371 33554432000 4194304 4196468 140723750694992 140418969848432 140419532400382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2643] ppid=2576 vsize=11080032 memory=11628 CPUtime=2.07 cores=1,3,5,7
/proc/2579/task/2643/stat : 2643 (java) S 2576 2579 30220 0 -1 1077944384 8915 13164 0 0 196 3 5 3 20 0 15 0 229984847 11345952768 135371 33554432000 4194304 4196468 140723750694992 140418968795888 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2644] ppid=2576 vsize=11080032 memory=752 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2644/stat : 2644 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984847 11345952768 135371 33554432000 4194304 4196468 140723750694992 140417446177888 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2645] ppid=2576 vsize=11080032 memory=1276 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2645/stat : 2645 (java) S 2576 2579 30220 0 -1 1077944384 402 13164 0 0 0 0 5 3 20 0 15 0 229984847 11345952768 135371 33554432000 4194304 4196468 140723750694992 140418967742768 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
Current children cumulated CPU time: 23.57 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 541484 KiB
[startup+12.9027 s]
/proc/loadavg: 1.78 1.54 1.49 5/216 2646
/proc/meminfo: memFree=21180244/32770624 swapFree=67108372/67108860
[pid=2579] ppid=2576 vsize=11080032 memory=562088 CPUtime=23.78 cores=1,3,5,7
/proc/2579/stat : 2579 (java) S 2576 2579 30220 0 -1 1077944320 81979 13164 0 0 2342 28 5 3 20 0 15 0 229984832 11345952768 140522 33554432000 4194304 4196468 140723750694992 140723750677536 140419546345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
/proc/2579/statm: 2770008 140522 3518 1 0 2731661 0
[pid=2579/tid=2632] ppid=2576 vsize=11080032 memory=539344 CPUtime=12.71 cores=1,3,5,7
/proc/2579/task/2632/stat : 2632 (java) R 2576 2579 30220 0 -1 4202560 44604 13164 0 0 1249 14 5 3 20 0 15 0 229984841 11345952768 140522 33554432000 4194304 4196468 140723750694992 140419518174176 140419525422849 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2633] ppid=2576 vsize=11080032 memory=1068 CPUtime=0.14 cores=1,3,5,7
/proc/2579/task/2633/stat : 2633 (java) S 2576 2579 30220 0 -1 1077944384 141 13164 0 0 5 1 5 3 20 0 15 0 229984842 11345952768 140522 33554432000 4194304 4196468 140723750694992 140419550587664 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2634] ppid=2576 vsize=11080032 memory=539264 CPUtime=0.12 cores=1,3,5,7
/proc/2579/task/2634/stat : 2634 (java) S 2576 2579 30220 0 -1 1077944384 140 13164 0 0 3 1 5 3 20 0 15 0 229984842 11345952768 140522 33554432000 4194304 4196468 140723750694992 140419405306768 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2635] ppid=2576 vsize=11080032 memory=55 CPUtime=0.14 cores=1,3,5,7
/proc/2579/task/2635/stat : 2635 (java) S 2576 2579 30220 0 -1 1077944384 265 13164 0 0 5 1 5 3 20 0 15 0 229984842 11345952768 140522 33554432000 4194304 4196468 140723750694992 140419404254224 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2636] ppid=2576 vsize=11080032 memory=265671729 CPUtime=0.15 cores=1,3,5,7
/proc/2579/task/2636/stat : 2636 (java) S 2576 2579 30220 0 -1 1077944384 1273 13164 0 0 6 1 5 3 20 0 15 0 229984842 11345952768 140522 33554432000 4194304 4196468 140723750694992 140419403201680 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2637] ppid=2576 vsize=11080032 memory=8112282956445269571 CPUtime=0.13 cores=1,3,5,7
/proc/2579/task/2637/stat : 2637 (java) S 2576 2579 30220 0 -1 1077944384 5291 13164 0 0 5 0 5 3 20 0 15 0 229984843 11345952768 140522 33554432000 4194304 4196468 140723750694992 140418971953136 140419546356354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2638] ppid=2576 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2638/stat : 2638 (java) S 2576 2579 30220 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 229984844 11345952768 140522 33554432000 4194304 4196468 140723750694992 140418332222432 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2639] ppid=2576 vsize=11080032 memory=524456 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2639/stat : 2639 (java) S 2576 2579 30220 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 229984844 11345952768 140522 33554432000 4194304 4196468 140723750694992 140418184373248 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2640] ppid=2576 vsize=11080032 memory=2611 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2640/stat : 2640 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984846 11345952768 140522 33554432000 4194304 4196468 140723750694992 140417876973776 140419546363803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2641] ppid=2576 vsize=11080032 memory=281748 CPUtime=4.54 cores=1,3,5,7
/proc/2579/task/2641/stat : 2641 (java) R 2576 2579 30220 0 -1 4202560 10298 13164 0 0 444 2 5 3 20 0 15 0 229984847 11345952768 140522 33554432000 4194304 4196468 140723750694992 140418970900976 140419527527340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2642] ppid=2576 vsize=11080032 memory=6944656592387989600 CPUtime=4.32 cores=1,3,5,7
/proc/2579/task/2642/stat : 2642 (java) R 2576 2579 30220 0 -1 4202560 8399 13164 0 0 422 2 5 3 20 0 15 0 229984847 11345952768 140522 33554432000 4194304 4196468 140723750694992 140418969839264 140419532409192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2643] ppid=2576 vsize=11080032 memory=280918913457648 CPUtime=2.08 cores=1,3,5,7
/proc/2579/task/2643/stat : 2643 (java) R 2576 2579 30220 0 -1 1077944384 8958 13164 0 0 197 3 5 3 20 0 15 0 229984847 11345952768 140522 33554432000 4194304 4196468 140723750694992 140418968795888 140419546356354 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2644] ppid=2576 vsize=11080032 memory=3316 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2644/stat : 2644 (java) S 2576 2579 30220 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 229984847 11345952768 140522 33554432000 4194304 4196468 140723750694992 140417446177888 140419546355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
[pid=2579/tid=2645] ppid=2576 vsize=11080032 memory=488 CPUtime=0.08 cores=1,3,5,7
/proc/2579/task/2645/stat : 2645 (java) S 2576 2579 30220 0 -1 1077944384 402 13164 0 0 0 0 5 3 20 0 15 0 229984847 11345952768 140522 33554432000 4194304 4196468 140723750694992 140418967742768 140419546356354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140723750701676 140723750704476 140723750704476 140723750707151 0
Current children cumulated CPU time: 23.78 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 562088 KiB
Child status: 0
Real time (s): 12.9422
CPU time (s): 23.8532
CPU user time (s): 23.5164
CPU system time (s): 0.336795
CPU usage (%): 184.305
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 562088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.5164
system time used= 0.336795
maximum resident set size= 570348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7943
involuntary context switches= 94
# summary of solver processes directly reported to runsolver:
# pid: 2579
# total CPU time (s): 23.8532
# total CPU user time (s): 23.5164
# total CPU system time (s): 0.336795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.09383 second user time and 0.171586 second system time
The end
Begin job on node137 at 2018-08-13 03:36:57 IDJOB=4304657 IDBENCH=141524 IDSOLVER=2780 FILE ID=node137/4304657-1534124217 RUNJOBID= node137-1534096381-30252 PBS_JOBID= 21036996 Free space on /tmp= 26516 MiB SOLVER NAME= Concrete 3.9.2 BENCH NAME= XCSP18/Mario/Mario-t-hard-5_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304657-1534124217/watcher-4304657-1534124217 -o /tmp/evaluation-result-4304657-1534124217/solver-4304657-1534124217 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534096381-30252 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1460811442 HOME/instance-4304657-1534124217.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4de37f7087aa8e77bde3fd457ed5d54a RANDOM SEED=1460811442 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21705728 kB MemAvailable: 29796740 kB Buffers: 87224 kB Cached: 8202368 kB SwapCached: 8 kB Active: 6138600 kB Inactive: 4311728 kB Active(anon): 2107296 kB Inactive(anon): 105408 kB Active(file): 4031304 kB Inactive(file): 4206320 kB Unevictable: 7432 kB Mlocked: 7432 kB SwapTotal: 67108860 kB SwapFree: 67108372 kB Dirty: 26432 kB Writeback: 0 kB AnonPages: 2168048 kB Mapped: 66356 kB Shmem: 49656 kB Slab: 310124 kB SReclaimable: 281848 kB SUnreclaim: 28276 kB KernelStack: 3552 kB PageTables: 9620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3434100 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1918976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 26488 MiB End job on node137 at 2018-08-13 03:37:10