Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.12.2 | OPT | 4783 | 42.5476 | 26.5208 |
| Name | Mario/ Mario-zinc-s1/Mario-t-hard-1.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.8186 |
| 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.77/0.55 c Concrete v3.12.2.1568631193530 running 39.16/24.38 o 4580 39.49/24.58 o 4678 40.04/24.87 o 4767 42.15/26.30 o 4775 42.29/26.49 o 4783 42.50/26.50 v <instantiation 42.50/26.50 v cost = '4783'> 42.50/26.50 v <list> 42.50/26.50 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] 42.50/26.50 v </list> 42.50/26.50 v <values> 42.50/26.50 v 19 0 61 59 45 39 64 63 71 2 67 69 41 94 31 88 22 5 55 86 82 77 85 44 38 92 81 18 79 83 62 10 32 17 99 24 30 43 42 72 78 74 29 33 28 13 25 97 48 90 37 23 4 96 87 89 15 91 80 53 60 51 1 21 34 98 9 49 76 26 47 14 12 27 66 65 8 84 36 16 20 93 70 7 57 6 95 35 68 54 50 3 58 75 73 52 46 11 56 40 96 0 84 62 312 467 19 12 191 138 110 435 145 354 13 465 16 483 8 494 171 258 70 45 10 411 440 53 51 384 221 112 0 3 296 158 50 27 137 250 71 368 447 117 358 127 270 58 0 449 496 422 155 298 345 472 374 308 427 50 0 265 357 32 60 367 59 45 384 162 187 163 372 77 43 163 433 303 22 23 121 331 213 176 45 393 281 355 75 25 242 356 27 117 63 68 49 164 370 345 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 42.50/26.50 v </values> 42.50/26.50 v </instantiation> 42.50/26.50 s OPTIMUM FOUND
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 (14538 MiB free)
memory of node 1: 16384 MiB (15723 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401372-1568683369/watcher-4401372-1568683369 -o /tmp/evaluation-result-4401372-1568683369/solver-4401372-1568683369 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568673289-15739 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1917960574 HOME/instance-4401372-1568683369.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=18907, runsolver pid=18904
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 2.10 1.61 1.46 4/219 18964
/proc/meminfo: memFree=30981460/32770624 swapFree=66976696/67108860
[pid=18907] ppid=18904 vsize=9972712 memory=16816 CPUtime=0.08 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 15707 0 -1 1077944320 4467 13551 0 0 1 0 5 2 20 0 6 0 444599546 10212057088 4204 33554432000 4194304 4196468 140729525011824 140729524994368 140628672343799 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
/proc/18907/statm: 2493178 4204 1935 1 0 2481616 0
[pid=18907/tid=18960] ppid=18904 vsize=9972712 memory=-8439527450518781933 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 15707 0 -1 4202560 2272 13551 0 0 0 0 5 2 20 0 6 0 444599556 10212057088 4204 33554432000 4194304 4196468 140729525011824 140628644180560 140628658026325 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18961] ppid=18904 vsize=9972712 memory=4211974289678708106 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 6 0 444599556 10212057088 4204 33554432000 4194304 4196468 140729525011824 140628676586256 140628672354005 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18962] ppid=18904 vsize=9972712 memory=140563473917568 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 6 0 444599556 10212057088 4270 33554432000 4194304 4196468 140729525011824 140628575476624 140628672354005 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18963] ppid=18904 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 6 0 444599556 10212057088 4270 33554432000 4194304 4196468 140729525011824 140628574424080 140628672354005 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18964] ppid=18904 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 15707 0 -1 1077944384 2 13551 0 0 0 0 5 2 20 0 6 0 444599556 10212057088 4270 33554432000 4194304 4196468 140729525011824 140628573371536 140628672354005 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.21 s]*
/proc/loadavg: 2.10 1.61 1.46 4/228 18973
/proc/meminfo: memFree=30958628/32770624 swapFree=66976696/67108860
[pid=18907] ppid=18904 vsize=10820164 memory=44300 CPUtime=0.26 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 15707 0 -1 1077944320 7368 13551 0 0 18 1 5 2 20 0 15 0 444599546 11079847936 11075 33554432000 4194304 4196468 140729525011824 140729524994368 140628672343799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
/proc/18907/statm: 2705044 11075 3261 1 0 2667149 0
[pid=18907/tid=18960] ppid=18904 vsize=10820188 memory=7900017517374083699 CPUtime=0.19 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 15707 0 -1 4202560 3889 13551 0 0 11 1 5 2 20 0 15 0 444599556 11079872512 11075 33554432000 4194304 4196468 140729525011824 140628644150152 140628664580926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18961] ppid=18904 vsize=10820188 memory=4211974289678708106 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599556 11079872512 11075 33554432000 4194304 4196468 140729525011824 140628676586256 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18962] ppid=18904 vsize=10820188 memory=140563473917568 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599556 11079872512 11075 33554432000 4194304 4196468 140729525011824 140628575476624 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18963] ppid=18904 vsize=10820188 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599556 11079872512 11075 33554432000 4194304 4196468 140729525011824 140628574424080 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18964] ppid=18904 vsize=10820188 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 15707 0 -1 1077944384 2 13551 0 0 0 0 5 2 20 0 15 0 444599556 11079872512 11075 33554432000 4194304 4196468 140729525011824 140628573371536 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18965] ppid=18904 vsize=10820196 memory=140563473917568 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 15707 0 -1 1077944384 2 13551 0 0 0 0 5 2 20 0 15 0 444599558 11079880704 11075 33554432000 4194304 4196468 140729525011824 140628131846128 140628672354946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18966] ppid=18904 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 15707 0 -1 1077944384 13 13551 0 0 0 0 5 2 20 0 15 0 444599558 11079880704 11075 33554432000 4194304 4196468 140729525011824 140628033790880 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18967] ppid=18904 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599558 11079880704 11075 33554432000 4194304 4196468 140729525011824 140627429811184 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18968] ppid=18904 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11079880704 11075 33554432000 4194304 4196468 140729525011824 140627189520592 140628672362395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18969] ppid=18904 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) R 18904 18907 15707 0 -1 4202560 474 13551 0 0 1 0 5 2 20 0 15 0 444599561 11079880704 11075 33554432000 4194304 4196468 140729525011824 140628130793968 140628658358128 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18970] ppid=18904 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 15707 0 -1 1077944384 186 13551 0 0 1 0 5 2 20 0 15 0 444599561 11079880704 11075 33554432000 4194304 4196468 140729525011824 140628129741424 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18971] ppid=18904 vsize=10820196 memory=140563473917568 CPUtime=0.1 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 15707 0 -1 1077944384 598 13551 0 0 3 0 5 2 20 0 15 0 444599561 11079880704 11075 33554432000 4194304 4196468 140729525011824 140628128688880 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18972] ppid=18904 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11079880704 11075 33554432000 4194304 4196468 140729525011824 140627155962976 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18973] ppid=18904 vsize=10820196 memory=140563473917568 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599562 11079880704 11075 33554432000 4194304 4196468 140729525011824 140628127635760 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 44300 KiB
[startup+0.31042 s]*
/proc/loadavg: 2.10 1.61 1.46 3/228 18973
/proc/meminfo: memFree=30946960/32770624 swapFree=66976696/67108860
[pid=18907] ppid=18904 vsize=10820196 memory=52576 CPUtime=0.39 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 15707 0 -1 1077944320 10858 13551 0 0 29 3 5 2 20 0 15 0 444599546 11079880704 13144 33554432000 4194304 4196468 140729525011824 140729524994368 140628672343799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
/proc/18907/statm: 2705049 13144 3309 1 0 2667149 0
[pid=18907/tid=18960] ppid=18904 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 15707 0 -1 4202560 7350 13551 0 0 19 2 5 2 20 0 15 0 444599556 11079880704 13144 33554432000 4194304 4196468 140729525011824 140628644152752 140628658038791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18961] ppid=18904 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599556 11079880704 13144 33554432000 4194304 4196468 140729525011824 140628676586256 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18962] ppid=18904 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599556 11079880704 13144 33554432000 4194304 4196468 140729525011824 140628575476624 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18963] ppid=18904 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599556 11079880704 13144 33554432000 4194304 4196468 140729525011824 140628574424080 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18964] ppid=18904 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 15707 0 -1 1077944384 2 13551 0 0 0 0 5 2 20 0 15 0 444599556 11079880704 13144 33554432000 4194304 4196468 140729525011824 140628573371536 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18965] ppid=18904 vsize=10820196 memory=140563473917567 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 15707 0 -1 1077944384 2 13551 0 0 0 0 5 2 20 0 15 0 444599558 11079880704 13144 33554432000 4194304 4196468 140729525011824 140628131846128 140628672354946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18966] ppid=18904 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 15707 0 -1 1077944384 13 13551 0 0 0 0 5 2 20 0 15 0 444599558 11079880704 13144 33554432000 4194304 4196468 140729525011824 140628033790880 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18967] ppid=18904 vsize=10820196 memory=140563473917568 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599558 11079880704 13144 33554432000 4194304 4196468 140729525011824 140627429811184 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18968] ppid=18904 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11079880704 13144 33554432000 4194304 4196468 140729525011824 140627189520592 140628672362395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18969] ppid=18904 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 15707 0 -1 1077944384 483 13551 0 0 1 0 5 2 20 0 15 0 444599561 11079880704 13144 33554432000 4194304 4196468 140729525011824 140628130793968 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18970] ppid=18904 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 15707 0 -1 1077944384 187 13551 0 0 2 0 5 2 20 0 15 0 444599561 11079880704 13144 33554432000 4194304 4196468 140729525011824 140628129741424 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18971] ppid=18904 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 15707 0 -1 1077944384 605 13551 0 0 5 0 5 2 20 0 15 0 444599561 11079880704 13144 33554432000 4194304 4196468 140729525011824 140628128688880 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18972] ppid=18904 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11079880704 13144 33554432000 4194304 4196468 140729525011824 140627155962976 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18973] ppid=18904 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599562 11079880704 13144 33554432000 4194304 4196468 140729525011824 140628127635760 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52576 KiB
[startup+0.701032 s]
/proc/loadavg: 2.10 1.61 1.46 4/228 18973
/proc/meminfo: memFree=30932196/32770624 swapFree=66976696/67108860
[pid=18907] ppid=18904 vsize=10824364 memory=85364 CPUtime=1.14 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 15707 0 -1 1077944320 15061 13551 0 0 101 6 5 2 20 0 15 0 444599546 11084148736 21341 33554432000 4194304 4196468 140729525011824 140729524994368 140628672343799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
/proc/18907/statm: 2706091 21341 3499 1 0 2668173 0
[pid=18907/tid=18960] ppid=18904 vsize=10824364 memory=30188 CPUtime=0.66 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 15707 0 -1 4202560 10544 13551 0 0 55 4 5 2 20 0 15 0 444599556 11084148736 21341 33554432000 4194304 4196468 140729525011824 140628644152192 140628251978888 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18961] ppid=18904 vsize=10824364 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599556 11084148736 21341 33554432000 4194304 4196468 140729525011824 140628676586256 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18962] ppid=18904 vsize=10824364 memory=140563340888511 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599556 11084148736 21341 33554432000 4194304 4196468 140729525011824 140628575476624 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18963] ppid=18904 vsize=10824364 memory=140565689664443 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599556 11084148736 21341 33554432000 4194304 4196468 140729525011824 140628574424080 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18964] ppid=18904 vsize=10824364 memory=1564 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 15707 0 -1 1077944384 2 13551 0 0 0 0 5 2 20 0 15 0 444599556 11084148736 21341 33554432000 4194304 4196468 140729525011824 140628573371536 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18965] ppid=18904 vsize=10824364 memory=6298391076752152672 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 15707 0 -1 1077944384 6 13551 0 0 0 0 5 2 20 0 15 0 444599558 11084148736 21341 33554432000 4194304 4196468 140729525011824 140628131846128 140628672354946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18966] ppid=18904 vsize=10824364 memory=7667752656720712806 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 15707 0 -1 1077944384 13 13551 0 0 0 0 5 2 20 0 15 0 444599558 11084148736 21341 33554432000 4194304 4196468 140729525011824 140628033790880 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18967] ppid=18904 vsize=10824364 memory=8025788814078207340 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599558 11084148736 21341 33554432000 4194304 4196468 140729525011824 140627429811184 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18968] ppid=18904 vsize=10824364 memory=-8814538831020006773 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11084148736 21341 33554432000 4194304 4196468 140729525011824 140627189520592 140628672362395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18969] ppid=18904 vsize=10824364 memory=-6808994639057120388 CPUtime=0.21 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) R 18904 18907 15707 0 -1 4202560 913 13551 0 0 14 0 5 2 20 0 15 0 444599561 11084148736 21341 33554432000 4194304 4196468 140729525011824 140628130793968 140628649938576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18970] ppid=18904 vsize=10824364 memory=-8990767739041718176 CPUtime=0.19 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) R 18904 18907 15707 0 -1 4202560 569 13551 0 0 12 0 5 2 20 0 15 0 444599561 11084148736 21341 33554432000 4194304 4196468 140729525011824 140628129741424 140628652979683 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18971] ppid=18904 vsize=10824364 memory=-7384994778349281184 CPUtime=0.24 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 15707 0 -1 1077944384 797 13551 0 0 17 0 5 2 20 0 15 0 444599561 11084148736 21341 33554432000 4194304 4196468 140729525011824 140628128688880 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18972] ppid=18904 vsize=10824364 memory=6945782492362334265 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11084148736 21341 33554432000 4194304 4196468 140729525011824 140627155962976 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18973] ppid=18904 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599562 11084148736 21341 33554432000 4194304 4196468 140729525011824 140628127635760 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85364 KiB
[startup+1.50483 s]
/proc/loadavg: 2.10 1.61 1.46 5/228 18973
/proc/meminfo: memFree=30865076/32770624 swapFree=66976696/67108860
[pid=18907] ppid=18904 vsize=10834680 memory=221252 CPUtime=3.15 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 15707 0 -1 1077944320 35555 13551 0 0 296 12 5 2 20 0 15 0 444599546 11094712320 55313 33554432000 4194304 4196468 140729525011824 140729524994368 140628672343799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
/proc/18907/statm: 2708670 55313 3578 1 0 2670733 0
[pid=18907/tid=18960] ppid=18904 vsize=10834680 memory=105204 CPUtime=1.43 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 15707 0 -1 4202560 16863 13551 0 0 129 7 5 2 20 0 15 0 444599556 11094712320 55313 33554432000 4194304 4196468 140729525011824 140628644172016 140628655536566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18961] ppid=18904 vsize=10834680 memory=-7094132109863559211 CPUtime=0.08 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 15707 0 -1 1077944384 77 13551 0 0 1 0 5 2 20 0 15 0 444599556 11094712320 55313 33554432000 4194304 4196468 140729525011824 140628676586256 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18962] ppid=18904 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 15707 0 -1 1077944384 15 13551 0 0 1 0 5 2 20 0 15 0 444599556 11094712320 55313 33554432000 4194304 4196468 140729525011824 140628575476624 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18963] ppid=18904 vsize=10834680 memory=7594290968833058640 CPUtime=0.08 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 15707 0 -1 1077944384 295 13551 0 0 1 0 5 2 20 0 15 0 444599556 11094712320 55313 33554432000 4194304 4196468 140729525011824 140628574424080 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18964] ppid=18904 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 15707 0 -1 1077944384 63 13551 0 0 1 0 5 2 20 0 15 0 444599556 11094712320 55313 33554432000 4194304 4196468 140729525011824 140628573371536 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18965] ppid=18904 vsize=10834680 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 15707 0 -1 1077944384 1245 13551 0 0 1 0 5 2 20 0 15 0 444599558 11094712320 55313 33554432000 4194304 4196468 140729525011824 140628131846128 140628672354946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18966] ppid=18904 vsize=10834680 memory=111632 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 15707 0 -1 1077944384 14 13551 0 0 0 0 5 2 20 0 15 0 444599558 11094712320 55313 33554432000 4194304 4196468 140729525011824 140628033790944 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18967] ppid=18904 vsize=10834680 memory=804 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 15707 0 -1 1077944384 1 13551 0 0 0 0 5 2 20 0 15 0 444599558 11094712320 55313 33554432000 4194304 4196468 140729525011824 140627429811184 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18968] ppid=18904 vsize=10834680 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11094712320 55313 33554432000 4194304 4196468 140729525011824 140627189520592 140628672362395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18969] ppid=18904 vsize=10834680 memory=281126681752704 CPUtime=0.66 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 15707 0 -1 1077944384 6282 13551 0 0 59 0 5 2 20 0 15 0 444599561 11094712320 55313 33554432000 4194304 4196468 140729525011824 140628130793968 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18970] ppid=18904 vsize=10834680 memory=281126681992232 CPUtime=0.64 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 15707 0 -1 1077944384 5893 13551 0 0 56 1 5 2 20 0 15 0 444599561 11094712320 55313 33554432000 4194304 4196468 140729525011824 140628129741424 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18971] ppid=18904 vsize=10834680 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 15707 0 -1 1077944384 2594 13551 0 0 43 0 5 2 20 0 15 0 444599561 11094712320 55313 33554432000 4194304 4196468 140729525011824 140628128688880 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18972] ppid=18904 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11094712320 55313 33554432000 4194304 4196468 140729525011824 140627155962976 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18973] ppid=18904 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 15707 0 -1 1077944384 2 13551 0 0 0 0 5 2 20 0 15 0 444599562 11094712320 55313 33554432000 4194304 4196468 140729525011824 140628127635760 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
Current children cumulated CPU time: 3.15 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
[startup+26.5208 s]
# the end of solver process 18907 was just reported to runsolver
# cumulated CPU time of all completed processes: user=41.8065 s, system=0.741074 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6009 s]
/proc/loadavg: 1.93 1.61 1.46 3/228 18975
/proc/meminfo: memFree=29224828/32770624 swapFree=66976696/67108860
[pid=18907] ppid=18904 vsize=10851096 memory=1767016 CPUtime=41.08 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 15707 0 -1 1077944320 79957 13551 0 0 4032 69 5 2 20 0 15 0 444599546 11111522304 441754 33554432000 4194304 4196468 140729525011824 140729524994368 140628672343799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
/proc/18907/statm: 2712774 441754 3630 1 0 2674829 0
[pid=18907/tid=18960] ppid=18904 vsize=10851096 memory=2004 CPUtime=25.26 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 15707 0 -1 4202560 31128 13551 0 0 2487 32 5 2 20 0 15 0 444599556 11111522304 441754 33554432000 4194304 4196468 140729525011824 140628644174600 140628257267511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18961] ppid=18904 vsize=10851096 memory=984 CPUtime=0.23 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 15707 0 -1 1077944384 752 13551 0 0 11 5 5 2 20 0 15 0 444599556 11111522304 441754 33554432000 4194304 4196468 140729525011824 140628676586256 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18962] ppid=18904 vsize=10851096 memory=6791534058613427641 CPUtime=0.23 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 15707 0 -1 1077944384 1172 13551 0 0 11 5 5 2 20 0 15 0 444599556 11111522304 441754 33554432000 4194304 4196468 140729525011824 140628575476624 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18963] ppid=18904 vsize=10851096 memory=7663020177953501081 CPUtime=0.23 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 15707 0 -1 1077944384 488 13551 0 0 12 4 5 2 20 0 15 0 444599556 11111522304 441754 33554432000 4194304 4196468 140729525011824 140628574424080 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18964] ppid=18904 vsize=10851096 memory=177 CPUtime=0.22 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 15707 0 -1 1077944384 372 13551 0 0 10 5 5 2 20 0 15 0 444599556 11111522304 441754 33554432000 4194304 4196468 140729525011824 140628573371536 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18965] ppid=18904 vsize=10851096 memory=7663020177953501081 CPUtime=0.14 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 15707 0 -1 1077944384 3667 13551 0 0 7 0 5 2 20 0 15 0 444599558 11111522304 441754 33554432000 4194304 4196468 140729525011824 140628131846128 140628672354946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18966] ppid=18904 vsize=10851096 memory=281126682399408 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 15707 0 -1 1077944384 18 13551 0 0 0 0 5 2 20 0 15 0 444599558 11111522304 441754 33554432000 4194304 4196468 140729525011824 140628033791008 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18967] ppid=18904 vsize=10851096 memory=281126682025128 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 15707 0 -1 1077944384 7 13551 0 0 0 0 5 2 20 0 15 0 444599558 11111522304 441754 33554432000 4194304 4196468 140729525011824 140627429811200 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18968] ppid=18904 vsize=10851096 memory=3690453845470033716 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11111522304 441754 33554432000 4194304 4196468 140729525011824 140627189520592 140628672362395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18969] ppid=18904 vsize=10851096 memory=5859840976346650985 CPUtime=5.52 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 15707 0 -1 1077944384 12187 13551 0 0 542 3 5 2 20 0 15 0 444599561 11111522304 441754 33554432000 4194304 4196468 140729525011824 140628130793968 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18970] ppid=18904 vsize=10851096 memory=3054962526675836058 CPUtime=5.48 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 15707 0 -1 1077944384 13501 13551 0 0 536 5 5 2 20 0 15 0 444599561 11111522304 441754 33554432000 4194304 4196468 140729525011824 140628129741424 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18971] ppid=18904 vsize=10851096 memory=4629539461233085782 CPUtime=4.2 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 15707 0 -1 1077944384 14247 13551 0 0 408 5 5 2 20 0 15 0 444599561 11111522304 441754 33554432000 4194304 4196468 140729525011824 140628128688880 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18972] ppid=18904 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11111522304 441754 33554432000 4194304 4196468 140729525011824 140627155962976 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18973] ppid=18904 vsize=10851096 memory=281126682562912 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 15707 0 -1 1077944384 206 13551 0 0 0 0 5 2 20 0 15 0 444599562 11111522304 441754 33554432000 4194304 4196468 140729525011824 140628127635760 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
Current children cumulated CPU time: 41.08 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1767016 KiB
[startup+26.0007 s]*
/proc/loadavg: 1.93 1.61 1.46 3/228 18975
/proc/meminfo: memFree=29223892/32770624 swapFree=66976696/67108860
[pid=18907] ppid=18904 vsize=10851096 memory=1773284 CPUtime=41.56 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 15707 0 -1 1077944320 80001 13551 0 0 4080 69 5 2 20 0 15 0 444599546 11111522304 443321 33554432000 4194304 4196468 140729525011824 140729524994368 140628672343799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
/proc/18907/statm: 2712774 443321 3630 1 0 2674829 0
[pid=18907/tid=18960] ppid=18904 vsize=10851096 memory=8317482817917895235 CPUtime=25.66 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 15707 0 -1 4202560 31147 13551 0 0 2527 32 5 2 20 0 15 0 444599556 11111522304 443321 33554432000 4194304 4196468 140729525011824 140628644175104 140628253846107 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18961] ppid=18904 vsize=10851096 memory=-7003737579269690708 CPUtime=0.24 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 15707 0 -1 1077944384 758 13551 0 0 12 5 5 2 20 0 15 0 444599556 11111522304 443321 33554432000 4194304 4196468 140729525011824 140628676586256 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18962] ppid=18904 vsize=10851096 memory=8028907072087549268 CPUtime=0.24 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 15707 0 -1 1077944384 1176 13551 0 0 12 5 5 2 20 0 15 0 444599556 11111522304 443321 33554432000 4194304 4196468 140729525011824 140628575476624 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18963] ppid=18904 vsize=10851096 memory=281126682238820 CPUtime=0.24 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 15707 0 -1 1077944384 492 13551 0 0 12 5 5 2 20 0 15 0 444599556 11111522304 443321 33554432000 4194304 4196468 140729525011824 140628574424080 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18964] ppid=18904 vsize=10851096 memory=407 CPUtime=0.23 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 15707 0 -1 1077944384 375 13551 0 0 11 5 5 2 20 0 15 0 444599556 11111522304 443321 33554432000 4194304 4196468 140729525011824 140628573371536 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18965] ppid=18904 vsize=10851096 memory=142912688133191 CPUtime=0.14 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 15707 0 -1 1077944384 3668 13551 0 0 7 0 5 2 20 0 15 0 444599558 11111522304 443321 33554432000 4194304 4196468 140729525011824 140628131846128 140628672354946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18966] ppid=18904 vsize=10851096 memory=1767016 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 15707 0 -1 1077944384 18 13551 0 0 0 0 5 2 20 0 15 0 444599558 11111522304 443321 33554432000 4194304 4196468 140729525011824 140628033791008 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18967] ppid=18904 vsize=10851096 memory=1772816 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 15707 0 -1 1077944384 7 13551 0 0 0 0 5 2 20 0 15 0 444599558 11111522304 443321 33554432000 4194304 4196468 140729525011824 140627429811200 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18968] ppid=18904 vsize=10851096 memory=1772824 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11111522304 443321 33554432000 4194304 4196468 140729525011824 140627189520592 140628672362395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18969] ppid=18904 vsize=10851096 memory=6791534058613427641 CPUtime=5.54 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 15707 0 -1 1077944384 12193 13551 0 0 544 3 5 2 20 0 15 0 444599561 11111522304 443321 33554432000 4194304 4196468 140729525011824 140628130793968 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18970] ppid=18904 vsize=10851096 memory=780 CPUtime=5.5 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 15707 0 -1 1077944384 13502 13551 0 0 538 5 5 2 20 0 15 0 444599561 11111522304 443321 33554432000 4194304 4196468 140729525011824 140628129741424 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18971] ppid=18904 vsize=10851096 memory=4088 CPUtime=4.22 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 15707 0 -1 1077944384 14247 13551 0 0 410 5 5 2 20 0 15 0 444599561 11111522304 443321 33554432000 4194304 4196468 140729525011824 140628128688880 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18972] ppid=18904 vsize=10851096 memory=1580 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11111522304 443321 33554432000 4194304 4196468 140729525011824 140627155962976 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18973] ppid=18904 vsize=10851096 memory=1028 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 15707 0 -1 1077944384 206 13551 0 0 0 0 5 2 20 0 15 0 444599562 11111522304 443321 33554432000 4194304 4196468 140729525011824 140628127635760 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
Current children cumulated CPU time: 41.56 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1773284 KiB
[startup+26.4008 s]
/proc/loadavg: 1.93 1.61 1.46 3/228 18975
/proc/meminfo: memFree=29223892/32770624 swapFree=66976696/67108860
[pid=18907] ppid=18904 vsize=10851096 memory=1773408 CPUtime=42.29 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 15707 0 -1 1077944320 80114 13551 0 0 4153 69 5 2 20 0 15 0 444599546 11111522304 443352 33554432000 4194304 4196468 140729525011824 140729524994368 140628672343799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
/proc/18907/statm: 2712774 443352 3631 1 0 2674829 0
[pid=18907/tid=18960] ppid=18904 vsize=10851096 memory=1164 CPUtime=26.05 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 15707 0 -1 4202560 31174 13551 0 0 2566 32 5 2 20 0 15 0 444599556 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628644174512 140628654865003 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18961] ppid=18904 vsize=10851096 memory=6791534058613427641 CPUtime=0.24 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 15707 0 -1 1077944384 758 13551 0 0 12 5 5 2 20 0 15 0 444599556 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628676586256 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18962] ppid=18904 vsize=10851096 memory=6298942035173986389 CPUtime=0.24 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 15707 0 -1 1077944384 1176 13551 0 0 12 5 5 2 20 0 15 0 444599556 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628575476624 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18963] ppid=18904 vsize=10851096 memory=281126682852336 CPUtime=0.24 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 15707 0 -1 1077944384 492 13551 0 0 12 5 5 2 20 0 15 0 444599556 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628574424080 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18964] ppid=18904 vsize=10851096 memory=-6081413529815778100 CPUtime=0.23 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 15707 0 -1 1077944384 375 13551 0 0 11 5 5 2 20 0 15 0 444599556 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628573371536 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18965] ppid=18904 vsize=10851096 memory=7084272540362105408 CPUtime=0.14 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 15707 0 -1 1077944384 3668 13551 0 0 7 0 5 2 20 0 15 0 444599558 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628131846128 140628672354946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18966] ppid=18904 vsize=10851096 memory=7595975412158648404 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 15707 0 -1 1077944384 18 13551 0 0 0 0 5 2 20 0 15 0 444599558 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628033791008 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18967] ppid=18904 vsize=10851096 memory=8097863995621141349 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 15707 0 -1 1077944384 7 13551 0 0 0 0 5 2 20 0 15 0 444599558 11111522304 443352 33554432000 4194304 4196468 140729525011824 140627429811200 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18968] ppid=18904 vsize=10851096 memory=1773284 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11111522304 443352 33554432000 4194304 4196468 140729525011824 140627189520592 140628672362395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18969] ppid=18904 vsize=10851096 memory=780 CPUtime=5.7 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) R 18904 18907 15707 0 -1 4202560 12220 13551 0 0 560 3 5 2 20 0 15 0 444599561 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628130793968 140628650607424 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18970] ppid=18904 vsize=10851096 memory=4088 CPUtime=5.64 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) R 18904 18907 15707 0 -1 4202560 13557 13551 0 0 552 5 5 2 20 0 15 0 444599561 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628129741424 140628665328841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18971] ppid=18904 vsize=10851096 memory=1580 CPUtime=4.26 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 15707 0 -1 1077944384 14251 13551 0 0 414 5 5 2 20 0 15 0 444599561 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628128688880 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18972] ppid=18904 vsize=10851096 memory=1028 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11111522304 443352 33554432000 4194304 4196468 140729525011824 140627155962976 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18973] ppid=18904 vsize=10851096 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 15707 0 -1 1077944384 206 13551 0 0 0 0 5 2 20 0 15 0 444599562 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628127635760 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
Current children cumulated CPU time: 42.29 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1773408 KiB
[startup+26.501 s]
/proc/loadavg: 1.93 1.61 1.46 3/228 18975
/proc/meminfo: memFree=29223892/32770624 swapFree=66976696/67108860
[pid=18907] ppid=18904 vsize=10851096 memory=1773408 CPUtime=42.5 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 15707 0 -1 1077944320 80118 13551 0 0 4174 69 5 2 20 0 15 0 444599546 11111522304 443352 33554432000 4194304 4196468 140729525011824 140729524994368 140628672343799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
/proc/18907/statm: 2712774 443352 3631 1 0 2674829 0
[pid=18907/tid=18960] ppid=18904 vsize=10851096 memory=1773284 CPUtime=26.15 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 15707 0 -1 4202560 31174 13551 0 0 2576 32 5 2 20 0 15 0 444599556 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628644178240 140628267635464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18961] ppid=18904 vsize=10851096 memory=1773384 CPUtime=0.24 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 15707 0 -1 1077944384 758 13551 0 0 12 5 5 2 20 0 15 0 444599556 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628676586256 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18962] ppid=18904 vsize=10851096 memory=2828 CPUtime=0.24 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 15707 0 -1 1077944384 1176 13551 0 0 12 5 5 2 20 0 15 0 444599556 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628575476624 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18963] ppid=18904 vsize=10851096 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 15707 0 -1 1077944384 492 13551 0 0 12 5 5 2 20 0 15 0 444599556 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628574424080 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18964] ppid=18904 vsize=10851096 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 15707 0 -1 1077944384 375 13551 0 0 11 5 5 2 20 0 15 0 444599556 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628573371536 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18965] ppid=18904 vsize=10851096 memory=6003388906985449322 CPUtime=0.14 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 15707 0 -1 1077944384 3668 13551 0 0 7 0 5 2 20 0 15 0 444599558 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628131846128 140628672354946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18966] ppid=18904 vsize=10851096 memory=1704504 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 15707 0 -1 1077944384 18 13551 0 0 0 0 5 2 20 0 15 0 444599558 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628033791008 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18967] ppid=18904 vsize=10851096 memory=1548 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 15707 0 -1 1077944384 7 13551 0 0 0 0 5 2 20 0 15 0 444599558 11111522304 443352 33554432000 4194304 4196468 140729525011824 140627429811200 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18968] ppid=18904 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11111522304 443352 33554432000 4194304 4196468 140729525011824 140627189520592 140628672362395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18969] ppid=18904 vsize=10851096 memory=1772816 CPUtime=5.76 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 15707 0 -1 1077944384 12222 13551 0 0 566 3 5 2 20 0 15 0 444599561 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628130793968 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18970] ppid=18904 vsize=10851096 memory=1696448 CPUtime=5.67 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) R 18904 18907 15707 0 -1 4202560 13558 13551 0 0 555 5 5 2 20 0 15 0 444599561 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628129729664 140628653863880 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18971] ppid=18904 vsize=10851096 memory=1479152 CPUtime=4.27 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) R 18904 18907 15707 0 -1 4202560 14252 13551 0 0 415 5 5 2 20 0 15 0 444599561 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628128688880 140628656424286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18972] ppid=18904 vsize=10851096 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 15707 0 -1 1077944384 3 13551 0 0 0 0 5 2 20 0 15 0 444599561 11111522304 443352 33554432000 4194304 4196468 140729525011824 140627155962976 140628672354005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
[pid=18907/tid=18973] ppid=18904 vsize=10851096 memory=288230617509003574 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 15707 0 -1 1077944384 206 13551 0 0 0 0 5 2 20 0 15 0 444599562 11111522304 443352 33554432000 4194304 4196468 140729525011824 140628127635760 140628672354946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140729525017327 140729525019845 140729525019845 140729525022671 0
Current children cumulated CPU time: 42.5 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1773408 KiB
Child status: 0
Real time (s): 26.5208
CPU time (s): 42.5476
CPU user time (s): 41.8065
CPU system time (s): 0.741074
CPU usage (%): 160.431
Max. virtual memory (cumulated for all children) (KiB): 10851096
Max. memory (cumulated for all children) (KiB): 1773408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.8065
system time used= 0.741074
maximum resident set size= 1775480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93811
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= 16594
involuntary context switches= 105
# summary of solver processes directly reported to runsolver:
# pid: 18907
# total CPU time (s): 42.5476
# total CPU user time (s): 41.8065
# total CPU system time (s): 0.741074
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.173748 second user time and 0.301968 second system time
The end
Begin job on node121 at 2019-09-17 03:22:07 IDJOB=4401372 IDBENCH=133275 IDSOLVER=2858 FILE ID=node121/4401372-1568683369 RUNJOBID= node121-1568673289-15739 PBS_JOBID= 21703788 Free space on /tmp= 61372 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-t-hard-1.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401372-1568683369/watcher-4401372-1568683369 -o /tmp/evaluation-result-4401372-1568683369/solver-4401372-1568683369 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568673289-15739 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1917960574 HOME/instance-4401372-1568683369.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0ad504447153d615b89b5c6990e2d3b RANDOM SEED=1917960574 node121.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.75 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.75 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.75 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.75 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: 30988724 kB MemAvailable: 31124224 kB Buffers: 41060 kB Cached: 392632 kB SwapCached: 10540 kB Active: 996708 kB Inactive: 248860 kB Active(anon): 803048 kB Inactive(anon): 41240 kB Active(file): 193660 kB Inactive(file): 207620 kB Unevictable: 109604 kB Mlocked: 109604 kB SwapTotal: 67108860 kB SwapFree: 66976696 kB Dirty: 35868 kB Writeback: 0 kB AnonPages: 924492 kB Mapped: 55324 kB Shmem: 23532 kB Slab: 129732 kB SReclaimable: 100112 kB SUnreclaim: 29620 kB KernelStack: 4000 kB PageTables: 7532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2045616 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 724992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61336 MiB End job on node121 at 2019-09-17 03:22:33