Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | ? (TO) | 19928.1 | 2520.19 |
Name | TemplateDesign/ TemplateDesign-m1-herbs_c18.xml |
MD5SUM | c28699084a36c5d45188c7cead550bcc |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 96.784 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1860 |
Number of constraints | 1021 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 308 |
Distribution of domain sizes | [{"size":2,"count":30},{"size":43,"count":900},{"size":66,"count":60},{"size":77,"count":210},{"size":88,"count":120},{"size":99,"count":180},{"size":110,"count":120},{"size":165,"count":30},{"size":253,"count":120},{"size":281,"count":30},{"size":308,"count":60}] |
Minimum variable degree | 2 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":2,"count":1770},{"degree":3,"count":60},{"degree":32,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":60},{"arity":3,"count":900},{"arity":30,"count":61}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 960 |
Distribution of constraint types | [{"type":"intension","count":960},{"type":"ordered","count":1},{"type":"sum","count":60}] |
Optimization problem | YES |
Type of objective | min SUM |
0.66/0.55 c version: 2018-08-14 0.66/0.55 c seed: 1453443939 0.66/0.55 c timeout: 20160 0.66/0.55 c memlimit: 22000 0.66/0.55 c nbcore: 8 0.66/0.58 c Parsing instance... 2.59/1.24 c Parsing done, starting search... 19926.96/2520.06 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 (10255 MiB free) memory of node 1: 16384 MiB (13213 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308924-1534377607/watcher-4308924-1534377607 -o /tmp/evaluation-result-4308924-1534377607/solver-4308924-1534377607 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1534372381-14416 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1453443939 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308924-1534377607.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=15580, runsolver pid=15577 [startup+0.100138 s]* /proc/loadavg: 8.74 8.81 8.75 2/199 15600 /proc/meminfo: memFree=24015840/32770624 swapFree=67108500/67108860 [pid=15580] ppid=15577 vsize=26103420 memory=30384 CPUtime=0.11 cores=0-7 /proc/15580/stat : 15580 (java) S 15577 15580 14389 0 -1 1077944320 7032 0 0 0 10 1 0 0 20 0 20 0 255323855 26729902080 7596 33554432000 4194304 4196468 140728374280416 140728374262960 140098085437175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 /proc/15580/statm: 6525855 7596 3119 1 0 6487932 0 [pid=15580/tid=15582] ppid=15577 vsize=26103420 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/15580/task/15582/stat : 15582 (java) R 15577 15580 14389 0 -1 4202560 5230 0 0 0 8 0 0 0 20 0 20 0 255323856 26729902080 7728 33554432000 4194304 4196468 140728374280416 140098089658384 140098065712935 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15583] ppid=15577 vsize=26103420 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/15580/task/15583/stat : 15583 (java) S 15577 15580 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 7728 33554432000 4194304 4196468 140728374280416 140097644157584 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15584] ppid=15577 vsize=26103420 memory=139863232890496 CPUtime=0 cores=0-7 /proc/15580/task/15584/stat : 15584 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 7728 33554432000 4194304 4196468 140728374280416 140097643104784 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15585] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15585/stat : 15585 (java) S 15577 15580 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 7728 33554432000 4194304 4196468 140728374280416 140097642051984 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15586] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15586/stat : 15586 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 7728 33554432000 4194304 4196468 140728374280416 140097640999184 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15587] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15587/stat : 15587 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 7728 33554432000 4194304 4196468 140728374280416 140097639947408 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15588] ppid=15577 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/15580/task/15588/stat : 15588 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 7728 33554432000 4194304 4196468 140728374280416 140097638894608 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15589] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15589/stat : 15589 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 7728 33554432000 4194304 4196468 140728374280416 140097637841808 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15590] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15590/stat : 15590 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 7728 33554432000 4194304 4196468 140728374280416 140097636789008 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15591] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15591/stat : 15591 (java) S 15577 15580 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255323858 26729902080 7794 33554432000 4194304 4196468 140728374280416 140096806799728 140098085448322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15592] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15592/stat : 15592 (java) S 15577 15580 14389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255323858 26729902080 7794 33554432000 4194304 4196468 140728374280416 140096805745696 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15593] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15593/stat : 15593 (java) S 15577 15580 14389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255323859 26729902080 7794 33554432000 4194304 4196468 140728374280416 140096804692848 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15594] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15594/stat : 15594 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323861 26729902080 7794 33554432000 4194304 4196468 140728374280416 140096803641168 140098085455771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15595] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15595/stat : 15595 (java) S 15577 15580 14389 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 255323861 26729902080 7794 33554432000 4194304 4196468 140728374280416 140096802589552 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15596] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15596/stat : 15596 (java) S 15577 15580 14389 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 255323861 26729902080 7794 33554432000 4194304 4196468 140728374280416 140096801536752 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15597] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15597/stat : 15597 (java) S 15577 15580 14389 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 255323861 26729902080 7794 33554432000 4194304 4196468 140728374280416 140096687860336 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15598] ppid=15577 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/15580/task/15598/stat : 15598 (java) S 15577 15580 14389 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 20 0 255323861 26729902080 7794 33554432000 4194304 4196468 140728374280416 140096686807536 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15599] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15599/stat : 15599 (java) S 15577 15580 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255323861 26729902080 7794 33554432000 4194304 4196468 140728374280416 140096685754976 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15600] ppid=15577 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/15580/task/15600/stat : 15600 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323862 26729902080 7794 33554432000 4194304 4196468 140728374280416 140096684702256 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 30384 KiB [startup+0.210097 s]* /proc/loadavg: 8.74 8.81 8.75 3/199 15600 /proc/meminfo: memFree=24002680/32770624 swapFree=67108500/67108860 [pid=15580] ppid=15577 vsize=26103420 memory=43048 CPUtime=0.3 cores=0-7 /proc/15580/stat : 15580 (java) S 15577 15580 14389 0 -1 1077944320 10391 0 0 0 28 2 0 0 20 0 20 0 255323855 26729902080 10762 33554432000 4194304 4196468 140728374280416 140728374262960 140098085437175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 /proc/15580/statm: 6525855 10762 3344 1 0 6487932 0 [pid=15580/tid=15582] ppid=15577 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/15580/task/15582/stat : 15582 (java) R 15577 15580 14389 0 -1 4202560 8174 0 0 0 18 1 0 0 20 0 20 0 255323856 26729902080 10762 33554432000 4194304 4196468 140728374280416 140098089661184 140098085449110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15583] ppid=15577 vsize=26103420 memory=11931 CPUtime=0 cores=0-7 /proc/15580/task/15583/stat : 15583 (java) S 15577 15580 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 10762 33554432000 4194304 4196468 140728374280416 140097644157584 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15584] ppid=15577 vsize=26103420 memory=288370239384602240 CPUtime=0 cores=0-7 /proc/15580/task/15584/stat : 15584 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 10762 33554432000 4194304 4196468 140728374280416 140097643104784 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15585] ppid=15577 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/15580/task/15585/stat : 15585 (java) S 15577 15580 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 10762 33554432000 4194304 4196468 140728374280416 140097642051984 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15586] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15586/stat : 15586 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 10762 33554432000 4194304 4196468 140728374280416 140097640999184 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15587] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15587/stat : 15587 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 10762 33554432000 4194304 4196468 140728374280416 140097639947408 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15588] ppid=15577 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/15580/task/15588/stat : 15588 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 10762 33554432000 4194304 4196468 140728374280416 140097638894608 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15589] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15589/stat : 15589 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 10762 33554432000 4194304 4196468 140728374280416 140097637841808 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15590] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15590/stat : 15590 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 10762 33554432000 4194304 4196468 140728374280416 140097636789008 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15591] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15591/stat : 15591 (java) S 15577 15580 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255323858 26729902080 10762 33554432000 4194304 4196468 140728374280416 140096806799728 140098085448322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15592] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15592/stat : 15592 (java) S 15577 15580 14389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255323858 26729902080 10762 33554432000 4194304 4196468 140728374280416 140096805745696 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15593] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15593/stat : 15593 (java) S 15577 15580 14389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255323859 26729902080 10762 33554432000 4194304 4196468 140728374280416 140096804692848 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15594] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15594/stat : 15594 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323861 26729902080 10762 33554432000 4194304 4196468 140728374280416 140096803641168 140098085455771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15595] ppid=15577 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/15580/task/15595/stat : 15595 (java) S 15577 15580 14389 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 20 0 255323861 26729902080 10762 33554432000 4194304 4196468 140728374280416 140096802589552 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15596] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15596/stat : 15596 (java) S 15577 15580 14389 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 255323861 26729902080 10762 33554432000 4194304 4196468 140728374280416 140096801536752 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15597] ppid=15577 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/15580/task/15597/stat : 15597 (java) S 15577 15580 14389 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 20 0 255323861 26729902080 10762 33554432000 4194304 4196468 140728374280416 140096687860336 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15598] ppid=15577 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/15580/task/15598/stat : 15598 (java) R 15577 15580 14389 0 -1 4202560 314 0 0 0 6 0 0 0 20 0 20 0 255323861 26729902080 10762 33554432000 4194304 4196468 140728374280416 140096686803264 140098069517662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15599] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15599/stat : 15599 (java) S 15577 15580 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255323861 26729902080 10762 33554432000 4194304 4196468 140728374280416 140096685754976 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15600] ppid=15577 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/15580/task/15600/stat : 15600 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323862 26729902080 10762 33554432000 4194304 4196468 140728374280416 140096684702256 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 43048 KiB [startup+0.309594 s]* /proc/loadavg: 8.74 8.81 8.75 2/199 15600 /proc/meminfo: memFree=23999172/32770624 swapFree=67108500/67108860 [pid=15580] ppid=15577 vsize=26103420 memory=46840 CPUtime=0.43 cores=0-7 /proc/15580/stat : 15580 (java) S 15577 15580 14389 0 -1 1077944320 10836 0 0 0 41 2 0 0 20 0 20 0 255323855 26729902080 11710 33554432000 4194304 4196468 140728374280416 140728374262960 140098085437175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 /proc/15580/statm: 6525855 11710 3382 1 0 6487932 0 [pid=15580/tid=15582] ppid=15577 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15580/task/15582/stat : 15582 (java) R 15577 15580 14389 0 -1 4202560 8526 0 0 0 28 1 0 0 20 0 20 0 255323856 26729902080 11710 33554432000 4194304 4196468 140728374280416 140098089598912 140098065713003 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15583] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15583/stat : 15583 (java) S 15577 15580 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 11710 33554432000 4194304 4196468 140728374280416 140097644157584 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15584] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15584/stat : 15584 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 11710 33554432000 4194304 4196468 140728374280416 140097643104784 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15585] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15585/stat : 15585 (java) S 15577 15580 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 11710 33554432000 4194304 4196468 140728374280416 140097642051984 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15586] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15586/stat : 15586 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 11710 33554432000 4194304 4196468 140728374280416 140097640999184 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15587] ppid=15577 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/15580/task/15587/stat : 15587 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 11710 33554432000 4194304 4196468 140728374280416 140097639947408 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15588] ppid=15577 vsize=26103420 memory=139863127061423 CPUtime=0 cores=0-7 /proc/15580/task/15588/stat : 15588 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 11710 33554432000 4194304 4196468 140728374280416 140097638894608 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15589] ppid=15577 vsize=26103420 memory=139863127063728 CPUtime=0 cores=0-7 /proc/15580/task/15589/stat : 15589 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 11710 33554432000 4194304 4196468 140728374280416 140097637841808 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15590] ppid=15577 vsize=26103420 memory=139863127066032 CPUtime=0 cores=0-7 /proc/15580/task/15590/stat : 15590 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26729902080 11710 33554432000 4194304 4196468 140728374280416 140097636789008 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15591] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15591/stat : 15591 (java) S 15577 15580 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255323858 26729902080 11710 33554432000 4194304 4196468 140728374280416 140096806799728 140098085448322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15592] ppid=15577 vsize=26103420 memory=279726254139024 CPUtime=0 cores=0-7 /proc/15580/task/15592/stat : 15592 (java) S 15577 15580 14389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255323858 26729902080 11710 33554432000 4194304 4196468 140728374280416 140096805745696 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15593] ppid=15577 vsize=26103420 memory=279726254145936 CPUtime=0 cores=0-7 /proc/15580/task/15593/stat : 15593 (java) S 15577 15580 14389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255323859 26729902080 11710 33554432000 4194304 4196468 140728374280416 140096804692848 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15594] ppid=15577 vsize=26103420 memory=279726254087216 CPUtime=0 cores=0-7 /proc/15580/task/15594/stat : 15594 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323861 26729902080 11710 33554432000 4194304 4196468 140728374280416 140096803641168 140098085455771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15595] ppid=15577 vsize=26103420 memory=279726254159760 CPUtime=0.02 cores=0-7 /proc/15580/task/15595/stat : 15595 (java) S 15577 15580 14389 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 20 0 255323861 26729902080 11710 33554432000 4194304 4196468 140728374280416 140096802589552 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15596] ppid=15577 vsize=26103420 memory=279726254166672 CPUtime=0 cores=0-7 /proc/15580/task/15596/stat : 15596 (java) S 15577 15580 14389 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 255323861 26729902080 11710 33554432000 4194304 4196468 140728374280416 140096801536752 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15597] ppid=15577 vsize=26103420 memory=279726254164368 CPUtime=0.01 cores=0-7 /proc/15580/task/15597/stat : 15597 (java) S 15577 15580 14389 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 20 0 255323861 26729902080 11710 33554432000 4194304 4196468 140728374280416 140096687860336 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15598] ppid=15577 vsize=26103420 memory=279726254180976 CPUtime=0.07 cores=0-7 /proc/15580/task/15598/stat : 15598 (java) S 15577 15580 14389 0 -1 1077944384 331 0 0 0 7 0 0 0 20 0 20 0 255323861 26729902080 11710 33554432000 4194304 4196468 140728374280416 140096686807536 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15599] ppid=15577 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15599/stat : 15599 (java) S 15577 15580 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255323861 26729902080 11710 33554432000 4194304 4196468 140728374280416 140096685754976 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15600] ppid=15577 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/15580/task/15600/stat : 15600 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323862 26729902080 11710 33554432000 4194304 4196468 140728374280416 140096684702256 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46840 KiB [startup+0.700884 s] /proc/loadavg: 8.74 8.81 8.75 3/199 15600 /proc/meminfo: memFree=23975484/32770624 swapFree=67108500/67108860 [pid=15580] ppid=15577 vsize=26105488 memory=87492 CPUtime=0.99 cores=0-7 /proc/15580/stat : 15580 (java) S 15577 15580 14389 0 -1 1077944320 17846 0 0 0 95 4 0 0 20 0 20 0 255323855 26732019712 21873 33554432000 4194304 4196468 140728374280416 140728374262960 140098085437175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 /proc/15580/statm: 6526372 21873 3499 1 0 6488444 0 [pid=15580/tid=15582] ppid=15577 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7 /proc/15580/task/15582/stat : 15582 (java) R 15577 15580 14389 0 -1 4202560 15027 0 0 0 64 3 0 0 20 0 20 0 255323856 26732019712 21873 33554432000 4194304 4196468 140728374280416 140098089661344 140098085459101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15583] ppid=15577 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15583/stat : 15583 (java) S 15577 15580 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255323857 26732019712 21873 33554432000 4194304 4196468 140728374280416 140097644157584 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15584] ppid=15577 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15584/stat : 15584 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26732019712 21873 33554432000 4194304 4196468 140728374280416 140097643104784 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15585] ppid=15577 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/15580/task/15585/stat : 15585 (java) S 15577 15580 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255323857 26732019712 21873 33554432000 4194304 4196468 140728374280416 140097642051984 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15586] ppid=15577 vsize=26105488 memory=6388 CPUtime=0 cores=0-7 /proc/15580/task/15586/stat : 15586 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26732019712 21873 33554432000 4194304 4196468 140728374280416 140097640999184 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15587] ppid=15577 vsize=26105488 memory=864 CPUtime=0 cores=0-7 /proc/15580/task/15587/stat : 15587 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26732019712 21873 33554432000 4194304 4196468 140728374280416 140097639947408 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15588] ppid=15577 vsize=26105488 memory=1296 CPUtime=0 cores=0-7 /proc/15580/task/15588/stat : 15588 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26732019712 21873 33554432000 4194304 4196468 140728374280416 140097638894608 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15589] ppid=15577 vsize=26105488 memory=1068 CPUtime=0 cores=0-7 /proc/15580/task/15589/stat : 15589 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26732019712 21873 33554432000 4194304 4196468 140728374280416 140097637841808 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15590] ppid=15577 vsize=26105488 memory=15084 CPUtime=0 cores=0-7 /proc/15580/task/15590/stat : 15590 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255323857 26732019712 21873 33554432000 4194304 4196468 140728374280416 140097636789008 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15591] ppid=15577 vsize=26105488 memory=39232 CPUtime=0 cores=0-7 /proc/15580/task/15591/stat : 15591 (java) S 15577 15580 14389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255323858 26732019712 21873 33554432000 4194304 4196468 140728374280416 140096806799728 140098085448322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 ################ # More data... # ################ /proc/15580/task/15588/stat : 15588 (java) S 15577 15580 14389 0 -1 1077944384 160975 0 0 0 821 51 0 0 20 0 38 0 255323857 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140097638894608 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15589] ppid=15577 vsize=27318012 memory=15084 CPUtime=8.71 cores=0-7 /proc/15580/task/15589/stat : 15589 (java) S 15577 15580 14389 0 -1 1077944384 175369 0 0 0 815 56 0 0 20 0 38 0 255323857 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140097637841808 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15590] ppid=15577 vsize=27318012 memory=39276 CPUtime=8.71 cores=0-7 /proc/15580/task/15590/stat : 15590 (java) S 15577 15580 14389 0 -1 1077944384 181363 0 0 0 815 56 0 0 20 0 38 0 255323857 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140097636789008 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15591] ppid=15577 vsize=27318012 memory=13468 CPUtime=6.9 cores=0-7 /proc/15580/task/15591/stat : 15591 (java) S 15577 15580 14389 0 -1 1077944384 251131 0 0 0 601 89 0 0 20 0 38 0 255323858 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096806799728 140098085448322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15592] ppid=15577 vsize=27318012 memory=3356 CPUtime=0 cores=0-7 /proc/15580/task/15592/stat : 15592 (java) S 15577 15580 14389 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 38 0 255323858 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096805745760 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15593] ppid=15577 vsize=27318012 memory=1408 CPUtime=0 cores=0-7 /proc/15580/task/15593/stat : 15593 (java) S 15577 15580 14389 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 38 0 255323859 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096804692864 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15594] ppid=15577 vsize=27318012 memory=4268 CPUtime=0 cores=0-7 /proc/15580/task/15594/stat : 15594 (java) S 15577 15580 14389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 38 0 255323861 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096803641168 140098085455771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15595] ppid=15577 vsize=27318012 memory=4108224 CPUtime=1.71 cores=0-7 /proc/15580/task/15595/stat : 15595 (java) S 15577 15580 14389 0 -1 1077944384 6081 0 0 0 168 3 0 0 20 0 38 0 255323861 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096802589552 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15596] ppid=15577 vsize=27318012 memory=6791534058613427641 CPUtime=1.66 cores=0-7 /proc/15580/task/15596/stat : 15596 (java) S 15577 15580 14389 0 -1 1077944384 5084 0 0 0 165 1 0 0 20 0 38 0 255323861 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096801536752 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15597] ppid=15577 vsize=27318012 memory=4872558044660077418 CPUtime=1.82 cores=0-7 /proc/15580/task/15597/stat : 15597 (java) S 15577 15580 14389 0 -1 1077944384 12540 0 0 0 179 3 0 0 20 0 38 0 255323861 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096687860336 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15598] ppid=15577 vsize=27318012 memory=15084 CPUtime=1.14 cores=0-7 /proc/15580/task/15598/stat : 15598 (java) S 15577 15580 14389 0 -1 1077944384 10699 0 0 0 112 2 0 0 20 0 38 0 255323861 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096686807536 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15599] ppid=15577 vsize=27318012 memory=39276 CPUtime=0 cores=0-7 /proc/15580/task/15599/stat : 15599 (java) S 15577 15580 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 38 0 255323861 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096685754976 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15600] ppid=15577 vsize=27318012 memory=13468 CPUtime=0.74 cores=0-7 /proc/15580/task/15600/stat : 15600 (java) S 15577 15580 14389 0 -1 1077944384 13116 0 0 0 38 36 0 0 20 0 38 0 255323862 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096684702256 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15601] ppid=15577 vsize=27318012 memory=3356 CPUtime=0 cores=0-7 /proc/15580/task/15601/stat : 15601 (java) S 15577 15580 14389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 38 0 255324352 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096673358464 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15602] ppid=15577 vsize=27318012 memory=492 CPUtime=1.96 cores=0-7 /proc/15580/task/15602/stat : 15602 (java) S 15577 15580 14389 0 -1 1077944384 26574 0 0 0 60 136 0 0 20 0 38 0 255324418 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096670208800 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15603] ppid=15577 vsize=27318012 memory=1616 CPUtime=2479.51 cores=0-7 /proc/15580/task/15603/stat : 15603 (java) R 15577 15580 14389 0 -1 4202560 82966 0 0 0 247890 61 0 0 20 0 38 0 255324435 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096667053712 140097698496847 0 4 0 16800975 0 0 0 -1 0 0 0 40 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15604] ppid=15577 vsize=27318012 memory=1820 CPUtime=0.05 cores=0-7 /proc/15580/task/15604/stat : 15604 (java) S 15577 15580 14389 0 -1 1077944384 115 0 0 0 5 0 0 0 20 0 38 0 255324436 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096598697376 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15605] ppid=15577 vsize=27318012 memory=4296 CPUtime=0.03 cores=0-7 /proc/15580/task/15605/stat : 15605 (java) S 15577 15580 14389 0 -1 1077944384 56 0 0 0 3 0 0 0 20 0 38 0 255324436 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096597644576 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15606] ppid=15577 vsize=27318012 memory=3480 CPUtime=2479.02 cores=0-7 /proc/15580/task/15606/stat : 15606 (java) R 15577 15580 14389 0 -1 4202560 82737 0 0 0 247844 58 0 0 20 0 38 0 255324443 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096594487192 140097698497065 0 4 0 16800975 0 0 0 -1 1 0 0 48 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15607] ppid=15577 vsize=27318012 memory=1228 CPUtime=2477.63 cores=0-7 /proc/15580/task/15607/stat : 15607 (java) R 15577 15580 14389 0 -1 4202560 120995 0 0 0 247685 78 0 0 20 0 38 0 255324443 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096593437040 140097698241581 0 4 0 16800975 0 0 0 -1 6 0 0 35 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15608] ppid=15577 vsize=27318012 memory=10212 CPUtime=2480.74 cores=0-7 /proc/15580/task/15608/stat : 15608 (java) R 15577 15580 14389 0 -1 4202560 85093 0 0 0 248017 57 0 0 20 0 38 0 255324443 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096592381904 140097693443751 0 4 0 16800975 0 0 0 -1 5 0 0 46 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15609] ppid=15577 vsize=27318012 memory=1612 CPUtime=0.02 cores=0-7 /proc/15580/task/15609/stat : 15609 (java) S 15577 15580 14389 0 -1 1077944384 56 0 0 0 2 0 0 0 20 0 38 0 255324443 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096591336224 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15610] ppid=15577 vsize=27318012 memory=6388 CPUtime=2479.99 cores=0-7 /proc/15580/task/15610/stat : 15610 (java) R 15577 15580 14389 0 -1 4202560 91838 0 0 0 247939 60 0 0 20 0 38 0 255324443 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096590275992 140097698239488 0 4 0 16800975 0 0 0 -1 3 0 0 40 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15611] ppid=15577 vsize=27318012 memory=864 CPUtime=0.04 cores=0-7 /proc/15580/task/15611/stat : 15611 (java) S 15577 15580 14389 0 -1 1077944384 85 0 0 0 4 0 0 0 20 0 38 0 255324443 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096589231648 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15612] ppid=15577 vsize=27318012 memory=1296 CPUtime=2479.79 cores=0-7 /proc/15580/task/15612/stat : 15612 (java) R 15577 15580 14389 0 -1 4202560 78794 0 0 0 247915 64 0 0 20 0 38 0 255324444 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096588171416 140097698240767 0 4 0 16800975 0 0 0 -1 7 0 0 39 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15613] ppid=15577 vsize=27318012 memory=1068 CPUtime=2478.89 cores=0-7 /proc/15580/task/15613/stat : 15613 (java) R 15577 15580 14389 0 -1 4202560 89871 0 0 0 247829 60 0 0 20 0 38 0 255324446 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096587120368 140097698497060 0 4 0 16800975 0 0 0 -1 4 0 0 45 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15614] ppid=15577 vsize=27318012 memory=15084 CPUtime=2480.18 cores=0-7 /proc/15580/task/15614/stat : 15614 (java) R 15577 15580 14389 0 -1 4202560 84280 0 0 0 247957 61 0 0 20 0 38 0 255324451 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096586065816 140097698241570 0 4 0 16800975 0 0 0 -1 2 0 0 40 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15615] ppid=15577 vsize=27318012 memory=39276 CPUtime=0 cores=0-7 /proc/15580/task/15615/stat : 15615 (java) S 15577 15580 14389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 255324451 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096585020448 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15616] ppid=15577 vsize=27318012 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/15580/task/15616/stat : 15616 (java) S 15577 15580 14389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 255324452 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096583967648 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15617] ppid=15577 vsize=27318012 memory=2108 CPUtime=0 cores=0-7 /proc/15580/task/15617/stat : 15617 (java) S 15577 15580 14389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 255324452 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096582914848 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15618] ppid=15577 vsize=27318012 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/15580/task/15618/stat : 15618 (java) S 15577 15580 14389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 255324452 27973644288 1026928 33554432000 4194304 4196468 140728374280416 140096581862048 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 Current children cumulated CPU time: 19927 s Current children cumulated vsize: 27318012 KiB Current children cumulated memory: 4107712 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.19 s] # the end of solver process 15580 was just reported to runsolver # cumulated CPU time of all completed processes: user=19917.7 s, system=10.4312 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.12 s] /proc/loadavg: 8.52 8.62 8.68 9/217 15677 /proc/meminfo: memFree=19927104/32770624 swapFree=67108500/67108860 [pid=15580] ppid=15577 vsize=27650832 memory=4108432 CPUtime=19927.8 cores=0-7 /proc/15580/stat : 15580 (java) S 15577 15580 14389 0 -1 1077944320 2372749 0 0 0 1991739 1040 0 0 20 0 43 0 255323855 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140728374262960 140098085437175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 /proc/15580/statm: 6912708 1027108 3617 1 0 6874259 0 [pid=15580/tid=15582] ppid=15577 vsize=27650832 memory=4107712 CPUtime=5.26 cores=0-7 /proc/15580/task/15582/stat : 15582 (java) S 15577 15580 14389 0 -1 1077944384 22809 0 0 0 512 14 0 0 20 0 43 0 255323856 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140098089674640 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15583] ppid=15577 vsize=27650832 memory=4109252 CPUtime=8.69 cores=0-7 /proc/15580/task/15583/stat : 15583 (java) S 15577 15580 14389 0 -1 1077944384 146513 0 0 0 819 50 0 0 20 0 43 0 255323857 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140097644157584 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15584] ppid=15577 vsize=27650832 memory=4109764 CPUtime=8.69 cores=0-7 /proc/15580/task/15584/stat : 15584 (java) S 15577 15580 14389 0 -1 1077944384 159769 0 0 0 814 55 0 0 20 0 43 0 255323857 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140097643104784 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15585] ppid=15577 vsize=27650832 memory=4109764 CPUtime=8.63 cores=0-7 /proc/15580/task/15585/stat : 15585 (java) S 15577 15580 14389 0 -1 1077944384 159727 0 0 0 815 48 0 0 20 0 43 0 255323857 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140097642051984 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15586] ppid=15577 vsize=27650832 memory=4107712 CPUtime=8.7 cores=0-7 /proc/15580/task/15586/stat : 15586 (java) S 15577 15580 14389 0 -1 1077944384 159556 0 0 0 814 56 0 0 20 0 43 0 255323857 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140097640999184 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15587] ppid=15577 vsize=27650832 memory=240553 CPUtime=8.76 cores=0-7 /proc/15580/task/15587/stat : 15587 (java) S 15577 15580 14389 0 -1 1077944384 158388 0 0 0 821 55 0 0 20 0 43 0 255323857 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140097639947408 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15588] ppid=15577 vsize=27650832 memory=4108224 CPUtime=8.72 cores=0-7 /proc/15580/task/15588/stat : 15588 (java) S 15577 15580 14389 0 -1 1077944384 160975 0 0 0 821 51 0 0 20 0 43 0 255323857 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140097638894608 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15589] ppid=15577 vsize=27650832 memory=4109764 CPUtime=8.71 cores=0-7 /proc/15580/task/15589/stat : 15589 (java) S 15577 15580 14389 0 -1 1077944384 175369 0 0 0 815 56 0 0 20 0 43 0 255323857 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140097637841808 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15590] ppid=15577 vsize=27650832 memory=279726257086640 CPUtime=8.71 cores=0-7 /proc/15580/task/15590/stat : 15590 (java) S 15577 15580 14389 0 -1 1077944384 181418 0 0 0 815 56 0 0 20 0 43 0 255323857 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140097636789008 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15591] ppid=15577 vsize=27650832 memory=4109764 CPUtime=6.9 cores=0-7 /proc/15580/task/15591/stat : 15591 (java) R 15577 15580 14389 0 -1 4202560 251147 0 0 0 601 89 0 0 20 0 43 0 255323858 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096806799728 140098078154327 0 0 0 16800975 0 0 0 -1 4 0 0 43 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15592] ppid=15577 vsize=27650832 memory=7595693941375131736 CPUtime=0 cores=0-7 /proc/15580/task/15592/stat : 15592 (java) S 15577 15580 14389 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 43 0 255323858 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096805745760 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15593] ppid=15577 vsize=27650832 memory=4119512 CPUtime=0 cores=0-7 /proc/15580/task/15593/stat : 15593 (java) S 15577 15580 14389 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 43 0 255323859 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096804692864 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15594] ppid=15577 vsize=27650832 memory=3356 CPUtime=0 cores=0-7 /proc/15580/task/15594/stat : 15594 (java) S 15577 15580 14389 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 43 0 255323861 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096803641168 140098085455771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15595] ppid=15577 vsize=27650832 memory=4109764 CPUtime=1.71 cores=0-7 /proc/15580/task/15595/stat : 15595 (java) S 15577 15580 14389 0 -1 1077944384 6088 0 0 0 168 3 0 0 20 0 43 0 255323861 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096802589552 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15596] ppid=15577 vsize=27650832 memory=2132 CPUtime=1.66 cores=0-7 /proc/15580/task/15596/stat : 15596 (java) S 15577 15580 14389 0 -1 1077944384 5084 0 0 0 165 1 0 0 20 0 43 0 255323861 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096801536752 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15597] ppid=15577 vsize=27650832 memory=279726257072384 CPUtime=1.82 cores=0-7 /proc/15580/task/15597/stat : 15597 (java) S 15577 15580 14389 0 -1 1077944384 12773 0 0 0 179 3 0 0 20 0 43 0 255323861 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096687860336 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15598] ppid=15577 vsize=27650832 memory=0 CPUtime=1.14 cores=0-7 /proc/15580/task/15598/stat : 15598 (java) S 15577 15580 14389 0 -1 1077944384 11955 0 0 0 112 2 0 0 20 0 43 0 255323861 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096686807536 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15599] ppid=15577 vsize=27650832 memory=932 CPUtime=0 cores=0-7 /proc/15580/task/15599/stat : 15599 (java) S 15577 15580 14389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 255323861 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096685754976 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15600] ppid=15577 vsize=27650832 memory=1168 CPUtime=0.74 cores=0-7 /proc/15580/task/15600/stat : 15600 (java) S 15577 15580 14389 0 -1 1077944384 13116 0 0 0 38 36 0 0 20 0 43 0 255323862 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096684702256 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15601] ppid=15577 vsize=27650832 memory=4109764 CPUtime=0 cores=0-7 /proc/15580/task/15601/stat : 15601 (java) S 15577 15580 14389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 43 0 255324352 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096673358464 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15602] ppid=15577 vsize=27650832 memory=4109764 CPUtime=1.97 cores=0-7 /proc/15580/task/15602/stat : 15602 (java) S 15577 15580 14389 0 -1 1077944384 26581 0 0 0 60 137 0 0 20 0 43 0 255324418 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096670208688 140098085448322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15603] ppid=15577 vsize=27650832 memory=4109764 CPUtime=2479.62 cores=0-7 /proc/15580/task/15603/stat : 15603 (java) S 15577 15580 14389 0 -1 1077944384 82969 0 0 0 247901 61 0 0 20 0 43 0 255324435 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096667053712 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15604] ppid=15577 vsize=27650832 memory=4109764 CPUtime=0.06 cores=0-7 /proc/15580/task/15604/stat : 15604 (java) S 15577 15580 14389 0 -1 1077944384 230 0 0 0 6 0 0 0 20 0 43 0 255324436 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096598697392 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15605] ppid=15577 vsize=27650832 memory=4109764 CPUtime=0.03 cores=0-7 /proc/15580/task/15605/stat : 15605 (java) S 15577 15580 14389 0 -1 1077944384 85 0 0 0 3 0 0 0 20 0 43 0 255324436 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096597637296 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15606] ppid=15577 vsize=27650832 memory=4109764 CPUtime=2479.1 cores=0-7 /proc/15580/task/15606/stat : 15606 (java) S 15577 15580 14389 0 -1 1077944384 82741 0 0 0 247852 58 0 0 20 0 43 0 255324443 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096594488592 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15607] ppid=15577 vsize=27650832 memory=4108740 CPUtime=2477.74 cores=0-7 /proc/15580/task/15607/stat : 15607 (java) R 15577 15580 14389 0 -1 4202560 120995 0 0 0 247696 78 0 0 20 0 43 0 255324443 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096593434256 140098085449110 0 4 0 16800975 0 0 0 -1 2 0 0 35 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15608] ppid=15577 vsize=27650832 memory=4108740 CPUtime=2480.84 cores=0-7 /proc/15580/task/15608/stat : 15608 (java) R 15577 15580 14389 0 -1 4202560 85095 0 0 0 248027 57 0 0 20 0 43 0 255324443 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096592382992 140097698407039 0 4 0 16800975 0 0 0 -1 5 0 0 46 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15609] ppid=15577 vsize=27650832 memory=4109764 CPUtime=0.03 cores=0-7 /proc/15580/task/15609/stat : 15609 (java) S 15577 15580 14389 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 43 0 255324443 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096591336240 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15610] ppid=15577 vsize=27650832 memory=4108224 CPUtime=2480.09 cores=0-7 /proc/15580/task/15610/stat : 15610 (java) R 15577 15580 14389 0 -1 4202560 91839 0 0 0 247949 60 0 0 20 0 43 0 255324443 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096590275472 140097697516659 0 4 0 16800975 0 0 0 -1 0 0 0 40 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15611] ppid=15577 vsize=27650832 memory=4296 CPUtime=0.04 cores=0-7 /proc/15580/task/15611/stat : 15611 (java) R 15577 15580 14389 0 -1 4202560 116 0 0 0 4 0 0 0 20 0 43 0 255324443 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096589223040 140097691350056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15612] ppid=15577 vsize=27650832 memory=4108740 CPUtime=2479.88 cores=0-7 /proc/15580/task/15612/stat : 15612 (java) S 15577 15580 14389 0 -1 1077944384 78797 0 0 0 247924 64 0 0 20 0 43 0 255324444 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096588173280 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15613] ppid=15577 vsize=27650832 memory=2132 CPUtime=2478.97 cores=0-7 /proc/15580/task/15613/stat : 15613 (java) R 15577 15580 14389 0 -1 4202560 89872 0 0 0 247837 60 0 0 20 0 43 0 255324446 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096587118928 140097693434487 0 4 0 16800975 0 0 0 -1 3 0 0 45 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15614] ppid=15577 vsize=27650832 memory=1752 CPUtime=2480.28 cores=0-7 /proc/15580/task/15614/stat : 15614 (java) S 15577 15580 14389 0 -1 1077944384 84283 0 0 0 247967 61 0 0 20 0 43 0 255324451 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096586067216 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15615] ppid=15577 vsize=27650832 memory=4108224 CPUtime=0.01 cores=0-7 /proc/15580/task/15615/stat : 15615 (java) R 15577 15580 14389 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 43 0 255324451 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096585010896 140098085447381 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15616] ppid=15577 vsize=27650832 memory=4109764 CPUtime=0 cores=0-7 /proc/15580/task/15616/stat : 15616 (java) R 15577 15580 14389 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 43 0 255324452 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096583961872 140098042069373 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15617] ppid=15577 vsize=27650832 memory=1116 CPUtime=0 cores=0-7 /proc/15580/task/15617/stat : 15617 (java) S 15577 15580 14389 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 43 0 255324452 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096582910816 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 [pid=15580/tid=15618] ppid=15577 vsize=27650832 memory=4109764 CPUtime=0 cores=0-7 /proc/15580/task/15618/stat : 15618 (java) S 15577 15580 14389 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 43 0 255324452 28314451968 1027108 33554432000 4194304 4196468 140728374280416 140096581862064 140098085447381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140728374285389 140728374285573 140728374285573 140728374288335 0 Current children cumulated CPU time: 19927.8 s Current children cumulated vsize: 27650832 KiB Current children cumulated memory: 4108432 KiB Child status: 143 Real time (s): 2520.19 CPU time (s): 19928.1 CPU user time (s): 19917.7 CPU system time (s): 10.4312 CPU usage (%): 790.739 Max. virtual memory (cumulated for all children) (KiB): 27650832 Max. memory (cumulated for all children) (KiB): 4218436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19917.7 system time used= 10.4312 maximum resident set size= 4218436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2373083 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4888 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 746903 involuntary context switches= 434235 # summary of solver processes directly reported to runsolver: # pid: 15580 # total CPU time (s): 19928.1 # total CPU user time (s): 19917.7 # total CPU system time (s): 10.4312 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.6307 second user time and 32.2214 second system time The end
Begin job on node104 at 2018-08-16 02:00:07 IDJOB=4308924 IDBENCH=141353 IDSOLVER=2793 FILE ID=node104/4308924-1534377607 RUNJOBID= node104-1534372381-14416 PBS_JOBID= 21038285 Free space on /tmp= 44476 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/TemplateDesign/TemplateDesign-m1-herbs_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-4308924-1534377607/watcher-4308924-1534377607 -o /tmp/evaluation-result-4308924-1534377607/solver-4308924-1534377607 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1534372381-14416 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1453443939 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308924-1534377607.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c28699084a36c5d45188c7cead550bcc RANDOM SEED=1453443939 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: 24033128 kB MemAvailable: 31893900 kB Buffers: 187372 kB Cached: 7897684 kB SwapCached: 4 kB Active: 4023132 kB Inactive: 4116656 kB Active(anon): 5740 kB Inactive(anon): 109520 kB Active(file): 4017392 kB Inactive(file): 4007136 kB Unevictable: 7320 kB Mlocked: 7320 kB SwapTotal: 67108860 kB SwapFree: 67108500 kB Dirty: 35952 kB Writeback: 0 kB AnonPages: 98964 kB Mapped: 56140 kB Shmem: 57828 kB Slab: 292860 kB SReclaimable: 264704 kB SUnreclaim: 28156 kB KernelStack: 3824 kB PageTables: 4524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 359104 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 43008 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= 44440 MiB End job on node104 at 2018-08-16 02:42:07