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 | 26.1716 | 13.7012 |
| 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.75088 |
| 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 |
0.98/0.74 c Concrete v3.9.2.1532736233296 running 22.46/11.98 o 4355 24.26/12.62 o 4358 24.90/12.91 o 4373 25.10/13.03 o 4415 25.10/13.09 o 4423 25.77/13.41 o 4426 26.03/13.66 o 4482 26.03/13.67 v <instantiation cost="4482"> 26.03/13.67 v <list> 26.03/13.67 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] 26.03/13.67 v </list> 26.03/13.67 v <values> 26.03/13.67 v 11 0 25 28 77 61 45 60 46 19 41 10 93 53 64 42 87 72 12 18 67 91 79 96 3 23 27 78 68 59 16 99 76 29 85 83 13 32 4 31 20 51 44 90 8 50 88 9 71 21 54 69 75 73 89 97 35 57 80 6 5 14 34 70 74 98 55 17 65 2 47 33 30 86 39 24 22 15 82 48 1 7 56 52 49 40 58 36 84 66 81 62 92 37 94 63 95 26 43 38 331 0 245 121 298 56 136 70 259 190 10 366 38 117 143 78 206 301 466 400 289 362 85 483 121 99 367 358 429 12 93 65 29 486 11 447 240 51 240 32 189 111 56 456 171 108 376 268 2 391 63 401 255 348 342 176 45 0 387 428 319 15 356 32 158 303 70 62 358 443 41 267 176 275 65 233 180 64 198 62 477 309 18 8 144 389 103 177 270 163 58 83 0 473 0 68 341 63 387 34 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 26.03/13.67 v </values> 26.03/13.67 v </instantiation> 26.03/13.67 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 (10474 MiB free)
memory of node 1: 16384 MiB (12912 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302505-1532897882/watcher-4302505-1532897882 -o /tmp/evaluation-result-4302505-1532897882/solver-4302505-1532897882 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2145925575 HOME/instance-4302505-1532897882.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB
solver pid=20797, runsolver pid=20794
[startup+0.100091 s]*
/proc/loadavg: 1.97 1.82 1.79 3/206 20854
/proc/meminfo: memFree=23940712/32770624 swapFree=67108860/67108860
[pid=20797] ppid=20794 vsize=10005480 memory=17080 CPUtime=0.08 cores=0,2,4,6
/proc/20797/stat : 20797 (java) S 20794 20797 12183 0 -1 1077944320 4395 12969 0 0 1 0 5 2 20 0 6 0 107351427 10245611520 4270 33554432000 4194304 4196468 140731350034464 140731350017008 140437400588023 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
/proc/20797/statm: 2501370 4270 1935 1 0 2489808 0
[pid=20797/tid=20850] ppid=20794 vsize=10005480 memory=4279135703913364878 CPUtime=0.08 cores=0,2,4,6
/proc/20797/task/20850/stat : 20850 (java) R 20794 20797 12183 0 -1 4202560 2230 12969 0 0 1 0 5 2 20 0 6 0 107351436 10245611520 4270 33554432000 4194304 4196468 140731350034464 140437372424784 140437400609949 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20851] ppid=20794 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20851/stat : 20851 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 6 0 107351437 10245611520 4270 33554432000 4194304 4196468 140731350034464 140437404830224 140437400598229 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20852] ppid=20794 vsize=10005480 memory=139751586666112 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20852/stat : 20852 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 6 0 107351437 10245611520 4270 33554432000 4194304 4196468 140731350034464 140437259549328 140437400598229 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20853] ppid=20794 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20853/stat : 20853 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 6 0 107351437 10245611520 4270 33554432000 4194304 4196468 140731350034464 140437258496272 140437400598229 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20854] ppid=20794 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20854/stat : 20854 (java) S 20794 20797 12183 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 6 0 107351437 10245611520 4270 33554432000 4194304 4196468 140731350034464 140437257443728 140437400598229 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB
[startup+0.209964 s]*
/proc/loadavg: 1.97 1.82 1.79 3/215 20863
/proc/meminfo: memFree=23918020/32770624 swapFree=67108860/67108860
[pid=20797] ppid=20794 vsize=10982744 memory=45540 CPUtime=0.25 cores=0,2,4,6
/proc/20797/stat : 20797 (java) S 20794 20797 12183 0 -1 1077944320 8014 12969 0 0 16 2 5 2 20 0 15 0 107351427 11246329856 11385 33554432000 4194304 4196468 140731350034464 140731350017008 140437400588023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
/proc/20797/statm: 2745686 11385 2984 1 0 2708109 0
[pid=20797/tid=20850] ppid=20794 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/20797/task/20850/stat : 20850 (java) R 20794 20797 12183 0 -1 4202560 4731 12969 0 0 11 1 5 2 20 0 15 0 107351436 11246329856 11517 33554432000 4194304 4196468 140731350034464 140437372365984 140437379013145 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20851] ppid=20794 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20851/stat : 20851 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351437 11246329856 11517 33554432000 4194304 4196468 140731350034464 140437404830224 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20852] ppid=20794 vsize=10982744 memory=139751586666112 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20852/stat : 20852 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351437 11246329856 11517 33554432000 4194304 4196468 140731350034464 140437259549328 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20853] ppid=20794 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20853/stat : 20853 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351437 11246329856 11517 33554432000 4194304 4196468 140731350034464 140437258496272 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20854] ppid=20794 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20854/stat : 20854 (java) S 20794 20797 12183 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 107351437 11246329856 11517 33554432000 4194304 4196468 140731350034464 140437257443728 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20855] ppid=20794 vsize=10982744 memory=139751586666112 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20855/stat : 20855 (java) S 20794 20797 12183 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 107351439 11246329856 11517 33554432000 4194304 4196468 140731350034464 140436825901808 140437400599170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20856] ppid=20794 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20856/stat : 20856 (java) S 20794 20797 12183 0 -1 1077944384 13 12969 0 0 0 0 5 2 20 0 15 0 107351439 11246329856 11517 33554432000 4194304 4196468 140731350034464 140436236658336 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20857] ppid=20794 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20857/stat : 20857 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351439 11246329856 11517 33554432000 4194304 4196468 140731350034464 140436035331312 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20858] ppid=20794 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20858/stat : 20858 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11246329856 11517 33554432000 4194304 4196468 140731350034464 140435727931856 140437400606619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20859] ppid=20794 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20859/stat : 20859 (java) S 20794 20797 12183 0 -1 1077944384 542 12969 0 0 0 0 5 2 20 0 15 0 107351442 11246329856 11517 33554432000 4194304 4196468 140731350034464 140436824848624 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20860] ppid=20794 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20860/stat : 20860 (java) S 20794 20797 12183 0 -1 1077944384 68 12969 0 0 0 0 5 2 20 0 15 0 107351442 11246329856 11517 33554432000 4194304 4196468 140731350034464 140436823796080 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20861] ppid=20794 vsize=10982744 memory=139751586666112 CPUtime=0.1 cores=0,2,4,6
/proc/20797/task/20861/stat : 20861 (java) S 20794 20797 12183 0 -1 1077944384 607 12969 0 0 3 0 5 2 20 0 15 0 107351442 11246329856 11517 33554432000 4194304 4196468 140731350034464 140436822743024 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20862] ppid=20794 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20862/stat : 20862 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11246329856 11517 33554432000 4194304 4196468 140731350034464 140435297134944 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20863] ppid=20794 vsize=10982744 memory=139751586666112 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20863/stat : 20863 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351442 11246329856 11517 33554432000 4194304 4196468 140731350034464 140436821691440 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45540 KiB
[startup+0.310358 s]*
/proc/loadavg: 1.97 1.82 1.79 3/215 20863
/proc/meminfo: memFree=23905056/32770624 swapFree=67108860/67108860
[pid=20797] ppid=20794 vsize=10983192 memory=56744 CPUtime=0.38 cores=0,2,4,6
/proc/20797/stat : 20797 (java) S 20794 20797 12183 0 -1 1077944320 10668 12969 0 0 28 3 5 2 20 0 15 0 107351427 11246788608 14186 33554432000 4194304 4196468 140731350034464 140731350017008 140437400588023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
/proc/20797/statm: 2745798 14186 3103 1 0 2708109 0
[pid=20797/tid=20850] ppid=20794 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/20797/task/20850/stat : 20850 (java) R 20794 20797 12183 0 -1 4202560 7229 12969 0 0 19 2 5 2 20 0 15 0 107351436 11246788608 14186 33554432000 4194304 4196468 140731350034464 140437372400032 140437384668510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20851] ppid=20794 vsize=10983192 memory=7012755875661107280 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20851/stat : 20851 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351437 11246788608 14186 33554432000 4194304 4196468 140731350034464 140437404830224 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20852] ppid=20794 vsize=10983192 memory=2080 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20852/stat : 20852 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351437 11246788608 14186 33554432000 4194304 4196468 140731350034464 140437259549328 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20853] ppid=20794 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20853/stat : 20853 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351437 11246788608 14186 33554432000 4194304 4196468 140731350034464 140437258496272 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20854] ppid=20794 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20854/stat : 20854 (java) S 20794 20797 12183 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 107351437 11246788608 14186 33554432000 4194304 4196468 140731350034464 140437257443728 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20855] ppid=20794 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20855/stat : 20855 (java) S 20794 20797 12183 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 107351439 11246788608 14186 33554432000 4194304 4196468 140731350034464 140436825901808 140437400599170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20856] ppid=20794 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20856/stat : 20856 (java) S 20794 20797 12183 0 -1 1077944384 13 12969 0 0 0 0 5 2 20 0 15 0 107351439 11246788608 14186 33554432000 4194304 4196468 140731350034464 140436236658336 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20857] ppid=20794 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20857/stat : 20857 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351439 11246788608 14186 33554432000 4194304 4196468 140731350034464 140436035331312 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20858] ppid=20794 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20858/stat : 20858 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11246788608 14186 33554432000 4194304 4196468 140731350034464 140435727931856 140437400606619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20859] ppid=20794 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20797/task/20859/stat : 20859 (java) S 20794 20797 12183 0 -1 1077944384 542 12969 0 0 1 0 5 2 20 0 15 0 107351442 11246788608 14186 33554432000 4194304 4196468 140731350034464 140436824848624 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20860] ppid=20794 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20797/task/20860/stat : 20860 (java) S 20794 20797 12183 0 -1 1077944384 69 12969 0 0 1 0 5 2 20 0 15 0 107351442 11246788608 14186 33554432000 4194304 4196468 140731350034464 140436823796080 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20861] ppid=20794 vsize=10983192 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/20797/task/20861/stat : 20861 (java) S 20794 20797 12183 0 -1 1077944384 618 12969 0 0 4 0 5 2 20 0 15 0 107351442 11246788608 14186 33554432000 4194304 4196468 140731350034464 140436822743024 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20862] ppid=20794 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20862/stat : 20862 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11246788608 14186 33554432000 4194304 4196468 140731350034464 140435297134944 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20863] ppid=20794 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20863/stat : 20863 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351442 11246788608 14186 33554432000 4194304 4196468 140731350034464 140436821691440 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56744 KiB
[startup+0.700741 s]
/proc/loadavg: 1.97 1.82 1.79 3/215 20863
/proc/meminfo: memFree=23893908/32770624 swapFree=67108860/67108860
[pid=20797] ppid=20794 vsize=10983192 memory=88796 CPUtime=0.98 cores=0,2,4,6
/proc/20797/stat : 20797 (java) S 20794 20797 12183 0 -1 1077944320 16799 12969 0 0 86 5 5 2 20 0 15 0 107351427 11246788608 22199 33554432000 4194304 4196468 140731350034464 140731350017008 140437400588023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
/proc/20797/statm: 2745798 22199 3241 1 0 2708109 0
[pid=20797/tid=20850] ppid=20794 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/20797/task/20850/stat : 20850 (java) R 20794 20797 12183 0 -1 4202560 12325 12969 0 0 55 4 5 2 20 0 15 0 107351436 11246788608 22199 33554432000 4194304 4196468 140731350034464 140437372408848 140437384668510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20851] ppid=20794 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20851/stat : 20851 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351437 11246788608 22199 33554432000 4194304 4196468 140731350034464 140437404830224 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20852] ppid=20794 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20852/stat : 20852 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351437 11246788608 22199 33554432000 4194304 4196468 140731350034464 140437259549328 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20853] ppid=20794 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20853/stat : 20853 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351437 11246788608 22199 33554432000 4194304 4196468 140731350034464 140437258496272 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20854] ppid=20794 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20854/stat : 20854 (java) S 20794 20797 12183 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 107351437 11246788608 22199 33554432000 4194304 4196468 140731350034464 140437257443728 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20855] ppid=20794 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20855/stat : 20855 (java) S 20794 20797 12183 0 -1 1077944384 5 12969 0 0 0 0 5 2 20 0 15 0 107351439 11246788608 22199 33554432000 4194304 4196468 140731350034464 140436825901808 140437400599170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20856] ppid=20794 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20856/stat : 20856 (java) S 20794 20797 12183 0 -1 1077944384 13 12969 0 0 0 0 5 2 20 0 15 0 107351439 11246788608 22199 33554432000 4194304 4196468 140731350034464 140436236658336 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20857] ppid=20794 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20857/stat : 20857 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351439 11246788608 22199 33554432000 4194304 4196468 140731350034464 140436035331312 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20858] ppid=20794 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20858/stat : 20858 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11246788608 22199 33554432000 4194304 4196468 140731350034464 140435727931856 140437400606619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20859] ppid=20794 vsize=10983192 memory=13252 CPUtime=0.16 cores=0,2,4,6
/proc/20797/task/20859/stat : 20859 (java) S 20794 20797 12183 0 -1 1077944384 1100 12969 0 0 9 0 5 2 20 0 15 0 107351442 11246788608 22199 33554432000 4194304 4196468 140731350034464 140436824848624 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20860] ppid=20794 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/20797/task/20860/stat : 20860 (java) S 20794 20797 12183 0 -1 1077944384 484 12969 0 0 8 0 5 2 20 0 15 0 107351442 11246788608 22199 33554432000 4194304 4196468 140731350034464 140436823796080 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20861] ppid=20794 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/20797/task/20861/stat : 20861 (java) R 20794 20797 12183 0 -1 4202560 671 12969 0 0 13 0 5 2 20 0 15 0 107351442 11246788608 22199 33554432000 4194304 4196468 140731350034464 140436822743024 140437379888963 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20862] ppid=20794 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20862/stat : 20862 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11246788608 22199 33554432000 4194304 4196468 140731350034464 140435297134944 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20863] ppid=20794 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20863/stat : 20863 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351442 11246788608 22199 33554432000 4194304 4196468 140731350034464 140436821691440 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88796 KiB
[startup+1.5015 s]
/proc/loadavg: 1.97 1.82 1.79 4/215 20863
/proc/meminfo: memFree=23841408/32770624 swapFree=67108860/67108860
[pid=20797] ppid=20794 vsize=10998816 memory=208356 CPUtime=3.03 cores=0,2,4,6
/proc/20797/stat : 20797 (java) S 20794 20797 12183 0 -1 1077944320 29157 12969 0 0 285 11 5 2 20 0 15 0 107351427 11262787584 52089 33554432000 4194304 4196468 140731350034464 140731350017008 140437400588023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
/proc/20797/statm: 2749704 52089 3465 1 0 2711362 0
[pid=20797/tid=20850] ppid=20794 vsize=10998816 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/20797/task/20850/stat : 20850 (java) S 20794 20797 12183 0 -1 1077944384 17536 12969 0 0 127 7 5 2 20 0 15 0 107351436 11262787584 52089 33554432000 4194304 4196468 140731350034464 140437372402880 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20851] ppid=20794 vsize=10998816 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20851/stat : 20851 (java) R 20794 20797 12183 0 -1 4202560 20 12969 0 0 0 0 5 2 20 0 15 0 107351437 11262787584 52089 33554432000 4194304 4196468 140731350034464 140437404830224 140437385288641 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20852] ppid=20794 vsize=10998816 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20797/task/20852/stat : 20852 (java) R 20794 20797 12183 0 -1 4202560 98 12969 0 0 1 0 5 2 20 0 15 0 107351437 11262787584 52089 33554432000 4194304 4196468 140731350034464 140437259549328 140437385288719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20853] ppid=20794 vsize=10998816 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20853/stat : 20853 (java) R 20794 20797 12183 0 -1 1077944384 136 12969 0 0 0 0 5 2 20 0 15 0 107351437 11262787584 52089 33554432000 4194304 4196468 140731350034464 140437258496272 140437400598229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20854] ppid=20794 vsize=10998816 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20854/stat : 20854 (java) R 20794 20797 12183 0 -1 4202560 12 12969 0 0 0 0 5 2 20 0 15 0 107351437 11262787584 52089 33554432000 4194304 4196468 140731350034464 140437257443728 140437385288500 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20855] ppid=20794 vsize=10998816 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/20797/task/20855/stat : 20855 (java) S 20794 20797 12183 0 -1 1077944384 113 12969 0 0 1 0 5 2 20 0 15 0 107351439 11262787584 52089 33554432000 4194304 4196468 140731350034464 140436825900320 140437400598229 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20856] ppid=20794 vsize=10998816 memory=279502915709184 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20856/stat : 20856 (java) S 20794 20797 12183 0 -1 1077944384 13 12969 0 0 0 0 5 2 20 0 15 0 107351439 11262787584 52089 33554432000 4194304 4196468 140731350034464 140436236658336 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20857] ppid=20794 vsize=10998816 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20857/stat : 20857 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351439 11262787584 52089 33554432000 4194304 4196468 140731350034464 140436035331312 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20858] ppid=20794 vsize=10998816 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20858/stat : 20858 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11262787584 52089 33554432000 4194304 4196468 140731350034464 140435727931856 140437400606619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20859] ppid=20794 vsize=10998816 memory=1232 CPUtime=0.63 cores=0,2,4,6
/proc/20797/task/20859/stat : 20859 (java) R 20794 20797 12183 0 -1 4202560 4705 12969 0 0 55 1 5 2 20 0 15 0 107351442 11262787584 52089 33554432000 4194304 4196468 140731350034464 140436824834784 140437382132241 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20860] ppid=20794 vsize=10998816 memory=8560 CPUtime=0.61 cores=0,2,4,6
/proc/20797/task/20860/stat : 20860 (java) S 20794 20797 12183 0 -1 1077944384 2562 12969 0 0 54 0 5 2 20 0 15 0 107351442 11262787584 52089 33554432000 4194304 4196468 140731350034464 140436823781072 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20861] ppid=20794 vsize=10998816 memory=1712 CPUtime=0.48 cores=0,2,4,6
/proc/20797/task/20861/stat : 20861 (java) S 20794 20797 12183 0 -1 1077944384 1763 12969 0 0 41 0 5 2 20 0 15 0 107351442 11262787584 52089 33554432000 4194304 4196468 140731350034464 140436822743024 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20862] ppid=20794 vsize=10998816 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20862/stat : 20862 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11262787584 52089 33554432000 4194304 4196468 140731350034464 140435297134944 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20863] ppid=20794 vsize=10998816 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20863/stat : 20863 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11262787584 52089 33554432000 4194304 4196468 140731350034464 140436821691440 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10998816 KiB
################
# More data... #
################
[startup+12.7007 s]
/proc/loadavg: 2.12 1.86 1.80 6/215 20863
/proc/meminfo: memFree=23349680/32770624 swapFree=67108860/67108860
[pid=20797] ppid=20794 vsize=11080032 memory=542636 CPUtime=24.58 cores=0,2,4,6
/proc/20797/stat : 20797 (java) S 20794 20797 12183 0 -1 1077944320 82758 12969 0 0 2421 30 5 2 20 0 15 0 107351427 11345952768 135659 33554432000 4194304 4196468 140731350034464 140731350017008 140437400588023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
/proc/20797/statm: 2770008 135659 3519 1 0 2731661 0
[pid=20797/tid=20850] ppid=20794 vsize=11080032 memory=542200 CPUtime=12.47 cores=0,2,4,6
/proc/20797/task/20850/stat : 20850 (java) R 20794 20797 12183 0 -1 4202560 43796 12969 0 0 1225 15 5 2 20 0 15 0 107351436 11345952768 135659 33554432000 4194304 4196468 140731350034464 140437372421760 140436930245311 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20851] ppid=20794 vsize=11080032 memory=4140 CPUtime=0.13 cores=0,2,4,6
/proc/20797/task/20851/stat : 20851 (java) S 20794 20797 12183 0 -1 1077944384 1137 12969 0 0 5 1 5 2 20 0 15 0 107351437 11345952768 135659 33554432000 4194304 4196468 140731350034464 140437404830224 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20852] ppid=20794 vsize=11080032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/20797/task/20852/stat : 20852 (java) S 20794 20797 12183 0 -1 1077944384 204 12969 0 0 5 1 5 2 20 0 15 0 107351437 11345952768 135659 33554432000 4194304 4196468 140731350034464 140437259549328 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20853] ppid=20794 vsize=11080032 memory=459 CPUtime=0.12 cores=0,2,4,6
/proc/20797/task/20853/stat : 20853 (java) S 20794 20797 12183 0 -1 1077944384 262 12969 0 0 4 1 5 2 20 0 15 0 107351437 11345952768 135659 33554432000 4194304 4196468 140731350034464 140437258496272 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20854] ppid=20794 vsize=11080032 memory=56 CPUtime=0.14 cores=0,2,4,6
/proc/20797/task/20854/stat : 20854 (java) S 20794 20797 12183 0 -1 1077944384 344 12969 0 0 6 1 5 2 20 0 15 0 107351437 11345952768 135659 33554432000 4194304 4196468 140731350034464 140437257443728 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20855] ppid=20794 vsize=11080032 memory=7236556077579397225 CPUtime=0.12 cores=0,2,4,6
/proc/20797/task/20855/stat : 20855 (java) S 20794 20797 12183 0 -1 1077944384 5744 12969 0 0 5 0 5 2 20 0 15 0 107351439 11345952768 135659 33554432000 4194304 4196468 140731350034464 140436825901808 140437400599170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20856] ppid=20794 vsize=11080032 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20856/stat : 20856 (java) S 20794 20797 12183 0 -1 1077944384 13 12969 0 0 0 0 5 2 20 0 15 0 107351439 11345952768 135659 33554432000 4194304 4196468 140731350034464 140436236658400 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20857] ppid=20794 vsize=11080032 memory=576460756337521186 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20857/stat : 20857 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351439 11345952768 135659 33554432000 4194304 4196468 140731350034464 140436035331328 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20858] ppid=20794 vsize=11080032 memory=30728 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20858/stat : 20858 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11345952768 135659 33554432000 4194304 4196468 140731350034464 140435727931856 140437400606619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20859] ppid=20794 vsize=11080032 memory=1296 CPUtime=4.83 cores=0,2,4,6
/proc/20797/task/20859/stat : 20859 (java) R 20794 20797 12183 0 -1 4202560 11072 12969 0 0 473 3 5 2 20 0 15 0 107351442 11345952768 135659 33554432000 4194304 4196468 140731350034464 140436824835408 140437384082227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20860] ppid=20794 vsize=11080032 memory=2400 CPUtime=5 cores=0,2,4,6
/proc/20797/task/20860/stat : 20860 (java) R 20794 20797 12183 0 -1 4202560 8747 12969 0 0 491 2 5 2 20 0 15 0 107351442 11345952768 135659 33554432000 4194304 4196468 140731350034464 140436823776832 140437382132654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20861] ppid=20794 vsize=11080032 memory=279502916156832 CPUtime=2.12 cores=0,2,4,6
/proc/20797/task/20861/stat : 20861 (java) S 20794 20797 12183 0 -1 1077944384 8797 12969 0 0 201 4 5 2 20 0 15 0 107351442 11345952768 135659 33554432000 4194304 4196468 140731350034464 140436822743024 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20862] ppid=20794 vsize=11080032 memory=5787220458829273444 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20862/stat : 20862 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11345952768 135659 33554432000 4194304 4196468 140731350034464 140435297134944 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20863] ppid=20794 vsize=11080032 memory=5787213861759506788 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20863/stat : 20863 (java) S 20794 20797 12183 0 -1 1077944384 446 12969 0 0 0 0 5 2 20 0 15 0 107351442 11345952768 135659 33554432000 4194304 4196468 140731350034464 140436821691440 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
Current children cumulated CPU time: 24.58 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 542636 KiB
[startup+13.7012 s]
# the end of solver process 20797 was just reported to runsolver
# cumulated CPU time of all completed processes: user=25.8093 s, system=0.362376 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8008 s]
/proc/loadavg: 2.12 1.86 1.80 6/215 20863
/proc/meminfo: memFree=23349680/32770624 swapFree=67108860/67108860
[pid=20797] ppid=20794 vsize=11082080 memory=542700 CPUtime=24.78 cores=0,2,4,6
/proc/20797/stat : 20797 (java) S 20794 20797 12183 0 -1 1077944320 82823 12969 0 0 2441 30 5 2 20 0 15 0 107351427 11348049920 135675 33554432000 4194304 4196468 140731350034464 140731350017008 140437400588023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
/proc/20797/statm: 2770520 135675 3520 1 0 2732173 0
[pid=20797/tid=20850] ppid=20794 vsize=11082080 memory=6791534058613427641 CPUtime=12.57 cores=0,2,4,6
/proc/20797/task/20850/stat : 20850 (java) R 20794 20797 12183 0 -1 4202560 43798 12969 0 0 1235 15 5 2 20 0 15 0 107351436 11348049920 135675 33554432000 4194304 4196468 140731350034464 140437372416752 140436935072430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20851] ppid=20794 vsize=11082080 memory=303711719770030395 CPUtime=0.13 cores=0,2,4,6
/proc/20797/task/20851/stat : 20851 (java) S 20794 20797 12183 0 -1 1077944384 1137 12969 0 0 5 1 5 2 20 0 15 0 107351437 11348049920 135675 33554432000 4194304 4196468 140731350034464 140437404830224 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20852] ppid=20794 vsize=11082080 memory=14133333755955767 CPUtime=0.13 cores=0,2,4,6
/proc/20797/task/20852/stat : 20852 (java) S 20794 20797 12183 0 -1 1077944384 204 12969 0 0 5 1 5 2 20 0 15 0 107351437 11348049920 135675 33554432000 4194304 4196468 140731350034464 140437259549328 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20853] ppid=20794 vsize=11082080 memory=-8458152057954430348 CPUtime=0.12 cores=0,2,4,6
/proc/20797/task/20853/stat : 20853 (java) S 20794 20797 12183 0 -1 1077944384 262 12969 0 0 4 1 5 2 20 0 15 0 107351437 11348049920 135675 33554432000 4194304 4196468 140731350034464 140437258496272 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20854] ppid=20794 vsize=11082080 memory=-9062862659931694204 CPUtime=0.14 cores=0,2,4,6
/proc/20797/task/20854/stat : 20854 (java) S 20794 20797 12183 0 -1 1077944384 344 12969 0 0 6 1 5 2 20 0 15 0 107351437 11348049920 135675 33554432000 4194304 4196468 140731350034464 140437257443728 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20855] ppid=20794 vsize=11082080 memory=4196912344889787449 CPUtime=0.12 cores=0,2,4,6
/proc/20797/task/20855/stat : 20855 (java) S 20794 20797 12183 0 -1 1077944384 5745 12969 0 0 5 0 5 2 20 0 15 0 107351439 11348049920 135675 33554432000 4194304 4196468 140731350034464 140436825901808 140437400599170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20856] ppid=20794 vsize=11082080 memory=164 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20856/stat : 20856 (java) S 20794 20797 12183 0 -1 1077944384 13 12969 0 0 0 0 5 2 20 0 15 0 107351439 11348049920 135675 33554432000 4194304 4196468 140731350034464 140436236658400 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20857] ppid=20794 vsize=11082080 memory=6872598998417432672 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20857/stat : 20857 (java) S 20794 20797 12183 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 107351439 11348049920 135675 33554432000 4194304 4196468 140731350034464 140436035331328 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20858] ppid=20794 vsize=11082080 memory=6872598998417432672 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20858/stat : 20858 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11348049920 135675 33554432000 4194304 4196468 140731350034464 140435727931856 140437400606619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20859] ppid=20794 vsize=11082080 memory=0 CPUtime=4.9 cores=0,2,4,6
/proc/20797/task/20859/stat : 20859 (java) R 20794 20797 12183 0 -1 4202560 11079 12969 0 0 480 3 5 2 20 0 15 0 107351442 11348049920 135675 33554432000 4194304 4196468 140731350034464 140436824839952 140437385705143 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20860] ppid=20794 vsize=11082080 memory=0 CPUtime=5.02 cores=0,2,4,6
/proc/20797/task/20860/stat : 20860 (java) S 20794 20797 12183 0 -1 1077944384 8770 12969 0 0 493 2 5 2 20 0 15 0 107351442 11348049920 135675 33554432000 4194304 4196468 140731350034464 140436823796080 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20861] ppid=20794 vsize=11082080 memory=-3472574513799858007 CPUtime=2.13 cores=0,2,4,6
/proc/20797/task/20861/stat : 20861 (java) S 20794 20797 12183 0 -1 1077944384 8829 12969 0 0 202 4 5 2 20 0 15 0 107351442 11348049920 135675 33554432000 4194304 4196468 140731350034464 140436822743024 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20862] ppid=20794 vsize=11082080 memory=164 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20862/stat : 20862 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11348049920 135675 33554432000 4194304 4196468 140731350034464 140435297134944 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20863] ppid=20794 vsize=11082080 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20863/stat : 20863 (java) S 20794 20797 12183 0 -1 1077944384 446 12969 0 0 0 0 5 2 20 0 15 0 107351442 11348049920 135675 33554432000 4194304 4196468 140731350034464 140436821691440 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 542700 KiB
[startup+13.2007 s]
/proc/loadavg: 2.12 1.86 1.80 3/215 20863
/proc/meminfo: memFree=23311700/32770624 swapFree=67108860/67108860
[pid=20797] ppid=20794 vsize=11082080 memory=602408 CPUtime=25.42 cores=0,2,4,6
/proc/20797/stat : 20797 (java) S 20794 20797 12183 0 -1 1077944320 82987 12969 0 0 2504 31 5 2 20 0 15 0 107351427 11348049920 150602 33554432000 4194304 4196468 140731350034464 140731350017008 140437400588023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
/proc/20797/statm: 2770520 150602 3522 1 0 2732173 0
[pid=20797/tid=20850] ppid=20794 vsize=11082080 memory=288230596050944315 CPUtime=12.97 cores=0,2,4,6
/proc/20797/task/20850/stat : 20850 (java) R 20794 20797 12183 0 -1 4202560 43829 12969 0 0 1274 16 5 2 20 0 15 0 107351436 11348049920 150602 33554432000 4194304 4196468 140731350034464 140437372422768 140436931045941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20851] ppid=20794 vsize=11082080 memory=14133333755955767 CPUtime=0.14 cores=0,2,4,6
/proc/20797/task/20851/stat : 20851 (java) S 20794 20797 12183 0 -1 1077944384 1143 12969 0 0 6 1 5 2 20 0 15 0 107351437 11348049920 150602 33554432000 4194304 4196468 140731350034464 140437404830224 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20852] ppid=20794 vsize=11082080 memory=5860419410445560425 CPUtime=0.13 cores=0,2,4,6
/proc/20797/task/20852/stat : 20852 (java) S 20794 20797 12183 0 -1 1077944384 206 12969 0 0 5 1 5 2 20 0 15 0 107351437 11348049920 150602 33554432000 4194304 4196468 140731350034464 140437259549328 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20853] ppid=20794 vsize=11082080 memory=31857 CPUtime=0.13 cores=0,2,4,6
/proc/20797/task/20853/stat : 20853 (java) S 20794 20797 12183 0 -1 1077944384 264 12969 0 0 5 1 5 2 20 0 15 0 107351437 11348049920 150602 33554432000 4194304 4196468 140731350034464 140437258496272 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20854] ppid=20794 vsize=11082080 memory=139751458004374 CPUtime=0.14 cores=0,2,4,6
/proc/20797/task/20854/stat : 20854 (java) S 20794 20797 12183 0 -1 1077944384 346 12969 0 0 6 1 5 2 20 0 15 0 107351437 11348049920 150602 33554432000 4194304 4196468 140731350034464 140437257443728 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20855] ppid=20794 vsize=11082080 memory=139751458005271 CPUtime=0.12 cores=0,2,4,6
/proc/20797/task/20855/stat : 20855 (java) S 20794 20797 12183 0 -1 1077944384 5765 12969 0 0 5 0 5 2 20 0 15 0 107351439 11348049920 150602 33554432000 4194304 4196468 140731350034464 140436825901808 140437400599170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20856] ppid=20794 vsize=11082080 memory=279502916258864 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20856/stat : 20856 (java) S 20794 20797 12183 0 -1 1077944384 18 12969 0 0 0 0 5 2 20 0 15 0 107351439 11348049920 150602 33554432000 4194304 4196468 140731350034464 140436236658400 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20857] ppid=20794 vsize=11082080 memory=279502915821304 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20857/stat : 20857 (java) S 20794 20797 12183 0 -1 1077944384 6 12969 0 0 0 0 5 2 20 0 15 0 107351439 11348049920 150602 33554432000 4194304 4196468 140731350034464 140436035331328 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20858] ppid=20794 vsize=11082080 memory=139753940845432 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20858/stat : 20858 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11348049920 150602 33554432000 4194304 4196468 140731350034464 140435727931856 140437400606619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20859] ppid=20794 vsize=11082080 memory=18448 CPUtime=5 cores=0,2,4,6
/proc/20797/task/20859/stat : 20859 (java) S 20794 20797 12183 0 -1 1077944384 11120 12969 0 0 490 3 5 2 20 0 15 0 107351442 11348049920 150602 33554432000 4194304 4196468 140731350034464 140436824848624 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20860] ppid=20794 vsize=11082080 memory=7305218370954094169 CPUtime=5.13 cores=0,2,4,6
/proc/20797/task/20860/stat : 20860 (java) R 20794 20797 12183 0 -1 4202560 8789 12969 0 0 504 2 5 2 20 0 15 0 107351442 11348049920 150602 33554432000 4194304 4196468 140731350034464 140436823796080 140437382131796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20861] ppid=20794 vsize=11082080 memory=7019257425709197167 CPUtime=2.15 cores=0,2,4,6
/proc/20797/task/20861/stat : 20861 (java) S 20794 20797 12183 0 -1 1077944384 8860 12969 0 0 204 4 5 2 20 0 15 0 107351442 11348049920 150602 33554432000 4194304 4196468 140731350034464 140436822743024 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20862] ppid=20794 vsize=11082080 memory=7739276948478388840 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20862/stat : 20862 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11348049920 150602 33554432000 4194304 4196468 140731350034464 140435297134944 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20863] ppid=20794 vsize=11082080 memory=8761640388318109335 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20863/stat : 20863 (java) S 20794 20797 12183 0 -1 1077944384 446 12969 0 0 0 0 5 2 20 0 15 0 107351442 11348049920 150602 33554432000 4194304 4196468 140731350034464 140436821691440 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 602408 KiB
[startup+13.6007 s]
/proc/loadavg: 2.12 1.86 1.80 3/215 20863
/proc/meminfo: memFree=23311700/32770624 swapFree=67108860/67108860
[pid=20797] ppid=20794 vsize=11082080 memory=602680 CPUtime=26.03 cores=0,2,4,6
/proc/20797/stat : 20797 (java) S 20794 20797 12183 0 -1 1077944320 83052 12969 0 0 2565 31 5 2 20 0 15 0 107351427 11348049920 150670 33554432000 4194304 4196468 140731350034464 140731350017008 140437400588023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
/proc/20797/statm: 2770520 150670 3522 1 0 2732173 0
[pid=20797/tid=20850] ppid=20794 vsize=11082080 memory=1296 CPUtime=13.37 cores=0,2,4,6
/proc/20797/task/20850/stat : 20850 (java) R 20794 20797 12183 0 -1 4202560 43829 12969 0 0 1314 16 5 2 20 0 15 0 107351436 11348049920 150670 33554432000 4194304 4196468 140731350034464 140437372416944 140436937355388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20851] ppid=20794 vsize=11082080 memory=4140 CPUtime=0.14 cores=0,2,4,6
/proc/20797/task/20851/stat : 20851 (java) S 20794 20797 12183 0 -1 1077944384 1143 12969 0 0 6 1 5 2 20 0 15 0 107351437 11348049920 150670 33554432000 4194304 4196468 140731350034464 140437404830224 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20852] ppid=20794 vsize=11082080 memory=6791534058613427641 CPUtime=0.13 cores=0,2,4,6
/proc/20797/task/20852/stat : 20852 (java) S 20794 20797 12183 0 -1 1077944384 206 12969 0 0 5 1 5 2 20 0 15 0 107351437 11348049920 150670 33554432000 4194304 4196468 140731350034464 140437259549328 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20853] ppid=20794 vsize=11082080 memory=1296 CPUtime=0.13 cores=0,2,4,6
/proc/20797/task/20853/stat : 20853 (java) S 20794 20797 12183 0 -1 1077944384 264 12969 0 0 5 1 5 2 20 0 15 0 107351437 11348049920 150670 33554432000 4194304 4196468 140731350034464 140437258496272 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20854] ppid=20794 vsize=11082080 memory=2400 CPUtime=0.14 cores=0,2,4,6
/proc/20797/task/20854/stat : 20854 (java) S 20794 20797 12183 0 -1 1077944384 346 12969 0 0 6 1 5 2 20 0 15 0 107351437 11348049920 150670 33554432000 4194304 4196468 140731350034464 140437257443728 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20855] ppid=20794 vsize=11082080 memory=1836 CPUtime=0.12 cores=0,2,4,6
/proc/20797/task/20855/stat : 20855 (java) S 20794 20797 12183 0 -1 1077944384 5765 12969 0 0 5 0 5 2 20 0 15 0 107351439 11348049920 150670 33554432000 4194304 4196468 140731350034464 140436825901808 140437400599170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20856] ppid=20794 vsize=11082080 memory=13044 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20856/stat : 20856 (java) S 20794 20797 12183 0 -1 1077944384 18 12969 0 0 0 0 5 2 20 0 15 0 107351439 11348049920 150670 33554432000 4194304 4196468 140731350034464 140436236658400 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20857] ppid=20794 vsize=11082080 memory=792 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20857/stat : 20857 (java) S 20794 20797 12183 0 -1 1077944384 6 12969 0 0 0 0 5 2 20 0 15 0 107351439 11348049920 150670 33554432000 4194304 4196468 140731350034464 140436035331328 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20858] ppid=20794 vsize=11082080 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20858/stat : 20858 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11348049920 150670 33554432000 4194304 4196468 140731350034464 140435727931856 140437400606619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20859] ppid=20794 vsize=11082080 memory=1232 CPUtime=5.04 cores=0,2,4,6
/proc/20797/task/20859/stat : 20859 (java) S 20794 20797 12183 0 -1 1077944384 11128 12969 0 0 494 3 5 2 20 0 15 0 107351442 11348049920 150670 33554432000 4194304 4196468 140731350034464 140436824848624 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20860] ppid=20794 vsize=11082080 memory=8560 CPUtime=5.28 cores=0,2,4,6
/proc/20797/task/20860/stat : 20860 (java) S 20794 20797 12183 0 -1 1077944384 8821 12969 0 0 519 2 5 2 20 0 15 0 107351442 11348049920 150670 33554432000 4194304 4196468 140731350034464 140436823796080 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20861] ppid=20794 vsize=11082080 memory=1712 CPUtime=2.16 cores=0,2,4,6
/proc/20797/task/20861/stat : 20861 (java) S 20794 20797 12183 0 -1 1077944384 8885 12969 0 0 205 4 5 2 20 0 15 0 107351442 11348049920 150670 33554432000 4194304 4196468 140731350034464 140436822743024 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20862] ppid=20794 vsize=11082080 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20862/stat : 20862 (java) S 20794 20797 12183 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 107351442 11348049920 150670 33554432000 4194304 4196468 140731350034464 140435297134944 140437400598229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
[pid=20797/tid=20863] ppid=20794 vsize=11082080 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/20797/task/20863/stat : 20863 (java) S 20794 20797 12183 0 -1 1077944384 446 12969 0 0 0 0 5 2 20 0 15 0 107351442 11348049920 150670 33554432000 4194304 4196468 140731350034464 140436821691440 140437400599170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17158144 140731350043249 140731350046049 140731350046049 140731350048719 0
Current children cumulated CPU time: 26.03 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 602680 KiB
Child status: 0
Real time (s): 13.7012
CPU time (s): 26.1716
CPU user time (s): 25.8093
CPU system time (s): 0.362376
CPU usage (%): 191.017
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 602680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.8093
system time used= 0.362376
maximum resident set size= 604848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96143
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= 8306
involuntary context switches= 140
# summary of solver processes directly reported to runsolver:
# pid: 20797
# total CPU time (s): 26.1716
# total CPU user time (s): 25.8093
# total CPU system time (s): 0.362376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.09607 second user time and 0.175922 second system time
The end
Begin job on node107 at 2018-07-29 22:58:02 IDJOB=4302505 IDBENCH=141524 IDSOLVER=2776 FILE ID=node107/4302505-1532897882 RUNJOBID= node107-1532892903-13712 PBS_JOBID= 21022519 Free space on /tmp= 60800 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-4302505-1532897882/watcher-4302505-1532897882 -o /tmp/evaluation-result-4302505-1532897882/solver-4302505-1532897882 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2145925575 HOME/instance-4302505-1532897882.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4de37f7087aa8e77bde3fd457ed5d54a RANDOM SEED=2145925575 node107.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.40 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.40 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.40 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.40 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: 23949468 kB MemAvailable: 31195452 kB Buffers: 248584 kB Cached: 7260248 kB SwapCached: 0 kB Active: 4594164 kB Inactive: 3735608 kB Active(anon): 772288 kB Inactive(anon): 76484 kB Active(file): 3821876 kB Inactive(file): 3659124 kB Unevictable: 7164 kB Mlocked: 7164 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26396 kB Writeback: 0 kB AnonPages: 860560 kB Mapped: 58356 kB Shmem: 25228 kB Slab: 189948 kB SReclaimable: 161636 kB SUnreclaim: 28312 kB KernelStack: 3792 kB PageTables: 6556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2008248 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 616448 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 60776 MiB End job on node107 at 2018-07-29 22:58:16