Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | SAT (TO) | 20038.199 | 2520.1699 |
Name | QRandom/QRandom-mdd-7-25-5/ mdd-7-25-5-56-16.xml |
MD5SUM | 9d7406c968f8af9220e5e662d0bd5052 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 340.207 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 56 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":25}] |
Minimum variable degree | 8 |
Maximum variable degree | 24 |
Distribution of variable degrees | [{"degree":8,"count":1},{"degree":9,"count":1},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":2},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":1},{"degree":24,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":56}] |
Number of extensional constraints | 56 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":56}] |
Optimization problem | NO |
Type of objective |
0.30/0.25 c version: 2017-07-26 0.30/0.25 c seed: 1351412773 0.30/0.25 c timeout: 20160 0.30/0.25 c memlimit: 11000 0.30/0.25 c nbcore: 8 0.30/0.28 c Parsing instance... 6.81/4.21 c Parsing done, starting search... 20037.15/2520.11 s SATISFIABLE 20037.15/2520.11 v <instantiation> 20037.15/2520.11 v <list> 20037.15/2520.11 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] 20037.15/2520.11 v </list> 20037.15/2520.11 v <values> 20037.15/2520.11 v 4 1 2 3 2 1 0 3 3 4 2 4 2 0 1 4 0 1 4 4 0 4 2 1 1 20037.15/2520.11 v </values> 20037.15/2520.11 v </instantiation>
OK
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 (12236 MiB free) memory of node 1: 16384 MiB (13542 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275554-1502718512/watcher-4275554-1502718512 -o /tmp/evaluation-result-4275554-1502718512/solver-4275554-1502718512 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502714432-6151 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1351412773 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275554-1502718512.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=6546, runsolver pid=6543 Current StackSize limit: 8192 KiB [startup+0.100106 s]* /proc/loadavg: 6.96 4.98 6.12 1/198 6566 /proc/meminfo: memFree=26379828/32770624 swapFree=67108860/67108860 [pid=6546] ppid=6543 vsize=14325320 memory=33424 CPUtime=0.12 cores=0-7 /proc/6546/stat : 6546 (java) S 6543 6546 6124 0 -1 1077944320 8252 0 0 0 11 1 0 0 20 0 20 0 104922858 14669127680 8356 33554432000 4194304 4196468 140735502848576 140735502831120 140538578108151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 /proc/6546/statm: 3581330 8356 3409 1 0 3569050 0 [pid=6546/tid=6548] ppid=6543 vsize=14325320 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/6546/task/6548/stat : 6548 (java) R 6543 6546 6124 0 -1 4202560 6200 0 0 0 8 1 0 0 20 0 20 0 104922859 14669127680 8356 33554432000 4194304 4196468 140735502848576 140538582287024 140538562188638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6549] ppid=6543 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/6546/task/6549/stat : 6549 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14669127680 8356 33554432000 4194304 4196468 140735502848576 140538515708816 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6550] ppid=6543 vsize=14325320 memory=140172372113024 CPUtime=0 cores=0-7 /proc/6546/task/6550/stat : 6550 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14669127680 8356 33554432000 4194304 4196468 140735502848576 140538514656016 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6551] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6551/stat : 6551 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14669127680 8356 33554432000 4194304 4196468 140735502848576 140538513603728 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6552] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6552/stat : 6552 (java) S 6543 6546 6124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104922859 14669127680 8356 33554432000 4194304 4196468 140735502848576 140538512550928 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6553] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6553/stat : 6553 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14669127680 8356 33554432000 4194304 4196468 140735502848576 140538169268624 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6554] ppid=6543 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/6546/task/6554/stat : 6554 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922860 14669127680 8356 33554432000 4194304 4196468 140735502848576 140538168215824 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6555] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6555/stat : 6555 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922860 14669127680 8356 33554432000 4194304 4196468 140735502848576 140538167163536 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6556] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6556/stat : 6556 (java) S 6543 6546 6124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104922860 14669127680 8356 33554432000 4194304 4196468 140735502848576 140538166110736 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6557] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6557/stat : 6557 (java) S 6543 6546 6124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104922861 14669127680 8356 33554432000 4194304 4196468 140735502848576 140537674902128 140538578119298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6558] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6558/stat : 6558 (java) S 6543 6546 6124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104922861 14669127680 8356 33554432000 4194304 4196468 140735502848576 140537673848096 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6559] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6559/stat : 6559 (java) S 6543 6546 6124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104922862 14669127680 8356 33554432000 4194304 4196468 140735502848576 140537672795760 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6560] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6560/stat : 6560 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922864 14669127680 8356 33554432000 4194304 4196468 140735502848576 140537671744080 140538578126747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6561] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6561/stat : 6561 (java) S 6543 6546 6124 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 104922864 14669127680 8356 33554432000 4194304 4196468 140735502848576 140537670690928 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6562] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6562/stat : 6562 (java) S 6543 6546 6124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104922864 14669127680 8356 33554432000 4194304 4196468 140735502848576 140537669638128 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6563] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6563/stat : 6563 (java) S 6543 6546 6124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104922864 14669127680 8356 33554432000 4194304 4196468 140735502848576 140537668585840 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6564] ppid=6543 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7 /proc/6546/task/6564/stat : 6564 (java) S 6543 6546 6124 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 20 0 104922864 14669127680 8356 33554432000 4194304 4196468 140735502848576 140537667533040 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6565] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6565/stat : 6565 (java) S 6543 6546 6124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104922864 14669127680 8356 33554432000 4194304 4196468 140735502848576 140537666480992 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6566] ppid=6543 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/6546/task/6566/stat : 6566 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922864 14669127680 8356 33554432000 4194304 4196468 140735502848576 140537665428272 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 33424 KiB [startup+0.210399 s]* /proc/loadavg: 6.96 4.98 6.12 3/198 6566 /proc/meminfo: memFree=26369868/32770624 swapFree=67108860/67108860 [pid=6546] ppid=6543 vsize=14325320 memory=42568 CPUtime=0.3 cores=0-7 /proc/6546/stat : 6546 (java) S 6543 6546 6124 0 -1 1077944320 9247 0 0 0 28 2 0 0 20 0 20 0 104922858 14669127680 10642 33554432000 4194304 4196468 140735502848576 140735502831120 140538578108151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 /proc/6546/statm: 3581330 10642 3585 1 0 3569050 0 [pid=6546/tid=6548] ppid=6543 vsize=14325320 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/6546/task/6548/stat : 6548 (java) R 6543 6546 6124 0 -1 4202560 6829 0 0 0 18 2 0 0 20 0 20 0 104922859 14669127680 10642 33554432000 4194304 4196468 140735502848576 140538582333232 140538562188638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6549] ppid=6543 vsize=14325320 memory=12833 CPUtime=0 cores=0-7 /proc/6546/task/6549/stat : 6549 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14669127680 10642 33554432000 4194304 4196468 140735502848576 140538515708816 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6550] ppid=6543 vsize=14325320 memory=140172372119542 CPUtime=0 cores=0-7 /proc/6546/task/6550/stat : 6550 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14669127680 10642 33554432000 4194304 4196468 140735502848576 140538514656016 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6551] ppid=6543 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/6546/task/6551/stat : 6551 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14669127680 10642 33554432000 4194304 4196468 140735502848576 140538513603728 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6552] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6552/stat : 6552 (java) S 6543 6546 6124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104922859 14669127680 10642 33554432000 4194304 4196468 140735502848576 140538512550928 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6553] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6553/stat : 6553 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14669127680 10642 33554432000 4194304 4196468 140735502848576 140538169268624 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6554] ppid=6543 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/6546/task/6554/stat : 6554 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922860 14669127680 10642 33554432000 4194304 4196468 140735502848576 140538168215824 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6555] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6555/stat : 6555 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922860 14669127680 10642 33554432000 4194304 4196468 140735502848576 140538167163536 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6556] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6556/stat : 6556 (java) S 6543 6546 6124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104922860 14669127680 10642 33554432000 4194304 4196468 140735502848576 140538166110736 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6557] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6557/stat : 6557 (java) S 6543 6546 6124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104922861 14669127680 10642 33554432000 4194304 4196468 140735502848576 140537674902128 140538578119298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6558] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6558/stat : 6558 (java) S 6543 6546 6124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104922861 14669127680 10642 33554432000 4194304 4196468 140735502848576 140537673848096 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6559] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6559/stat : 6559 (java) S 6543 6546 6124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104922862 14669127680 10642 33554432000 4194304 4196468 140735502848576 140537672795760 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6560] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6560/stat : 6560 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922864 14669127680 10642 33554432000 4194304 4196468 140735502848576 140537671744080 140538578126747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6561] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6561/stat : 6561 (java) S 6543 6546 6124 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 20 0 104922864 14669127680 10642 33554432000 4194304 4196468 140735502848576 140537670690928 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6562] ppid=6543 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/6546/task/6562/stat : 6562 (java) S 6543 6546 6124 0 -1 1077944384 124 0 0 0 1 0 0 0 20 0 20 0 104922864 14669127680 10642 33554432000 4194304 4196468 140735502848576 140537669638128 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6563] ppid=6543 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/6546/task/6563/stat : 6563 (java) S 6543 6546 6124 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 20 0 104922864 14669127680 10642 33554432000 4194304 4196468 140735502848576 140537668585840 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6564] ppid=6543 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7 /proc/6546/task/6564/stat : 6564 (java) R 6543 6546 6124 0 -1 4202560 401 0 0 0 5 0 0 0 20 0 20 0 104922864 14669127680 10642 33554432000 4194304 4196468 140735502848576 140537667533040 140538556552896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6565] ppid=6543 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6565/stat : 6565 (java) S 6543 6546 6124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104922864 14669127680 10642 33554432000 4194304 4196468 140735502848576 140537666480992 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6566] ppid=6543 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/6546/task/6566/stat : 6566 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922864 14669127680 10642 33554432000 4194304 4196468 140735502848576 140537665428272 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 42568 KiB [startup+0.310027 s]* /proc/loadavg: 6.96 4.98 6.12 2/198 6566 /proc/meminfo: memFree=26362672/32770624 swapFree=67108860/67108860 [pid=6546] ppid=6543 vsize=14325340 memory=50344 CPUtime=0.47 cores=0-7 /proc/6546/stat : 6546 (java) S 6543 6546 6124 0 -1 1077944320 10318 0 0 0 44 3 0 0 20 0 20 0 104922858 14669148160 12586 33554432000 4194304 4196468 140735502848576 140735502831120 140538578108151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 /proc/6546/statm: 3581335 12586 3720 1 0 3569050 0 [pid=6546/tid=6548] ppid=6543 vsize=14325340 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/6546/task/6548/stat : 6548 (java) R 6543 6546 6124 0 -1 4202560 7590 0 0 0 26 3 0 0 20 0 20 0 104922859 14669148160 12586 33554432000 4194304 4196468 140735502848576 140538582331088 140538578120086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6549] ppid=6543 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6549/stat : 6549 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14669148160 12586 33554432000 4194304 4196468 140735502848576 140538515708816 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6550] ppid=6543 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6550/stat : 6550 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14669148160 12586 33554432000 4194304 4196468 140735502848576 140538514656016 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6551] ppid=6543 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6551/stat : 6551 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14669148160 12586 33554432000 4194304 4196468 140735502848576 140538513603728 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6552] ppid=6543 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6552/stat : 6552 (java) S 6543 6546 6124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104922859 14669148160 12586 33554432000 4194304 4196468 140735502848576 140538512550928 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6553] ppid=6543 vsize=14325340 memory=2244 CPUtime=0 cores=0-7 /proc/6546/task/6553/stat : 6553 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14669148160 12586 33554432000 4194304 4196468 140735502848576 140538169268624 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6554] ppid=6543 vsize=14325340 memory=140172230489007 CPUtime=0 cores=0-7 /proc/6546/task/6554/stat : 6554 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922860 14669148160 12586 33554432000 4194304 4196468 140735502848576 140538168215824 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6555] ppid=6543 vsize=14325340 memory=140172230491312 CPUtime=0 cores=0-7 /proc/6546/task/6555/stat : 6555 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922860 14669148160 12586 33554432000 4194304 4196468 140735502848576 140538167163536 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6556] ppid=6543 vsize=14325340 memory=140172230493616 CPUtime=0 cores=0-7 /proc/6546/task/6556/stat : 6556 (java) S 6543 6546 6124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104922860 14669148160 12586 33554432000 4194304 4196468 140735502848576 140538166110736 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6557] ppid=6543 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6557/stat : 6557 (java) S 6543 6546 6124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104922861 14669148160 12586 33554432000 4194304 4196468 140735502848576 140537674902128 140538578119298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6558] ppid=6543 vsize=14325340 memory=280344460994192 CPUtime=0 cores=0-7 /proc/6546/task/6558/stat : 6558 (java) S 6543 6546 6124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104922861 14669148160 12586 33554432000 4194304 4196468 140735502848576 140537673848096 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6559] ppid=6543 vsize=14325340 memory=280344461001104 CPUtime=0 cores=0-7 /proc/6546/task/6559/stat : 6559 (java) S 6543 6546 6124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104922862 14669148160 12586 33554432000 4194304 4196468 140735502848576 140537672795760 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6560] ppid=6543 vsize=14325340 memory=280344460942384 CPUtime=0 cores=0-7 /proc/6546/task/6560/stat : 6560 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922864 14669148160 12586 33554432000 4194304 4196468 140735502848576 140537671744080 140538578126747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6561] ppid=6543 vsize=14325340 memory=280344461014928 CPUtime=0.01 cores=0-7 /proc/6546/task/6561/stat : 6561 (java) S 6543 6546 6124 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 104922864 14669148160 12586 33554432000 4194304 4196468 140735502848576 140537670690928 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6562] ppid=6543 vsize=14325340 memory=280344461021840 CPUtime=0.04 cores=0-7 /proc/6546/task/6562/stat : 6562 (java) R 6543 6546 6124 0 -1 1077944384 201 0 0 0 4 0 0 0 20 0 20 0 104922864 14669148160 12586 33554432000 4194304 4196468 140735502848576 140537669638128 140538578119298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6563] ppid=6543 vsize=14325340 memory=280344461019536 CPUtime=0.03 cores=0-7 /proc/6546/task/6563/stat : 6563 (java) S 6543 6546 6124 0 -1 1077944384 353 0 0 0 3 0 0 0 20 0 20 0 104922864 14669148160 12586 33554432000 4194304 4196468 140735502848576 140537668585840 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6564] ppid=6543 vsize=14325340 memory=280344461036144 CPUtime=0.08 cores=0-7 /proc/6546/task/6564/stat : 6564 (java) S 6543 6546 6124 0 -1 1077944384 453 0 0 0 8 0 0 0 20 0 20 0 104922864 14669148160 12586 33554432000 4194304 4196468 140735502848576 140537667533040 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6565] ppid=6543 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6565/stat : 6565 (java) S 6543 6546 6124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104922864 14669148160 12586 33554432000 4194304 4196468 140735502848576 140537666480992 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6566] ppid=6543 vsize=14325340 memory=-1 CPUtime=0 cores=0-7 /proc/6546/task/6566/stat : 6566 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922864 14669148160 12586 33554432000 4194304 4196468 140735502848576 140537665428272 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 14325340 KiB Current children cumulated memory: 50344 KiB [startup+0.700923 s] /proc/loadavg: 6.96 4.98 6.12 2/198 6566 /proc/meminfo: memFree=26333756/32770624 swapFree=67108860/67108860 [pid=6546] ppid=6543 vsize=14327388 memory=158184 CPUtime=1.36 cores=0-7 /proc/6546/stat : 6546 (java) S 6543 6546 6124 0 -1 1077944320 12743 0 0 0 129 7 0 0 20 0 20 0 104922858 14671245312 39546 33554432000 4194304 4196468 140735502848576 140735502831120 140538578108151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 /proc/6546/statm: 3581847 39546 3769 1 0 3569562 0 [pid=6546/tid=6548] ppid=6543 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7 /proc/6546/task/6548/stat : 6548 (java) R 6543 6546 6124 0 -1 4202560 8318 0 0 0 62 5 0 0 20 0 20 0 104922859 14671245312 39546 33554432000 4194304 4196468 140735502848576 140538582343696 140538193840634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6549] ppid=6543 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6549/stat : 6549 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14671245312 39546 33554432000 4194304 4196468 140735502848576 140538515708816 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6550] ppid=6543 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6550/stat : 6550 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14671245312 39546 33554432000 4194304 4196468 140735502848576 140538514656016 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6551] ppid=6543 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/6546/task/6551/stat : 6551 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14671245312 39546 33554432000 4194304 4196468 140735502848576 140538513603728 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6552] ppid=6543 vsize=14327388 memory=1928 CPUtime=0 cores=0-7 /proc/6546/task/6552/stat : 6552 (java) S 6543 6546 6124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104922859 14671245312 39546 33554432000 4194304 4196468 140735502848576 140538512550928 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6553] ppid=6543 vsize=14327388 memory=1428 CPUtime=0 cores=0-7 /proc/6546/task/6553/stat : 6553 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922859 14671245312 39546 33554432000 4194304 4196468 140735502848576 140538169268624 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6554] ppid=6543 vsize=14327388 memory=1196 CPUtime=0 cores=0-7 /proc/6546/task/6554/stat : 6554 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922860 14671245312 39546 33554432000 4194304 4196468 140735502848576 140538168215824 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6555] ppid=6543 vsize=14327388 memory=10644 CPUtime=0 cores=0-7 /proc/6546/task/6555/stat : 6555 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104922860 14671245312 39546 33554432000 4194304 4196468 140735502848576 140538167163536 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6556] ppid=6543 vsize=14327388 memory=15876 CPUtime=0 cores=0-7 /proc/6546/task/6556/stat : 6556 (java) S 6543 6546 6124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104922860 14671245312 39546 33554432000 4194304 4196468 140735502848576 140538166110736 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6557] ppid=6543 vsize=14327388 memory=16668 CPUtime=0 cores=0-7 /proc/6546/task/6557/stat : 6557 (java) S 6543 6546 6124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104922861 14671245312 39546 33554432000 4194304 4196468 140735502848576 140537674902128 140538578119298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 ################ # More data... # ################ [pid=6546] ppid=6543 vsize=15336124 memory=4684608 CPUtime=20037.2 cores=0-7 /proc/6546/stat : 6546 (java) S 6543 6546 6124 0 -1 1077944320 2674924 0 0 0 2001831 1884 0 0 20 0 35 0 104922858 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140735502831120 140538578108151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 /proc/6546/statm: 3834031 1171152 3866 1 0 3821225 0 [pid=6546/tid=6548] ppid=6543 vsize=15336124 memory=15876 CPUtime=7.41 cores=0-7 /proc/6546/task/6548/stat : 6548 (java) S 6543 6546 6124 0 -1 1077944384 19617 0 0 0 718 23 0 0 20 0 35 0 104922859 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140538582345856 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6549] ppid=6543 vsize=15336124 memory=4872558044660077418 CPUtime=7.28 cores=0-7 /proc/6546/task/6549/stat : 6549 (java) S 6543 6546 6124 0 -1 1077944384 71823 0 0 0 655 73 0 0 20 0 35 0 104922859 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140538515708816 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6550] ppid=6543 vsize=15336124 memory=6508 CPUtime=7.43 cores=0-7 /proc/6546/task/6550/stat : 6550 (java) S 6543 6546 6124 0 -1 1077944384 71265 0 0 0 672 71 0 0 20 0 35 0 104922859 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140538514656016 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6551] ppid=6543 vsize=15336124 memory=840 CPUtime=7.42 cores=0-7 /proc/6546/task/6551/stat : 6551 (java) S 6543 6546 6124 0 -1 1077944384 71798 0 0 0 673 69 0 0 20 0 35 0 104922859 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140538513603728 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6552] ppid=6543 vsize=15336124 memory=4012 CPUtime=7.38 cores=0-7 /proc/6546/task/6552/stat : 6552 (java) S 6543 6546 6124 0 -1 1077944384 74548 0 0 0 672 66 0 0 20 0 35 0 104922859 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140538512550928 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6553] ppid=6543 vsize=15336124 memory=8112282956445269571 CPUtime=7.42 cores=0-7 /proc/6546/task/6553/stat : 6553 (java) S 6543 6546 6124 0 -1 1077944384 72634 0 0 0 674 68 0 0 20 0 35 0 104922859 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140538169268624 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6554] ppid=6543 vsize=15336124 memory=4736 CPUtime=7.41 cores=0-7 /proc/6546/task/6554/stat : 6554 (java) S 6543 6546 6124 0 -1 1077944384 75590 0 0 0 664 77 0 0 20 0 35 0 104922860 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140538168215824 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6555] ppid=6543 vsize=15336124 memory=1152 CPUtime=7.44 cores=0-7 /proc/6546/task/6555/stat : 6555 (java) S 6543 6546 6124 0 -1 1077944384 76836 0 0 0 666 78 0 0 20 0 35 0 104922860 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140538167163536 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6556] ppid=6543 vsize=15336124 memory=4056 CPUtime=7.34 cores=0-7 /proc/6546/task/6556/stat : 6556 (java) S 6543 6546 6124 0 -1 1077944384 73837 0 0 0 668 66 0 0 20 0 35 0 104922860 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140538166110736 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6557] ppid=6543 vsize=15336124 memory=4682268 CPUtime=1.4 cores=0-7 /proc/6546/task/6557/stat : 6557 (java) S 6543 6546 6124 0 -1 1077944384 42720 0 0 0 132 8 0 0 20 0 35 0 104922861 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537674902128 140538578119298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6558] ppid=6543 vsize=15336124 memory=4096 CPUtime=0 cores=0-7 /proc/6546/task/6558/stat : 6558 (java) S 6543 6546 6124 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 35 0 104922861 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537673848160 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6559] ppid=6543 vsize=15336124 memory=4128 CPUtime=0 cores=0-7 /proc/6546/task/6559/stat : 6559 (java) S 6543 6546 6124 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 35 0 104922862 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537672795776 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6560] ppid=6543 vsize=15336124 memory=2200 CPUtime=0 cores=0-7 /proc/6546/task/6560/stat : 6560 (java) S 6543 6546 6124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 104922864 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537671744080 140538578126747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6561] ppid=6543 vsize=15336124 memory=960 CPUtime=2.21 cores=0-7 /proc/6546/task/6561/stat : 6561 (java) S 6543 6546 6124 0 -1 1077944384 23227 0 0 0 215 6 0 0 20 0 35 0 104922864 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537670690928 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6562] ppid=6543 vsize=15336124 memory=1236 CPUtime=1.78 cores=0-7 /proc/6546/task/6562/stat : 6562 (java) S 6543 6546 6124 0 -1 1077944384 14699 0 0 0 175 3 0 0 20 0 35 0 104922864 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537669638128 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6563] ppid=6543 vsize=15336124 memory=2344 CPUtime=2.23 cores=0-7 /proc/6546/task/6563/stat : 6563 (java) S 6543 6546 6124 0 -1 1077944384 20590 0 0 0 219 4 0 0 20 0 35 0 104922864 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537668585840 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6564] ppid=6543 vsize=15336124 memory=1576 CPUtime=1 cores=0-7 /proc/6546/task/6564/stat : 6564 (java) S 6543 6546 6124 0 -1 1077944384 35862 0 0 0 94 6 0 0 20 0 35 0 104922864 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537667533040 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6565] ppid=6543 vsize=15336124 memory=928 CPUtime=0 cores=0-7 /proc/6546/task/6565/stat : 6565 (java) S 6543 6546 6124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 35 0 104922864 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537666480992 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6566] ppid=6543 vsize=15336124 memory=2240 CPUtime=0.96 cores=0-7 /proc/6546/task/6566/stat : 6566 (java) S 6543 6546 6124 0 -1 1077944384 3780 0 0 0 25 71 0 0 20 0 35 0 104922864 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537665428272 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6567] ppid=6543 vsize=15336124 memory=4128 CPUtime=0.11 cores=0-7 /proc/6546/task/6567/stat : 6567 (java) S 6543 6546 6124 0 -1 1077944384 7654 0 0 0 10 1 0 0 20 0 35 0 104923610 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537655141712 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6568] ppid=6543 vsize=15336124 memory=2200 CPUtime=5.1 cores=0-7 /proc/6546/task/6568/stat : 6568 (java) R 6543 6546 6124 0 -1 1077944384 13092 0 0 0 252 258 0 0 20 0 35 0 104923622 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537654089248 140538578119298 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6569] ppid=6543 vsize=15336124 memory=6508 CPUtime=1397.19 cores=0-7 /proc/6546/task/6569/stat : 6569 (java) R 6543 6546 6124 0 -1 4202560 127982 0 0 0 139640 79 0 0 20 0 35 0 104923633 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537650932776 140538198402310 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6570] ppid=6543 vsize=15336124 memory=840 CPUtime=2082.88 cores=0-7 /proc/6546/task/6570/stat : 6570 (java) R 6543 6546 6124 0 -1 4202560 182179 0 0 0 208167 121 0 0 20 0 35 0 104923634 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537649885184 140538198578904 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6571] ppid=6543 vsize=15336124 memory=1692 CPUtime=1633.98 cores=0-7 /proc/6546/task/6571/stat : 6571 (java) S 6543 6546 6124 0 -1 1077944384 132338 0 0 0 163285 113 0 0 20 0 35 0 104923634 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537648833808 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6572] ppid=6543 vsize=15336124 memory=916 CPUtime=1136.96 cores=0-7 /proc/6546/task/6572/stat : 6572 (java) R 6543 6546 6124 0 -1 4202560 105325 0 0 0 113613 83 0 0 20 0 35 0 104923634 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537647774744 140538198401646 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6573] ppid=6543 vsize=15336124 memory=4736 CPUtime=1770.28 cores=0-7 /proc/6546/task/6573/stat : 6573 (java) S 6543 6546 6124 0 -1 1077944384 165004 0 0 0 176910 118 0 0 20 0 35 0 104923634 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537646728720 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6574] ppid=6543 vsize=15336124 memory=1152 CPUtime=2139.57 cores=0-7 /proc/6546/task/6574/stat : 6574 (java) R 6543 6546 6124 0 -1 4202560 193143 0 0 0 213812 145 0 0 20 0 35 0 104923637 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537643577856 140538198398935 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6575] ppid=6543 vsize=15336124 memory=8112282956445269571 CPUtime=1748.1 cores=0-7 /proc/6546/task/6575/stat : 6575 (java) S 6543 6546 6124 0 -1 1077944384 136767 0 0 0 174690 120 0 0 20 0 35 0 104923637 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537642526480 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6576] ppid=6543 vsize=15336124 memory=288230621803970871 CPUtime=1116.95 cores=0-7 /proc/6546/task/6576/stat : 6576 (java) R 6543 6546 6124 0 -1 4202560 137395 0 0 0 111619 76 0 0 20 0 35 0 104923637 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537641472768 140538198399934 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6577] ppid=6543 vsize=15336124 memory=14691881367898438 CPUtime=1531.55 cores=0-7 /proc/6546/task/6577/stat : 6577 (java) R 6543 6546 6124 0 -1 4202560 145972 0 0 0 153068 87 0 0 20 0 35 0 104923637 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537640414248 140538198405156 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6578] ppid=6543 vsize=15336124 memory=4682268 CPUtime=665.57 cores=0-7 /proc/6546/task/6578/stat : 6578 (java) S 6543 6546 6124 0 -1 1077944384 88114 0 0 0 66518 39 0 0 20 0 35 0 104923638 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537639367568 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6579] ppid=6543 vsize=15336124 memory=4096 CPUtime=1737.38 cores=0-7 /proc/6546/task/6579/stat : 6579 (java) R 6543 6546 6124 0 -1 4202560 197665 0 0 0 173634 104 0 0 20 0 35 0 104923638 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537436818184 140538198400443 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6580] ppid=6543 vsize=15336124 memory=1152 CPUtime=1784.52 cores=0-7 /proc/6546/task/6580/stat : 6580 (java) R 6543 6546 6124 0 -1 4202560 205521 0 0 0 178353 99 0 0 20 0 35 0 104924070 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537435765136 140538198401282 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6581] ppid=6543 vsize=15336124 memory=4056 CPUtime=1210.64 cores=0-7 /proc/6546/task/6581/stat : 6581 (java) S 6543 6546 6124 0 -1 1077944384 86484 0 0 0 120999 65 0 0 20 0 35 0 104924070 15704190976 1171152 33554432000 4194304 4196468 140735502848576 140537434719760 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 Current children cumulated CPU time: 20037.2 s Current children cumulated vsize: 15336124 KiB Current children cumulated memory: 4684608 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.17 s] # the end of solver process 6546 was just reported to runsolver # cumulated CPU time of all completed processes: user=20019.3 s, system=18.8861 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.13 s] /proc/loadavg: 8.81 8.74 8.55 10/213 6660 /proc/meminfo: memFree=21718724/32770624 swapFree=67108860/67108860 [pid=6546] ppid=6543 vsize=15469252 memory=4684768 CPUtime=20038.1 cores=0-7 /proc/6546/stat : 6546 (java) S 6543 6546 6124 0 -1 1077944320 2675914 0 0 0 2001928 1884 0 0 20 0 34 0 104922858 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140735502831120 140538578108151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 /proc/6546/statm: 3867313 1171192 3868 1 0 3854507 0 [pid=6546/tid=6548] ppid=6543 vsize=15469252 memory=4684608 CPUtime=7.41 cores=0-7 /proc/6546/task/6548/stat : 6548 (java) S 6543 6546 6124 0 -1 1077944384 19617 0 0 0 718 23 0 0 20 0 34 0 104922859 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140538582345856 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6549] ppid=6543 vsize=15469252 memory=4684608 CPUtime=7.28 cores=0-7 /proc/6546/task/6549/stat : 6549 (java) S 6543 6546 6124 0 -1 1077944384 71823 0 0 0 655 73 0 0 20 0 34 0 104922859 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140538515708816 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6550] ppid=6543 vsize=15469252 memory=4682268 CPUtime=7.43 cores=0-7 /proc/6546/task/6550/stat : 6550 (java) S 6543 6546 6124 0 -1 1077944384 71265 0 0 0 672 71 0 0 20 0 34 0 104922859 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140538514656016 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6551] ppid=6543 vsize=15469252 memory=4682268 CPUtime=7.42 cores=0-7 /proc/6546/task/6551/stat : 6551 (java) S 6543 6546 6124 0 -1 1077944384 71798 0 0 0 673 69 0 0 20 0 34 0 104922859 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140538513603728 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6552] ppid=6543 vsize=15469252 memory=4684608 CPUtime=7.38 cores=0-7 /proc/6546/task/6552/stat : 6552 (java) S 6543 6546 6124 0 -1 1077944384 74548 0 0 0 672 66 0 0 20 0 34 0 104922859 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140538512550928 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6553] ppid=6543 vsize=15469252 memory=4684608 CPUtime=7.42 cores=0-7 /proc/6546/task/6553/stat : 6553 (java) S 6543 6546 6124 0 -1 1077944384 72634 0 0 0 674 68 0 0 20 0 34 0 104922859 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140538169268624 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6554] ppid=6543 vsize=15469252 memory=7957411315455910736 CPUtime=7.41 cores=0-7 /proc/6546/task/6554/stat : 6554 (java) S 6543 6546 6124 0 -1 1077944384 75590 0 0 0 664 77 0 0 20 0 34 0 104922860 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140538168215824 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6555] ppid=6543 vsize=15469252 memory=4684608 CPUtime=7.44 cores=0-7 /proc/6546/task/6555/stat : 6555 (java) S 6543 6546 6124 0 -1 1077944384 76836 0 0 0 666 78 0 0 20 0 34 0 104922860 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140538167163536 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6556] ppid=6543 vsize=15469252 memory=280344463719856 CPUtime=7.34 cores=0-7 /proc/6546/task/6556/stat : 6556 (java) S 6543 6546 6124 0 -1 1077944384 73837 0 0 0 668 66 0 0 20 0 34 0 104922860 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140538166110736 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6557] ppid=6543 vsize=15469252 memory=4684608 CPUtime=1.4 cores=0-7 /proc/6546/task/6557/stat : 6557 (java) R 6543 6546 6124 0 -1 4202560 42720 0 0 0 132 8 0 0 20 0 34 0 104922861 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537674902264 140538570825303 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6558] ppid=6543 vsize=15469252 memory=4684608 CPUtime=0 cores=0-7 /proc/6546/task/6558/stat : 6558 (java) S 6543 6546 6124 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 34 0 104922861 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537673848160 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6559] ppid=6543 vsize=15469252 memory=4684608 CPUtime=0 cores=0-7 /proc/6546/task/6559/stat : 6559 (java) S 6543 6546 6124 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 34 0 104922862 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537672795776 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6561] ppid=6543 vsize=15469252 memory=2240 CPUtime=2.21 cores=0-7 /proc/6546/task/6561/stat : 6561 (java) S 6543 6546 6124 0 -1 1077944384 23227 0 0 0 215 6 0 0 20 0 34 0 104922864 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537670690928 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6562] ppid=6543 vsize=15469252 memory=280344463606896 CPUtime=1.78 cores=0-7 /proc/6546/task/6562/stat : 6562 (java) S 6543 6546 6124 0 -1 1077944384 14699 0 0 0 175 3 0 0 20 0 34 0 104922864 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537669638128 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6563] ppid=6543 vsize=15469252 memory=6655300316396806240 CPUtime=2.23 cores=0-7 /proc/6546/task/6563/stat : 6563 (java) S 6543 6546 6124 0 -1 1077944384 20590 0 0 0 219 4 0 0 20 0 34 0 104922864 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537668585600 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6564] ppid=6543 vsize=15469252 memory=168334331319572 CPUtime=1 cores=0-7 /proc/6546/task/6564/stat : 6564 (java) S 6543 6546 6124 0 -1 1077944384 36264 0 0 0 94 6 0 0 20 0 34 0 104922864 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537667533040 140538578119298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6565] ppid=6543 vsize=15469252 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/6546/task/6565/stat : 6565 (java) S 6543 6546 6124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 104922864 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537666480992 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6567] ppid=6543 vsize=15469252 memory=5787803165733448036 CPUtime=0.11 cores=0-7 /proc/6546/task/6567/stat : 6567 (java) S 6543 6546 6124 0 -1 1077944384 7654 0 0 0 10 1 0 0 20 0 34 0 104923610 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537655141712 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6568] ppid=6543 vsize=15469252 memory=4684608 CPUtime=5.1 cores=0-7 /proc/6546/task/6568/stat : 6568 (java) S 6543 6546 6124 0 -1 1077944384 13092 0 0 0 252 258 0 0 20 0 34 0 104923622 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537654088944 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6569] ppid=6543 vsize=15469252 memory=4736 CPUtime=1397.31 cores=0-7 /proc/6546/task/6569/stat : 6569 (java) S 6543 6546 6124 0 -1 1077944384 127982 0 0 0 139652 79 0 0 20 0 34 0 104923633 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537650932752 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6570] ppid=6543 vsize=15469252 memory=840 CPUtime=2083 cores=0-7 /proc/6546/task/6570/stat : 6570 (java) S 6543 6546 6124 0 -1 1077944384 182179 0 0 0 208179 121 0 0 20 0 34 0 104923634 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537649879952 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6571] ppid=6543 vsize=15469252 memory=1692 CPUtime=1633.98 cores=0-7 /proc/6546/task/6571/stat : 6571 (java) S 6543 6546 6124 0 -1 1077944384 132338 0 0 0 163285 113 0 0 20 0 34 0 104923634 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537648833808 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6572] ppid=6543 vsize=15469252 memory=916 CPUtime=1137.08 cores=0-7 /proc/6546/task/6572/stat : 6572 (java) S 6543 6546 6124 0 -1 1077944384 105325 0 0 0 113625 83 0 0 20 0 34 0 104923634 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537647774864 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6573] ppid=6543 vsize=15469252 memory=33 CPUtime=1770.28 cores=0-7 /proc/6546/task/6573/stat : 6573 (java) S 6543 6546 6124 0 -1 1077944384 165004 0 0 0 176910 118 0 0 20 0 34 0 104923634 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537646728720 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6574] ppid=6543 vsize=15469252 memory=6944656592455360604 CPUtime=2139.69 cores=0-7 /proc/6546/task/6574/stat : 6574 (java) S 6543 6546 6124 0 -1 1077944384 193143 0 0 0 213824 145 0 0 20 0 34 0 104923637 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537643572624 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6575] ppid=6543 vsize=15469252 memory=6944656592455097440 CPUtime=1748.1 cores=0-7 /proc/6546/task/6575/stat : 6575 (java) S 6543 6546 6124 0 -1 1077944384 136767 0 0 0 174690 120 0 0 20 0 34 0 104923637 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537642526480 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6576] ppid=6543 vsize=15469252 memory=140172232094376 CPUtime=1117.07 cores=0-7 /proc/6546/task/6576/stat : 6576 (java) S 6543 6546 6124 0 -1 1077944384 137396 0 0 0 111631 76 0 0 20 0 34 0 104923637 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537641467936 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6577] ppid=6543 vsize=15469252 memory=288291064912291666 CPUtime=1531.67 cores=0-7 /proc/6546/task/6577/stat : 6577 (java) S 6543 6546 6124 0 -1 1077944384 145972 0 0 0 153080 87 0 0 20 0 34 0 104923637 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537640414624 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6578] ppid=6543 vsize=15469252 memory=6944656575208382560 CPUtime=665.57 cores=0-7 /proc/6546/task/6578/stat : 6578 (java) S 6543 6546 6124 0 -1 1077944384 88114 0 0 0 66518 39 0 0 20 0 34 0 104923638 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537639367568 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6579] ppid=6543 vsize=15469252 memory=4679680 CPUtime=1737.5 cores=0-7 /proc/6546/task/6579/stat : 6579 (java) R 6543 6546 6124 0 -1 4202560 197665 0 0 0 173646 104 0 0 20 0 34 0 104923638 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537436818184 140538578120086 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6580] ppid=6543 vsize=15469252 memory=4679696 CPUtime=1784.64 cores=0-7 /proc/6546/task/6580/stat : 6580 (java) S 6543 6546 6124 0 -1 1077944384 205521 0 0 0 178365 99 0 0 20 0 34 0 104924070 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537435765904 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 [pid=6546/tid=6581] ppid=6543 vsize=15469252 memory=4679696 CPUtime=1210.64 cores=0-7 /proc/6546/task/6581/stat : 6581 (java) S 6543 6546 6124 0 -1 1077944384 86484 0 0 0 120999 65 0 0 20 0 34 0 104924070 15840514048 1171192 33554432000 4194304 4196468 140735502848576 140537434719760 140538578118357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 39383040 140735502857313 140735502857499 140735502857499 140735502860239 0 Current children cumulated CPU time: 20038.1 s Current children cumulated vsize: 15469252 KiB Current children cumulated memory: 4684768 KiB Child status: 143 Real time (s): 2520.17 CPU time (s): 20038.2 CPU user time (s): 20019.3 CPU system time (s): 18.8861 CPU usage (%): 795.112 Max. virtual memory (cumulated for all children) (KiB): 15469252 Max. memory (cumulated for all children) (KiB): 5193356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20019.3 system time used= 18.8861 maximum resident set size= 5193368 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2675947 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3352 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 323521 involuntary context switches= 425299 # summary of solver processes directly reported to runsolver: # pid: 6546 # total CPU time (s): 20038.2 # total CPU user time (s): 20019.3 # total CPU system time (s): 18.8861 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.4191 second user time and 34.9588 second system time The end
Begin job on node105 at 2017-08-14 15:34:14 IDJOB=4275554 IDBENCH=126094 IDSOLVER=2668 FILE ID=node105/4275554-1502718512 RUNJOBID= node105-1502714432-6151 PBS_JOBID= 20629029 Free space on /tmp= 60632 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-16.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275554-1502718512/watcher-4275554-1502718512 -o /tmp/evaluation-result-4275554-1502718512/solver-4275554-1502718512 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502714432-6151 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1351412773 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275554-1502718512.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9d7406c968f8af9220e5e662d0bd5052 RANDOM SEED=1351412773 node105.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.17 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.17 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.17 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.17 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: 26398664 kB MemAvailable: 31972180 kB Buffers: 208344 kB Cached: 5637832 kB SwapCached: 0 kB Active: 803992 kB Inactive: 5096576 kB Active(anon): 56692 kB Inactive(anon): 25060 kB Active(file): 747300 kB Inactive(file): 5071516 kB Unevictable: 6248 kB Mlocked: 6248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 74360 kB Writeback: 16 kB AnonPages: 59480 kB Mapped: 44656 kB Shmem: 25228 kB Slab: 167244 kB SReclaimable: 141072 kB SUnreclaim: 26172 kB KernelStack: 3184 kB PageTables: 4640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323868 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60592 MiB End job on node105 at 2017-08-14 16:16:14