Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | ? (TO) | 19949.9 | 2520.32 |
Name | MagicHexagon/ MagicHexagon-06-0010_c18.xml |
MD5SUM | a4a3304b5e9aae9c2bcc59fc5ef6ae6f |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 121 |
Number of constraints | 40 |
Number of domains | 1 |
Minimum domain size | 91 |
Maximum domain size | 91 |
Distribution of domain sizes | [{"size":91,"count":91}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":30},{"degree":4,"count":85},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 91 |
Distribution of constraint arities | [{"arity":2,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":3},{"arity":91,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 6 |
Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":33}] |
Optimization problem | NO |
Type of objective |
0.66/0.55 c version: 2018-08-14 0.66/0.55 c seed: 1690608684 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... 1.19/0.87 c Parsing done, starting search... 19947.54/2520.09 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 (9777 MiB free) memory of node 1: 16384 MiB (12824 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309043-1534390777/watcher-4309043-1534390777 -o /tmp/evaluation-result-4309043-1534390777/solver-4309043-1534390777 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1534383619-30626 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1690608684 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309043-1534390777.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=31253, runsolver pid=31250 Current StackSize limit: 8192 KiB [startup+0.10015 s]* /proc/loadavg: 0.72 1.56 4.35 3/198 31273 /proc/meminfo: memFree=23126500/32770624 swapFree=67108688/67108860 [pid=31253] ppid=31250 vsize=26103420 memory=30852 CPUtime=0.11 cores=0-7 /proc/31253/stat : 31253 (java) S 31250 31253 30599 0 -1 1077944320 6618 0 0 0 10 1 0 0 20 0 20 0 256640570 26729902080 7713 33554432000 4194304 4196468 140736867392512 140736867375056 139763607351031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 /proc/31253/statm: 6525855 7713 3135 1 0 6487932 0 [pid=31253/tid=31255] ppid=31250 vsize=26103420 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/31253/task/31255/stat : 31255 (java) R 31250 31253 30599 0 -1 4202560 4699 0 0 0 8 0 0 0 20 0 20 0 256640570 26729902080 7713 33554432000 4194304 4196468 140736867392512 139763611576720 139763592516584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31256] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31256/stat : 31256 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 7713 33554432000 4194304 4196468 140736867392512 139763559971344 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31257] ppid=31250 vsize=26103420 memory=139699073574528 CPUtime=0 cores=0-7 /proc/31253/task/31257/stat : 31257 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 7713 33554432000 4194304 4196468 140736867392512 139763558918800 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31258] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31258/stat : 31258 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 7713 33554432000 4194304 4196468 140736867392512 139763557865744 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31259] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31259/stat : 31259 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 7713 33554432000 4194304 4196468 140736867392512 139763556813200 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31260] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31260/stat : 31260 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 7713 33554432000 4194304 4196468 140736867392512 139763555761168 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31261] ppid=31250 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31253/task/31261/stat : 31261 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 7713 33554432000 4194304 4196468 140736867392512 139763554708624 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31262] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31262/stat : 31262 (java) S 31250 31253 30599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 7713 33554432000 4194304 4196468 140736867392512 139763553655568 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31263] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31263/stat : 31263 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 7713 33554432000 4194304 4196468 140736867392512 139763552603024 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31264] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31264/stat : 31264 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640572 26729902080 7713 33554432000 4194304 4196468 140736867392512 139762668095728 139763607362178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31265] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31265/stat : 31265 (java) S 31250 31253 30599 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256640573 26729902080 7713 33554432000 4194304 4196468 140736867392512 139762667041952 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31266] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31266/stat : 31266 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640573 26729902080 7713 33554432000 4194304 4196468 140736867392512 139761876984560 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31267] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31267/stat : 31267 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640575 26729902080 7713 33554432000 4194304 4196468 140736867392512 139761875933136 139763607369627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31268] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31268/stat : 31268 (java) S 31250 31253 30599 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 256640575 26729902080 7713 33554432000 4194304 4196468 140736867392512 139761874881264 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31269] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31269/stat : 31269 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640575 26729902080 7713 33554432000 4194304 4196468 140736867392512 139761873828720 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31270] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31270/stat : 31270 (java) S 31250 31253 30599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256640575 26729902080 7713 33554432000 4194304 4196468 140736867392512 139761872775664 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31271] ppid=31250 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/31253/task/31271/stat : 31271 (java) S 31250 31253 30599 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 256640575 26729902080 7713 33554432000 4194304 4196468 140736867392512 139761871723120 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31272] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31272/stat : 31272 (java) S 31250 31253 30599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256640576 26729902080 7713 33554432000 4194304 4196468 140736867392512 139761870670304 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31273] ppid=31250 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31253/task/31273/stat : 31273 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640576 26729902080 7713 33554432000 4194304 4196468 140736867392512 139761869617840 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 30852 KiB [startup+0.209923 s]* /proc/loadavg: 0.72 1.56 4.35 4/198 31273 /proc/meminfo: memFree=23112548/32770624 swapFree=67108688/67108860 [pid=31253] ppid=31250 vsize=26103420 memory=45020 CPUtime=0.29 cores=0-7 /proc/31253/stat : 31253 (java) S 31250 31253 30599 0 -1 1077944320 10371 0 0 0 27 2 0 0 20 0 20 0 256640570 26729902080 11255 33554432000 4194304 4196468 140736867392512 140736867375056 139763607351031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 /proc/31253/statm: 6525855 11255 3323 1 0 6487932 0 [pid=31253/tid=31255] ppid=31250 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/31253/task/31255/stat : 31255 (java) R 31250 31253 30599 0 -1 4202560 8150 0 0 0 18 1 0 0 20 0 20 0 256640570 26729902080 11255 33554432000 4194304 4196468 140736867392512 139763611579552 139763591431518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31256] ppid=31250 vsize=26103420 memory=12944 CPUtime=0 cores=0-7 /proc/31253/task/31256/stat : 31256 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 11255 33554432000 4194304 4196468 140736867392512 139763559971344 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31257] ppid=31250 vsize=26103420 memory=288370075225286272 CPUtime=0 cores=0-7 /proc/31253/task/31257/stat : 31257 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 11255 33554432000 4194304 4196468 140736867392512 139763558918800 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31258] ppid=31250 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31253/task/31258/stat : 31258 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 11255 33554432000 4194304 4196468 140736867392512 139763557865744 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31259] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31259/stat : 31259 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 11255 33554432000 4194304 4196468 140736867392512 139763556813200 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31260] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31260/stat : 31260 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 11255 33554432000 4194304 4196468 140736867392512 139763555761168 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31261] ppid=31250 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31253/task/31261/stat : 31261 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 11255 33554432000 4194304 4196468 140736867392512 139763554708624 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31262] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31262/stat : 31262 (java) S 31250 31253 30599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 11255 33554432000 4194304 4196468 140736867392512 139763553655568 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31263] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31263/stat : 31263 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 11255 33554432000 4194304 4196468 140736867392512 139763552603024 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31264] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31264/stat : 31264 (java) S 31250 31253 30599 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 256640572 26729902080 11255 33554432000 4194304 4196468 140736867392512 139762668095728 139763607362178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31265] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31265/stat : 31265 (java) S 31250 31253 30599 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256640573 26729902080 11255 33554432000 4194304 4196468 140736867392512 139762667041952 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31266] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31266/stat : 31266 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640573 26729902080 11255 33554432000 4194304 4196468 140736867392512 139761876984560 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31267] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31267/stat : 31267 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640575 26729902080 11255 33554432000 4194304 4196468 140736867392512 139761875933136 139763607369627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31268] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31268/stat : 31268 (java) S 31250 31253 30599 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 256640575 26729902080 11255 33554432000 4194304 4196468 140736867392512 139761874881264 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31269] ppid=31250 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/31253/task/31269/stat : 31269 (java) S 31250 31253 30599 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 256640575 26729902080 11255 33554432000 4194304 4196468 140736867392512 139761873828720 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31270] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31270/stat : 31270 (java) S 31250 31253 30599 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 256640575 26729902080 11255 33554432000 4194304 4196468 140736867392512 139761872775664 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31271] ppid=31250 vsize=26103420 memory=0 CPUtime=0.05 cores=0-7 /proc/31253/task/31271/stat : 31271 (java) R 31250 31253 30599 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 20 0 256640575 26729902080 11255 33554432000 4194304 4196468 140736867392512 139761871718384 139763586019301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31272] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31272/stat : 31272 (java) S 31250 31253 30599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256640576 26729902080 11255 33554432000 4194304 4196468 140736867392512 139761870670304 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31273] ppid=31250 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31253/task/31273/stat : 31273 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640576 26729902080 11255 33554432000 4194304 4196468 140736867392512 139761869617840 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 45020 KiB [startup+0.309262 s]* /proc/loadavg: 0.72 1.56 4.35 2/198 31273 /proc/meminfo: memFree=23108764/32770624 swapFree=67108688/67108860 [pid=31253] ppid=31250 vsize=26103420 memory=48792 CPUtime=0.42 cores=0-7 /proc/31253/stat : 31253 (java) S 31250 31253 30599 0 -1 1077944320 10834 0 0 0 40 2 0 0 20 0 20 0 256640570 26729902080 12198 33554432000 4194304 4196468 140736867392512 140736867375056 139763607351031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 /proc/31253/statm: 6525855 12198 3373 1 0 6487932 0 [pid=31253/tid=31255] ppid=31250 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/31253/task/31255/stat : 31255 (java) R 31250 31253 30599 0 -1 4202560 8504 0 0 0 28 1 0 0 20 0 20 0 256640570 26729902080 12198 33554432000 4194304 4196468 140736867392512 139763611560384 139763588914600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31256] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31256/stat : 31256 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 12198 33554432000 4194304 4196468 140736867392512 139763559971344 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31257] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31257/stat : 31257 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 12198 33554432000 4194304 4196468 140736867392512 139763558918800 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31258] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31258/stat : 31258 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 12198 33554432000 4194304 4196468 140736867392512 139763557865744 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31259] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31259/stat : 31259 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 12198 33554432000 4194304 4196468 140736867392512 139763556813200 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31260] ppid=31250 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/31253/task/31260/stat : 31260 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 12198 33554432000 4194304 4196468 140736867392512 139763555761168 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31261] ppid=31250 vsize=26103420 memory=139698911671215 CPUtime=0 cores=0-7 /proc/31253/task/31261/stat : 31261 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 12198 33554432000 4194304 4196468 140736867392512 139763554708624 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31262] ppid=31250 vsize=26103420 memory=139698911673520 CPUtime=0 cores=0-7 /proc/31253/task/31262/stat : 31262 (java) S 31250 31253 30599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 12198 33554432000 4194304 4196468 140736867392512 139763553655568 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31263] ppid=31250 vsize=26103420 memory=139698911675824 CPUtime=0 cores=0-7 /proc/31253/task/31263/stat : 31263 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26729902080 12198 33554432000 4194304 4196468 140736867392512 139763552603024 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31264] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31264/stat : 31264 (java) S 31250 31253 30599 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 256640572 26729902080 12198 33554432000 4194304 4196468 140736867392512 139762668095728 139763607362178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31265] ppid=31250 vsize=26103420 memory=279397823358608 CPUtime=0 cores=0-7 /proc/31253/task/31265/stat : 31265 (java) S 31250 31253 30599 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256640573 26729902080 12198 33554432000 4194304 4196468 140736867392512 139762667041952 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31266] ppid=31250 vsize=26103420 memory=279397823365520 CPUtime=0 cores=0-7 /proc/31253/task/31266/stat : 31266 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640573 26729902080 12198 33554432000 4194304 4196468 140736867392512 139761876984560 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31267] ppid=31250 vsize=26103420 memory=279397823306672 CPUtime=0 cores=0-7 /proc/31253/task/31267/stat : 31267 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640575 26729902080 12198 33554432000 4194304 4196468 140736867392512 139761875933136 139763607369627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31268] ppid=31250 vsize=26103420 memory=279397823379344 CPUtime=0.01 cores=0-7 /proc/31253/task/31268/stat : 31268 (java) S 31250 31253 30599 0 -1 1077944384 515 0 0 0 1 0 0 0 20 0 20 0 256640575 26729902080 12198 33554432000 4194304 4196468 140736867392512 139761874881264 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31269] ppid=31250 vsize=26103420 memory=279397823386256 CPUtime=0.01 cores=0-7 /proc/31253/task/31269/stat : 31269 (java) S 31250 31253 30599 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 256640575 26729902080 12198 33554432000 4194304 4196468 140736867392512 139761873828720 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31270] ppid=31250 vsize=26103420 memory=279397823383952 CPUtime=0 cores=0-7 /proc/31253/task/31270/stat : 31270 (java) S 31250 31253 30599 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 256640575 26729902080 12198 33554432000 4194304 4196468 140736867392512 139761872775664 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31271] ppid=31250 vsize=26103420 memory=279397823400560 CPUtime=0.07 cores=0-7 /proc/31253/task/31271/stat : 31271 (java) S 31250 31253 30599 0 -1 1077944384 341 0 0 0 7 0 0 0 20 0 20 0 256640575 26729902080 12198 33554432000 4194304 4196468 140736867392512 139761871723120 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31272] ppid=31250 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31272/stat : 31272 (java) S 31250 31253 30599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256640576 26729902080 12198 33554432000 4194304 4196468 140736867392512 139761870670304 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31273] ppid=31250 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31253/task/31273/stat : 31273 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640576 26729902080 12198 33554432000 4194304 4196468 140736867392512 139761869617840 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 48792 KiB [startup+0.700842 s] /proc/loadavg: 0.72 1.56 4.35 4/198 31273 /proc/meminfo: memFree=23085076/32770624 swapFree=67108688/67108860 [pid=31253] ppid=31250 vsize=26105488 memory=87652 CPUtime=0.97 cores=0-7 /proc/31253/stat : 31253 (java) S 31250 31253 30599 0 -1 1077944320 17779 0 0 0 93 4 0 0 20 0 20 0 256640570 26732019712 21913 33554432000 4194304 4196468 140736867392512 140736867375056 139763607351031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 /proc/31253/statm: 6526372 21913 3504 1 0 6488444 0 [pid=31253/tid=31255] ppid=31250 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7 /proc/31253/task/31255/stat : 31255 (java) R 31250 31253 30599 0 -1 4202560 14999 0 0 0 64 3 0 0 20 0 20 0 256640570 26732019712 21913 33554432000 4194304 4196468 140736867392512 139763611575200 139763591787886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31256] ppid=31250 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31256/stat : 31256 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26732019712 21913 33554432000 4194304 4196468 140736867392512 139763559971344 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31257] ppid=31250 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31257/stat : 31257 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640571 26732019712 21913 33554432000 4194304 4196468 140736867392512 139763558918800 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31258] ppid=31250 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/31253/task/31258/stat : 31258 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26732019712 21913 33554432000 4194304 4196468 140736867392512 139763557865744 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31259] ppid=31250 vsize=26105488 memory=4452 CPUtime=0 cores=0-7 /proc/31253/task/31259/stat : 31259 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640571 26732019712 21913 33554432000 4194304 4196468 140736867392512 139763556813200 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31260] ppid=31250 vsize=26105488 memory=3732 CPUtime=0 cores=0-7 /proc/31253/task/31260/stat : 31260 (java) S 31250 31253 30599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256640571 26732019712 21913 33554432000 4194304 4196468 140736867392512 139763555761168 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31261] ppid=31250 vsize=26105488 memory=12668 CPUtime=0 cores=0-7 /proc/31253/task/31261/stat : 31261 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26732019712 21913 33554432000 4194304 4196468 140736867392512 139763554708624 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31262] ppid=31250 vsize=26105488 memory=1072 CPUtime=0 cores=0-7 /proc/31253/task/31262/stat : 31262 (java) S 31250 31253 30599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256640571 26732019712 21913 33554432000 4194304 4196468 140736867392512 139763553655568 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31263] ppid=31250 vsize=26105488 memory=14888 CPUtime=0 cores=0-7 /proc/31253/task/31263/stat : 31263 (java) S 31250 31253 30599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256640571 26732019712 21913 33554432000 4194304 4196468 140736867392512 139763552603024 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31264] ppid=31250 vsize=26105488 memory=3316 CPUtime=0 cores=0-7 /proc/31253/task/31264/stat : 31264 (java) S 31250 31253 30599 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 256640572 26732019712 22425 33554432000 4194304 4196468 140736867392512 139762668095728 139763607362178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 ################ # More data... # ################ Current children cumulated vsize: 26985192 KiB Current children cumulated memory: 797532 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.32 s] # the end of solver process 31253 was just reported to runsolver # cumulated CPU time of all completed processes: user=19941.4 s, system=8.52916 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.2 s] /proc/loadavg: 8.29 8.56 8.40 12/212 31351 /proc/meminfo: memFree=22353824/32770624 swapFree=67108688/67108860 [pid=31253] ppid=31250 vsize=27385604 memory=798464 CPUtime=19949.1 cores=0-7 /proc/31253/stat : 31253 (java) S 31250 31253 30599 0 -1 1077944320 1675825 0 0 0 1994057 851 0 0 20 0 40 0 256640570 28042858496 199616 33554432000 4194304 4196468 140736867392512 140736867375056 139763607351031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 /proc/31253/statm: 6846401 199616 3609 1 0 6807952 0 [pid=31253/tid=31255] ppid=31250 vsize=27385604 memory=916 CPUtime=2.8 cores=0-7 /proc/31253/task/31255/stat : 31255 (java) S 31250 31253 30599 0 -1 1077944384 22811 0 0 0 273 7 0 0 20 0 40 0 256640570 28042858496 199616 33554432000 4194304 4196468 140736867392512 139763611588496 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31256] ppid=31250 vsize=27385604 memory=4160 CPUtime=6.99 cores=0-7 /proc/31253/task/31256/stat : 31256 (java) S 31250 31253 30599 0 -1 1077944384 94176 0 0 0 656 43 0 0 20 0 40 0 256640571 28042858496 199616 33554432000 4194304 4196468 140736867392512 139763559971344 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31257] ppid=31250 vsize=27385604 memory=4104 CPUtime=7.01 cores=0-7 /proc/31253/task/31257/stat : 31257 (java) S 31250 31253 30599 0 -1 1077944384 92252 0 0 0 661 40 0 0 20 0 40 0 256640571 28042858496 199616 33554432000 4194304 4196468 140736867392512 139763558918800 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31258] ppid=31250 vsize=27385604 memory=798556 CPUtime=6.94 cores=0-7 /proc/31253/task/31258/stat : 31258 (java) S 31250 31253 30599 0 -1 1077944384 102307 0 0 0 653 41 0 0 20 0 40 0 256640571 28042858496 199616 33554432000 4194304 4196468 140736867392512 139763557865744 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31259] ppid=31250 vsize=27385604 memory=798556 CPUtime=7 cores=0-7 /proc/31253/task/31259/stat : 31259 (java) S 31250 31253 30599 0 -1 1077944384 95639 0 0 0 659 41 0 0 20 0 40 0 256640571 28042858496 199616 33554432000 4194304 4196468 140736867392512 139763556813200 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31260] ppid=31250 vsize=27385604 memory=799584 CPUtime=7.05 cores=0-7 /proc/31253/task/31260/stat : 31260 (java) S 31250 31253 30599 0 -1 1077944384 98758 0 0 0 661 44 0 0 20 0 40 0 256640571 28042858496 199616 33554432000 4194304 4196468 140736867392512 139763555761168 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31261] ppid=31250 vsize=27385604 memory=0 CPUtime=6.95 cores=0-7 /proc/31253/task/31261/stat : 31261 (java) S 31250 31253 30599 0 -1 1077944384 84811 0 0 0 652 43 0 0 20 0 40 0 256640571 28042858496 199616 33554432000 4194304 4196468 140736867392512 139763554708624 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31262] ppid=31250 vsize=27385604 memory=6944656592455350634 CPUtime=6.94 cores=0-7 /proc/31253/task/31262/stat : 31262 (java) S 31250 31253 30599 0 -1 1077944384 92820 0 0 0 653 41 0 0 20 0 40 0 256640571 28042858496 199616 33554432000 4194304 4196468 140736867392512 139763553655568 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31263] ppid=31250 vsize=27385604 memory=7679937539659563834 CPUtime=6.95 cores=0-7 /proc/31253/task/31263/stat : 31263 (java) S 31250 31253 30599 0 -1 1077944384 88800 0 0 0 654 41 0 0 20 0 40 0 256640571 28042858496 199616 33554432000 4194304 4196468 140736867392512 139763552603024 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31264] ppid=31250 vsize=27385604 memory=-8990767739041718176 CPUtime=7.23 cores=0-7 /proc/31253/task/31264/stat : 31264 (java) S 31250 31253 30599 0 -1 1077944384 157021 0 0 0 588 135 0 0 20 0 40 0 256640572 28042858496 199616 33554432000 4194304 4196468 140736867392512 139762668095728 139763607362178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31265] ppid=31250 vsize=27385604 memory=-7025448733113094249 CPUtime=0 cores=0-7 /proc/31253/task/31265/stat : 31265 (java) S 31250 31253 30599 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 40 0 256640573 28042858496 199616 33554432000 4194304 4196468 140736867392512 139762667042016 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31266] ppid=31250 vsize=27385604 memory=6944656591801717918 CPUtime=0 cores=0-7 /proc/31253/task/31266/stat : 31266 (java) S 31250 31253 30599 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 40 0 256640573 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761876984576 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31267] ppid=31250 vsize=27385604 memory=6944656592452807316 CPUtime=0 cores=0-7 /proc/31253/task/31267/stat : 31267 (java) S 31250 31253 30599 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 40 0 256640575 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761875933136 139763607369627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31268] ppid=31250 vsize=27385604 memory=868 CPUtime=1.93 cores=0-7 /proc/31253/task/31268/stat : 31268 (java) S 31250 31253 30599 0 -1 1077944384 7621 0 0 0 188 5 0 0 20 0 40 0 256640575 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761874881264 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31269] ppid=31250 vsize=27385604 memory=1808 CPUtime=1.55 cores=0-7 /proc/31253/task/31269/stat : 31269 (java) S 31250 31253 30599 0 -1 1077944384 7752 0 0 0 153 2 0 0 20 0 40 0 256640575 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761873828720 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31270] ppid=31250 vsize=27385604 memory=1620 CPUtime=1.73 cores=0-7 /proc/31253/task/31270/stat : 31270 (java) R 31250 31253 30599 0 -1 1077944384 5732 0 0 0 171 2 0 0 20 0 40 0 256640575 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761872775664 139763607362178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31271] ppid=31250 vsize=27385604 memory=748 CPUtime=0.86 cores=0-7 /proc/31253/task/31271/stat : 31271 (java) R 31250 31253 30599 0 -1 4202560 9181 0 0 0 84 2 0 0 20 0 40 0 256640575 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761871723120 139763591431518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31272] ppid=31250 vsize=27385604 memory=1220 CPUtime=0 cores=0-7 /proc/31253/task/31272/stat : 31272 (java) S 31250 31253 30599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 256640576 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761870670304 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31273] ppid=31250 vsize=27385604 memory=303430223234596890 CPUtime=0.72 cores=0-7 /proc/31253/task/31273/stat : 31273 (java) S 31250 31253 30599 0 -1 1077944384 7860 0 0 0 56 16 0 0 20 0 40 0 256640576 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761869617840 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31274] ppid=31250 vsize=27385604 memory=303430244793319739 CPUtime=0 cores=0-7 /proc/31253/task/31274/stat : 31274 (java) S 31250 31253 30599 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 40 0 256640816 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761415967232 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31275] ppid=31250 vsize=27385604 memory=15258129956873558 CPUtime=1.77 cores=0-7 /proc/31253/task/31275/stat : 31275 (java) S 31250 31253 30599 0 -1 1077944384 19777 0 0 0 74 103 0 0 20 0 40 0 256640832 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761412817712 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31276] ppid=31250 vsize=27385604 memory=838572 CPUtime=2484.01 cores=0-7 /proc/31253/task/31276/stat : 31276 (java) R 31250 31253 30599 0 -1 4202560 80423 0 0 0 248355 46 0 0 20 0 40 0 256640853 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761409661304 139763229235827 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31277] ppid=31250 vsize=27385604 memory=835492 CPUtime=2483.77 cores=0-7 /proc/31253/task/31277/stat : 31277 (java) R 31250 31253 30599 0 -1 4202560 74804 0 0 0 248336 41 0 0 20 0 40 0 256640854 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761408608104 139763228966663 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31278] ppid=31250 vsize=27385604 memory=288230596050944315 CPUtime=2483.95 cores=0-7 /proc/31253/task/31278/stat : 31278 (java) R 31250 31253 30599 0 -1 4202560 86226 0 0 0 248346 49 0 0 20 0 40 0 256640854 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761407555048 139763229236091 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31279] ppid=31250 vsize=27385604 memory=804200 CPUtime=0.04 cores=0-7 /proc/31253/task/31279/stat : 31279 (java) S 31250 31253 30599 0 -1 1077944384 287 0 0 0 4 0 0 0 20 0 40 0 256640861 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761404408432 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31280] ppid=31250 vsize=27385604 memory=1168 CPUtime=2483.92 cores=0-7 /proc/31253/task/31280/stat : 31280 (java) R 31250 31253 30599 0 -1 4202560 89577 0 0 0 248346 46 0 0 20 0 40 0 256640861 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761403352752 139763228835733 0 4 0 16800975 0 0 0 -1 6 0 0 30 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31281] ppid=31250 vsize=27385604 memory=2336 CPUtime=0.01 cores=0-7 /proc/31253/task/31281/stat : 31281 (java) S 31250 31253 30599 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 40 0 256640861 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761402306576 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31282] ppid=31250 vsize=27385604 memory=1572 CPUtime=2484.06 cores=0-7 /proc/31253/task/31282/stat : 31282 (java) R 31250 31253 30599 0 -1 4202560 86457 0 0 0 248355 51 0 0 20 0 40 0 256640861 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761401246840 139763228522442 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31283] ppid=31250 vsize=27385604 memory=924 CPUtime=2484.01 cores=0-7 /proc/31253/task/31283/stat : 31283 (java) R 31250 31253 30599 0 -1 4202560 81077 0 0 0 248359 42 0 0 20 0 40 0 256640861 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761400194744 139763229235526 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31284] ppid=31250 vsize=27385604 memory=2192 CPUtime=2484.95 cores=0-7 /proc/31253/task/31284/stat : 31284 (java) R 31250 31253 30599 0 -1 4202560 103913 0 0 0 248437 58 0 0 20 0 40 0 256640861 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761399142776 139763229236105 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31285] ppid=31250 vsize=27385604 memory=3980 CPUtime=2485.73 cores=0-7 /proc/31253/task/31285/stat : 31285 (java) R 31250 31253 30599 0 -1 4202560 83310 0 0 0 248533 40 0 0 20 0 40 0 256640861 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761398092800 139763224794685 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31286] ppid=31250 vsize=27385604 memory=1924 CPUtime=0 cores=0-7 /proc/31253/task/31286/stat : 31286 (java) S 31250 31253 30599 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 40 0 256640862 28042858496 199616 33554432000 4194304 4196468 140736867392512 139761397040624 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 Current children cumulated CPU time: 19949.1 s Current children cumulated vsize: 27385604 KiB Current children cumulated memory: 798464 KiB [startup+2520.3 s] /proc/loadavg: 8.29 8.56 8.40 12/212 31351 /proc/meminfo: memFree=22353824/32770624 swapFree=67108688/67108860 [pid=31253] ppid=31250 vsize=27983652 memory=799472 CPUtime=19949.8 cores=0-7 /proc/31253/stat : 31253 (java) S 31250 31253 30599 0 -1 1077944320 1676767 0 0 0 1994132 852 0 0 20 0 46 0 256640570 28655259648 199868 33554432000 4194304 4196468 140736867392512 140736867375056 139763607351031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 /proc/31253/statm: 6995913 199868 3609 1 0 6957464 0 [pid=31253/tid=31255] ppid=31250 vsize=27983652 memory=799072 CPUtime=2.8 cores=0-7 /proc/31253/task/31255/stat : 31255 (java) R 31250 31253 30599 0 -1 1077944384 22811 0 0 0 273 7 0 0 20 0 46 0 256640570 28655259648 199868 33554432000 4194304 4196468 140736867392512 139763611588496 139763607361237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31256] ppid=31250 vsize=27983652 memory=799072 CPUtime=6.99 cores=0-7 /proc/31253/task/31256/stat : 31256 (java) S 31250 31253 30599 0 -1 1077944384 94182 0 0 0 656 43 0 0 20 0 46 0 256640571 28655259648 199868 33554432000 4194304 4196468 140736867392512 139763559971344 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31257] ppid=31250 vsize=27983652 memory=799072 CPUtime=7.01 cores=0-7 /proc/31253/task/31257/stat : 31257 (java) S 31250 31253 30599 0 -1 1077944384 92252 0 0 0 661 40 0 0 20 0 46 0 256640571 28655259648 199868 33554432000 4194304 4196468 140736867392512 139763558918800 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31258] ppid=31250 vsize=27983652 memory=798352 CPUtime=6.94 cores=0-7 /proc/31253/task/31258/stat : 31258 (java) S 31250 31253 30599 0 -1 1077944384 102309 0 0 0 653 41 0 0 20 0 46 0 256640571 28655259648 199868 33554432000 4194304 4196468 140736867392512 139763557865744 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31259] ppid=31250 vsize=27983652 memory=800608 CPUtime=7 cores=0-7 /proc/31253/task/31259/stat : 31259 (java) S 31250 31253 30599 0 -1 1077944384 95639 0 0 0 659 41 0 0 20 0 46 0 256640571 28655259648 199868 33554432000 4194304 4196468 140736867392512 139763556813200 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31260] ppid=31250 vsize=27983652 memory=801636 CPUtime=7.05 cores=0-7 /proc/31253/task/31260/stat : 31260 (java) S 31250 31253 30599 0 -1 1077944384 98758 0 0 0 661 44 0 0 20 0 46 0 256640571 28655259648 199868 33554432000 4194304 4196468 140736867392512 139763555761168 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31261] ppid=31250 vsize=27983652 memory=6791534058613427641 CPUtime=6.95 cores=0-7 /proc/31253/task/31261/stat : 31261 (java) S 31250 31253 30599 0 -1 1077944384 84811 0 0 0 652 43 0 0 20 0 46 0 256640571 28655259648 199868 33554432000 4194304 4196468 140736867392512 139763554708624 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31262] ppid=31250 vsize=27983652 memory=8187704045996132563 CPUtime=6.94 cores=0-7 /proc/31253/task/31262/stat : 31262 (java) S 31250 31253 30599 0 -1 1077944384 92826 0 0 0 653 41 0 0 20 0 46 0 256640571 28655259648 199868 33554432000 4194304 4196468 140736867392512 139763553655568 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31263] ppid=31250 vsize=27983652 memory=804200 CPUtime=6.95 cores=0-7 /proc/31253/task/31263/stat : 31263 (java) S 31250 31253 30599 0 -1 1077944384 88800 0 0 0 654 41 0 0 20 0 46 0 256640571 28655259648 199868 33554432000 4194304 4196468 140736867392512 139763552603024 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31264] ppid=31250 vsize=27983652 memory=843700 CPUtime=7.23 cores=0-7 /proc/31253/task/31264/stat : 31264 (java) S 31250 31253 30599 0 -1 1077944384 157021 0 0 0 588 135 0 0 20 0 46 0 256640572 28655259648 199868 33554432000 4194304 4196468 140736867392512 139762668095728 139763607362178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31265] ppid=31250 vsize=27983652 memory=3868 CPUtime=0 cores=0-7 /proc/31253/task/31265/stat : 31265 (java) S 31250 31253 30599 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 46 0 256640573 28655259648 199868 33554432000 4194304 4196468 140736867392512 139762667042016 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31266] ppid=31250 vsize=27983652 memory=496 CPUtime=0 cores=0-7 /proc/31253/task/31266/stat : 31266 (java) S 31250 31253 30599 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 46 0 256640573 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761876984576 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31267] ppid=31250 vsize=27983652 memory=924 CPUtime=0 cores=0-7 /proc/31253/task/31267/stat : 31267 (java) S 31250 31253 30599 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 46 0 256640575 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761875933136 139763607369627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31268] ppid=31250 vsize=27983652 memory=804 CPUtime=1.94 cores=0-7 /proc/31253/task/31268/stat : 31268 (java) R 31250 31253 30599 0 -1 4202560 7626 0 0 0 189 5 0 0 20 0 46 0 256640575 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761874881560 139763586526134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31269] ppid=31250 vsize=27983652 memory=1800 CPUtime=1.56 cores=0-7 /proc/31253/task/31269/stat : 31269 (java) S 31250 31253 30599 0 -1 1077944384 7774 0 0 0 154 2 0 0 20 0 46 0 256640575 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761873828720 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31270] ppid=31250 vsize=27983652 memory=868 CPUtime=1.73 cores=0-7 /proc/31253/task/31270/stat : 31270 (java) R 31250 31253 30599 0 -1 1077944384 5732 0 0 0 171 2 0 0 20 0 46 0 256640575 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761872775664 139763607362178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31271] ppid=31250 vsize=27983652 memory=1808 CPUtime=0.88 cores=0-7 /proc/31253/task/31271/stat : 31271 (java) S 31250 31253 30599 0 -1 1077944384 9550 0 0 0 86 2 0 0 20 0 46 0 256640575 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761871723120 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31272] ppid=31250 vsize=27983652 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/31253/task/31272/stat : 31272 (java) S 31250 31253 30599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 256640576 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761870670304 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31273] ppid=31250 vsize=27983652 memory=15768 CPUtime=0.72 cores=0-7 /proc/31253/task/31273/stat : 31273 (java) S 31250 31253 30599 0 -1 1077944384 7860 0 0 0 56 16 0 0 20 0 46 0 256640576 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761869617840 139763607362178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31274] ppid=31250 vsize=27983652 memory=39464 CPUtime=0 cores=0-7 /proc/31253/task/31274/stat : 31274 (java) S 31250 31253 30599 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 256640816 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761415967232 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31276] ppid=31250 vsize=27983652 memory=812408 CPUtime=2484.09 cores=0-7 /proc/31253/task/31276/stat : 31276 (java) R 31250 31253 30599 0 -1 4202560 80423 0 0 0 248363 46 0 0 20 0 46 0 256640853 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761409661240 139763228521754 0 4 0 16800975 0 0 0 -1 2 0 0 26 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31277] ppid=31250 vsize=27983652 memory=3868 CPUtime=2483.87 cores=0-7 /proc/31253/task/31277/stat : 31277 (java) R 31250 31253 30599 0 -1 4202560 74804 0 0 0 248346 41 0 0 20 0 46 0 256640854 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761408607968 139763224934958 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31278] ppid=31250 vsize=27983652 memory=3868 CPUtime=2484.05 cores=0-7 /proc/31253/task/31278/stat : 31278 (java) R 31250 31253 30599 0 -1 4202560 86227 0 0 0 248356 49 0 0 20 0 46 0 256640854 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761407555128 139763224934991 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31279] ppid=31250 vsize=27983652 memory=807280 CPUtime=0.04 cores=0-7 /proc/31253/task/31279/stat : 31279 (java) S 31250 31253 30599 0 -1 1077944384 290 0 0 0 4 0 0 0 20 0 46 0 256640861 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761404413232 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31280] ppid=31250 vsize=27983652 memory=800096 CPUtime=2483.99 cores=0-7 /proc/31253/task/31280/stat : 31280 (java) R 31250 31253 30599 0 -1 4202560 89577 0 0 0 248353 46 0 0 20 0 46 0 256640861 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761403356592 139763228391323 0 4 0 16800975 0 0 0 -1 0 0 0 30 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31281] ppid=31250 vsize=27983652 memory=3316 CPUtime=0.01 cores=0-7 /proc/31253/task/31281/stat : 31281 (java) S 31250 31253 30599 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 46 0 256640861 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761402307632 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31282] ppid=31250 vsize=27983652 memory=15768 CPUtime=2484.16 cores=0-7 /proc/31253/task/31282/stat : 31282 (java) R 31250 31253 30599 0 -1 4202560 86457 0 0 0 248365 51 0 0 20 0 46 0 256640861 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761401246696 139763228522747 0 4 0 16800975 0 0 0 -1 6 0 0 26 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31283] ppid=31250 vsize=27983652 memory=39464 CPUtime=2484.07 cores=0-7 /proc/31253/task/31283/stat : 31283 (java) R 31250 31253 30599 0 -1 4202560 81077 0 0 0 248365 42 0 0 20 0 46 0 256640861 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761400197424 139763229235885 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31284] ppid=31250 vsize=27983652 memory=800096 CPUtime=2485.03 cores=0-7 /proc/31253/task/31284/stat : 31284 (java) R 31250 31253 30599 0 -1 4202560 103913 0 0 0 248445 58 0 0 20 0 46 0 256640861 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761399146456 139763228836027 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31285] ppid=31250 vsize=27983652 memory=800096 CPUtime=2485.81 cores=0-7 /proc/31253/task/31285/stat : 31285 (java) R 31250 31253 30599 0 -1 4202560 83311 0 0 0 248541 40 0 0 20 0 46 0 256640861 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761398089632 139763229235827 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 [pid=31253/tid=31286] ppid=31250 vsize=27983652 memory=803176 CPUtime=0.01 cores=0-7 /proc/31253/task/31286/stat : 31286 (java) S 31250 31253 30599 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 46 0 256640862 28655259648 199868 33554432000 4194304 4196468 140736867392512 139761397044400 139763607361237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21487616 140736867394637 140736867394821 140736867394821 140736867397583 0 Current children cumulated CPU time: 19949.8 s Current children cumulated vsize: 27983652 KiB Current children cumulated memory: 799472 KiB Child status: 143 Real time (s): 2520.32 CPU time (s): 19949.9 CPU user time (s): 19941.4 CPU system time (s): 8.52916 CPU usage (%): 791.563 Max. virtual memory (cumulated for all children) (KiB): 27983652 Max. memory (cumulated for all children) (KiB): 1681396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19941.4 system time used= 8.52916 maximum resident set size= 1683460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1676820 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4288 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 766407 involuntary context switches= 440253 # summary of solver processes directly reported to runsolver: # pid: 31253 # total CPU time (s): 19949.9 # total CPU user time (s): 19941.4 # total CPU system time (s): 8.52916 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 22.4394 second user time and 30.796 second system time The end
Begin job on node106 at 2018-08-16 05:39:37 IDJOB=4309043 IDBENCH=141560 IDSOLVER=2793 FILE ID=node106/4309043-1534390777 RUNJOBID= node106-1534383619-30626 PBS_JOBID= 21038310 Free space on /tmp= 45856 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-06-0010_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-4309043-1534390777/watcher-4309043-1534390777 -o /tmp/evaluation-result-4309043-1534390777/solver-4309043-1534390777 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1534383619-30626 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1690608684 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309043-1534390777.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a4a3304b5e9aae9c2bcc59fc5ef6ae6f RANDOM SEED=1690608684 node106.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 : 5334.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 : 5334.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 : 5334.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 : 5334.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: 23144156 kB MemAvailable: 31890916 kB Buffers: 215924 kB Cached: 8756372 kB SwapCached: 0 kB Active: 4573552 kB Inactive: 4456140 kB Active(anon): 4472 kB Inactive(anon): 113644 kB Active(file): 4569080 kB Inactive(file): 4342496 kB Unevictable: 6968 kB Mlocked: 6968 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 36108 kB Writeback: 0 kB AnonPages: 64308 kB Mapped: 55620 kB Shmem: 57824 kB Slab: 291872 kB SReclaimable: 263644 kB SUnreclaim: 28228 kB KernelStack: 3248 kB PageTables: 5088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 356788 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 45820 MiB End job on node106 at 2018-08-16 06:21:37