Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-17 | OPT | 4783 | 6.62805 | 2.64983 |
| Name | Mario/ Mario-t-hard-1_c18.xml |
| MD5SUM | d0ad504447153d615b89b5c6990e2d3b |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4783 |
| Best CPU time to get the best result obtained on this benchmark | 4.54918 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 201 |
| Number of domains | 164 |
| Minimum domain size | 1 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":95},{"size":85,"count":4},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":6},{"size":89,"count":17},{"size":90,"count":16},{"size":91,"count":14},{"size":92,"count":12},{"size":93,"count":12},{"size":94,"count":9},{"size":95,"count":5},{"size":97,"count":1},{"size":100,"count":100}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}] |
| Number of extensional constraints | 100 |
| Number of intensional constraints | 99 |
| Distribution of constraint types | [{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.68/0.56 c version: 2018-08-17 0.68/0.56 c seed: 1873037692 0.68/0.56 c timeout: 2520 0.68/0.56 c memlimit: 11000 0.68/0.56 c nbcore: 1 0.68/0.58 c Parsing instance... 3.32/1.52 c Parsing done, starting search... 3.64/1.61 o 4292 4.92/2.04 o 4417 4.92/2.04 o 4438 4.92/2.04 o 4513 4.92/2.04 o 4517 4.92/2.04 o 4531 4.92/2.04 o 4537 4.92/2.04 o 4569 4.92/2.04 o 4589 5.22/2.14 o 4612 5.49/2.20 o 4626 5.49/2.29 o 4636 5.49/2.29 o 4670 5.80/2.38 o 4675 6.10/2.40 o 4690 6.10/2.46 o 4697 6.10/2.46 o 4706 6.38/2.50 o 4721 6.38/2.56 o 4729 6.38/2.56 o 4752 6.38/2.59 o 4763 6.55/2.61 o 4766 6.55/2.62 o 4783 6.55/2.63 s OPTIMUM FOUND 6.55/2.63 v <instantiation> 6.55/2.63 v <list> 6.55/2.63 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] 6.55/2.63 v </list> 6.55/2.63 v <values> 6.55/2.63 v 27 0 21 18 57 90 16 24 72 59 19 81 62 94 56 76 91 69 68 98 44 25 3 53 13 50 35 41 61 96 80 89 32 28 36 87 52 84 51 77 54 6 15 1 39 33 67 97 48 93 7 34 55 11 46 10 88 47 30 8 60 78 37 73 95 9 79 17 42 2 5 74 31 85 45 70 12 66 38 92 83 49 75 26 20 40 43 64 23 86 63 22 71 99 14 29 4 82 58 65 298 0 198 444 108 44 41 376 158 227 461 287 107 354 469 35 213 5 145 384 18 101 129 490 53 199 472 134 168 367 149 381 0 241 250 355 367 61 409 192 267 60 93 288 177 478 29 58 0 37 50 415 122 390 405 186 275 4 56 118 0 491 332 132 3 153 119 42 10 270 431 35 497 123 238 264 106 14 171 30 130 114 320 152 4 269 384 192 137 226 162 148 406 31 138 392 368 220 214 100 0 0 47 13 54 4 34 6 78 48 69 73 17 63 62 34 92 62 96 89 76 32 10 99 74 59 98 53 37 2 5 54 0 6 63 55 89 20 75 34 15 60 77 37 77 92 20 88 0 57 52 33 76 55 36 45 58 29 4 84 0 51 86 83 98 96 8 14 65 28 59 16 15 58 22 87 92 31 1 97 88 62 41 8 85 69 79 95 59 10 17 26 74 20 53 25 1 1 36 50 6.55/2.63 v </values> 6.55/2.63 v </instantiation>
OK 4783
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 (13134 MiB free)
memory of node 1: 16384 MiB (10963 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311757-1534559364/watcher-4311757-1534559364 -o /tmp/evaluation-result-4311757-1534559364/solver-4311757-1534559364 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534541040-3481 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1873037692 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311757-1534559364.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=6626, runsolver pid=6623
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.62 1.73 1.70 3/219 6641
/proc/meminfo: memFree=24657940/32770624 swapFree=67108840/67108860
[pid=6626] ppid=6623 vsize=14082736 memory=31308 CPUtime=0.12 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 3449 0 -1 1077944320 6721 0 0 0 11 1 0 0 20 0 15 0 273499612 14420721664 7827 33554432000 4194304 4196468 140726641472096 140726641454640 140115176951543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
/proc/6626/statm: 3520684 7827 3160 1 0 3482761 0
[pid=6626/tid=6628] ppid=6623 vsize=14082736 memory=-8393970252754285760 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6628/stat : 6628 (java) R 6623 6626 3449 0 -1 4202560 4784 0 0 0 8 0 0 0 20 0 15 0 273499612 14420721664 7827 33554432000 4194304 4196468 140726641472096 140115181146320 140115156485433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6629] ppid=6623 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6629/stat : 6629 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14420721664 7827 33554432000 4194304 4196468 140726641472096 140115129572240 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6630] ppid=6623 vsize=14082736 memory=139959781152384 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6630/stat : 6630 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14420721664 7827 33554432000 4194304 4196468 140726641472096 140115128519440 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6631] ppid=6623 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6631/stat : 6631 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14420721664 7827 33554432000 4194304 4196468 140726641472096 140115127467152 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6632] ppid=6623 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6632/stat : 6632 (java) S 6623 6626 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273499613 14420721664 7827 33554432000 4194304 4196468 140726641472096 140115126414352 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6633] ppid=6623 vsize=14082736 memory=139959781152384 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6633/stat : 6633 (java) S 6623 6626 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273499614 14420721664 7827 33554432000 4194304 4196468 140726641472096 140114650982512 140115176962690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6634] ppid=6623 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6634/stat : 6634 (java) S 6623 6626 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273499615 14420721664 7827 33554432000 4194304 4196468 140726641472096 140114649928480 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6635] ppid=6623 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6635/stat : 6635 (java) S 6623 6626 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273499615 14420721664 7827 33554432000 4194304 4196468 140726641472096 140114648876144 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6636] ppid=6623 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6636/stat : 6636 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14420721664 7827 33554432000 4194304 4196468 140726641472096 140114647824464 140115176970139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6637] ppid=6623 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6637/stat : 6637 (java) S 6623 6626 3449 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 273499618 14420721664 7827 33554432000 4194304 4196468 140726641472096 140114646772336 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6638] ppid=6623 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6638/stat : 6638 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14420721664 7827 33554432000 4194304 4196468 140726641472096 140114645719536 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6639] ppid=6623 vsize=14082736 memory=139959781152384 CPUtime=0.01 cores=1,3,5,7
/proc/6626/task/6639/stat : 6639 (java) S 6623 6626 3449 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 273499618 14420721664 7827 33554432000 4194304 4196468 140726641472096 140114644667248 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6640] ppid=6623 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6640/stat : 6640 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14420721664 7827 33554432000 4194304 4196468 140726641472096 140114643614688 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6641] ppid=6623 vsize=14082736 memory=139959781152384 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6641/stat : 6641 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499618 14420721664 7827 33554432000 4194304 4196468 140726641472096 140114642561456 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31308 KiB
[startup+0.211084 s]*
/proc/loadavg: 1.62 1.73 1.70 5/219 6641
/proc/meminfo: memFree=24642560/32770624 swapFree=67108840/67108860
[pid=6626] ppid=6623 vsize=14082736 memory=47128 CPUtime=0.3 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 3449 0 -1 1077944320 10385 0 0 0 28 2 0 0 20 0 15 0 273499612 14420721664 11782 33554432000 4194304 4196468 140726641472096 140726641454640 140115176951543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
/proc/6626/statm: 3520684 11782 3378 1 0 3482761 0
[pid=6626/tid=6628] ppid=6623 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/6626/task/6628/stat : 6628 (java) R 6623 6626 3449 0 -1 4202560 8112 0 0 0 19 1 0 0 20 0 15 0 273499612 14420721664 11782 33554432000 4194304 4196468 140726641472096 140115181175408 140114802016332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6629] ppid=6623 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6629/stat : 6629 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14420721664 11782 33554432000 4194304 4196468 140726641472096 140115129572240 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6630] ppid=6623 vsize=14082736 memory=139959781159204 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6630/stat : 6630 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14420721664 11782 33554432000 4194304 4196468 140726641472096 140115128519440 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6631] ppid=6623 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6631/stat : 6631 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14420721664 11782 33554432000 4194304 4196468 140726641472096 140115127467152 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6632] ppid=6623 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6632/stat : 6632 (java) S 6623 6626 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273499613 14420721664 11782 33554432000 4194304 4196468 140726641472096 140115126414352 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6633] ppid=6623 vsize=14082736 memory=139959781152384 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6633/stat : 6633 (java) S 6623 6626 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273499614 14420721664 11782 33554432000 4194304 4196468 140726641472096 140114650982512 140115176962690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6634] ppid=6623 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6634/stat : 6634 (java) S 6623 6626 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273499615 14420721664 11782 33554432000 4194304 4196468 140726641472096 140114649928480 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6635] ppid=6623 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6635/stat : 6635 (java) S 6623 6626 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273499615 14420721664 11782 33554432000 4194304 4196468 140726641472096 140114648876144 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6636] ppid=6623 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6636/stat : 6636 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14420721664 11782 33554432000 4194304 4196468 140726641472096 140114647824464 140115176970139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6637] ppid=6623 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6626/task/6637/stat : 6637 (java) S 6623 6626 3449 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 273499618 14420721664 11782 33554432000 4194304 4196468 140726641472096 140114646772336 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6638] ppid=6623 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6626/task/6638/stat : 6638 (java) R 6623 6626 3449 0 -1 4202560 59 0 0 0 1 0 0 0 20 0 15 0 273499618 14420721664 11782 33554432000 4194304 4196468 140726641472096 140114645719536 140115156190016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6639] ppid=6623 vsize=14082736 memory=139959781152384 CPUtime=0.05 cores=1,3,5,7
/proc/6626/task/6639/stat : 6639 (java) R 6623 6626 3449 0 -1 4202560 287 0 0 0 5 0 0 0 20 0 15 0 273499618 14420721664 11782 33554432000 4194304 4196468 140726641472096 140114644665208 140115155890113 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6640] ppid=6623 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6640/stat : 6640 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14420721664 11782 33554432000 4194304 4196468 140726641472096 140114643614688 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6641] ppid=6623 vsize=14082736 memory=139959781152384 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6641/stat : 6641 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499618 14420721664 11782 33554432000 4194304 4196468 140726641472096 140114642561456 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47128 KiB
[startup+0.310775 s]*
/proc/loadavg: 1.62 1.73 1.70 3/219 6641
/proc/meminfo: memFree=24639272/32770624 swapFree=67108840/67108860
[pid=6626] ppid=6623 vsize=14082736 memory=50808 CPUtime=0.43 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 3449 0 -1 1077944320 10783 0 0 0 41 2 0 0 20 0 15 0 273499612 14420721664 12702 33554432000 4194304 4196468 140726641472096 140726641454640 140115176951543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
/proc/6626/statm: 3520684 12702 3414 1 0 3482761 0
[pid=6626/tid=6628] ppid=6623 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/6626/task/6628/stat : 6628 (java) R 6623 6626 3449 0 -1 4202560 8466 0 0 0 28 1 0 0 20 0 15 0 273499612 14420721664 12702 33554432000 4194304 4196468 140726641472096 140115181160896 140115162117096 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6629] ppid=6623 vsize=14082736 memory=290763888105095191 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6629/stat : 6629 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14420721664 12702 33554432000 4194304 4196468 140726641472096 140115129572240 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6630] ppid=6623 vsize=14082736 memory=14550387714283160 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6630/stat : 6630 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14420721664 12702 33554432000 4194304 4196468 140726641472096 140115128519440 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6631] ppid=6623 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6631/stat : 6631 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14420721664 12702 33554432000 4194304 4196468 140726641472096 140115127467152 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6632] ppid=6623 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6632/stat : 6632 (java) S 6623 6626 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273499613 14420721664 12702 33554432000 4194304 4196468 140726641472096 140115126414352 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6633] ppid=6623 vsize=14082736 memory=139959781152384 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6633/stat : 6633 (java) S 6623 6626 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273499614 14420721664 12702 33554432000 4194304 4196468 140726641472096 140114650982512 140115176962690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6634] ppid=6623 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6634/stat : 6634 (java) S 6623 6626 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273499615 14420721664 12702 33554432000 4194304 4196468 140726641472096 140114649928480 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6635] ppid=6623 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6635/stat : 6635 (java) S 6623 6626 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273499615 14420721664 12702 33554432000 4194304 4196468 140726641472096 140114648876144 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6636] ppid=6623 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6636/stat : 6636 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14420721664 12702 33554432000 4194304 4196468 140726641472096 140114647824464 140115176970139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6637] ppid=6623 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6626/task/6637/stat : 6637 (java) S 6623 6626 3449 0 -1 1077944384 552 0 0 0 2 0 0 0 20 0 15 0 273499618 14420721664 12702 33554432000 4194304 4196468 140726641472096 140114646772336 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6638] ppid=6623 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6626/task/6638/stat : 6638 (java) S 6623 6626 3449 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 15 0 273499618 14420721664 12702 33554432000 4194304 4196468 140726641472096 140114645719536 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6639] ppid=6623 vsize=14082736 memory=139959781152384 CPUtime=0.07 cores=1,3,5,7
/proc/6626/task/6639/stat : 6639 (java) S 6623 6626 3449 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 15 0 273499618 14420721664 12702 33554432000 4194304 4196468 140726641472096 140114644667248 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6640] ppid=6623 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6640/stat : 6640 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14420721664 12702 33554432000 4194304 4196468 140726641472096 140114643614688 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6641] ppid=6623 vsize=14082736 memory=139959781152384 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6641/stat : 6641 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499618 14420721664 12702 33554432000 4194304 4196468 140726641472096 140114642561456 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50808 KiB
[startup+0.700702 s]
/proc/loadavg: 1.62 1.73 1.70 3/219 6641
/proc/meminfo: memFree=24615088/32770624 swapFree=67108840/67108860
[pid=6626] ppid=6623 vsize=14084804 memory=88688 CPUtime=0.99 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 3449 0 -1 1077944320 17617 0 0 0 95 4 0 0 20 0 15 0 273499612 14422839296 22172 33554432000 4194304 4196468 140726641472096 140726641454640 140115176951543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
/proc/6626/statm: 3521201 22172 3499 1 0 3483273 0
[pid=6626/tid=6628] ppid=6623 vsize=14084804 memory=1784 CPUtime=0.67 cores=1,3,5,7
/proc/6626/task/6628/stat : 6628 (java) R 6623 6626 3449 0 -1 4202560 14919 0 0 0 64 3 0 0 20 0 15 0 273499612 14422839296 22172 33554432000 4194304 4196468 140726641472096 140115181169568 140115161032030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6629] ppid=6623 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6629/stat : 6629 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14422839296 22172 33554432000 4194304 4196468 140726641472096 140115129572240 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6630] ppid=6623 vsize=14084804 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6630/stat : 6630 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14422839296 22172 33554432000 4194304 4196468 140726641472096 140115128519440 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6631] ppid=6623 vsize=14084804 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6631/stat : 6631 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14422839296 22172 33554432000 4194304 4196468 140726641472096 140115127467152 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6632] ppid=6623 vsize=14084804 memory=5728 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6632/stat : 6632 (java) S 6623 6626 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273499613 14422839296 22172 33554432000 4194304 4196468 140726641472096 140115126414352 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6633] ppid=6623 vsize=14084804 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6633/stat : 6633 (java) S 6623 6626 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273499614 14422839296 22172 33554432000 4194304 4196468 140726641472096 140114650982512 140115176962690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6634] ppid=6623 vsize=14084804 memory=1092 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6634/stat : 6634 (java) S 6623 6626 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273499615 14422839296 22172 33554432000 4194304 4196468 140726641472096 140114649928480 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6635] ppid=6623 vsize=14084804 memory=836 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6635/stat : 6635 (java) S 6623 6626 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273499615 14422839296 22172 33554432000 4194304 4196468 140726641472096 140114648876144 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6636] ppid=6623 vsize=14084804 memory=10692 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6636/stat : 6636 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14422839296 22172 33554432000 4194304 4196468 140726641472096 140114647824464 140115176970139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6637] ppid=6623 vsize=14084804 memory=7450174591119418944 CPUtime=0.08 cores=1,3,5,7
/proc/6626/task/6637/stat : 6637 (java) R 6623 6626 3449 0 -1 4202560 696 0 0 0 8 0 0 0 20 0 15 0 273499618 14422839296 22172 33554432000 4194304 4196468 140726641472096 140114646772336 140115176962690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6638] ppid=6623 vsize=14084804 memory=6442510787546475095 CPUtime=0.06 cores=1,3,5,7
/proc/6626/task/6638/stat : 6638 (java) S 6623 6626 3449 0 -1 1077944384 232 0 0 0 6 0 0 0 20 0 15 0 273499618 14422839296 22172 33554432000 4194304 4196468 140726641472096 140114645719536 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6639] ppid=6623 vsize=14084804 memory=7523071198212214892 CPUtime=0.15 cores=1,3,5,7
/proc/6626/task/6639/stat : 6639 (java) R 6623 6626 3449 0 -1 1077944384 388 0 0 0 15 0 0 0 20 0 15 0 273499618 14422839296 22172 33554432000 4194304 4196468 140726641472096 140114644667248 140115176962690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6640] ppid=6623 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6640/stat : 6640 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14422839296 22172 33554432000 4194304 4196468 140726641472096 140114643614688 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6641] ppid=6623 vsize=14084804 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6641/stat : 6641 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499618 14422839296 22172 33554432000 4194304 4196468 140726641472096 140114642561456 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88688 KiB
[startup+1.50075 s]
/proc/loadavg: 1.65 1.73 1.71 6/219 6641
/proc/meminfo: memFree=24566880/32770624 swapFree=67108840/67108860
[pid=6626] ppid=6623 vsize=14090948 memory=169764 CPUtime=3.32 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 3449 0 -1 1077944320 27560 0 0 0 323 9 0 0 20 0 15 0 273499612 14429130752 42441 33554432000 4194304 4196468 140726641472096 140726641454640 140115176951543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
/proc/6626/statm: 3522737 42441 3545 1 0 3484809 0
[pid=6626/tid=6628] ppid=6623 vsize=14090948 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/6626/task/6628/stat : 6628 (java) R 6623 6626 3449 0 -1 4202560 20940 0 0 0 140 6 0 0 20 0 15 0 273499612 14429130752 42441 33554432000 4194304 4196468 140726641472096 140115181183968 140115176963478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6629] ppid=6623 vsize=14090948 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6629/stat : 6629 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 42441 33554432000 4194304 4196468 140726641472096 140115129572240 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6630] ppid=6623 vsize=14090948 memory=-2843874019102283166 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6630/stat : 6630 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 42441 33554432000 4194304 4196468 140726641472096 140115128519440 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6631] ppid=6623 vsize=14090948 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6631/stat : 6631 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 42441 33554432000 4194304 4196468 140726641472096 140115127467152 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6632] ppid=6623 vsize=14090948 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6632/stat : 6632 (java) S 6623 6626 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 42441 33554432000 4194304 4196468 140726641472096 140115126414352 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6633] ppid=6623 vsize=14090948 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6633/stat : 6633 (java) S 6623 6626 3449 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 273499614 14429130752 42441 33554432000 4194304 4196468 140726641472096 140114650982512 140115176962690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6634] ppid=6623 vsize=14090948 memory=7525347187532259950 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6634/stat : 6634 (java) S 6623 6626 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273499615 14429130752 42441 33554432000 4194304 4196468 140726641472096 140114649928480 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6635] ppid=6623 vsize=14090948 memory=7522797428473883477 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6635/stat : 6635 (java) S 6623 6626 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273499615 14429130752 42441 33554432000 4194304 4196468 140726641472096 140114648876144 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6636] ppid=6623 vsize=14090948 memory=4642197910265684584 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6636/stat : 6636 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14429130752 42441 33554432000 4194304 4196468 140726641472096 140114647824464 140115176970139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6637] ppid=6623 vsize=14090948 memory=7526543480642131834 CPUtime=0.62 cores=1,3,5,7
/proc/6626/task/6637/stat : 6637 (java) R 6623 6626 3449 0 -1 4202560 1693 0 0 0 62 0 0 0 20 0 15 0 273499618 14429130752 42441 33554432000 4194304 4196468 140726641472096 140114646762448 140115154546288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6638] ppid=6623 vsize=14090948 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/6626/task/6638/stat : 6638 (java) R 6623 6626 3449 0 -1 4202560 1213 0 0 0 61 0 0 0 20 0 15 0 273499618 14429130752 42441 33554432000 4194304 4196468 140726641472096 140114645709456 140115156179335 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6639] ppid=6623 vsize=14090948 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/6626/task/6639/stat : 6639 (java) S 6623 6626 3449 0 -1 1077944384 2171 0 0 0 59 1 0 0 20 0 15 0 273499618 14429130752 42441 33554432000 4194304 4196468 140726641472096 140114644667248 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6640] ppid=6623 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6640/stat : 6640 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14429130752 42441 33554432000 4194304 4196468 140726641472096 140114643614688 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6641] ppid=6623 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6641/stat : 6641 (java) S 6623 6626 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273499618 14429130752 42441 33554432000 4194304 4196468 140726641472096 140114642561456 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
Current children cumulated CPU time: 3.32 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 169764 KiB
[startup+2.64978 s]
# the end of solver process 6626 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.49178 s, system=0.136275 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60126 s]
/proc/loadavg: 1.65 1.73 1.71 6/219 6641
/proc/meminfo: memFree=24566880/32770624 swapFree=67108840/67108860
[pid=6626] ppid=6623 vsize=14090948 memory=180788 CPUtime=3.64 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 3449 0 -1 1077944320 27842 0 0 0 355 9 0 0 20 0 15 0 273499612 14429130752 45197 33554432000 4194304 4196468 140726641472096 140726641454640 140115176951543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
/proc/6626/statm: 3522737 45197 3551 1 0 3484809 0
[pid=6626/tid=6628] ppid=6623 vsize=14090948 memory=0 CPUtime=1.55 cores=1,3,5,7
/proc/6626/task/6628/stat : 6628 (java) R 6623 6626 3449 0 -1 4202560 21079 0 0 0 149 6 0 0 20 0 15 0 273499612 14429130752 45197 33554432000 4194304 4196468 140726641472096 140115181186288 140115176963478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6629] ppid=6623 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6629/stat : 6629 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 45197 33554432000 4194304 4196468 140726641472096 140115129572240 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6630] ppid=6623 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6630/stat : 6630 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 45197 33554432000 4194304 4196468 140726641472096 140115128519440 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6631] ppid=6623 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6631/stat : 6631 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 45197 33554432000 4194304 4196468 140726641472096 140115127467152 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6632] ppid=6623 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6632/stat : 6632 (java) S 6623 6626 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 45197 33554432000 4194304 4196468 140726641472096 140115126414352 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6633] ppid=6623 vsize=14090948 memory=139959781154097 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6633/stat : 6633 (java) S 6623 6626 3449 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 273499614 14429130752 45197 33554432000 4194304 4196468 140726641472096 140114650982512 140115176962690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6634] ppid=6623 vsize=14090948 memory=6083919338012961125 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6634/stat : 6634 (java) S 6623 6626 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273499615 14429130752 45197 33554432000 4194304 4196468 140726641472096 140114649928480 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6635] ppid=6623 vsize=14090948 memory=7309167735419596644 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6635/stat : 6635 (java) S 6623 6626 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273499615 14429130752 45197 33554432000 4194304 4196468 140726641472096 140114648876144 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6636] ppid=6623 vsize=14090948 memory=5931348737964200016 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6636/stat : 6636 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14429130752 45197 33554432000 4194304 4196468 140726641472096 140114647824464 140115176970139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6637] ppid=6623 vsize=14090948 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/6626/task/6637/stat : 6637 (java) R 6623 6626 3449 0 -1 4202560 1737 0 0 0 71 0 0 0 20 0 15 0 273499618 14429130752 45197 33554432000 4194304 4196468 140726641472096 140114646759184 140115154546320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6638] ppid=6623 vsize=14090948 memory=168448147700008 CPUtime=0.7 cores=1,3,5,7
/proc/6626/task/6638/stat : 6638 (java) R 6623 6626 3449 0 -1 4202560 1244 0 0 0 70 0 0 0 20 0 15 0 273499618 14429130752 45197 33554432000 4194304 4196468 140726641472096 140114645707408 140115160450412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6639] ppid=6623 vsize=14090948 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/6626/task/6639/stat : 6639 (java) R 6623 6626 3449 0 -1 1077944384 2239 0 0 0 63 1 0 0 20 0 15 0 273499618 14429130752 45197 33554432000 4194304 4196468 140726641472096 140114644667248 140115176962690 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6640] ppid=6623 vsize=14090948 memory=-5921431000321636112 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6640/stat : 6640 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14429130752 45197 33554432000 4194304 4196468 140726641472096 140114643614688 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6641] ppid=6623 vsize=14090948 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6641/stat : 6641 (java) S 6623 6626 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273499618 14429130752 45197 33554432000 4194304 4196468 140726641472096 140114642561456 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
Current children cumulated CPU time: 3.64 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 180788 KiB
[startup+2.4007 s]
/proc/loadavg: 1.65 1.73 1.71 5/219 6641
/proc/meminfo: memFree=24490360/32770624 swapFree=67108840/67108860
[pid=6626] ppid=6623 vsize=14090948 memory=213504 CPUtime=6.1 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 3449 0 -1 1077944320 33377 0 0 0 599 11 0 0 20 0 15 0 273499612 14429130752 53376 33554432000 4194304 4196468 140726641472096 140726641454640 140115176951543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
/proc/6626/statm: 3522737 53376 3558 1 0 3484809 0
[pid=6626/tid=6628] ppid=6623 vsize=14090948 memory=924 CPUtime=2.36 cores=1,3,5,7
/proc/6626/task/6628/stat : 6628 (java) R 6623 6626 3449 0 -1 4202560 21274 0 0 0 229 7 0 0 20 0 15 0 273499612 14429130752 53376 33554432000 4194304 4196468 140726641472096 140115181187456 140114809974055 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6629] ppid=6623 vsize=14090948 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6629/stat : 6629 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 53376 33554432000 4194304 4196468 140726641472096 140115129572240 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6630] ppid=6623 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6630/stat : 6630 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 53376 33554432000 4194304 4196468 140726641472096 140115128519440 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6631] ppid=6623 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6631/stat : 6631 (java) S 6623 6626 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 53376 33554432000 4194304 4196468 140726641472096 140115127467152 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6632] ppid=6623 vsize=14090948 memory=-6873162000112450758 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6632/stat : 6632 (java) S 6623 6626 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 53376 33554432000 4194304 4196468 140726641472096 140115126414352 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6633] ppid=6623 vsize=14090948 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6633/stat : 6633 (java) S 6623 6626 3449 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 273499614 14429130752 53376 33554432000 4194304 4196468 140726641472096 140114650982512 140115176962690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6634] ppid=6623 vsize=14090948 memory=-7088785026379990432 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6634/stat : 6634 (java) S 6623 6626 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273499615 14429130752 53376 33554432000 4194304 4196468 140726641472096 140114649928480 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6635] ppid=6623 vsize=14090948 memory=6944656425122700657 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6635/stat : 6635 (java) S 6623 6626 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273499615 14429130752 53376 33554432000 4194304 4196468 140726641472096 140114648876144 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6636] ppid=6623 vsize=14090948 memory=-7673225154500992928 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6636/stat : 6636 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14429130752 53376 33554432000 4194304 4196468 140726641472096 140114647824464 140115176970139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6637] ppid=6623 vsize=14090948 memory=6944656592455360560 CPUtime=1.51 cores=1,3,5,7
/proc/6626/task/6637/stat : 6637 (java) R 6623 6626 3449 0 -1 4202560 5721 0 0 0 150 1 0 0 20 0 15 0 273499618 14429130752 53376 33554432000 4194304 4196468 140726641472096 140114646757296 140115161338592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6638] ppid=6623 vsize=14090948 memory=7014751519734322276 CPUtime=1.5 cores=1,3,5,7
/proc/6626/task/6638/stat : 6638 (java) R 6623 6626 3449 0 -1 4202560 2469 0 0 0 150 0 0 0 20 0 15 0 273499618 14429130752 53376 33554432000 4194304 4196468 140726641472096 140114645707408 140115156644647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6639] ppid=6623 vsize=14090948 memory=7014751519734322276 CPUtime=0.7 cores=1,3,5,7
/proc/6626/task/6639/stat : 6639 (java) S 6623 6626 3449 0 -1 1077944384 2367 0 0 0 69 1 0 0 20 0 15 0 273499618 14429130752 53376 33554432000 4194304 4196468 140726641472096 140114644667248 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6640] ppid=6623 vsize=14090948 memory=7157735280314176612 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6640/stat : 6640 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14429130752 53376 33554432000 4194304 4196468 140726641472096 140114643614688 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6641] ppid=6623 vsize=14090948 memory=7157735280314176612 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6641/stat : 6641 (java) S 6623 6626 3449 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 273499618 14429130752 53376 33554432000 4194304 4196468 140726641472096 140114642561456 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
Current children cumulated CPU time: 6.1 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 213504 KiB
[startup+2.60071 s]
/proc/loadavg: 1.65 1.73 1.71 5/219 6641
/proc/meminfo: memFree=24490360/32770624 swapFree=67108840/67108860
[pid=6626] ppid=6623 vsize=14090948 memory=236452 CPUtime=6.55 cores=1,3,5,7
/proc/6626/stat : 6626 (java) S 6623 6626 3449 0 -1 1077944320 34634 0 0 0 643 12 0 0 20 0 15 0 273499612 14429130752 59113 33554432000 4194304 4196468 140726641472096 140726641454640 140115176951543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
/proc/6626/statm: 3522737 59113 3571 1 0 3484809 0
[pid=6626/tid=6628] ppid=6623 vsize=14090948 memory=8112282956445269571 CPUtime=2.54 cores=1,3,5,7
/proc/6626/task/6628/stat : 6628 (java) R 6623 6626 3449 0 -1 4202560 21336 0 0 0 247 7 0 0 20 0 15 0 273499612 14429130752 59113 33554432000 4194304 4196468 140726641472096 140115181180688 140114809699860 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6629] ppid=6623 vsize=14090948 memory=301741394933055803 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6629/stat : 6629 (java) S 6623 6626 3449 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 59113 33554432000 4194304 4196468 140726641472096 140115129572240 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6630] ppid=6623 vsize=14090948 memory=7157735280314176612 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6630/stat : 6630 (java) S 6623 6626 3449 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 59113 33554432000 4194304 4196468 140726641472096 140115128519440 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6631] ppid=6623 vsize=14090948 memory=7668901547385121637 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6631/stat : 6631 (java) S 6623 6626 3449 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 59113 33554432000 4194304 4196468 140726641472096 140115127467152 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6632] ppid=6623 vsize=14090948 memory=7446527614181335401 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6632/stat : 6632 (java) S 6623 6626 3449 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 273499613 14429130752 59113 33554432000 4194304 4196468 140726641472096 140115126414352 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6633] ppid=6623 vsize=14090948 memory=7444819964895187797 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6633/stat : 6633 (java) S 6623 6626 3449 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 273499614 14429130752 59113 33554432000 4194304 4196468 140726641472096 140114650982512 140115176962690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6634] ppid=6623 vsize=14090948 memory=7085410625209722984 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6634/stat : 6634 (java) S 6623 6626 3449 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 273499615 14429130752 59113 33554432000 4194304 4196468 140726641472096 140114649928544 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6635] ppid=6623 vsize=14090948 memory=-6661058721126268558 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6635/stat : 6635 (java) S 6623 6626 3449 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 273499615 14429130752 59113 33554432000 4194304 4196468 140726641472096 140114648876160 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6636] ppid=6623 vsize=14090948 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6636/stat : 6636 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14429130752 59113 33554432000 4194304 4196468 140726641472096 140114647824464 140115176970139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6637] ppid=6623 vsize=14090948 memory=7100839887184827521 CPUtime=1.62 cores=1,3,5,7
/proc/6626/task/6637/stat : 6637 (java) S 6623 6626 3449 0 -1 1077944384 5898 0 0 0 161 1 0 0 20 0 15 0 273499618 14429130752 59113 33554432000 4194304 4196468 140726641472096 140114646772336 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6638] ppid=6623 vsize=14090948 memory=-6160033262581300880 CPUtime=1.6 cores=1,3,5,7
/proc/6626/task/6638/stat : 6638 (java) S 6623 6626 3449 0 -1 1077944384 2503 0 0 0 160 0 0 0 20 0 15 0 273499618 14429130752 59113 33554432000 4194304 4196468 140726641472096 140114645719536 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6639] ppid=6623 vsize=14090948 memory=-6352177166697527749 CPUtime=0.71 cores=1,3,5,7
/proc/6626/task/6639/stat : 6639 (java) S 6623 6626 3449 0 -1 1077944384 2779 0 0 0 70 1 0 0 20 0 15 0 273499618 14429130752 59113 33554432000 4194304 4196468 140726641472096 140114644667248 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6640] ppid=6623 vsize=14090948 memory=-6524718041957717406 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6640/stat : 6640 (java) S 6623 6626 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273499618 14429130752 59113 33554432000 4194304 4196468 140726641472096 140114643614688 140115176961749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
[pid=6626/tid=6641] ppid=6623 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6626/task/6641/stat : 6641 (java) S 6623 6626 3449 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 273499618 14429130752 59113 33554432000 4194304 4196468 140726641472096 140114642561456 140115176962690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140726641480776 140726641480969 140726641480969 140726641483727 0
Current children cumulated CPU time: 6.55 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 236452 KiB
Child status: 0
Real time (s): 2.64983
CPU time (s): 6.62805
CPU user time (s): 6.49178
CPU system time (s): 0.136275
CPU usage (%): 250.131
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 236452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.49178
system time used= 0.136275
maximum resident set size= 236912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2804
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 6626
# total CPU time (s): 6.62805
# total CPU user time (s): 6.49178
# total CPU system time (s): 0.136275
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042321 second user time and 0.066655 second system time
The end
Begin job on node135 at 2018-08-18 04:29:24 IDJOB=4311757 IDBENCH=141523 IDSOLVER=2799 FILE ID=node135/4311757-1534559364 RUNJOBID= node135-1534541040-3481 PBS_JOBID= 21038636 Free space on /tmp= 54356 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17 BENCH NAME= XCSP18/Mario/Mario-t-hard-1_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4311757-1534559364/watcher-4311757-1534559364 -o /tmp/evaluation-result-4311757-1534559364/solver-4311757-1534559364 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534541040-3481 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1873037692 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311757-1534559364.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0ad504447153d615b89b5c6990e2d3b RANDOM SEED=1873037692 node135.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.50 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.50 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.50 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.50 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: 24677508 kB MemAvailable: 31674900 kB Buffers: 199356 kB Cached: 7046472 kB SwapCached: 20 kB Active: 4349292 kB Inactive: 3164320 kB Active(anon): 247180 kB Inactive(anon): 89388 kB Active(file): 4102112 kB Inactive(file): 3074932 kB Unevictable: 7240 kB Mlocked: 7240 kB SwapTotal: 67108860 kB SwapFree: 67108840 kB Dirty: 35776 kB Writeback: 12 kB AnonPages: 274860 kB Mapped: 35048 kB Shmem: 66188 kB Slab: 277816 kB SReclaimable: 248808 kB SUnreclaim: 29008 kB KernelStack: 3584 kB PageTables: 5432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1247092 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 135168 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 54320 MiB End job on node135 at 2018-08-18 04:29:27