Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | ? (TO) | 20065.4 | 2520.49 |
Name | PseudoBoolean-opt/ Pb-circ8-3_c18.xml |
MD5SUM | 7db04233d06e2f858d703f8c476ffab2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 166 |
Best CPU time to get the best result obtained on this benchmark | 20088.4 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1344 |
Number of constraints | 16096 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":1344}] |
Minimum variable degree | 16 |
Maximum variable degree | 158 |
Distribution of variable degrees | [{"degree":16,"count":16},{"degree":17,"count":112},{"degree":24,"count":16},{"degree":25,"count":16},{"degree":26,"count":120},{"degree":34,"count":56},{"degree":40,"count":336},{"degree":47,"count":56},{"degree":60,"count":56},{"degree":72,"count":56},{"degree":84,"count":56},{"degree":96,"count":56},{"degree":108,"count":56},{"degree":120,"count":56},{"degree":132,"count":56},{"degree":144,"count":56},{"degree":154,"count":56},{"degree":155,"count":56},{"degree":158,"count":56}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 28 |
Distribution of constraint arities | [{"arity":2,"count":1624},{"arity":3,"count":6496},{"arity":4,"count":760},{"arity":5,"count":672},{"arity":6,"count":672},{"arity":7,"count":912},{"arity":8,"count":784},{"arity":9,"count":672},{"arity":10,"count":672},{"arity":11,"count":672},{"arity":12,"count":672},{"arity":13,"count":672},{"arity":14,"count":728},{"arity":28,"count":88}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":16096}] |
Optimization problem | YES |
Type of objective | min SUM |
0.67/0.55 c version: 2018-07-02 0.67/0.55 c seed: 1015792531 0.67/0.55 c timeout: 20160 0.67/0.55 c memlimit: 22000 0.67/0.55 c nbcore: 8 0.67/0.58 c Parsing instance... 5.29/1.80 c Parsing done, starting search... 20062.68/2520.18 s UNKNOWN
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 (3742 MiB free) memory of node 1: 16384 MiB (7065 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291075-1532631359/watcher-4291075-1532631359 -o /tmp/evaluation-result-4291075-1532631359/solver-4291075-1532631359 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532623785-31604 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1015792531 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291075-1532631359.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 Current StackSize limit: 8192 KiB solver pid=32296, runsolver pid=32293 [startup+0.100157 s]* /proc/loadavg: 8.00 8.61 8.64 2/198 32316 /proc/meminfo: memFree=11050628/32770624 swapFree=67108860/67108860 [pid=32296] ppid=32293 vsize=26103424 memory=31712 CPUtime=0.11 cores=0-7 /proc/32296/stat : 32296 (java) S 32293 32296 31577 0 -1 1077944320 7360 0 0 0 10 1 0 0 20 0 20 0 80699077 26729906176 7928 33554432000 4194304 4196468 140736299810464 140736299793008 140071956270839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 /proc/32296/statm: 6525856 7928 3137 1 0 6487932 0 [pid=32296/tid=32298] ppid=32293 vsize=26103424 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/32296/task/32298/stat : 32298 (java) R 32293 32296 31577 0 -1 4202560 5418 0 0 0 8 1 0 0 20 0 20 0 80699077 26729906176 7928 33554432000 4194304 4196468 140736299810464 140071960465648 140071940351326 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32299] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32299/stat : 32299 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 7928 33554432000 4194304 4196468 140736299810464 140071908891792 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32300] ppid=32293 vsize=26103424 memory=140166990829184 CPUtime=0 cores=0-7 /proc/32296/task/32300/stat : 32300 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 7928 33554432000 4194304 4196468 140736299810464 140071907838992 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32301] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32301/stat : 32301 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 7928 33554432000 4194304 4196468 140736299810464 140071906786192 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32302] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32302/stat : 32302 (java) S 32293 32296 31577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 7928 33554432000 4194304 4196468 140736299810464 140071905733392 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32303] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32303/stat : 32303 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 7928 33554432000 4194304 4196468 140736299810464 140071904680592 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32304] ppid=32293 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/32296/task/32304/stat : 32304 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 7928 33554432000 4194304 4196468 140736299810464 140071508769296 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32305] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32305/stat : 32305 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 7928 33554432000 4194304 4196468 140736299810464 140071507716496 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32306] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32306/stat : 32306 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 7928 33554432000 4194304 4196468 140736299810464 140071506663696 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32307] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32307/stat : 32307 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699079 26729906176 7928 33554432000 4194304 4196468 140736299810464 140070227479408 140071956281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32308] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32308/stat : 32308 (java) S 32293 32296 31577 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80699080 26729906176 7928 33554432000 4194304 4196468 140736299810464 140070226425376 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32309] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32309/stat : 32309 (java) S 32293 32296 31577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80699080 26729906176 7928 33554432000 4194304 4196468 140736299810464 140070023587184 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32310] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32310/stat : 32310 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699082 26729906176 7928 33554432000 4194304 4196468 140736299810464 140070022535504 140071956289435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32311] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32311/stat : 32311 (java) S 32293 32296 31577 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 80699082 26729906176 7928 33554432000 4194304 4196468 140736299810464 140070021482864 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32312] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32312/stat : 32312 (java) R 32293 32296 31577 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 80699082 26729906176 7928 33554432000 4194304 4196468 140736299810464 140070020430064 140071956281986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32313] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32313/stat : 32313 (java) S 32293 32296 31577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80699082 26729906176 7928 33554432000 4194304 4196468 140736299810464 140070019377264 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32314] ppid=32293 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/32296/task/32314/stat : 32314 (java) R 32293 32296 31577 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 80699082 26729906176 7928 33554432000 4194304 4196468 140736299810464 140070018324464 140071934896703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32315] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32315/stat : 32315 (java) S 32293 32296 31577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80699082 26729906176 7928 33554432000 4194304 4196468 140736299810464 140070017272928 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32316] ppid=32293 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/32296/task/32316/stat : 32316 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699083 26729906176 7928 33554432000 4194304 4196468 140736299810464 140070016220208 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 31712 KiB [startup+0.21011 s]* /proc/loadavg: 8.00 8.61 8.64 4/198 32316 /proc/meminfo: memFree=11037420/32770624 swapFree=67108860/67108860 [pid=32296] ppid=32293 vsize=26103424 memory=42752 CPUtime=0.31 cores=0-7 /proc/32296/stat : 32296 (java) S 32293 32296 31577 0 -1 1077944320 10464 0 0 0 29 2 0 0 20 0 20 0 80699077 26729906176 10688 33554432000 4194304 4196468 140736299810464 140736299793008 140071956270839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 /proc/32296/statm: 6525856 10688 3258 1 0 6487932 0 [pid=32296/tid=32298] ppid=32293 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/32296/task/32298/stat : 32298 (java) R 32293 32296 31577 0 -1 4202560 8197 0 0 0 18 1 0 0 20 0 20 0 80699077 26729906176 10688 33554432000 4194304 4196468 140736299810464 140071960496400 140071940351356 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32299] ppid=32293 vsize=26103424 memory=11921 CPUtime=0 cores=0-7 /proc/32296/task/32299/stat : 32299 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 10688 33554432000 4194304 4196468 140736299810464 140071908891792 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32300] ppid=32293 vsize=26103424 memory=3833323781455517344 CPUtime=0 cores=0-7 /proc/32296/task/32300/stat : 32300 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 10688 33554432000 4194304 4196468 140736299810464 140071907838992 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32301] ppid=32293 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/32296/task/32301/stat : 32301 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 10688 33554432000 4194304 4196468 140736299810464 140071906786192 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32302] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32302/stat : 32302 (java) S 32293 32296 31577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 10688 33554432000 4194304 4196468 140736299810464 140071905733392 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32303] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32303/stat : 32303 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 10688 33554432000 4194304 4196468 140736299810464 140071904680592 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32304] ppid=32293 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/32296/task/32304/stat : 32304 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 10688 33554432000 4194304 4196468 140736299810464 140071508769296 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32305] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32305/stat : 32305 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 10688 33554432000 4194304 4196468 140736299810464 140071507716496 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32306] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32306/stat : 32306 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 10688 33554432000 4194304 4196468 140736299810464 140071506663696 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32307] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32307/stat : 32307 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699079 26729906176 10688 33554432000 4194304 4196468 140736299810464 140070227479408 140071956281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32308] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32308/stat : 32308 (java) S 32293 32296 31577 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80699080 26729906176 10688 33554432000 4194304 4196468 140736299810464 140070226425376 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32309] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32309/stat : 32309 (java) S 32293 32296 31577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80699080 26729906176 10688 33554432000 4194304 4196468 140736299810464 140070023587184 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32310] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32310/stat : 32310 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699082 26729906176 10688 33554432000 4194304 4196468 140736299810464 140070022535504 140071956289435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32311] ppid=32293 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/32296/task/32311/stat : 32311 (java) S 32293 32296 31577 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 20 0 80699082 26729906176 10688 33554432000 4194304 4196468 140736299810464 140070021482864 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32312] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32312/stat : 32312 (java) S 32293 32296 31577 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 80699082 26729906176 10688 33554432000 4194304 4196468 140736299810464 140070020430064 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32313] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32313/stat : 32313 (java) S 32293 32296 31577 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 80699082 26729906176 10688 33554432000 4194304 4196468 140736299810464 140070019377264 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32314] ppid=32293 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/32296/task/32314/stat : 32314 (java) S 32293 32296 31577 0 -1 1077944384 318 0 0 0 6 0 0 0 20 0 20 0 80699082 26729906176 10688 33554432000 4194304 4196468 140736299810464 140070018324464 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32315] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32315/stat : 32315 (java) S 32293 32296 31577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80699082 26729906176 10688 33554432000 4194304 4196468 140736299810464 140070017272928 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32316] ppid=32293 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/32296/task/32316/stat : 32316 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699083 26729906176 10688 33554432000 4194304 4196468 140736299810464 140070016220208 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 42752 KiB [startup+0.310037 s]* /proc/loadavg: 8.00 8.61 8.64 2/198 32316 /proc/meminfo: memFree=11033636/32770624 swapFree=67108860/67108860 [pid=32296] ppid=32293 vsize=26103424 memory=46536 CPUtime=0.43 cores=0-7 /proc/32296/stat : 32296 (java) S 32293 32296 31577 0 -1 1077944320 10882 0 0 0 41 2 0 0 20 0 20 0 80699077 26729906176 11634 33554432000 4194304 4196468 140736299810464 140736299793008 140071956270839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 /proc/32296/statm: 6525856 11634 3306 1 0 6487932 0 [pid=32296/tid=32298] ppid=32293 vsize=26103424 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/32296/task/32298/stat : 32298 (java) R 32293 32296 31577 0 -1 4202560 8537 0 0 0 28 1 0 0 20 0 20 0 80699077 26729906176 11634 33554432000 4194304 4196468 140736299810464 140071960476992 140071937834343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32299] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32299/stat : 32299 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 11634 33554432000 4194304 4196468 140736299810464 140071908891792 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32300] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32300/stat : 32300 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 11634 33554432000 4194304 4196468 140736299810464 140071907838992 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32301] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32301/stat : 32301 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 11634 33554432000 4194304 4196468 140736299810464 140071906786192 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32302] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32302/stat : 32302 (java) S 32293 32296 31577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 11634 33554432000 4194304 4196468 140736299810464 140071905733392 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32303] ppid=32293 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/32296/task/32303/stat : 32303 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 11634 33554432000 4194304 4196468 140736299810464 140071904680592 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32304] ppid=32293 vsize=26103424 memory=140166861779887 CPUtime=0 cores=0-7 /proc/32296/task/32304/stat : 32304 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 11634 33554432000 4194304 4196468 140736299810464 140071508769296 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32305] ppid=32293 vsize=26103424 memory=140166861782192 CPUtime=0 cores=0-7 /proc/32296/task/32305/stat : 32305 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 11634 33554432000 4194304 4196468 140736299810464 140071507716496 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32306] ppid=32293 vsize=26103424 memory=140166861784496 CPUtime=0 cores=0-7 /proc/32296/task/32306/stat : 32306 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26729906176 11634 33554432000 4194304 4196468 140736299810464 140071506663696 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32307] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32307/stat : 32307 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699079 26729906176 11634 33554432000 4194304 4196468 140736299810464 140070227479408 140071956281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32308] ppid=32293 vsize=26103424 memory=280333723575952 CPUtime=0 cores=0-7 /proc/32296/task/32308/stat : 32308 (java) S 32293 32296 31577 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80699080 26729906176 11634 33554432000 4194304 4196468 140736299810464 140070226425376 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32309] ppid=32293 vsize=26103424 memory=280333723582864 CPUtime=0 cores=0-7 /proc/32296/task/32309/stat : 32309 (java) S 32293 32296 31577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80699080 26729906176 11634 33554432000 4194304 4196468 140736299810464 140070023587184 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32310] ppid=32293 vsize=26103424 memory=280333723524144 CPUtime=0 cores=0-7 /proc/32296/task/32310/stat : 32310 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699082 26729906176 11634 33554432000 4194304 4196468 140736299810464 140070022535504 140071956289435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32311] ppid=32293 vsize=26103424 memory=280333723596688 CPUtime=0.01 cores=0-7 /proc/32296/task/32311/stat : 32311 (java) S 32293 32296 31577 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 20 0 80699082 26729906176 11634 33554432000 4194304 4196468 140736299810464 140070021482864 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32312] ppid=32293 vsize=26103424 memory=280333723603600 CPUtime=0 cores=0-7 /proc/32296/task/32312/stat : 32312 (java) S 32293 32296 31577 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 80699082 26729906176 11634 33554432000 4194304 4196468 140736299810464 140070020430064 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32313] ppid=32293 vsize=26103424 memory=280333723601296 CPUtime=0.01 cores=0-7 /proc/32296/task/32313/stat : 32313 (java) S 32293 32296 31577 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 20 0 80699082 26729906176 11634 33554432000 4194304 4196468 140736299810464 140070019377264 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32314] ppid=32293 vsize=26103424 memory=280333723617904 CPUtime=0.07 cores=0-7 /proc/32296/task/32314/stat : 32314 (java) S 32293 32296 31577 0 -1 1077944384 335 0 0 0 7 0 0 0 20 0 20 0 80699082 26729906176 11634 33554432000 4194304 4196468 140736299810464 140070018324464 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32315] ppid=32293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32315/stat : 32315 (java) S 32293 32296 31577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80699082 26729906176 11634 33554432000 4194304 4196468 140736299810464 140070017272928 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32316] ppid=32293 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/32296/task/32316/stat : 32316 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699083 26729906176 11634 33554432000 4194304 4196468 140736299810464 140070016220208 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 46536 KiB [startup+0.70088 s] /proc/loadavg: 8.00 8.61 8.64 2/198 32316 /proc/meminfo: memFree=11009824/32770624 swapFree=67108860/67108860 [pid=32296] ppid=32293 vsize=26105492 memory=87424 CPUtime=0.99 cores=0-7 /proc/32296/stat : 32296 (java) S 32293 32296 31577 0 -1 1077944320 17819 0 0 0 95 4 0 0 20 0 20 0 80699077 26732023808 21856 33554432000 4194304 4196468 140736299810464 140736299793008 140071956270839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 /proc/32296/statm: 6526373 21856 3482 1 0 6488444 0 [pid=32296/tid=32298] ppid=32293 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7 /proc/32296/task/32298/stat : 32298 (java) R 32293 32296 31577 0 -1 4202560 15015 0 0 0 64 3 0 0 20 0 20 0 80699077 26732023808 21856 33554432000 4194304 4196468 140736299810464 140071960497440 140071956292765 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32299] ppid=32293 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32299/stat : 32299 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26732023808 21856 33554432000 4194304 4196468 140736299810464 140071908891792 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32300] ppid=32293 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32300/stat : 32300 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26732023808 21856 33554432000 4194304 4196468 140736299810464 140071907838992 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32301] ppid=32293 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/32296/task/32301/stat : 32301 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26732023808 21856 33554432000 4194304 4196468 140736299810464 140071906786192 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32302] ppid=32293 vsize=26105492 memory=8556 CPUtime=0 cores=0-7 /proc/32296/task/32302/stat : 32302 (java) S 32293 32296 31577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80699078 26732023808 21856 33554432000 4194304 4196468 140736299810464 140071905733392 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32303] ppid=32293 vsize=26105492 memory=1012 CPUtime=0 cores=0-7 /proc/32296/task/32303/stat : 32303 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699078 26732023808 21856 33554432000 4194304 4196468 140736299810464 140071904680592 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32304] ppid=32293 vsize=26105492 memory=1444 CPUtime=0 cores=0-7 /proc/32296/task/32304/stat : 32304 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699078 26732023808 21856 33554432000 4194304 4196468 140736299810464 140071508769296 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32305] ppid=32293 vsize=26105492 memory=1200 CPUtime=0 cores=0-7 /proc/32296/task/32305/stat : 32305 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699078 26732023808 21856 33554432000 4194304 4196468 140736299810464 140071507716496 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32306] ppid=32293 vsize=26105492 memory=15872 CPUtime=0 cores=0-7 /proc/32296/task/32306/stat : 32306 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80699078 26732023808 21856 33554432000 4194304 4196468 140736299810464 140071506663696 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32307] ppid=32293 vsize=26105492 memory=14608 CPUtime=0 cores=0-7 /proc/32296/task/32307/stat : 32307 (java) S 32293 32296 31577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80699079 26732023808 21856 33554432000 4194304 4196468 140736299810464 140070227479408 140071956281986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 ################ # More data... # ################ /proc/32296/task/32298/stat : 32298 (java) S 32293 32296 31577 0 -1 1077944384 23105 0 0 0 513 11 0 0 20 0 35 0 80699077 27769163776 628427 33554432000 4194304 4196468 140736299810464 140071960508304 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32299] ppid=32293 vsize=27118324 memory=4126316290023845779 CPUtime=19.12 cores=0-7 /proc/32296/task/32299/stat : 32299 (java) S 32293 32296 31577 0 -1 1077944384 46883 0 0 0 1874 38 0 0 20 0 35 0 80699078 27769163776 628427 33554432000 4194304 4196468 140736299810464 140071908891792 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32300] ppid=32293 vsize=27118324 memory=1012 CPUtime=19.11 cores=0-7 /proc/32296/task/32300/stat : 32300 (java) S 32293 32296 31577 0 -1 1077944384 40370 0 0 0 1875 36 0 0 20 0 35 0 80699078 27769163776 628427 33554432000 4194304 4196468 140736299810464 140071907838992 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32301] ppid=32293 vsize=27118324 memory=1444 CPUtime=19.07 cores=0-7 /proc/32296/task/32301/stat : 32301 (java) S 32293 32296 31577 0 -1 1077944384 49195 0 0 0 1870 37 0 0 20 0 35 0 80699078 27769163776 628427 33554432000 4194304 4196468 140736299810464 140071906786192 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32302] ppid=32293 vsize=27118324 memory=1200 CPUtime=19.14 cores=0-7 /proc/32296/task/32302/stat : 32302 (java) S 32293 32296 31577 0 -1 1077944384 45187 0 0 0 1879 35 0 0 20 0 35 0 80699078 27769163776 628427 33554432000 4194304 4196468 140736299810464 140071905733392 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32303] ppid=32293 vsize=27118324 memory=15872 CPUtime=19.08 cores=0-7 /proc/32296/task/32303/stat : 32303 (java) S 32293 32296 31577 0 -1 1077944384 46729 0 0 0 1873 35 0 0 20 0 35 0 80699078 27769163776 628427 33554432000 4194304 4196468 140736299810464 140071904680592 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32304] ppid=32293 vsize=27118324 memory=14648 CPUtime=19.07 cores=0-7 /proc/32296/task/32304/stat : 32304 (java) S 32293 32296 31577 0 -1 1077944384 43452 0 0 0 1872 35 0 0 20 0 35 0 80699078 27769163776 628427 33554432000 4194304 4196468 140736299810464 140071508769296 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32305] ppid=32293 vsize=27118324 memory=16436 CPUtime=19.14 cores=0-7 /proc/32296/task/32305/stat : 32305 (java) S 32293 32296 31577 0 -1 1077944384 54169 0 0 0 1878 36 0 0 20 0 35 0 80699078 27769163776 628427 33554432000 4194304 4196468 140736299810464 140071507716496 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32306] ppid=32293 vsize=27118324 memory=4048 CPUtime=19.12 cores=0-7 /proc/32296/task/32306/stat : 32306 (java) S 32293 32296 31577 0 -1 1077944384 38307 0 0 0 1878 34 0 0 20 0 35 0 80699078 27769163776 628427 33554432000 4194304 4196468 140736299810464 140071506663696 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32307] ppid=32293 vsize=27118324 memory=640 CPUtime=0.49 cores=0-7 /proc/32296/task/32307/stat : 32307 (java) S 32293 32296 31577 0 -1 1077944384 39909 0 0 0 38 11 0 0 20 0 35 0 80699079 27769163776 628427 33554432000 4194304 4196468 140736299810464 140070227479408 140071956281986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32308] ppid=32293 vsize=27118324 memory=1792 CPUtime=0 cores=0-7 /proc/32296/task/32308/stat : 32308 (java) S 32293 32296 31577 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 35 0 80699080 27769163776 628427 33554432000 4194304 4196468 140736299810464 140070226425440 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32309] ppid=32293 vsize=27118324 memory=960 CPUtime=0 cores=0-7 /proc/32296/task/32309/stat : 32309 (java) S 32293 32296 31577 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 35 0 80699080 27769163776 628427 33554432000 4194304 4196468 140736299810464 140070023587200 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32310] ppid=32293 vsize=27118324 memory=1232 CPUtime=0 cores=0-7 /proc/32296/task/32310/stat : 32310 (java) S 32293 32296 31577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 80699082 27769163776 628427 33554432000 4194304 4196468 140736299810464 140070022535504 140071956289435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32311] ppid=32293 vsize=27118324 memory=2340 CPUtime=2.23 cores=0-7 /proc/32296/task/32311/stat : 32311 (java) S 32293 32296 31577 0 -1 1077944384 7516 0 0 0 222 1 0 0 20 0 35 0 80699082 27769163776 628427 33554432000 4194304 4196468 140736299810464 140070021482864 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32312] ppid=32293 vsize=27118324 memory=928 CPUtime=2.98 cores=0-7 /proc/32296/task/32312/stat : 32312 (java) S 32293 32296 31577 0 -1 1077944384 8925 0 0 0 296 2 0 0 20 0 35 0 80699082 27769163776 628427 33554432000 4194304 4196468 140736299810464 140070020430064 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32313] ppid=32293 vsize=27118324 memory=1580 CPUtime=2.44 cores=0-7 /proc/32296/task/32313/stat : 32313 (java) S 32293 32296 31577 0 -1 1077944384 7460 0 0 0 242 2 0 0 20 0 35 0 80699082 27769163776 628427 33554432000 4194304 4196468 140736299810464 140070019377264 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32314] ppid=32293 vsize=27118324 memory=2244 CPUtime=1.29 cores=0-7 /proc/32296/task/32314/stat : 32314 (java) S 32293 32296 31577 0 -1 1077944384 18163 0 0 0 124 5 0 0 20 0 35 0 80699082 27769163776 628427 33554432000 4194304 4196468 140736299810464 140070018324464 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32315] ppid=32293 vsize=27118324 memory=4136 CPUtime=0 cores=0-7 /proc/32296/task/32315/stat : 32315 (java) S 32293 32296 31577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 35 0 80699082 27769163776 628427 33554432000 4194304 4196468 140736299810464 140070017272928 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32316] ppid=32293 vsize=27118324 memory=2204 CPUtime=1.21 cores=0-7 /proc/32296/task/32316/stat : 32316 (java) S 32293 32296 31577 0 -1 1077944384 4998 0 0 0 44 77 0 0 20 0 35 0 80699083 27769163776 628427 33554432000 4194304 4196468 140736299810464 140070016220208 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32317] ppid=32293 vsize=27118324 memory=7532 CPUtime=0 cores=0-7 /proc/32296/task/32317/stat : 32317 (java) S 32293 32296 31577 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 35 0 80699575 27769163776 628427 33554432000 4194304 4196468 140736299810464 140070002775168 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32318] ppid=32293 vsize=27118324 memory=844 CPUtime=6.4 cores=0-7 /proc/32296/task/32318/stat : 32318 (java) S 32293 32296 31577 0 -1 1077944384 15667 0 0 0 109 531 0 0 20 0 35 0 80699599 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069999625504 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32319] ppid=32293 vsize=27118324 memory=1796 CPUtime=2483.77 cores=0-7 /proc/32296/task/32319/stat : 32319 (java) R 32293 32296 31577 0 -1 4202560 173402 0 0 0 248257 120 0 0 20 0 35 0 80699615 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069998567616 140071594427964 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32320] ppid=32293 vsize=27118324 memory=916 CPUtime=2487.97 cores=0-7 /proc/32296/task/32320/stat : 32320 (java) R 32293 32296 31577 0 -1 4202560 156580 0 0 0 248675 122 0 0 20 0 35 0 80699616 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069997512040 140071595480132 0 4 0 16800975 0 0 0 -1 7 0 0 22 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32321] ppid=32293 vsize=27118324 memory=4208 CPUtime=0.2 cores=0-7 /proc/32296/task/32321/stat : 32321 (java) S 32293 32296 31577 0 -1 1077944384 80 0 0 0 20 0 0 0 20 0 35 0 80699616 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069996466992 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32322] ppid=32293 vsize=27118324 memory=4100 CPUtime=2487.55 cores=0-7 /proc/32296/task/32322/stat : 32322 (java) R 32293 32296 31577 0 -1 4202560 141897 0 0 0 248630 125 0 0 20 0 35 0 80699623 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069993309112 140071594427964 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32323] ppid=32293 vsize=27118324 memory=1408 CPUtime=2485.55 cores=0-7 /proc/32296/task/32323/stat : 32323 (java) R 32293 32296 31577 0 -1 4202560 92365 0 0 0 248429 126 0 0 20 0 35 0 80699623 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069992257336 140071589320819 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32324] ppid=32293 vsize=27118324 memory=4112 CPUtime=0.19 cores=0-7 /proc/32296/task/32324/stat : 32324 (java) S 32293 32296 31577 0 -1 1077944384 64 0 0 0 19 0 0 0 20 0 35 0 80699623 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069991212464 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32325] ppid=32293 vsize=27118324 memory=2513708 CPUtime=0.23 cores=0-7 /proc/32296/task/32325/stat : 32325 (java) S 32293 32296 31577 0 -1 1077944384 47 0 0 0 23 0 0 0 20 0 35 0 80699624 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069990159664 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32326] ppid=32293 vsize=27118324 memory=1232 CPUtime=0 cores=0-7 /proc/32296/task/32326/stat : 32326 (java) S 32293 32296 31577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 35 0 80699624 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069989106864 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32327] ppid=32293 vsize=27118324 memory=12036 CPUtime=2484.42 cores=0-7 /proc/32296/task/32327/stat : 32327 (java) R 32293 32296 31577 0 -1 4202560 149890 0 0 0 248311 131 0 0 20 0 35 0 80699624 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069988046648 140071595287499 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32328] ppid=32293 vsize=27118324 memory=6791534058613427641 CPUtime=2486.81 cores=0-7 /proc/32296/task/32328/stat : 32328 (java) R 32293 32296 31577 0 -1 4202560 142927 0 0 0 248549 132 0 0 20 0 35 0 80699624 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069986993336 140071587060532 0 4 0 16800975 0 0 0 -1 6 0 0 23 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32329] ppid=32293 vsize=27118324 memory=1012 CPUtime=2481.92 cores=0-7 /proc/32296/task/32329/stat : 32329 (java) R 32293 32296 31577 0 -1 4202560 155956 0 0 0 248060 132 0 0 20 0 35 0 80699624 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069985940840 140071595287189 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32330] ppid=32293 vsize=27118324 memory=1444 CPUtime=2487.71 cores=0-7 /proc/32296/task/32330/stat : 32330 (java) R 32293 32296 31577 0 -1 4202560 301626 0 0 0 248617 154 0 0 20 0 35 0 80699624 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069984887664 140071595288104 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32331] ppid=32293 vsize=27118324 memory=1200 CPUtime=0 cores=0-7 /proc/32296/task/32331/stat : 32331 (java) S 32293 32296 31577 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 35 0 80699658 27769163776 628427 33554432000 4194304 4196468 140736299810464 140069983843888 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 Current children cumulated CPU time: 20061.7 s Current children cumulated vsize: 27118324 KiB Current children cumulated memory: 2513708 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.49 s] # the end of solver process 32296 was just reported to runsolver # cumulated CPU time of all completed processes: user=20051.4 s, system=13.9487 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.4 s] /proc/loadavg: 8.64 8.79 8.83 9/213 32410 /proc/meminfo: memFree=8566100/32770624 swapFree=67108860/67108860 [pid=32296] ppid=32293 vsize=27783964 memory=2514416 CPUtime=20064.8 cores=0-7 /proc/32296/stat : 32296 (java) S 32293 32296 31577 0 -1 1077944320 1808324 0 0 0 2005086 1393 0 0 20 0 45 0 80699077 28450779136 628604 33554432000 4194304 4196468 140736299810464 140736299793008 140071956270839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 /proc/32296/statm: 6945991 628604 3631 1 0 6907541 0 [pid=32296/tid=32298] ppid=32293 vsize=27783964 memory=1792 CPUtime=5.24 cores=0-7 /proc/32296/task/32298/stat : 32298 (java) S 32293 32296 31577 0 -1 1077944384 23105 0 0 0 513 11 0 0 20 0 45 0 80699077 28450779136 628604 33554432000 4194304 4196468 140736299810464 140071960508304 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32299] ppid=32293 vsize=27783964 memory=4872558044660077418 CPUtime=19.16 cores=0-7 /proc/32296/task/32299/stat : 32299 (java) S 32293 32296 31577 0 -1 1077944384 46886 0 0 0 1878 38 0 0 20 0 45 0 80699078 28450779136 628604 33554432000 4194304 4196468 140736299810464 140071908891792 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32300] ppid=32293 vsize=27783964 memory=303430231908417850 CPUtime=19.16 cores=0-7 /proc/32296/task/32300/stat : 32300 (java) S 32293 32296 31577 0 -1 1077944384 40374 0 0 0 1880 36 0 0 20 0 45 0 80699078 28450779136 628604 33554432000 4194304 4196468 140736299810464 140071907838992 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32301] ppid=32293 vsize=27783964 memory=13851867369184121 CPUtime=19.12 cores=0-7 /proc/32296/task/32301/stat : 32301 (java) S 32293 32296 31577 0 -1 1077944384 49200 0 0 0 1875 37 0 0 20 0 45 0 80699078 28450779136 628604 33554432000 4194304 4196468 140736299810464 140071906786192 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32302] ppid=32293 vsize=27783964 memory=4126316290023845779 CPUtime=19.18 cores=0-7 /proc/32296/task/32302/stat : 32302 (java) S 32293 32296 31577 0 -1 1077944384 45190 0 0 0 1883 35 0 0 20 0 45 0 80699078 28450779136 628604 33554432000 4194304 4196468 140736299810464 140071905733392 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32303] ppid=32293 vsize=27783964 memory=1296 CPUtime=19.13 cores=0-7 /proc/32296/task/32303/stat : 32303 (java) S 32293 32296 31577 0 -1 1077944384 46731 0 0 0 1878 35 0 0 20 0 45 0 80699078 28450779136 628604 33554432000 4194304 4196468 140736299810464 140071904680592 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32304] ppid=32293 vsize=27783964 memory=2412 CPUtime=19.12 cores=0-7 /proc/32296/task/32304/stat : 32304 (java) S 32293 32296 31577 0 -1 1077944384 43452 0 0 0 1877 35 0 0 20 0 45 0 80699078 28450779136 628604 33554432000 4194304 4196468 140736299810464 140071508769296 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32305] ppid=32293 vsize=27783964 memory=6791534058613427641 CPUtime=19.19 cores=0-7 /proc/32296/task/32305/stat : 32305 (java) S 32293 32296 31577 0 -1 1077944384 54169 0 0 0 1883 36 0 0 20 0 45 0 80699078 28450779136 628604 33554432000 4194304 4196468 140736299810464 140071507716496 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32306] ppid=32293 vsize=27783964 memory=1232 CPUtime=19.17 cores=0-7 /proc/32296/task/32306/stat : 32306 (java) S 32293 32296 31577 0 -1 1077944384 38308 0 0 0 1883 34 0 0 20 0 45 0 80699078 28450779136 628604 33554432000 4194304 4196468 140736299810464 140071506663696 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32307] ppid=32293 vsize=27783964 memory=2340 CPUtime=0.5 cores=0-7 /proc/32296/task/32307/stat : 32307 (java) S 32293 32296 31577 0 -1 1077944384 39917 0 0 0 38 12 0 0 20 0 45 0 80699079 28450779136 628604 33554432000 4194304 4196468 140736299810464 140070227479408 140071956281986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32308] ppid=32293 vsize=27783964 memory=928 CPUtime=0 cores=0-7 /proc/32296/task/32308/stat : 32308 (java) S 32293 32296 31577 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 45 0 80699080 28450779136 628604 33554432000 4194304 4196468 140736299810464 140070226425440 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32309] ppid=32293 vsize=27783964 memory=1580 CPUtime=0 cores=0-7 /proc/32296/task/32309/stat : 32309 (java) S 32293 32296 31577 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 45 0 80699080 28450779136 628604 33554432000 4194304 4196468 140736299810464 140070023587200 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32310] ppid=32293 vsize=27783964 memory=2244 CPUtime=0 cores=0-7 /proc/32296/task/32310/stat : 32310 (java) S 32293 32296 31577 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 45 0 80699082 28450779136 628604 33554432000 4194304 4196468 140736299810464 140070022535504 140071956289435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32311] ppid=32293 vsize=27783964 memory=4136 CPUtime=2.23 cores=0-7 /proc/32296/task/32311/stat : 32311 (java) S 32293 32296 31577 0 -1 1077944384 7516 0 0 0 222 1 0 0 20 0 45 0 80699082 28450779136 628604 33554432000 4194304 4196468 140736299810464 140070021482864 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32312] ppid=32293 vsize=27783964 memory=2204 CPUtime=2.98 cores=0-7 /proc/32296/task/32312/stat : 32312 (java) R 32293 32296 31577 0 -1 1077944384 8925 0 0 0 296 2 0 0 20 0 45 0 80699082 28450779136 628604 33554432000 4194304 4196468 140736299810464 140070020430064 140071956281986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32313] ppid=32293 vsize=27783964 memory=7532 CPUtime=2.45 cores=0-7 /proc/32296/task/32313/stat : 32313 (java) R 32293 32296 31577 0 -1 4202560 7531 0 0 0 243 2 0 0 20 0 45 0 80699082 28450779136 628604 33554432000 4194304 4196468 140736299810464 140070019377264 140071935924352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32314] ppid=32293 vsize=27783964 memory=844 CPUtime=1.31 cores=0-7 /proc/32296/task/32314/stat : 32314 (java) S 32293 32296 31577 0 -1 1077944384 18328 0 0 0 126 5 0 0 20 0 45 0 80699082 28450779136 628604 33554432000 4194304 4196468 140736299810464 140070018324464 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32315] ppid=32293 vsize=27783964 memory=1796 CPUtime=0 cores=0-7 /proc/32296/task/32315/stat : 32315 (java) S 32293 32296 31577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 80699082 28450779136 628604 33554432000 4194304 4196468 140736299810464 140070017272928 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32316] ppid=32293 vsize=27783964 memory=916 CPUtime=1.21 cores=0-7 /proc/32296/task/32316/stat : 32316 (java) S 32293 32296 31577 0 -1 1077944384 4999 0 0 0 44 77 0 0 20 0 45 0 80699083 28450779136 628604 33554432000 4194304 4196468 140736299810464 140070016220208 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32317] ppid=32293 vsize=27783964 memory=4208 CPUtime=0 cores=0-7 /proc/32296/task/32317/stat : 32317 (java) S 32293 32296 31577 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 45 0 80699575 28450779136 628604 33554432000 4194304 4196468 140736299810464 140070002775168 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32318] ppid=32293 vsize=27783964 memory=4100 CPUtime=6.42 cores=0-7 /proc/32296/task/32318/stat : 32318 (java) S 32293 32296 31577 0 -1 1077944384 15687 0 0 0 111 531 0 0 20 0 45 0 80699599 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069999625392 140071956281986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32319] ppid=32293 vsize=27783964 memory=4872558044660077418 CPUtime=2484.08 cores=0-7 /proc/32296/task/32319/stat : 32319 (java) R 32293 32296 31577 0 -1 4202560 173402 0 0 0 248288 120 0 0 20 0 45 0 80699615 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069998564840 140071587057315 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32320] ppid=32293 vsize=27783964 memory=288230583166042426 CPUtime=2488.3 cores=0-7 /proc/32296/task/32320/stat : 32320 (java) R 32293 32296 31577 0 -1 4202560 156581 0 0 0 248708 122 0 0 20 0 45 0 80699616 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069997512040 140071594349489 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32321] ppid=32293 vsize=27783964 memory=13851867369184121 CPUtime=0.21 cores=0-7 /proc/32296/task/32321/stat : 32321 (java) R 32293 32296 31577 0 -1 1077944384 157 0 0 0 21 0 0 0 20 0 45 0 80699616 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069996466992 140071956281045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32322] ppid=32293 vsize=27783964 memory=6791534058613427641 CPUtime=2487.86 cores=0-7 /proc/32296/task/32322/stat : 32322 (java) R 32293 32296 31577 0 -1 4202560 141901 0 0 0 248661 125 0 0 20 0 45 0 80699623 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069993309832 140071584975587 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32323] ppid=32293 vsize=27783964 memory=4126316290023845779 CPUtime=2485.88 cores=0-7 /proc/32296/task/32323/stat : 32323 (java) R 32293 32296 31577 0 -1 4202560 92365 0 0 0 248462 126 0 0 20 0 45 0 80699623 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069992258064 140071587057048 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32324] ppid=32293 vsize=27783964 memory=6944656592455097440 CPUtime=0.2 cores=0-7 /proc/32296/task/32324/stat : 32324 (java) R 32293 32296 31577 0 -1 1077944384 253 0 0 0 20 0 0 0 20 0 45 0 80699623 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069991212464 140071956281045 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32325] ppid=32293 vsize=27783964 memory=2516284 CPUtime=0.23 cores=0-7 /proc/32296/task/32325/stat : 32325 (java) S 32293 32296 31577 0 -1 1077944384 105 0 0 0 23 0 0 0 20 0 45 0 80699624 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069990159664 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32326] ppid=32293 vsize=27783964 memory=2516284 CPUtime=0 cores=0-7 /proc/32296/task/32326/stat : 32326 (java) S 32293 32296 31577 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 45 0 80699624 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069989106864 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32327] ppid=32293 vsize=27783964 memory=1444 CPUtime=2484.75 cores=0-7 /proc/32296/task/32327/stat : 32327 (java) R 32293 32296 31577 0 -1 4202560 149893 0 0 0 248344 131 0 0 20 0 45 0 80699624 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069988046000 140071585130427 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32328] ppid=32293 vsize=27783964 memory=1200 CPUtime=2487.14 cores=0-7 /proc/32296/task/32328/stat : 32328 (java) R 32293 32296 31577 0 -1 4202560 142927 0 0 0 248582 132 0 0 20 0 45 0 80699624 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069986993336 140071595523593 0 4 0 16800975 0 0 0 -1 6 0 0 23 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32329] ppid=32293 vsize=27783964 memory=15872 CPUtime=2482.25 cores=0-7 /proc/32296/task/32329/stat : 32329 (java) R 32293 32296 31577 0 -1 4202560 155957 0 0 0 248093 132 0 0 20 0 45 0 80699624 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069985942496 140071587058688 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32330] ppid=32293 vsize=27783964 memory=14648 CPUtime=2488.02 cores=0-7 /proc/32296/task/32330/stat : 32330 (java) R 32293 32296 31577 0 -1 4202560 301630 0 0 0 248648 154 0 0 20 0 45 0 80699624 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069984887600 140071594218513 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 [pid=32296/tid=32331] ppid=32293 vsize=27783964 memory=7100839861465685612 CPUtime=0.01 cores=0-7 /proc/32296/task/32331/stat : 32331 (java) S 32293 32296 31577 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 45 0 80699658 28450779136 628604 33554432000 4194304 4196468 140736299810464 140069983843888 140071956281045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27901952 140736299816013 140736299816197 140736299816197 140736299818959 0 Current children cumulated CPU time: 20064.8 s Current children cumulated vsize: 27783964 KiB Current children cumulated memory: 2514416 KiB Child status: 143 Real time (s): 2520.49 CPU time (s): 20065.4 CPU user time (s): 20051.4 CPU system time (s): 13.9487 CPU usage (%): 796.09 Max. virtual memory (cumulated for all children) (KiB): 27783964 Max. memory (cumulated for all children) (KiB): 2548240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20051.4 system time used= 13.9487 maximum resident set size= 2548240 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1808462 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 312100 involuntary context switches= 421729 # summary of solver processes directly reported to runsolver: # pid: 32296 # total CPU time (s): 20065.4 # total CPU user time (s): 20051.4 # total CPU system time (s): 13.9487 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 23.8847 second user time and 33.7508 second system time The end
Begin job on node104 at 2018-07-26 20:55:59 IDJOB=4291075 IDBENCH=141113 IDSOLVER=2745 FILE ID=node104/4291075-1532631359 RUNJOBID= node104-1532623785-31604 PBS_JOBID= 21022031 Free space on /tmp= 48344 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-circ8-3_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291075-1532631359/watcher-4291075-1532631359 -o /tmp/evaluation-result-4291075-1532631359/solver-4291075-1532631359 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532623785-31604 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1015792531 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291075-1532631359.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7db04233d06e2f858d703f8c476ffab2 RANDOM SEED=1015792531 node104.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.11 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.11 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.11 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.11 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: 11066200 kB MemAvailable: 31926244 kB Buffers: 227056 kB Cached: 20624188 kB SwapCached: 0 kB Active: 4218412 kB Inactive: 16686556 kB Active(anon): 5400 kB Inactive(anon): 76248 kB Active(file): 4213012 kB Inactive(file): 16610308 kB Unevictable: 7168 kB Mlocked: 7168 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 36924 kB Writeback: 0 kB AnonPages: 117068 kB Mapped: 41268 kB Shmem: 25228 kB Slab: 493048 kB SReclaimable: 465184 kB SUnreclaim: 27864 kB KernelStack: 3360 kB PageTables: 5564 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324408 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 63488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48308 MiB End job on node104 at 2018-07-26 21:38:00