Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | ? (TO) | 19933.5 | 2520.34 |
Name | Quasigroups/ QuasiGroup-7-20_c18.xml |
MD5SUM | 5f66fd9d375fc47cd589a0d8fc089b8f |
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 | 800 |
Number of constraints | 762 |
Number of domains | 1 |
Minimum domain size | 20 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":20,"count":780}] |
Minimum variable degree | 0 |
Maximum variable degree | 41 |
Distribution of variable degrees | [{"degree":0,"count":20},{"degree":2,"count":380},{"degree":40,"count":20},{"degree":41,"count":380}] |
Minimum constraint arity | 20 |
Maximum constraint arity | 400 |
Distribution of constraint arities | [{"arity":20,"count":1},{"arity":22,"count":760},{"arity":400,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":760}] |
Optimization problem | NO |
Type of objective |
0.68/0.55 c version: 2018-07-02 0.68/0.55 c seed: 405292424 0.68/0.55 c timeout: 20160 0.68/0.55 c memlimit: 22000 0.68/0.55 c nbcore: 8 0.68/0.58 c Parsing instance... 1.85/1.38 c Parsing done, starting search... 19930.86/2520.08 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 (13165 MiB free) memory of node 1: 16384 MiB (13718 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291321-1532681529/watcher-4291321-1532681529 -o /tmp/evaluation-result-4291321-1532681529/solver-4291321-1532681529 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532673690-11357 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 405292424 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291321-1532681529.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=12966, runsolver pid=12963 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 7.27 8.49 8.76 2/204 12986 /proc/meminfo: memFree=27513396/32770624 swapFree=67108856/67108860 [pid=12966] ppid=12963 vsize=26103424 memory=31672 CPUtime=0.11 cores=0-7 /proc/12966/stat : 12966 (java) S 12963 12966 11330 0 -1 1077944320 7362 0 0 0 10 1 0 0 20 0 20 0 85716082 26729906176 7918 33554432000 4194304 4196468 140735369968896 140735369951440 140093165829879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 /proc/12966/statm: 6525856 7918 3135 1 0 6487932 0 [pid=12966/tid=12968] ppid=12963 vsize=26103424 memory=8329014368984276893 CPUtime=0.09 cores=0-7 /proc/12966/task/12968/stat : 12968 (java) R 12963 12966 11330 0 -1 4202560 5428 0 0 0 8 1 0 0 20 0 20 0 85716082 26729906176 7936 33554432000 4194304 4196468 140735369968896 140093170033008 140093149910366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12969] ppid=12963 vsize=26103424 memory=732370025320815589 CPUtime=0 cores=0-7 /proc/12966/task/12969/stat : 12969 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 7936 33554432000 4194304 4196468 140735369968896 140093118450064 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12970] ppid=12963 vsize=26103424 memory=139886983362176 CPUtime=0 cores=0-7 /proc/12966/task/12970/stat : 12970 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 7936 33554432000 4194304 4196468 140735369968896 140093117397264 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12971] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12971/stat : 12971 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 7936 33554432000 4194304 4196468 140735369968896 140093116344976 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12972] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12972/stat : 12972 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 7936 33554432000 4194304 4196468 140735369968896 140093115292176 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12973] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12973/stat : 12973 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 7936 33554432000 4194304 4196468 140735369968896 140093114239888 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12974] ppid=12963 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/12966/task/12974/stat : 12974 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 7936 33554432000 4194304 4196468 140735369968896 140093113187088 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12975] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12975/stat : 12975 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 7936 33554432000 4194304 4196468 140735369968896 140093112134800 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12976] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12976/stat : 12976 (java) S 12963 12966 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 7936 33554432000 4194304 4196468 140735369968896 140093111082000 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12977] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12977/stat : 12977 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716085 26729906176 7936 33554432000 4194304 4196468 140735369968896 140092157933680 140093165841026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12978] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12978/stat : 12978 (java) S 12963 12966 11330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 85716085 26729906176 7936 33554432000 4194304 4196468 140735369968896 140092156879648 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12979] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12979/stat : 12979 (java) S 12963 12966 11330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85716085 26729906176 7936 33554432000 4194304 4196468 140735369968896 140092155827312 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12980] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12980/stat : 12980 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 7936 33554432000 4194304 4196468 140735369968896 140092154775632 140093165848475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12981] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12981/stat : 12981 (java) S 12963 12966 11330 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 7936 33554432000 4194304 4196468 140735369968896 140092153723504 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12982] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12982/stat : 12982 (java) S 12963 12966 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 7936 33554432000 4194304 4196468 140735369968896 140092152670704 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12983] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12983/stat : 12983 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 7936 33554432000 4194304 4196468 140735369968896 140092151618416 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12984] ppid=12963 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/12966/task/12984/stat : 12984 (java) R 12963 12966 11330 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 85716088 26729906176 7936 33554432000 4194304 4196468 140735369968896 140092150565616 140093147070192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12985] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12985/stat : 12985 (java) S 12963 12966 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 7936 33554432000 4194304 4196468 140735369968896 140092149512544 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12986] ppid=12963 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/12966/task/12986/stat : 12986 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 7936 33554432000 4194304 4196468 140735369968896 140092148459824 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 31672 KiB [startup+0.210715 s]* /proc/loadavg: 7.27 8.49 8.76 4/204 12986 /proc/meminfo: memFree=27499692/32770624 swapFree=67108856/67108860 [pid=12966] ppid=12963 vsize=26103424 memory=43040 CPUtime=0.31 cores=0-7 /proc/12966/stat : 12966 (java) S 12963 12966 11330 0 -1 1077944320 10436 0 0 0 28 3 0 0 20 0 20 0 85716082 26729906176 10760 33554432000 4194304 4196468 140735369968896 140735369951440 140093165829879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 /proc/12966/statm: 6525856 10760 3327 1 0 6487932 0 [pid=12966/tid=12968] ppid=12963 vsize=26103424 memory=32758254098972862 CPUtime=0.2 cores=0-7 /proc/12966/task/12968/stat : 12968 (java) R 12963 12966 11330 0 -1 4202560 8205 0 0 0 18 2 0 0 20 0 20 0 85716082 26729906176 10760 33554432000 4194304 4196468 140735369968896 140093170052832 140093165841814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12969] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12969/stat : 12969 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 10760 33554432000 4194304 4196468 140735369968896 140093118450064 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12970] ppid=12963 vsize=26103424 memory=139886983373862 CPUtime=0 cores=0-7 /proc/12966/task/12970/stat : 12970 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 10760 33554432000 4194304 4196468 140735369968896 140093117397264 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12971] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12971/stat : 12971 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 10760 33554432000 4194304 4196468 140735369968896 140093116344976 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12972] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12972/stat : 12972 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 10760 33554432000 4194304 4196468 140735369968896 140093115292176 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12973] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12973/stat : 12973 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 10760 33554432000 4194304 4196468 140735369968896 140093114239888 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12974] ppid=12963 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/12966/task/12974/stat : 12974 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 10760 33554432000 4194304 4196468 140735369968896 140093113187088 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12975] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12975/stat : 12975 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 10760 33554432000 4194304 4196468 140735369968896 140093112134800 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12976] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12976/stat : 12976 (java) S 12963 12966 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 10760 33554432000 4194304 4196468 140735369968896 140093111082000 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12977] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12977/stat : 12977 (java) S 12963 12966 11330 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 85716085 26729906176 10760 33554432000 4194304 4196468 140735369968896 140092157933680 140093165841026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12978] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12978/stat : 12978 (java) S 12963 12966 11330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 85716085 26729906176 10760 33554432000 4194304 4196468 140735369968896 140092156879648 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12979] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12979/stat : 12979 (java) S 12963 12966 11330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85716085 26729906176 10760 33554432000 4194304 4196468 140735369968896 140092155827312 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12980] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12980/stat : 12980 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 10760 33554432000 4194304 4196468 140735369968896 140092154775632 140093165848475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12981] ppid=12963 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/12966/task/12981/stat : 12981 (java) S 12963 12966 11330 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 20 0 85716088 26729906176 10760 33554432000 4194304 4196468 140735369968896 140092153723504 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12982] ppid=12963 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/12966/task/12982/stat : 12982 (java) S 12963 12966 11330 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 85716088 26729906176 10760 33554432000 4194304 4196468 140735369968896 140092152670704 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12983] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12983/stat : 12983 (java) S 12963 12966 11330 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 10760 33554432000 4194304 4196468 140735369968896 140092151618416 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12984] ppid=12963 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/12966/task/12984/stat : 12984 (java) R 12963 12966 11330 0 -1 4202560 314 0 0 0 6 0 0 0 20 0 20 0 85716088 26729906176 10760 33554432000 4194304 4196468 140735369968896 140092150565616 140093165851226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12985] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12985/stat : 12985 (java) S 12963 12966 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 10760 33554432000 4194304 4196468 140735369968896 140092149512544 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12986] ppid=12963 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/12966/task/12986/stat : 12986 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 10760 33554432000 4194304 4196468 140735369968896 140092148459824 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 43040 KiB [startup+0.310665 s]* /proc/loadavg: 7.27 8.49 8.76 2/204 12986 /proc/meminfo: memFree=27496280/32770624 swapFree=67108856/67108860 [pid=12966] ppid=12963 vsize=26103424 memory=46556 CPUtime=0.44 cores=0-7 /proc/12966/stat : 12966 (java) S 12963 12966 11330 0 -1 1077944320 10884 0 0 0 41 3 0 0 20 0 20 0 85716082 26729906176 11639 33554432000 4194304 4196468 140735369968896 140735369951440 140093165829879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 /proc/12966/statm: 6525856 11639 3373 1 0 6487932 0 [pid=12966/tid=12968] ppid=12963 vsize=26103424 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/12966/task/12968/stat : 12968 (java) R 12963 12966 11330 0 -1 4202560 8546 0 0 0 28 2 0 0 20 0 20 0 85716082 26729906176 11639 33554432000 4194304 4196468 140735369968896 140093169991616 140093149910366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12969] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12969/stat : 12969 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 11639 33554432000 4194304 4196468 140735369968896 140093118450064 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12970] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12970/stat : 12970 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 11639 33554432000 4194304 4196468 140735369968896 140093117397264 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12971] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12971/stat : 12971 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 11639 33554432000 4194304 4196468 140735369968896 140093116344976 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12972] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12972/stat : 12972 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 11639 33554432000 4194304 4196468 140735369968896 140093115292176 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12973] ppid=12963 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/12966/task/12973/stat : 12973 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 11639 33554432000 4194304 4196468 140735369968896 140093114239888 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12974] ppid=12963 vsize=26103424 memory=139886883599279 CPUtime=0 cores=0-7 /proc/12966/task/12974/stat : 12974 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 11639 33554432000 4194304 4196468 140735369968896 140093113187088 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12975] ppid=12963 vsize=26103424 memory=139886883601584 CPUtime=0 cores=0-7 /proc/12966/task/12975/stat : 12975 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 11639 33554432000 4194304 4196468 140735369968896 140093112134800 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12976] ppid=12963 vsize=26103424 memory=139886883603888 CPUtime=0 cores=0-7 /proc/12966/task/12976/stat : 12976 (java) S 12963 12966 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85716083 26729906176 11639 33554432000 4194304 4196468 140735369968896 140093111082000 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12977] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12977/stat : 12977 (java) S 12963 12966 11330 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 85716085 26729906176 11639 33554432000 4194304 4196468 140735369968896 140092157933680 140093165841026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12978] ppid=12963 vsize=26103424 memory=279773767214736 CPUtime=0 cores=0-7 /proc/12966/task/12978/stat : 12978 (java) S 12963 12966 11330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 85716085 26729906176 11639 33554432000 4194304 4196468 140735369968896 140092156879648 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12979] ppid=12963 vsize=26103424 memory=279773767221648 CPUtime=0 cores=0-7 /proc/12966/task/12979/stat : 12979 (java) S 12963 12966 11330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85716085 26729906176 11639 33554432000 4194304 4196468 140735369968896 140092155827312 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12980] ppid=12963 vsize=26103424 memory=279773767162928 CPUtime=0 cores=0-7 /proc/12966/task/12980/stat : 12980 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 11639 33554432000 4194304 4196468 140735369968896 140092154775632 140093165848475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12981] ppid=12963 vsize=26103424 memory=279773767235472 CPUtime=0.01 cores=0-7 /proc/12966/task/12981/stat : 12981 (java) S 12963 12966 11330 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 20 0 85716088 26729906176 11639 33554432000 4194304 4196468 140735369968896 140092153723504 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12982] ppid=12963 vsize=26103424 memory=279773767242384 CPUtime=0.01 cores=0-7 /proc/12966/task/12982/stat : 12982 (java) S 12963 12966 11330 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 20 0 85716088 26729906176 11639 33554432000 4194304 4196468 140735369968896 140092152670704 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12983] ppid=12963 vsize=26103424 memory=279773767240080 CPUtime=0 cores=0-7 /proc/12966/task/12983/stat : 12983 (java) S 12963 12966 11330 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 11639 33554432000 4194304 4196468 140735369968896 140092151618416 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12984] ppid=12963 vsize=26103424 memory=279773767256640 CPUtime=0.08 cores=0-7 /proc/12966/task/12984/stat : 12984 (java) S 12963 12966 11330 0 -1 1077944384 329 0 0 0 8 0 0 0 20 0 20 0 85716088 26729906176 11639 33554432000 4194304 4196468 140735369968896 140092150565616 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12985] ppid=12963 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12985/stat : 12985 (java) S 12963 12966 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 11639 33554432000 4194304 4196468 140735369968896 140092149512544 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12986] ppid=12963 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/12966/task/12986/stat : 12986 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716088 26729906176 11639 33554432000 4194304 4196468 140735369968896 140092148459824 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 46556 KiB [startup+0.700857 s] /proc/loadavg: 7.27 8.49 8.76 3/204 12986 /proc/meminfo: memFree=27472096/32770624 swapFree=67108856/67108860 [pid=12966] ppid=12963 vsize=26105492 memory=85532 CPUtime=1 cores=0-7 /proc/12966/stat : 12966 (java) S 12963 12966 11330 0 -1 1077944320 17862 0 0 0 93 7 0 0 20 0 20 0 85716082 26732023808 21383 33554432000 4194304 4196468 140735369968896 140735369951440 140093165829879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 /proc/12966/statm: 6526373 21383 3498 1 0 6488444 0 [pid=12966/tid=12968] ppid=12963 vsize=26105492 memory=6152832298428748391 CPUtime=0.67 cores=0-7 /proc/12966/task/12968/stat : 12968 (java) R 12963 12966 11330 0 -1 4202560 15001 0 0 0 62 5 0 0 20 0 20 0 85716082 26732023808 21383 33554432000 4194304 4196468 140735369968896 140093170055376 140092790276217 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12969] ppid=12963 vsize=26105492 memory=55770150364530 CPUtime=0 cores=0-7 /proc/12966/task/12969/stat : 12969 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26732023808 21383 33554432000 4194304 4196468 140735369968896 140093118450064 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12970] ppid=12963 vsize=26105492 memory=139886883614431 CPUtime=0 cores=0-7 /proc/12966/task/12970/stat : 12970 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716083 26732023808 21383 33554432000 4194304 4196468 140735369968896 140093117397264 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12971] ppid=12963 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12971/stat : 12971 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716083 26732023808 21383 33554432000 4194304 4196468 140735369968896 140093116344976 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12972] ppid=12963 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12972/stat : 12972 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26732023808 21383 33554432000 4194304 4196468 140735369968896 140093115292176 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12973] ppid=12963 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12973/stat : 12973 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26732023808 21383 33554432000 4194304 4196468 140735369968896 140093114239888 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12974] ppid=12963 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12974/stat : 12974 (java) S 12963 12966 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85716083 26732023808 21383 33554432000 4194304 4196468 140735369968896 140093113187088 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12975] ppid=12963 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/12966/task/12975/stat : 12975 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85716083 26732023808 21383 33554432000 4194304 4196468 140735369968896 140093112134800 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12976] ppid=12963 vsize=26105492 memory=1804 CPUtime=0 cores=0-7 /proc/12966/task/12976/stat : 12976 (java) S 12963 12966 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85716083 26732023808 21383 33554432000 4194304 4196468 140735369968896 140093111082000 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12977] ppid=12963 vsize=26105492 memory=796 CPUtime=0 cores=0-7 /proc/12966/task/12977/stat : 12977 (java) S 12963 12966 11330 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 85716085 26732023808 21383 33554432000 4194304 4196468 140735369968896 140092157933680 140093165841026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 ################ # More data... # ################ /proc/12966/task/12973/stat : 12973 (java) S 12963 12966 11330 0 -1 1077944384 101763 0 0 0 1146 42 0 0 20 0 33 0 85716083 27632840704 137457 33554432000 4194304 4196468 140735369968896 140093114239888 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12974] ppid=12963 vsize=26985196 memory=554956 CPUtime=11.85 cores=0-7 /proc/12966/task/12974/stat : 12974 (java) S 12963 12966 11330 0 -1 1077944384 86269 0 0 0 1145 40 0 0 20 0 33 0 85716083 27632840704 137457 33554432000 4194304 4196468 140735369968896 140093113187088 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12975] ppid=12963 vsize=26985196 memory=549828 CPUtime=11.85 cores=0-7 /proc/12966/task/12975/stat : 12975 (java) S 12963 12966 11330 0 -1 1077944384 95531 0 0 0 1145 40 0 0 20 0 33 0 85716083 27632840704 137457 33554432000 4194304 4196468 140735369968896 140093112134800 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12976] ppid=12963 vsize=26985196 memory=558068 CPUtime=11.83 cores=0-7 /proc/12966/task/12976/stat : 12976 (java) S 12963 12966 11330 0 -1 1077944384 90509 0 0 0 1143 40 0 0 20 0 33 0 85716083 27632840704 137457 33554432000 4194304 4196468 140735369968896 140093111082000 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12977] ppid=12963 vsize=26985196 memory=25316 CPUtime=7.47 cores=0-7 /proc/12966/task/12977/stat : 12977 (java) S 12963 12966 11330 0 -1 1077944384 137455 0 0 0 644 103 0 0 20 0 33 0 85716085 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092157933680 140093165841026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12978] ppid=12963 vsize=26985196 memory=1244 CPUtime=0 cores=0-7 /proc/12966/task/12978/stat : 12978 (java) S 12963 12966 11330 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 33 0 85716085 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092156879712 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12979] ppid=12963 vsize=26985196 memory=1404 CPUtime=0 cores=0-7 /proc/12966/task/12979/stat : 12979 (java) S 12963 12966 11330 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 33 0 85716085 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092155827328 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12980] ppid=12963 vsize=26985196 memory=3944 CPUtime=0 cores=0-7 /proc/12966/task/12980/stat : 12980 (java) S 12963 12966 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 85716088 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092154775632 140093165848475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12981] ppid=12963 vsize=26985196 memory=-7003737579269690708 CPUtime=1.69 cores=0-7 /proc/12966/task/12981/stat : 12981 (java) S 12963 12966 11330 0 -1 1077944384 9723 0 0 0 166 3 0 0 20 0 33 0 85716088 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092153723504 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12982] ppid=12963 vsize=26985196 memory=1236 CPUtime=1.63 cores=0-7 /proc/12966/task/12982/stat : 12982 (java) S 12963 12966 11330 0 -1 1077944384 7698 0 0 0 160 3 0 0 20 0 33 0 85716088 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092152670704 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12983] ppid=12963 vsize=26985196 memory=550828 CPUtime=1.9 cores=0-7 /proc/12966/task/12983/stat : 12983 (java) S 12963 12966 11330 0 -1 1077944384 11278 0 0 0 189 1 0 0 20 0 33 0 85716088 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092151618416 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12984] ppid=12963 vsize=26985196 memory=550828 CPUtime=1.21 cores=0-7 /proc/12966/task/12984/stat : 12984 (java) S 12963 12966 11330 0 -1 1077944384 14211 0 0 0 118 3 0 0 20 0 33 0 85716088 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092150565616 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12985] ppid=12963 vsize=26985196 memory=1780 CPUtime=0 cores=0-7 /proc/12966/task/12985/stat : 12985 (java) S 12963 12966 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 85716088 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092149512544 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12986] ppid=12963 vsize=26985196 memory=644 CPUtime=0.8 cores=0-7 /proc/12966/task/12986/stat : 12986 (java) S 12963 12966 11330 0 -1 1077944384 7389 0 0 0 28 52 0 0 20 0 33 0 85716088 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092148459824 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12987] ppid=12963 vsize=26985196 memory=549804 CPUtime=0 cores=0-7 /proc/12966/task/12987/stat : 12987 (java) S 12963 12966 11330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 33 0 85716432 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092135015296 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12988] ppid=12963 vsize=26985196 memory=550316 CPUtime=3.61 cores=0-7 /proc/12966/task/12988/stat : 12988 (java) R 12963 12966 11330 0 -1 1077944384 17710 0 0 0 147 214 0 0 20 0 33 0 85716452 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092131865632 140093165841026 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12989] ppid=12963 vsize=26985196 memory=1780 CPUtime=2476.1 cores=0-7 /proc/12966/task/12989/stat : 12989 (java) R 12963 12966 11330 0 -1 4202560 118704 0 0 0 247563 47 0 0 20 0 33 0 85716468 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092128710112 140092803853854 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12990] ppid=12963 vsize=26985196 memory=644 CPUtime=0.13 cores=0-7 /proc/12966/task/12990/stat : 12990 (java) S 12963 12966 11330 0 -1 1077944384 78 0 0 0 13 0 0 0 20 0 33 0 85716469 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092127663264 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12991] ppid=12963 vsize=26985196 memory=549804 CPUtime=2478.8 cores=0-7 /proc/12966/task/12991/stat : 12991 (java) R 12963 12966 11330 0 -1 4202560 101067 0 0 0 247839 41 0 0 20 0 33 0 85716469 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092126603544 140092791519287 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12992] ppid=12963 vsize=26985196 memory=1780 CPUtime=2473.55 cores=0-7 /proc/12966/task/12992/stat : 12992 (java) R 12963 12966 11330 0 -1 4202560 113708 0 0 0 247309 46 0 0 20 0 33 0 85716476 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092125552552 140092799261726 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12993] ppid=12963 vsize=26985196 memory=644 CPUtime=0.14 cores=0-7 /proc/12966/task/12993/stat : 12993 (java) S 12963 12966 11330 0 -1 1077944384 41 0 0 0 14 0 0 0 20 0 33 0 85716476 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092124504864 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12994] ppid=12963 vsize=26985196 memory=7956575652393145963 CPUtime=2476.71 cores=0-7 /proc/12966/task/12994/stat : 12994 (java) R 12963 12966 11330 0 -1 4202560 118643 0 0 0 247626 45 0 0 20 0 33 0 85716476 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092123447120 140092790613095 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12995] ppid=12963 vsize=26985196 memory=7741518904594688875 CPUtime=0.13 cores=0-7 /proc/12966/task/12995/stat : 12995 (java) S 12963 12966 11330 0 -1 1077944384 34 0 0 0 13 0 0 0 20 0 33 0 85716476 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092122399776 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12996] ppid=12963 vsize=26985196 memory=7451044411991681388 CPUtime=2478.61 cores=0-7 /proc/12966/task/12996/stat : 12996 (java) R 12963 12966 11330 0 -1 4202560 109090 0 0 0 247810 51 0 0 20 0 33 0 85716476 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092121338688 140092800103042 0 4 0 16800975 0 0 0 -1 6 0 0 25 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12997] ppid=12963 vsize=26985196 memory=550828 CPUtime=2479.02 cores=0-7 /proc/12966/task/12997/stat : 12997 (java) R 12963 12966 11330 0 -1 4202560 117954 0 0 0 247858 44 0 0 20 0 33 0 85716476 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092120289064 140092803854137 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12998] ppid=12963 vsize=26985196 memory=555836 CPUtime=2475.72 cores=0-7 /proc/12966/task/12998/stat : 12998 (java) R 12963 12966 11330 0 -1 4202560 116654 0 0 0 247528 44 0 0 20 0 33 0 85716476 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092119235936 140092800102676 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12999] ppid=12963 vsize=26985196 memory=552880 CPUtime=2475.17 cores=0-7 /proc/12966/task/12999/stat : 12999 (java) R 12963 12966 11330 0 -1 4202560 120773 0 0 0 247472 45 0 0 20 0 33 0 85716477 27632840704 137457 33554432000 4194304 4196468 140735369968896 140092118182360 140092804078853 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 Current children cumulated CPU time: 19930.9 s Current children cumulated vsize: 26985196 KiB Current children cumulated memory: 549828 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.34 s] # the end of solver process 12966 was just reported to runsolver # cumulated CPU time of all completed processes: user=19925.3 s, system=8.11728 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.3 s]* /proc/loadavg: 8.75 8.71 8.76 15/228 13078 /proc/meminfo: memFree=26987044/32770624 swapFree=67108856/67108860 [pid=12966] ppid=12963 vsize=27719448 memory=552260 CPUtime=19933.2 cores=0-7 /proc/12966/stat : 12966 (java) S 12963 12966 11330 0 -1 1077944320 1879775 0 0 0 1992515 810 0 0 20 0 44 0 85716082 28384714752 138065 33554432000 4194304 4196468 140735369968896 140735369951440 140093165829879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 /proc/12966/statm: 6929862 138065 3614 1 0 6891412 0 [pid=12966/tid=12968] ppid=12963 vsize=27719448 memory=644 CPUtime=3.51 cores=0-7 /proc/12966/task/12968/stat : 12968 (java) S 12963 12966 11330 0 -1 1077944384 23624 0 0 0 341 10 0 0 20 0 44 0 85716082 28384714752 138065 33554432000 4194304 4196468 140735369968896 140093170067344 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12969] ppid=12963 vsize=27719448 memory=-7003737579269690708 CPUtime=11.77 cores=0-7 /proc/12966/task/12969/stat : 12969 (java) S 12963 12966 11330 0 -1 1077944384 88336 0 0 0 1137 40 0 0 20 0 44 0 85716083 28384714752 138065 33554432000 4194304 4196468 140735369968896 140093118450064 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12970] ppid=12963 vsize=27719448 memory=916 CPUtime=11.85 cores=0-7 /proc/12966/task/12970/stat : 12970 (java) S 12963 12966 11330 0 -1 1077944384 89290 0 0 0 1144 41 0 0 20 0 44 0 85716083 28384714752 138065 33554432000 4194304 4196468 140735369968896 140093117397264 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12971] ppid=12963 vsize=27719448 memory=25316 CPUtime=11.84 cores=0-7 /proc/12966/task/12971/stat : 12971 (java) S 12963 12966 11330 0 -1 1077944384 88015 0 0 0 1144 40 0 0 20 0 44 0 85716083 28384714752 138065 33554432000 4194304 4196468 140735369968896 140093116344976 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12972] ppid=12963 vsize=27719448 memory=1244 CPUtime=11.84 cores=0-7 /proc/12966/task/12972/stat : 12972 (java) S 12963 12966 11330 0 -1 1077944384 89972 0 0 0 1143 41 0 0 20 0 44 0 85716083 28384714752 138065 33554432000 4194304 4196468 140735369968896 140093115292176 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12973] ppid=12963 vsize=27719448 memory=2268 CPUtime=11.88 cores=0-7 /proc/12966/task/12973/stat : 12973 (java) S 12963 12966 11330 0 -1 1077944384 101763 0 0 0 1146 42 0 0 20 0 44 0 85716083 28384714752 138065 33554432000 4194304 4196468 140735369968896 140093114239888 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12974] ppid=12963 vsize=27719448 memory=1804 CPUtime=11.85 cores=0-7 /proc/12966/task/12974/stat : 12974 (java) S 12963 12966 11330 0 -1 1077944384 86269 0 0 0 1145 40 0 0 20 0 44 0 85716083 28384714752 138065 33554432000 4194304 4196468 140735369968896 140093113187088 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12975] ppid=12963 vsize=27719448 memory=796 CPUtime=11.85 cores=0-7 /proc/12966/task/12975/stat : 12975 (java) S 12963 12966 11330 0 -1 1077944384 95559 0 0 0 1145 40 0 0 20 0 44 0 85716083 28384714752 138065 33554432000 4194304 4196468 140735369968896 140093112134800 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12976] ppid=12963 vsize=27719448 memory=1704 CPUtime=11.83 cores=0-7 /proc/12966/task/12976/stat : 12976 (java) S 12963 12966 11330 0 -1 1077944384 90512 0 0 0 1143 40 0 0 20 0 44 0 85716083 28384714752 138065 33554432000 4194304 4196468 140735369968896 140093111082000 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12977] ppid=12963 vsize=27719448 memory=11860 CPUtime=7.47 cores=0-7 /proc/12966/task/12977/stat : 12977 (java) S 12963 12966 11330 0 -1 1077944384 137488 0 0 0 644 103 0 0 20 0 44 0 85716085 28384714752 138065 33554432000 4194304 4196468 140735369968896 140092157933680 140093165841026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12978] ppid=12963 vsize=27719448 memory=1188 CPUtime=0 cores=0-7 /proc/12966/task/12978/stat : 12978 (java) S 12963 12966 11330 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 44 0 85716085 28384714752 138065 33554432000 4194304 4196468 140735369968896 140092156879712 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12979] ppid=12963 vsize=27719448 memory=8440 CPUtime=0 cores=0-7 /proc/12966/task/12979/stat : 12979 (java) S 12963 12966 11330 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 44 0 85716085 28384714752 138065 33554432000 4194304 4196468 140735369968896 140092155827328 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12980] ppid=12963 vsize=27719448 memory=15252 CPUtime=0 cores=0-7 /proc/12966/task/12980/stat : 12980 (java) S 12963 12966 11330 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 44 0 85716088 28384714752 138065 33554432000 4194304 4196468 140735369968896 140092154775632 140093165848475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12981] ppid=12963 vsize=27719448 memory=16244 CPUtime=1.69 cores=0-7 /proc/12966/task/12981/stat : 12981 (java) R 12963 12966 11330 0 -1 1077944384 9723 0 0 0 166 3 0 0 20 0 44 0 85716088 28384714752 138065 33554432000 4194304 4196468 140735369968896 140092153723504 140093165841026 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12982] ppid=12963 vsize=27719448 memory=4048 CPUtime=1.67 cores=0-7 /proc/12966/task/12982/stat : 12982 (java) S 12963 12966 11330 0 -1 1077944384 8086 0 0 0 164 3 0 0 20 0 44 0 85716088 28384714752 138065 33554432000 4194304 4196468 140735369968896 140092152670704 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12983] ppid=12963 vsize=27719448 memory=1236 CPUtime=1.9 cores=0-7 /proc/12966/task/12983/stat : 12983 (java) S 12963 12966 11330 0 -1 1077944384 11278 0 0 0 189 1 0 0 20 0 44 0 85716088 28384714752 138065 33554432000 4194304 4196468 140735369968896 140092151618416 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12984] ppid=12963 vsize=27719448 memory=14760 CPUtime=1.23 cores=0-7 /proc/12966/task/12984/stat : 12984 (java) S 12963 12966 11330 0 -1 1077944384 15173 0 0 0 120 3 0 0 20 0 44 0 85716088 28384714752 138065 33554432000 4194304 4196468 140735369968896 140092150565616 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12985] ppid=12963 vsize=27719448 memory=1780 CPUtime=0 cores=0-7 /proc/12966/task/12985/stat : 12985 (java) S 12963 12966 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 85716088 28384714752 138065 33554432000 4194304 4196468 140735369968896 140092149512544 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12986] ppid=12963 vsize=27719448 memory=644 CPUtime=0.8 cores=0-7 /proc/12966/task/12986/stat : 12986 (java) S 12963 12966 11330 0 -1 1077944384 7389 0 0 0 28 52 0 0 20 0 44 0 85716088 28384714752 138065 33554432000 4194304 4196468 140735369968896 140092148459824 140093165841026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12987] ppid=12963 vsize=27719448 memory=11860 CPUtime=0 cores=0-7 /proc/12966/task/12987/stat : 12987 (java) S 12963 12966 11330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 44 0 85716432 28384714752 138065 33554432000 4194304 4196468 140735369968896 140092135015296 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12989] ppid=12963 vsize=27719448 memory=5772 CPUtime=2476.39 cores=0-7 /proc/12966/task/12989/stat : 12989 (java) R 12963 12966 11330 0 -1 4202560 118705 0 0 0 247592 47 0 0 20 0 42 0 85716468 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092128712312 140092791519534 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12990] ppid=12963 vsize=27719448 memory=4616 CPUtime=0.14 cores=0-7 /proc/12966/task/12990/stat : 12990 (java) S 12963 12966 11330 0 -1 1077944384 257 0 0 0 14 0 0 0 20 0 42 0 85716469 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092127663280 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12991] ppid=12963 vsize=27719448 memory=1388 CPUtime=2479.09 cores=0-7 /proc/12966/task/12991/stat : 12991 (java) R 12963 12966 11330 0 -1 4202560 101068 0 0 0 247868 41 0 0 20 0 42 0 85716469 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092126607032 140092799527584 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12992] ppid=12963 vsize=27719448 memory=1232 CPUtime=2473.85 cores=0-7 /proc/12966/task/12992/stat : 12992 (java) R 12963 12966 11330 0 -1 4202560 113708 0 0 0 247339 46 0 0 20 0 42 0 85716476 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092125554424 140092791519072 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12993] ppid=12963 vsize=27719448 memory=1012 CPUtime=0.15 cores=0-7 /proc/12966/task/12993/stat : 12993 (java) S 12963 12966 11330 0 -1 1077944384 282 0 0 0 15 0 0 0 20 0 42 0 85716476 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092124504880 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12994] ppid=12963 vsize=27719448 memory=1948 CPUtime=2477.01 cores=0-7 /proc/12966/task/12994/stat : 12994 (java) R 12963 12966 11330 0 -1 4202560 118644 0 0 0 247656 45 0 0 20 0 42 0 85716476 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092123444632 140092791519328 0 4 0 16800975 0 0 0 -1 3 0 0 30 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12995] ppid=12963 vsize=27719448 memory=1188 CPUtime=0.14 cores=0-7 /proc/12966/task/12995/stat : 12995 (java) S 12963 12966 11330 0 -1 1077944384 74 0 0 0 14 0 0 0 20 0 42 0 85716476 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092122399792 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12996] ppid=12963 vsize=27719448 memory=8440 CPUtime=2478.92 cores=0-7 /proc/12966/task/12996/stat : 12996 (java) R 12963 12966 11330 0 -1 4202560 109091 0 0 0 247841 51 0 0 20 0 42 0 85716476 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092121342096 140092800103042 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12997] ppid=12963 vsize=27719448 memory=6791534058613427641 CPUtime=2479.32 cores=0-7 /proc/12966/task/12997/stat : 12997 (java) R 12963 12966 11330 0 -1 4202560 117955 0 0 0 247888 44 0 0 20 0 42 0 85716476 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092120288624 140092803854178 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12998] ppid=12963 vsize=27719448 memory=4100 CPUtime=2475.96 cores=0-7 /proc/12966/task/12998/stat : 12998 (java) R 12963 12966 11330 0 -1 4202560 116654 0 0 0 247552 44 0 0 20 0 42 0 85716476 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092119237280 140092804078380 0 4 0 16800975 0 0 0 -1 6 0 0 28 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=12999] ppid=12963 vsize=27719448 memory=1398720917958146503 CPUtime=2475.45 cores=0-7 /proc/12966/task/12999/stat : 12999 (java) R 12963 12966 11330 0 -1 4202560 120775 0 0 0 247500 45 0 0 20 0 42 0 85716477 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092118181672 140092791519412 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=13067] ppid=12963 vsize=27719448 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/12966/task/13067/stat : 13067 (java) S 12963 12966 11330 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 42 0 85968086 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092115002720 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=13070] ppid=12963 vsize=27719448 memory=4100 CPUtime=0 cores=0-7 /proc/12966/task/13070/stat : 13070 (java) S 12963 12966 11330 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 42 0 85968097 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092113949744 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=13071] ppid=12963 vsize=27719448 memory=1398720917958146503 CPUtime=0 cores=0-7 /proc/12966/task/13071/stat : 13071 (java) S 12963 12966 11330 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 42 0 85968098 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092111844272 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=13072] ppid=12963 vsize=27719448 memory=552368 CPUtime=0 cores=0-7 /proc/12966/task/13072/stat : 13072 (java) S 12963 12966 11330 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 42 0 85968102 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092110791984 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=13073] ppid=12963 vsize=27719448 memory=-8341965534556230502 CPUtime=0 cores=0-7 /proc/12966/task/13073/stat : 13073 (java) S 12963 12966 11330 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 42 0 85968103 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092109739184 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=13074] ppid=12963 vsize=27719448 memory=9047017150487036571 CPUtime=0 cores=0-7 /proc/12966/task/13074/stat : 13074 (java) S 12963 12966 11330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 42 0 85968106 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092108686896 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=13075] ppid=12963 vsize=27719448 memory=4036 CPUtime=0 cores=0-7 /proc/12966/task/13075/stat : 13075 (java) S 12963 12966 11330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 42 0 85968108 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092107634096 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=13076] ppid=12963 vsize=27719448 memory=549804 CPUtime=0 cores=0-7 /proc/12966/task/13076/stat : 13076 (java) S 12963 12966 11330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 42 0 85968110 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092106580784 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=13077] ppid=12963 vsize=27719448 memory=549804 CPUtime=0 cores=0-7 /proc/12966/task/13077/stat : 13077 (java) S 12963 12966 11330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 42 0 85968110 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092105527984 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 [pid=12966/tid=13078] ppid=12963 vsize=27719448 memory=16244 CPUtime=0 cores=0-7 /proc/12966/task/13078/stat : 13078 (java) S 12963 12966 11330 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 42 0 85968111 28384714752 138030 33554432000 4194304 4196468 140735369968896 140092104475696 140093165840085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22425600 140735369970766 140735369970949 140735369970949 140735369973711 0 Current children cumulated CPU time: 19933.2 s Current children cumulated vsize: 27719448 KiB Current children cumulated memory: 552260 KiB Child status: 143 Real time (s): 2520.34 CPU time (s): 19933.5 CPU user time (s): 19925.3 CPU system time (s): 8.11728 CPU usage (%): 790.902 Max. virtual memory (cumulated for all children) (KiB): 27719448 Max. memory (cumulated for all children) (KiB): 1552544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19925.3 system time used= 8.11728 maximum resident set size= 1556640 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1879848 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 756101 involuntary context switches= 449928 # summary of solver processes directly reported to runsolver: # pid: 12966 # total CPU time (s): 19933.5 # total CPU user time (s): 19925.3 # total CPU system time (s): 8.11728 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 23.3316 second user time and 30.635 second system time The end
Begin job on node133 at 2018-07-27 10:52:09 IDJOB=4291321 IDBENCH=141608 IDSOLVER=2745 FILE ID=node133/4291321-1532681529 RUNJOBID= node133-1532673690-11357 PBS_JOBID= 21022248 Free space on /tmp= 48252 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/Quasigroups/QuasiGroup-7-20_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-4291321-1532681529/watcher-4291321-1532681529 -o /tmp/evaluation-result-4291321-1532681529/solver-4291321-1532681529 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532673690-11357 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 405292424 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291321-1532681529.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5f66fd9d375fc47cd589a0d8fc089b8f RANDOM SEED=405292424 node133.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.24 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.24 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.24 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.24 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: 27529936 kB MemAvailable: 31946392 kB Buffers: 145612 kB Cached: 4519292 kB SwapCached: 0 kB Active: 2124660 kB Inactive: 2592188 kB Active(anon): 3060 kB Inactive(anon): 76788 kB Active(file): 2121600 kB Inactive(file): 2515400 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 36092 kB Writeback: 0 kB AnonPages: 58992 kB Mapped: 39432 kB Shmem: 25244 kB Slab: 217688 kB SReclaimable: 190580 kB SUnreclaim: 27108 kB KernelStack: 3392 kB PageTables: 4480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325264 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= 48216 MiB End job on node133 at 2018-07-27 11:34:10