Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | ? (TO) | 19854.801 | 2520.1399 |
Name | QuasiGroups/QuasiGroups-elt-qg4/ QuasiGroup-4-17.xml |
MD5SUM | 1749ee71f79cc6e37ea59febff668c91 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 100.011 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 578 |
Number of constraints | 546 |
Number of domains | 2 |
Minimum domain size | 17 |
Maximum domain size | 289 |
Distribution of domain sizes | [{"size":17,"count":289},{"size":289,"count":272}] |
Minimum variable degree | 0 |
Maximum variable degree | 275 |
Distribution of variable degrees | [{"degree":0,"count":17},{"degree":2,"count":272},{"degree":274,"count":17},{"degree":275,"count":272}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 290 |
Distribution of constraint arities | [{"arity":3,"count":272},{"arity":17,"count":1},{"arity":289,"count":1},{"arity":290,"count":272}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 272 |
Distribution of constraint types | [{"type":"intension","count":272},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":272}] |
Optimization problem | NO |
Type of objective |
0.30/0.25 c version: 2017-08-22 0.30/0.25 c seed: 2114003145 0.30/0.25 c timeout: 20160 0.30/0.25 c memlimit: 22000 0.30/0.25 c nbcore: 8 0.30/0.28 c Parsing instance... 4.39/3.05 c Parsing done, starting search... 19853.83/2520.10 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 (10710 MiB free) memory of node 1: 16384 MiB (12268 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285370-1503445527/watcher-4285370-1503445527 -o /tmp/evaluation-result-4285370-1503445527/solver-4285370-1503445527 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503437094-26291 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2114003145 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285370-1503445527.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=26916, runsolver pid=26913 [startup+0.100137 s]* /proc/loadavg: 7.90 8.49 8.63 2/199 26936 /proc/meminfo: memFree=23512760/32770624 swapFree=67108860/67108860 [pid=26916] ppid=26913 vsize=26000852 memory=32144 CPUtime=0.12 cores=0-7 /proc/26916/stat : 26916 (java) S 26913 26916 26264 0 -1 1077944320 8441 0 0 0 10 2 0 0 20 0 20 0 177640100 26624872448 8036 33554432000 4194304 4196468 140731313822112 140731313804656 139872908893943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 /proc/26916/statm: 6500213 8036 3412 1 0 6487932 0 [pid=26916/tid=26918] ppid=26913 vsize=26000852 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/26916/task/26918/stat : 26918 (java) R 26913 26916 26264 0 -1 4202560 6386 0 0 0 7 1 0 0 20 0 20 0 177640101 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872913110624 139872892974430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26919] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26919/stat : 26919 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872861514384 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26920] ppid=26913 vsize=26000852 memory=139711512381056 CPUtime=0 cores=0-7 /proc/26916/task/26920/stat : 26920 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872860461584 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26921] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26921/stat : 26921 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872859408784 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26922] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26922/stat : 26922 (java) S 26913 26916 26264 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872463878416 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26923] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26923/stat : 26923 (java) S 26913 26916 26264 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872462826640 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26924] ppid=26913 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/26916/task/26924/stat : 26924 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872461773840 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26925] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26925/stat : 26925 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872460721040 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26926] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26926/stat : 26926 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872459668240 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26927] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26927/stat : 26927 (java) S 26913 26916 26264 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177640103 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872237975920 139872908905090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26928] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26928/stat : 26928 (java) S 26913 26916 26264 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177640103 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872236921888 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26929] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26929/stat : 26929 (java) S 26913 26916 26264 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177640103 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872235869040 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26930] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26930/stat : 26930 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640106 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872234817360 139872908912539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26931] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26931/stat : 26931 (java) S 26913 26916 26264 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 177640106 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872233765744 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26932] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26932/stat : 26932 (java) S 26913 26916 26264 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177640106 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872232712944 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26933] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26933/stat : 26933 (java) S 26913 26916 26264 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177640106 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872231660144 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26934] ppid=26913 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/26916/task/26934/stat : 26934 (java) R 26913 26916 26264 0 -1 4202560 372 0 0 0 1 0 0 0 20 0 20 0 177640106 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872230607344 139872908915290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26935] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26935/stat : 26935 (java) S 26913 26916 26264 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177640106 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872229554784 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26936] ppid=26913 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/26916/task/26936/stat : 26936 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640106 26624872448 8036 33554432000 4194304 4196468 140731313822112 139872228502064 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 32144 KiB [startup+0.210567 s]* /proc/loadavg: 7.90 8.49 8.63 3/199 26936 /proc/meminfo: memFree=23503632/32770624 swapFree=67108860/67108860 [pid=26916] ppid=26913 vsize=26000852 memory=41516 CPUtime=0.3 cores=0-7 /proc/26916/stat : 26916 (java) S 26913 26916 26264 0 -1 1077944320 9465 0 0 0 27 3 0 0 20 0 20 0 177640100 26624872448 10379 33554432000 4194304 4196468 140731313822112 140731313804656 139872908893943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 /proc/26916/statm: 6500213 10379 3636 1 0 6487932 0 [pid=26916/tid=26918] ppid=26913 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/26916/task/26918/stat : 26918 (java) R 26913 26916 26264 0 -1 4202560 7015 0 0 0 17 2 0 0 20 0 20 0 177640101 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872913120832 139872908915869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26919] ppid=26913 vsize=26000852 memory=3382 CPUtime=0 cores=0-7 /proc/26916/task/26919/stat : 26919 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872861514384 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26920] ppid=26913 vsize=26000852 memory=288370087664092800 CPUtime=0 cores=0-7 /proc/26916/task/26920/stat : 26920 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872860461584 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26921] ppid=26913 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/26916/task/26921/stat : 26921 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872859408784 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26922] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26922/stat : 26922 (java) S 26913 26916 26264 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872463878416 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26923] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26923/stat : 26923 (java) S 26913 26916 26264 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872462826640 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26924] ppid=26913 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/26916/task/26924/stat : 26924 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872461773840 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26925] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26925/stat : 26925 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872460721040 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26926] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26926/stat : 26926 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872459668240 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26927] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26927/stat : 26927 (java) S 26913 26916 26264 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177640103 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872237975920 139872908905090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26928] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26928/stat : 26928 (java) S 26913 26916 26264 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177640103 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872236921888 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26929] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26929/stat : 26929 (java) S 26913 26916 26264 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177640103 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872235869040 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26930] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26930/stat : 26930 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640106 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872234817360 139872908912539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26931] ppid=26913 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/26916/task/26931/stat : 26931 (java) S 26913 26916 26264 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 20 0 177640106 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872233765744 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26932] ppid=26913 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/26916/task/26932/stat : 26932 (java) S 26913 26916 26264 0 -1 1077944384 134 0 0 0 1 0 0 0 20 0 20 0 177640106 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872232712944 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26933] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26933/stat : 26933 (java) S 26913 26916 26264 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 177640106 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872231660144 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26934] ppid=26913 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7 /proc/26916/task/26934/stat : 26934 (java) R 26913 26916 26264 0 -1 4202560 413 0 0 0 5 0 0 0 20 0 20 0 177640106 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872230607344 139872908905878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26935] ppid=26913 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26935/stat : 26935 (java) S 26913 26916 26264 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177640106 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872229554784 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26936] ppid=26913 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/26916/task/26936/stat : 26936 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640106 26624872448 10379 33554432000 4194304 4196468 140731313822112 139872228502064 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 41516 KiB [startup+0.310125 s]* /proc/loadavg: 7.90 8.49 8.63 3/199 26936 /proc/meminfo: memFree=23496684/32770624 swapFree=67108860/67108860 [pid=26916] ppid=26913 vsize=26000872 memory=49056 CPUtime=0.48 cores=0-7 /proc/26916/stat : 26916 (java) S 26913 26916 26264 0 -1 1077944320 10582 0 0 0 45 3 0 0 20 0 20 0 177640100 26624892928 12264 33554432000 4194304 4196468 140731313822112 140731313804656 139872908893943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 /proc/26916/statm: 6500218 12264 3698 1 0 6487932 0 [pid=26916/tid=26918] ppid=26913 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/26916/task/26918/stat : 26918 (java) R 26913 26916 26264 0 -1 4202560 7720 0 0 0 27 2 0 0 20 0 20 0 177640101 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872913125520 139872892937573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26919] ppid=26913 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26919/stat : 26919 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872861514384 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26920] ppid=26913 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26920/stat : 26920 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872860461584 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26921] ppid=26913 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26921/stat : 26921 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872859408784 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26922] ppid=26913 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26922/stat : 26922 (java) S 26913 26916 26264 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177640101 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872463878416 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26923] ppid=26913 vsize=26000872 memory=2244 CPUtime=0 cores=0-7 /proc/26916/task/26923/stat : 26923 (java) S 26913 26916 26264 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177640101 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872462826640 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26924] ppid=26913 vsize=26000872 memory=139711393919919 CPUtime=0 cores=0-7 /proc/26916/task/26924/stat : 26924 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872461773840 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26925] ppid=26913 vsize=26000872 memory=139711393922224 CPUtime=0 cores=0-7 /proc/26916/task/26925/stat : 26925 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872460721040 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26926] ppid=26913 vsize=26000872 memory=139711393924528 CPUtime=0 cores=0-7 /proc/26916/task/26926/stat : 26926 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872459668240 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26927] ppid=26913 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26927/stat : 26927 (java) S 26913 26916 26264 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177640103 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872237975920 139872908905090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26928] ppid=26913 vsize=26000872 memory=279422787856016 CPUtime=0 cores=0-7 /proc/26916/task/26928/stat : 26928 (java) S 26913 26916 26264 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177640103 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872236921888 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26929] ppid=26913 vsize=26000872 memory=279422787862928 CPUtime=0 cores=0-7 /proc/26916/task/26929/stat : 26929 (java) S 26913 26916 26264 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177640103 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872235869040 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26930] ppid=26913 vsize=26000872 memory=279422787804208 CPUtime=0 cores=0-7 /proc/26916/task/26930/stat : 26930 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640106 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872234817360 139872908912539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26931] ppid=26913 vsize=26000872 memory=279422787876752 CPUtime=0.04 cores=0-7 /proc/26916/task/26931/stat : 26931 (java) S 26913 26916 26264 0 -1 1077944384 632 0 0 0 4 0 0 0 20 0 20 0 177640106 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872233765744 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26932] ppid=26913 vsize=26000872 memory=279422787883664 CPUtime=0.04 cores=0-7 /proc/26916/task/26932/stat : 26932 (java) S 26913 26916 26264 0 -1 1077944384 355 0 0 0 4 0 0 0 20 0 20 0 177640106 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872232712944 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26933] ppid=26913 vsize=26000872 memory=279422787881360 CPUtime=0.01 cores=0-7 /proc/26916/task/26933/stat : 26933 (java) S 26913 26916 26264 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 177640106 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872231660144 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26934] ppid=26913 vsize=26000872 memory=279422787897968 CPUtime=0.08 cores=0-7 /proc/26916/task/26934/stat : 26934 (java) S 26913 26916 26264 0 -1 1077944384 437 0 0 0 8 0 0 0 20 0 20 0 177640106 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872230607344 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26935] ppid=26913 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26935/stat : 26935 (java) S 26913 26916 26264 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177640106 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872229554784 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26936] ppid=26913 vsize=26000872 memory=-1 CPUtime=0 cores=0-7 /proc/26916/task/26936/stat : 26936 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640106 26624892928 12264 33554432000 4194304 4196468 140731313822112 139872228502064 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26000872 KiB Current children cumulated memory: 49056 KiB [startup+0.700862 s] /proc/loadavg: 7.90 8.49 8.63 2/199 26936 /proc/meminfo: memFree=23483044/32770624 swapFree=67108860/67108860 [pid=26916] ppid=26913 vsize=26002920 memory=85604 CPUtime=1.47 cores=0-7 /proc/26916/stat : 26916 (java) S 26913 26916 26264 0 -1 1077944320 12971 0 0 0 141 6 0 0 20 0 20 0 177640100 26626990080 21401 33554432000 4194304 4196468 140731313822112 140731313804656 139872908893943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 /proc/26916/statm: 6500730 21401 3783 1 0 6488444 0 [pid=26916/tid=26918] ppid=26913 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7 /proc/26916/task/26918/stat : 26918 (java) R 26913 26916 26264 0 -1 4202560 8666 0 0 0 63 4 0 0 20 0 20 0 177640101 26626990080 21401 33554432000 4194304 4196468 140731313822112 139872913128568 139872908905878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26919] ppid=26913 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26919/stat : 26919 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26626990080 21401 33554432000 4194304 4196468 140731313822112 139872861514384 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26920] ppid=26913 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26920/stat : 26920 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26626990080 21401 33554432000 4194304 4196468 140731313822112 139872860461584 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26921] ppid=26913 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26921/stat : 26921 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26626990080 21401 33554432000 4194304 4196468 140731313822112 139872859408784 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26922] ppid=26913 vsize=26002920 memory=1712 CPUtime=0 cores=0-7 /proc/26916/task/26922/stat : 26922 (java) S 26913 26916 26264 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177640101 26626990080 21401 33554432000 4194304 4196468 140731313822112 139872463878416 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26923] ppid=26913 vsize=26002920 memory=4612 CPUtime=0 cores=0-7 /proc/26916/task/26923/stat : 26923 (java) S 26913 26916 26264 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177640101 26626990080 21401 33554432000 4194304 4196468 140731313822112 139872462826640 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26924] ppid=26913 vsize=26002920 memory=1004 CPUtime=0 cores=0-7 /proc/26916/task/26924/stat : 26924 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26626990080 21401 33554432000 4194304 4196468 140731313822112 139872461773840 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26925] ppid=26913 vsize=26002920 memory=1200 CPUtime=0 cores=0-7 /proc/26916/task/26925/stat : 26925 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26626990080 21401 33554432000 4194304 4196468 140731313822112 139872460721040 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26926] ppid=26913 vsize=26002920 memory=15876 CPUtime=0 cores=0-7 /proc/26916/task/26926/stat : 26926 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177640101 26626990080 21401 33554432000 4194304 4196468 140731313822112 139872459668240 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26927] ppid=26913 vsize=26002920 memory=27344 CPUtime=0 cores=0-7 /proc/26916/task/26927/stat : 26927 (java) S 26913 26916 26264 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177640103 26626990080 21401 33554432000 4194304 4196468 140731313822112 139872237975920 139872908905090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 ################ # More data... # ################ /proc/26916/task/26922/stat : 26922 (java) S 26913 26916 26264 0 -1 1077944384 75631 0 0 0 734 33 0 0 20 0 38 0 177640101 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872463878416 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26923] ppid=26913 vsize=27213396 memory=644 CPUtime=7.69 cores=0-7 /proc/26916/task/26923/stat : 26923 (java) S 26913 26916 26264 0 -1 1077944384 81411 0 0 0 736 33 0 0 20 0 38 0 177640101 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872462826640 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26924] ppid=26913 vsize=27213396 memory=960 CPUtime=7.66 cores=0-7 /proc/26916/task/26924/stat : 26924 (java) S 26913 26916 26264 0 -1 1077944384 81177 0 0 0 730 36 0 0 20 0 38 0 177640101 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872461773840 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26925] ppid=26913 vsize=27213396 memory=4472 CPUtime=7.55 cores=0-7 /proc/26916/task/26925/stat : 26925 (java) S 26913 26916 26264 0 -1 1077944384 72503 0 0 0 721 34 0 0 20 0 38 0 177640101 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872460721040 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26926] ppid=26913 vsize=27213396 memory=1236 CPUtime=7.64 cores=0-7 /proc/26916/task/26926/stat : 26926 (java) S 26913 26916 26264 0 -1 1077944384 78735 0 0 0 730 34 0 0 20 0 38 0 177640101 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872459668240 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26927] ppid=26913 vsize=27213396 memory=932 CPUtime=4.06 cores=0-7 /proc/26916/task/26927/stat : 26927 (java) S 26913 26916 26264 0 -1 1077944384 113309 0 0 0 317 89 0 0 20 0 38 0 177640103 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872237975920 139872908905090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26928] ppid=26913 vsize=27213396 memory=1568 CPUtime=0 cores=0-7 /proc/26916/task/26928/stat : 26928 (java) S 26913 26916 26264 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 38 0 177640103 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872236921952 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26929] ppid=26913 vsize=27213396 memory=2240 CPUtime=0.01 cores=0-7 /proc/26916/task/26929/stat : 26929 (java) S 26913 26916 26264 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 38 0 177640103 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872235869056 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26930] ppid=26913 vsize=27213396 memory=4124 CPUtime=0 cores=0-7 /proc/26916/task/26930/stat : 26930 (java) S 26913 26916 26264 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 38 0 177640106 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872234817360 139872908912539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26931] ppid=26913 vsize=27213396 memory=2196 CPUtime=2.03 cores=0-7 /proc/26916/task/26931/stat : 26931 (java) S 26913 26916 26264 0 -1 1077944384 11265 0 0 0 201 2 0 0 20 0 38 0 177640106 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872233765744 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26932] ppid=26913 vsize=27213396 memory=6791534058613427641 CPUtime=1.9 cores=0-7 /proc/26916/task/26932/stat : 26932 (java) S 26913 26916 26264 0 -1 1077944384 8157 0 0 0 188 2 0 0 20 0 38 0 177640106 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872232712944 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26933] ppid=26913 vsize=27213396 memory=2448 CPUtime=2.23 cores=0-7 /proc/26916/task/26933/stat : 26933 (java) S 26913 26916 26264 0 -1 1077944384 9489 0 0 0 221 2 0 0 20 0 38 0 177640106 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872231660144 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26934] ppid=26913 vsize=27213396 memory=1732 CPUtime=1.21 cores=0-7 /proc/26916/task/26934/stat : 26934 (java) S 26913 26916 26264 0 -1 1077944384 16425 0 0 0 118 3 0 0 20 0 38 0 177640106 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872230607344 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26935] ppid=26913 vsize=27213396 memory=1948 CPUtime=0 cores=0-7 /proc/26916/task/26935/stat : 26935 (java) S 26913 26916 26264 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 38 0 177640106 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872229554784 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26936] ppid=26913 vsize=27213396 memory=800 CPUtime=1.06 cores=0-7 /proc/26916/task/26936/stat : 26936 (java) S 26913 26916 26264 0 -1 1077944384 7262 0 0 0 59 47 0 0 20 0 38 0 177640106 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872228502064 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26937] ppid=26913 vsize=27213396 memory=12132 CPUtime=0 cores=0-7 /proc/26916/task/26937/stat : 26937 (java) S 26913 26916 26264 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 38 0 177642568 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872216113792 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26938] ppid=26913 vsize=27213396 memory=1440 CPUtime=5.3 cores=0-7 /proc/26916/task/26938/stat : 26938 (java) S 26913 26916 26264 0 -1 1077944384 17733 0 0 0 268 262 0 0 20 0 38 0 177642579 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872215061280 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26939] ppid=26913 vsize=27213396 memory=5796 CPUtime=2468.83 cores=0-7 /proc/26916/task/26939/stat : 26939 (java) R 26913 26916 26264 0 -1 4202560 59375 0 0 0 246814 69 0 0 20 0 38 0 177642589 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872211906312 139872894094878 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26940] ppid=26913 vsize=27213396 memory=1224 CPUtime=0.21 cores=0-7 /proc/26916/task/26940/stat : 26940 (java) S 26913 26916 26264 0 -1 1077944384 87 0 0 0 21 0 0 0 20 0 38 0 177642590 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872210859440 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26941] ppid=26913 vsize=27213396 memory=8732 CPUtime=2467.05 cores=0-7 /proc/26916/task/26941/stat : 26941 (java) R 26913 26916 26264 0 -1 4202560 59589 0 0 0 246631 74 0 0 20 0 38 0 177642590 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872209802720 139872546725788 0 4 0 16800975 0 0 0 -1 0 0 0 48 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26942] ppid=26913 vsize=27213396 memory=1712 CPUtime=2468.29 cores=0-7 /proc/26916/task/26942/stat : 26942 (java) R 26913 26916 26264 0 -1 4202560 62457 0 0 0 246749 80 0 0 20 0 38 0 177642596 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872208747816 139872548311971 0 4 0 16800975 0 0 0 -1 3 0 0 40 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26943] ppid=26913 vsize=27213396 memory=4612 CPUtime=2468.17 cores=0-7 /proc/26916/task/26943/stat : 26943 (java) R 26913 26916 26264 0 -1 4202560 63706 0 0 0 246742 75 0 0 20 0 38 0 177642596 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872207694240 139872546901145 0 4 0 16800975 0 0 0 -1 1 0 0 45 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26944] ppid=26913 vsize=27213396 memory=1004 CPUtime=2470.36 cores=0-7 /proc/26916/task/26944/stat : 26944 (java) R 26913 26916 26264 0 -1 4202560 63482 0 0 0 246966 70 0 0 20 0 38 0 177642597 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872206642304 139872546986116 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26945] ppid=26913 vsize=27213396 memory=1200 CPUtime=2471.05 cores=0-7 /proc/26916/task/26945/stat : 26945 (java) R 26913 26916 26264 0 -1 4202560 60507 0 0 0 247040 65 0 0 20 0 38 0 177642597 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872205589448 139872546901140 0 4 0 16800975 0 0 0 -1 2 0 0 50 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26946] ppid=26913 vsize=27213396 memory=8044 CPUtime=0.15 cores=0-7 /proc/26916/task/26946/stat : 26946 (java) S 26913 26916 26264 0 -1 1077944384 65 0 0 0 15 0 0 0 20 0 38 0 177642597 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872204542640 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26947] ppid=26913 vsize=27213396 memory=840 CPUtime=2467.63 cores=0-7 /proc/26916/task/26947/stat : 26947 (java) R 26913 26916 26264 0 -1 4202560 56756 0 0 0 246702 61 0 0 20 0 38 0 177642597 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872203484840 139872547089671 0 4 0 16800975 0 0 0 -1 4 0 0 49 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26948] ppid=26913 vsize=27213396 memory=1692 CPUtime=0 cores=0-7 /proc/26916/task/26948/stat : 26948 (java) S 26913 26916 26264 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 38 0 177642598 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872202438064 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26949] ppid=26913 vsize=27213396 memory=916 CPUtime=0 cores=0-7 /proc/26916/task/26949/stat : 26949 (java) S 26913 26916 26264 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 38 0 177642598 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872201385264 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26950] ppid=26913 vsize=27213396 memory=4120 CPUtime=2468.18 cores=0-7 /proc/26916/task/26950/stat : 26950 (java) R 26913 26916 26264 0 -1 4202560 64858 0 0 0 246741 77 0 0 20 0 38 0 177642633 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872200326472 139872546901432 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26951] ppid=26913 vsize=27213396 memory=1152 CPUtime=0 cores=0-7 /proc/26916/task/26951/stat : 26951 (java) S 26913 26916 26264 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 177642633 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872199279664 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26952] ppid=26913 vsize=27213396 memory=4268 CPUtime=0 cores=0-7 /proc/26916/task/26952/stat : 26952 (java) S 26913 26916 26264 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 177642633 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872198226864 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26953] ppid=26913 vsize=27213396 memory=558112 CPUtime=0 cores=0-7 /proc/26916/task/26953/stat : 26953 (java) S 26913 26916 26264 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 38 0 177642633 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872197174064 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26954] ppid=26913 vsize=27213396 memory=4104 CPUtime=0 cores=0-7 /proc/26916/task/26954/stat : 26954 (java) S 26913 26916 26264 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 177642633 27866517504 138759 33554432000 4194304 4196468 140731313822112 139872196121264 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 Current children cumulated CPU time: 19853.8 s Current children cumulated vsize: 27213396 KiB Current children cumulated memory: 555036 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.14 s] # the end of solver process 26916 was just reported to runsolver # cumulated CPU time of all completed processes: user=19845.2 s, system=9.58775 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.13 s] /proc/loadavg: 9.04 8.81 8.72 9/217 27014 /proc/meminfo: memFree=22980940/32770624 swapFree=67108860/67108860 [pid=26916] ppid=26913 vsize=27346524 memory=554584 CPUtime=19854.8 cores=0-7 /proc/26916/stat : 26916 (java) S 26913 26916 26264 0 -1 1077944320 1297732 0 0 0 1984520 957 0 0 20 0 37 0 177640100 28002840576 138646 33554432000 4194304 4196468 140731313822112 140731313804656 139872908893943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 /proc/26916/statm: 6836631 138646 3870 1 0 6823824 0 [pid=26916/tid=26918] ppid=26913 vsize=27346524 memory=562728 CPUtime=24.74 cores=0-7 /proc/26916/task/26918/stat : 26918 (java) S 26913 26916 26264 0 -1 1077944384 19692 0 0 0 2459 15 0 0 20 0 37 0 177640101 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872913131648 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26919] ppid=26913 vsize=27346524 memory=572992 CPUtime=7.64 cores=0-7 /proc/26916/task/26919/stat : 26919 (java) S 26913 26916 26264 0 -1 1077944384 77502 0 0 0 729 35 0 0 20 0 37 0 177640101 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872861514384 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26920] ppid=26913 vsize=27346524 memory=576072 CPUtime=7.65 cores=0-7 /proc/26916/task/26920/stat : 26920 (java) S 26913 26916 26264 0 -1 1077944384 61850 0 0 0 732 33 0 0 20 0 37 0 177640101 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872860461584 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26921] ppid=26913 vsize=27346524 memory=557088 CPUtime=7.62 cores=0-7 /proc/26916/task/26921/stat : 26921 (java) S 26913 26916 26264 0 -1 1077944384 72855 0 0 0 728 34 0 0 20 0 37 0 177640101 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872859408784 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26922] ppid=26913 vsize=27346524 memory=555036 CPUtime=7.67 cores=0-7 /proc/26916/task/26922/stat : 26922 (java) S 26913 26916 26264 0 -1 1077944384 75631 0 0 0 734 33 0 0 20 0 37 0 177640101 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872463878416 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26923] ppid=26913 vsize=27346524 memory=559652 CPUtime=7.69 cores=0-7 /proc/26916/task/26923/stat : 26923 (java) S 26913 26916 26264 0 -1 1077944384 81413 0 0 0 736 33 0 0 20 0 37 0 177640101 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872462826640 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26924] ppid=26913 vsize=27346524 memory=570428 CPUtime=7.67 cores=0-7 /proc/26916/task/26924/stat : 26924 (java) S 26913 26916 26264 0 -1 1077944384 81177 0 0 0 731 36 0 0 20 0 37 0 177640101 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872461773840 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26925] ppid=26913 vsize=27346524 memory=1200 CPUtime=7.55 cores=0-7 /proc/26916/task/26925/stat : 26925 (java) S 26913 26916 26264 0 -1 1077944384 72503 0 0 0 721 34 0 0 20 0 37 0 177640101 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872460721040 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26926] ppid=26913 vsize=27346524 memory=564268 CPUtime=7.64 cores=0-7 /proc/26916/task/26926/stat : 26926 (java) S 26913 26916 26264 0 -1 1077944384 78735 0 0 0 730 34 0 0 20 0 37 0 177640101 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872459668240 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26927] ppid=26913 vsize=27346524 memory=1236 CPUtime=4.06 cores=0-7 /proc/26916/task/26927/stat : 26927 (java) R 26913 26916 26264 0 -1 4202560 113309 0 0 0 317 89 0 0 20 0 37 0 177640103 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872237975920 139872901611095 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26928] ppid=26913 vsize=27346524 memory=0 CPUtime=0 cores=0-7 /proc/26916/task/26928/stat : 26928 (java) S 26913 26916 26264 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 37 0 177640103 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872236921952 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26929] ppid=26913 vsize=27346524 memory=7235422494026460007 CPUtime=0.01 cores=0-7 /proc/26916/task/26929/stat : 26929 (java) S 26913 26916 26264 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 37 0 177640103 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872235869056 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26931] ppid=26913 vsize=27346524 memory=139711394301264 CPUtime=2.03 cores=0-7 /proc/26916/task/26931/stat : 26931 (java) S 26913 26916 26264 0 -1 1077944384 11265 0 0 0 201 2 0 0 20 0 37 0 177640106 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872233765744 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26932] ppid=26913 vsize=27346524 memory=6791534058613427641 CPUtime=1.9 cores=0-7 /proc/26916/task/26932/stat : 26932 (java) S 26913 26916 26264 0 -1 1077944384 8157 0 0 0 188 2 0 0 20 0 37 0 177640106 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872232712944 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26933] ppid=26913 vsize=27346524 memory=572992 CPUtime=2.23 cores=0-7 /proc/26916/task/26933/stat : 26933 (java) S 26913 26916 26264 0 -1 1077944384 9489 0 0 0 221 2 0 0 20 0 37 0 177640106 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872231660144 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26934] ppid=26913 vsize=27346524 memory=0 CPUtime=1.21 cores=0-7 /proc/26916/task/26934/stat : 26934 (java) S 26913 26916 26264 0 -1 1077944384 16425 0 0 0 118 3 0 0 20 0 37 0 177640106 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872230607344 139872908905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26935] ppid=26913 vsize=27346524 memory=7092153813941248876 CPUtime=0 cores=0-7 /proc/26916/task/26935/stat : 26935 (java) S 26913 26916 26264 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 37 0 177640106 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872229554784 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26937] ppid=26913 vsize=27346524 memory=555548 CPUtime=0 cores=0-7 /proc/26916/task/26937/stat : 26937 (java) S 26913 26916 26264 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 37 0 177642568 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872216113792 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26938] ppid=26913 vsize=27346524 memory=1568 CPUtime=5.3 cores=0-7 /proc/26916/task/26938/stat : 26938 (java) S 26913 26916 26264 0 -1 1077944384 17734 0 0 0 268 262 0 0 20 0 37 0 177642579 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872215060976 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26939] ppid=26913 vsize=27346524 memory=2240 CPUtime=2468.94 cores=0-7 /proc/26916/task/26939/stat : 26939 (java) S 26913 26916 26264 0 -1 1077944384 59375 0 0 0 246825 69 0 0 20 0 37 0 177642589 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872211905504 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26940] ppid=26913 vsize=27346524 memory=279422788364064 CPUtime=0.21 cores=0-7 /proc/26916/task/26940/stat : 26940 (java) S 26913 26916 26264 0 -1 1077944384 87 0 0 0 21 0 0 0 20 0 37 0 177642590 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872210859440 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26941] ppid=26913 vsize=27346524 memory=7649399392821655090 CPUtime=2467.17 cores=0-7 /proc/26916/task/26941/stat : 26941 (java) S 26913 26916 26264 0 -1 1077944384 59589 0 0 0 246643 74 0 0 20 0 37 0 177642590 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872209800160 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26942] ppid=26913 vsize=27346524 memory=7649399397116622386 CPUtime=2468.4 cores=0-7 /proc/26916/task/26942/stat : 26942 (java) S 26913 26916 26264 0 -1 1077944384 62457 0 0 0 246760 80 0 0 20 0 37 0 177642596 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872208747360 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26943] ppid=26913 vsize=27346524 memory=6791534058613427641 CPUtime=2468.29 cores=0-7 /proc/26916/task/26943/stat : 26943 (java) R 26913 26916 26264 0 -1 4202560 63706 0 0 0 246754 75 0 0 20 0 37 0 177642596 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872207694376 139872546901186 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26944] ppid=26913 vsize=27346524 memory=12132 CPUtime=2470.48 cores=0-7 /proc/26916/task/26944/stat : 26944 (java) S 26913 26916 26264 0 -1 1077944384 63482 0 0 0 246978 70 0 0 20 0 37 0 177642597 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872206641552 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26945] ppid=26913 vsize=27346524 memory=1440 CPUtime=2471.17 cores=0-7 /proc/26916/task/26945/stat : 26945 (java) S 26913 26916 26264 0 -1 1077944384 60507 0 0 0 247052 65 0 0 20 0 37 0 177642597 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872205588864 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26946] ppid=26913 vsize=27346524 memory=579664 CPUtime=0.15 cores=0-7 /proc/26916/task/26946/stat : 26946 (java) S 26913 26916 26264 0 -1 1077944384 65 0 0 0 15 0 0 0 20 0 37 0 177642597 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872204542640 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26947] ppid=26913 vsize=27346524 memory=4100 CPUtime=2467.74 cores=0-7 /proc/26916/task/26947/stat : 26947 (java) S 26913 26916 26264 0 -1 1077944384 56756 0 0 0 246713 61 0 0 20 0 37 0 177642597 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872203484480 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26948] ppid=26913 vsize=27346524 memory=566832 CPUtime=0 cores=0-7 /proc/26916/task/26948/stat : 26948 (java) S 26913 26916 26264 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 37 0 177642598 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872202438064 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26949] ppid=26913 vsize=27346524 memory=1152 CPUtime=0 cores=0-7 /proc/26916/task/26949/stat : 26949 (java) S 26913 26916 26264 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 37 0 177642598 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872201385264 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26950] ppid=26913 vsize=27346524 memory=4268 CPUtime=2468.29 cores=0-7 /proc/26916/task/26950/stat : 26950 (java) R 26913 26916 26264 0 -1 4202560 64859 0 0 0 246752 77 0 0 20 0 37 0 177642633 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872200326472 139872547089746 0 4 0 16800975 0 0 0 -1 3 0 0 43 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26951] ppid=26913 vsize=27346524 memory=558624 CPUtime=0 cores=0-7 /proc/26916/task/26951/stat : 26951 (java) S 26913 26916 26264 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 37 0 177642633 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872199279664 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26952] ppid=26913 vsize=27346524 memory=570424 CPUtime=0 cores=0-7 /proc/26916/task/26952/stat : 26952 (java) S 26913 26916 26264 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 37 0 177642633 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872198226864 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26953] ppid=26913 vsize=27346524 memory=570936 CPUtime=0 cores=0-7 /proc/26916/task/26953/stat : 26953 (java) S 26913 26916 26264 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 37 0 177642633 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872197174064 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 [pid=26916/tid=26954] ppid=26913 vsize=27346524 memory=567348 CPUtime=0 cores=0-7 /proc/26916/task/26954/stat : 26954 (java) S 26913 26916 26264 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 37 0 177642633 28002840576 138646 33554432000 4194304 4196468 140731313822112 139872196121264 139872908904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140731313824865 140731313825051 140731313825051 140731313827791 0 Current children cumulated CPU time: 19854.8 s Current children cumulated vsize: 27346524 KiB Current children cumulated memory: 554584 KiB Child status: 143 Real time (s): 2520.14 CPU time (s): 19854.8 CPU user time (s): 19845.2 CPU system time (s): 9.58775 CPU usage (%): 787.845 Max. virtual memory (cumulated for all children) (KiB): 27346524 Max. memory (cumulated for all children) (KiB): 1712204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19845.2 system time used= 9.58775 maximum resident set size= 1712360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1297764 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4056 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 504405 involuntary context switches= 419294 # summary of solver processes directly reported to runsolver: # pid: 26916 # total CPU time (s): 19854.8 # total CPU user time (s): 19845.2 # total CPU system time (s): 9.58775 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 22.332 second user time and 35.4227 second system time The end
Begin job on node113 at 2017-08-23 01:31:06 IDJOB=4285370 IDBENCH=133764 IDSOLVER=2681 FILE ID=node113/4285370-1503445527 RUNJOBID= node113-1503437094-26291 PBS_JOBID= 20632145 Free space on /tmp= 60796 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg4/QuasiGroup-4-17.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285370-1503445527/watcher-4285370-1503445527 -o /tmp/evaluation-result-4285370-1503445527/solver-4285370-1503445527 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503437094-26291 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2114003145 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285370-1503445527.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1749ee71f79cc6e37ea59febff668c91 RANDOM SEED=2114003145 node113.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.89 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.89 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.89 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.89 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: 23531804 kB MemAvailable: 31944908 kB Buffers: 229444 kB Cached: 8464512 kB SwapCached: 0 kB Active: 2331952 kB Inactive: 6415156 kB Active(anon): 2640 kB Inactive(anon): 94684 kB Active(file): 2329312 kB Inactive(file): 6320472 kB Unevictable: 7716 kB Mlocked: 7716 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42036 kB Writeback: 4 kB AnonPages: 60800 kB Mapped: 55080 kB Shmem: 41608 kB Slab: 185196 kB SReclaimable: 158308 kB SUnreclaim: 26888 kB KernelStack: 3232 kB PageTables: 4712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 341208 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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= 60752 MiB End job on node113 at 2017-08-23 02:13:06