Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | ? (TO) | 19954 | 2520.51 |
Name | Quasigroups/ QuasiGroup-7-10_c18.xml |
MD5SUM | 527aaa9849fb01578545f5f3ea53e2c8 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4035.81 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 182 |
Number of domains | 1 |
Minimum domain size | 10 |
Maximum domain size | 10 |
Distribution of domain sizes | [{"size":10,"count":190}] |
Minimum variable degree | 0 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":0,"count":10},{"degree":2,"count":90},{"degree":20,"count":10},{"degree":21,"count":90}] |
Minimum constraint arity | 10 |
Maximum constraint arity | 100 |
Distribution of constraint arities | [{"arity":10,"count":1},{"arity":12,"count":180},{"arity":100,"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":180}] |
Optimization problem | NO |
Type of objective |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 1110622497 0.67/0.55 c timeout: 20160 0.67/0.55 c memlimit: 22000 0.67/0.55 c nbcore: 8 0.67/0.58 c Parsing instance... 1.39/0.91 c Parsing done, starting search... 19950.11/2520.09 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14445 MiB free) memory of node 1: 16384 MiB (13551 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309086-1534395701/watcher-4309086-1534395701 -o /tmp/evaluation-result-4309086-1534395701/solver-4309086-1534395701 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534393180-1765 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1110622497 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309086-1534395701.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=1958, runsolver pid=1955 [startup+0.100137 s]* /proc/loadavg: 8.64 8.81 8.83 2/200 1978 /proc/meminfo: memFree=28650888/32770624 swapFree=67108796/67108860 [pid=1958] ppid=1955 vsize=26103420 memory=30296 CPUtime=0.11 cores=0-7 /proc/1958/stat : 1958 (java) S 1955 1958 1738 0 -1 1077944320 7026 0 0 0 10 1 0 0 20 0 20 0 257133318 26729902080 7574 33554432000 4194304 4196468 140723485086960 140723485069504 139885265616631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 /proc/1958/statm: 6525855 7574 3141 1 0 6487932 0 [pid=1958/tid=1960] ppid=1955 vsize=26103420 memory=1399051139730258233 CPUtime=0.09 cores=0-7 /proc/1958/task/1960/stat : 1960 (java) R 1955 1958 1738 0 -1 4202560 5501 0 0 0 8 1 0 0 20 0 20 0 257133318 26729902080 7970 33554432000 4194304 4196468 140723485086960 139885269819760 139885257853758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1961] ppid=1955 vsize=26103420 memory=3677534773662714415 CPUtime=0 cores=0-7 /proc/1958/task/1961/stat : 1961 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 7970 33554432000 4194304 4196468 140723485086960 139885218236816 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1962] ppid=1955 vsize=26103420 memory=140000901084800 CPUtime=0 cores=0-7 /proc/1958/task/1962/stat : 1962 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 7970 33554432000 4194304 4196468 140723485086960 139885217184016 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1963] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1963/stat : 1963 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 7970 33554432000 4194304 4196468 140723485086960 139885216131728 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1964] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1964/stat : 1964 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 8036 33554432000 4194304 4196468 140723485086960 139885215078928 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1965] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1965/stat : 1965 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 8036 33554432000 4194304 4196468 140723485086960 139885214026640 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1966] ppid=1955 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1958/task/1966/stat : 1966 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 8036 33554432000 4194304 4196468 140723485086960 139885212973840 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1967] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1967/stat : 1967 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 8036 33554432000 4194304 4196468 140723485086960 139885211921552 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1968] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1968/stat : 1968 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 8036 33554432000 4194304 4196468 140723485086960 139885210868752 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1969] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1969/stat : 1969 (java) S 1955 1958 1738 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 257133320 26729902080 8036 33554432000 4194304 4196468 140723485086960 139884325992560 139885265627778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1970] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1970/stat : 1970 (java) S 1955 1958 1738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257133321 26729902080 8036 33554432000 4194304 4196468 140723485086960 139884324938528 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1971] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1971/stat : 1971 (java) S 1955 1958 1738 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 257133321 26729902080 8036 33554432000 4194304 4196468 140723485086960 139884323886192 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1972] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1972/stat : 1972 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133323 26729902080 8036 33554432000 4194304 4196468 140723485086960 139884322834512 139885265635227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1973] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1973/stat : 1973 (java) S 1955 1958 1738 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 257133323 26729902080 8036 33554432000 4194304 4196468 140723485086960 139884321782384 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1974] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1974/stat : 1974 (java) S 1955 1958 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257133323 26729902080 8036 33554432000 4194304 4196468 140723485086960 139884320729584 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1975] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1975/stat : 1975 (java) S 1955 1958 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257133323 26729902080 8036 33554432000 4194304 4196468 140723485086960 139884319677296 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1976] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1976/stat : 1976 (java) S 1955 1958 1738 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 257133323 26729902080 8102 33554432000 4194304 4196468 140723485086960 139884318624496 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1977] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1977/stat : 1977 (java) S 1955 1958 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257133324 26729902080 8102 33554432000 4194304 4196468 140723485086960 139884317571424 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1978] ppid=1955 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1958/task/1978/stat : 1978 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133324 26729902080 8102 33554432000 4194304 4196468 140723485086960 139884316518704 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 30296 KiB [startup+0.210066 s]* /proc/loadavg: 8.64 8.81 8.83 3/200 1978 /proc/meminfo: memFree=28637556/32770624 swapFree=67108796/67108860 [pid=1958] ppid=1955 vsize=26103420 memory=43356 CPUtime=0.3 cores=0-7 /proc/1958/stat : 1958 (java) S 1955 1958 1738 0 -1 1077944320 10495 0 0 0 27 3 0 0 20 0 20 0 257133318 26729902080 10839 33554432000 4194304 4196468 140723485086960 140723485069504 139885265616631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 /proc/1958/statm: 6525855 10839 3336 1 0 6487932 0 [pid=1958/tid=1960] ppid=1955 vsize=26103420 memory=32758254098972862 CPUtime=0.2 cores=0-7 /proc/1958/task/1960/stat : 1960 (java) R 1955 1958 1738 0 -1 4202560 8290 0 0 0 18 2 0 0 20 0 20 0 257133318 26729902080 10839 33554432000 4194304 4196468 140723485086960 139885269843328 139885249697118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1961] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1961/stat : 1961 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 10839 33554432000 4194304 4196468 140723485086960 139885218236816 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1962] ppid=1955 vsize=26103420 memory=140000902409513 CPUtime=0 cores=0-7 /proc/1958/task/1962/stat : 1962 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 10839 33554432000 4194304 4196468 140723485086960 139885217184016 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1963] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1963/stat : 1963 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 10839 33554432000 4194304 4196468 140723485086960 139885216131728 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1964] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1964/stat : 1964 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 10839 33554432000 4194304 4196468 140723485086960 139885215078928 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1965] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1965/stat : 1965 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 10839 33554432000 4194304 4196468 140723485086960 139885214026640 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1966] ppid=1955 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1958/task/1966/stat : 1966 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 10839 33554432000 4194304 4196468 140723485086960 139885212973840 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1967] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1967/stat : 1967 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 10839 33554432000 4194304 4196468 140723485086960 139885211921552 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1968] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1968/stat : 1968 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 10839 33554432000 4194304 4196468 140723485086960 139885210868752 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1969] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1969/stat : 1969 (java) S 1955 1958 1738 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 257133320 26729902080 10839 33554432000 4194304 4196468 140723485086960 139884325992560 139885265627778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1970] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1970/stat : 1970 (java) S 1955 1958 1738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257133321 26729902080 10839 33554432000 4194304 4196468 140723485086960 139884324938528 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1971] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1971/stat : 1971 (java) S 1955 1958 1738 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 257133321 26729902080 10839 33554432000 4194304 4196468 140723485086960 139884323886192 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1972] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1972/stat : 1972 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133323 26729902080 10839 33554432000 4194304 4196468 140723485086960 139884322834512 139885265635227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1973] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1973/stat : 1973 (java) S 1955 1958 1738 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 257133323 26729902080 10839 33554432000 4194304 4196468 140723485086960 139884321782384 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1974] ppid=1955 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/1958/task/1974/stat : 1974 (java) S 1955 1958 1738 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 257133323 26729902080 10839 33554432000 4194304 4196468 140723485086960 139884320729584 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1975] ppid=1955 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/1958/task/1975/stat : 1975 (java) S 1955 1958 1738 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 257133323 26729902080 10839 33554432000 4194304 4196468 140723485086960 139884319677296 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1976] ppid=1955 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/1958/task/1976/stat : 1976 (java) R 1955 1958 1738 0 -1 4202560 288 0 0 0 6 0 0 0 20 0 20 0 257133323 26729902080 10839 33554432000 4194304 4196468 140723485086960 139884318619536 139885244425621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1977] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1977/stat : 1977 (java) S 1955 1958 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257133324 26729902080 10839 33554432000 4194304 4196468 140723485086960 139884317571424 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1978] ppid=1955 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1958/task/1978/stat : 1978 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133324 26729902080 10839 33554432000 4194304 4196468 140723485086960 139884316518704 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 43356 KiB [startup+0.310513 s]* /proc/loadavg: 8.64 8.81 8.83 3/200 1978 /proc/meminfo: memFree=28634144/32770624 swapFree=67108796/67108860 [pid=1958] ppid=1955 vsize=26103420 memory=46912 CPUtime=0.43 cores=0-7 /proc/1958/stat : 1958 (java) S 1955 1958 1738 0 -1 1077944320 10918 0 0 0 40 3 0 0 20 0 20 0 257133318 26729902080 11728 33554432000 4194304 4196468 140723485086960 140723485069504 139885265616631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 /proc/1958/statm: 6525855 11728 3374 1 0 6487932 0 [pid=1958/tid=1960] ppid=1955 vsize=26103420 memory=1399051139730258233 CPUtime=0.3 cores=0-7 /proc/1958/task/1960/stat : 1960 (java) R 1955 1958 1738 0 -1 4202560 8619 0 0 0 28 2 0 0 20 0 20 0 257133318 26729902080 11728 33554432000 4194304 4196468 140723485086960 139885269778368 139885249697118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1961] ppid=1955 vsize=26103420 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1958/task/1961/stat : 1961 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 11728 33554432000 4194304 4196468 140723485086960 139885218236816 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1962] ppid=1955 vsize=26103420 memory=5724 CPUtime=0 cores=0-7 /proc/1958/task/1962/stat : 1962 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 11728 33554432000 4194304 4196468 140723485086960 139885217184016 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1963] ppid=1955 vsize=26103420 memory=14768 CPUtime=0 cores=0-7 /proc/1958/task/1963/stat : 1963 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 11728 33554432000 4194304 4196468 140723485086960 139885216131728 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1964] ppid=1955 vsize=26103420 memory=43312 CPUtime=0 cores=0-7 /proc/1958/task/1964/stat : 1964 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 11728 33554432000 4194304 4196468 140723485086960 139885215078928 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1965] ppid=1955 vsize=26103420 memory=15108 CPUtime=0 cores=0-7 /proc/1958/task/1965/stat : 1965 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 11728 33554432000 4194304 4196468 140723485086960 139885214026640 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1966] ppid=1955 vsize=26103420 memory=3152 CPUtime=0 cores=0-7 /proc/1958/task/1966/stat : 1966 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 11728 33554432000 4194304 4196468 140723485086960 139885212973840 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1967] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1967/stat : 1967 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 11728 33554432000 4194304 4196468 140723485086960 139885211921552 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1968] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1968/stat : 1968 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133319 26729902080 11728 33554432000 4194304 4196468 140723485086960 139885210868752 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1969] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1969/stat : 1969 (java) S 1955 1958 1738 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 257133320 26729902080 11728 33554432000 4194304 4196468 140723485086960 139884325992560 139885265627778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1970] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1970/stat : 1970 (java) S 1955 1958 1738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257133321 26729902080 11728 33554432000 4194304 4196468 140723485086960 139884324938528 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1971] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1971/stat : 1971 (java) S 1955 1958 1738 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 257133321 26729902080 11728 33554432000 4194304 4196468 140723485086960 139884323886192 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1972] ppid=1955 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/1958/task/1972/stat : 1972 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133323 26729902080 11728 33554432000 4194304 4196468 140723485086960 139884322834512 139885265635227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1973] ppid=1955 vsize=26103420 memory=2244 CPUtime=0.01 cores=0-7 /proc/1958/task/1973/stat : 1973 (java) S 1955 1958 1738 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 20 0 257133323 26729902080 11728 33554432000 4194304 4196468 140723485086960 139884321782384 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1974] ppid=1955 vsize=26103420 memory=2244 CPUtime=0.01 cores=0-7 /proc/1958/task/1974/stat : 1974 (java) S 1955 1958 1738 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 257133323 26729902080 11728 33554432000 4194304 4196468 140723485086960 139884320729584 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1975] ppid=1955 vsize=26103420 memory=2244 CPUtime=0.01 cores=0-7 /proc/1958/task/1975/stat : 1975 (java) S 1955 1958 1738 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 257133323 26729902080 11728 33554432000 4194304 4196468 140723485086960 139884319677296 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1976] ppid=1955 vsize=26103420 memory=2244 CPUtime=0.07 cores=0-7 /proc/1958/task/1976/stat : 1976 (java) S 1955 1958 1738 0 -1 1077944384 295 0 0 0 7 0 0 0 20 0 20 0 257133323 26729902080 11728 33554432000 4194304 4196468 140723485086960 139884318624496 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1977] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1977/stat : 1977 (java) S 1955 1958 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257133324 26729902080 11728 33554432000 4194304 4196468 140723485086960 139884317571424 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1978] ppid=1955 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1978/stat : 1978 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133324 26729902080 11728 33554432000 4194304 4196468 140723485086960 139884316518704 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46912 KiB [startup+0.700886 s] /proc/loadavg: 8.64 8.81 8.83 3/200 1978 /proc/meminfo: memFree=28610332/32770624 swapFree=67108796/67108860 [pid=1958] ppid=1955 vsize=26105488 memory=85628 CPUtime=0.99 cores=0-7 /proc/1958/stat : 1958 (java) S 1955 1958 1738 0 -1 1077944320 17869 0 0 0 94 5 0 0 20 0 20 0 257133318 26732019712 21407 33554432000 4194304 4196468 140723485086960 140723485069504 139885265616631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 /proc/1958/statm: 6526372 21407 3501 1 0 6488444 0 [pid=1958/tid=1960] ppid=1955 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7 /proc/1958/task/1960/stat : 1960 (java) R 1955 1958 1738 0 -1 4202560 15067 0 0 0 63 4 0 0 20 0 20 0 257133318 26732019712 21407 33554432000 4194304 4196468 140723485086960 139885269831744 139885249697118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1961] ppid=1955 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1961/stat : 1961 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26732019712 21407 33554432000 4194304 4196468 140723485086960 139885218236816 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1962] ppid=1955 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1962/stat : 1962 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26732019712 21407 33554432000 4194304 4196468 140723485086960 139885217184016 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1963] ppid=1955 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/1958/task/1963/stat : 1963 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133319 26732019712 21407 33554432000 4194304 4196468 140723485086960 139885216131728 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1964] ppid=1955 vsize=26105488 memory=3780 CPUtime=0 cores=0-7 /proc/1958/task/1964/stat : 1964 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26732019712 21407 33554432000 4194304 4196468 140723485086960 139885215078928 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1965] ppid=1955 vsize=26105488 memory=3140 CPUtime=0 cores=0-7 /proc/1958/task/1965/stat : 1965 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133319 26732019712 21407 33554432000 4194304 4196468 140723485086960 139885214026640 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1966] ppid=1955 vsize=26105488 memory=1244 CPUtime=0 cores=0-7 /proc/1958/task/1966/stat : 1966 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26732019712 21407 33554432000 4194304 4196468 140723485086960 139885212973840 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1967] ppid=1955 vsize=26105488 memory=1036 CPUtime=0 cores=0-7 /proc/1958/task/1967/stat : 1967 (java) S 1955 1958 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257133319 26732019712 21407 33554432000 4194304 4196468 140723485086960 139885211921552 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1968] ppid=1955 vsize=26105488 memory=1776 CPUtime=0 cores=0-7 /proc/1958/task/1968/stat : 1968 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257133319 26732019712 21407 33554432000 4194304 4196468 140723485086960 139885210868752 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1969] ppid=1955 vsize=26105488 memory=5724 CPUtime=0 cores=0-7 /proc/1958/task/1969/stat : 1969 (java) S 1955 1958 1738 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 257133320 26732019712 21407 33554432000 4194304 4196468 140723485086960 139884325992560 139885265627778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 ################ # More data... # ################ [pid=1958/tid=1964] ppid=1955 vsize=27118320 memory=932 CPUtime=7.24 cores=0-7 /proc/1958/task/1964/stat : 1964 (java) S 1955 1958 1738 0 -1 1077944384 60607 0 0 0 691 33 0 0 20 0 35 0 257133319 27769159680 264746 33554432000 4194304 4196468 140723485086960 139885215078928 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1965] ppid=1955 vsize=27118320 memory=1728 CPUtime=7.23 cores=0-7 /proc/1958/task/1965/stat : 1965 (java) S 1955 1958 1738 0 -1 1077944384 62176 0 0 0 688 35 0 0 20 0 35 0 257133319 27769159680 264746 33554432000 4194304 4196468 140723485086960 139885214026640 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1966] ppid=1955 vsize=27118320 memory=8628 CPUtime=7.2 cores=0-7 /proc/1958/task/1966/stat : 1966 (java) S 1955 1958 1738 0 -1 1077944384 62049 0 0 0 682 38 0 0 20 0 35 0 257133319 27769159680 264746 33554432000 4194304 4196468 140723485086960 139885212973840 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1967] ppid=1955 vsize=27118320 memory=1080 CPUtime=7.24 cores=0-7 /proc/1958/task/1967/stat : 1967 (java) S 1955 1958 1738 0 -1 1077944384 55107 0 0 0 690 34 0 0 20 0 35 0 257133319 27769159680 264746 33554432000 4194304 4196468 140723485086960 139885211921552 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1968] ppid=1955 vsize=27118320 memory=752 CPUtime=7.28 cores=0-7 /proc/1958/task/1968/stat : 1968 (java) S 1955 1958 1738 0 -1 1077944384 62830 0 0 0 692 36 0 0 20 0 35 0 257133319 27769159680 264746 33554432000 4194304 4196468 140723485086960 139885210868752 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1969] ppid=1955 vsize=27118320 memory=796 CPUtime=7.09 cores=0-7 /proc/1958/task/1969/stat : 1969 (java) S 1955 1958 1738 0 -1 1077944384 115038 0 0 0 582 127 0 0 20 0 35 0 257133320 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884325992560 139885265627778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1970] ppid=1955 vsize=27118320 memory=1592 CPUtime=0 cores=0-7 /proc/1958/task/1970/stat : 1970 (java) S 1955 1958 1738 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 35 0 257133321 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884324938592 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1971] ppid=1955 vsize=27118320 memory=3780 CPUtime=0 cores=0-7 /proc/1958/task/1971/stat : 1971 (java) S 1955 1958 1738 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 35 0 257133321 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884323886208 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1972] ppid=1955 vsize=27118320 memory=3140 CPUtime=0 cores=0-7 /proc/1958/task/1972/stat : 1972 (java) S 1955 1958 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 257133323 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884322834512 139885265635227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1973] ppid=1955 vsize=27118320 memory=8112282956445269571 CPUtime=1.26 cores=0-7 /proc/1958/task/1973/stat : 1973 (java) S 1955 1958 1738 0 -1 1077944384 7428 0 0 0 124 2 0 0 20 0 35 0 257133323 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884321782384 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1974] ppid=1955 vsize=27118320 memory=880 CPUtime=1.14 cores=0-7 /proc/1958/task/1974/stat : 1974 (java) S 1955 1958 1738 0 -1 1077944384 3518 0 0 0 114 0 0 0 20 0 35 0 257133323 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884320729584 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1975] ppid=1955 vsize=27118320 memory=1500 CPUtime=1.37 cores=0-7 /proc/1958/task/1975/stat : 1975 (java) S 1955 1958 1738 0 -1 1077944384 4934 0 0 0 135 2 0 0 20 0 35 0 257133323 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884319677296 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1976] ppid=1955 vsize=27118320 memory=1904 CPUtime=0.95 cores=0-7 /proc/1958/task/1976/stat : 1976 (java) S 1955 1958 1738 0 -1 1077944384 18113 0 0 0 92 3 0 0 20 0 35 0 257133323 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884318624496 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1977] ppid=1955 vsize=27118320 memory=7524 CPUtime=0 cores=0-7 /proc/1958/task/1977/stat : 1977 (java) S 1955 1958 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 35 0 257133324 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884317571424 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1978] ppid=1955 vsize=27118320 memory=800 CPUtime=0.72 cores=0-7 /proc/1958/task/1978/stat : 1978 (java) S 1955 1958 1738 0 -1 1077944384 5720 0 0 0 44 28 0 0 20 0 35 0 257133324 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884316518704 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1979] ppid=1955 vsize=27118320 memory=1592 CPUtime=0 cores=0-7 /proc/1958/task/1979/stat : 1979 (java) S 1955 1958 1738 0 -1 1077944384 1626 0 0 0 0 0 0 0 20 0 35 0 257133507 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884305175424 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1980] ppid=1955 vsize=27118320 memory=8112282956445269571 CPUtime=2.31 cores=0-7 /proc/1958/task/1980/stat : 1980 (java) R 1955 1958 1738 0 -1 1077944384 14664 0 0 0 84 147 0 0 20 0 35 0 257133524 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884302025760 139885265627778 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1981] ppid=1955 vsize=27118320 memory=1600 CPUtime=1495.14 cores=0-7 /proc/1958/task/1981/stat : 1981 (java) R 1955 1958 1738 0 -1 4202560 109886 0 0 0 149474 40 0 0 20 0 35 0 257133545 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884298868384 139884897520441 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1982] ppid=1955 vsize=27118320 memory=8112282956445269571 CPUtime=1332.82 cores=0-7 /proc/1958/task/1982/stat : 1982 (java) S 1955 1958 1738 0 -1 1077944384 54970 0 0 0 133251 31 0 0 20 0 35 0 257133545 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884297823536 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1983] ppid=1955 vsize=27118320 memory=1168 CPUtime=2483.94 cores=0-7 /proc/1958/task/1983/stat : 1983 (java) R 1955 1958 1738 0 -1 4202560 130724 0 0 0 248330 64 0 0 20 0 35 0 257133545 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884296763272 139884897520379 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1984] ppid=1955 vsize=27118320 memory=3860 CPUtime=0.04 cores=0-7 /proc/1958/task/1984/stat : 1984 (java) S 1955 1958 1738 0 -1 1077944384 94 0 0 0 4 0 0 0 20 0 35 0 257133552 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884293621152 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1985] ppid=1955 vsize=27118320 memory=1800 CPUtime=989.21 cores=0-7 /proc/1958/task/1985/stat : 1985 (java) S 1955 1958 1738 0 -1 1077944384 25748 0 0 0 98899 22 0 0 20 0 35 0 257133552 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884292567984 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1986] ppid=1955 vsize=27118320 memory=920 CPUtime=2484.27 cores=0-7 /proc/1958/task/1986/stat : 1986 (java) R 1955 1958 1738 0 -1 4202560 126438 0 0 0 248366 61 0 0 20 0 35 0 257133552 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884291510080 139884897272268 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1987] ppid=1955 vsize=27118320 memory=4126316290023845779 CPUtime=2166.27 cores=0-7 /proc/1958/task/1987/stat : 1987 (java) R 1955 1958 1738 0 -1 4202560 126750 0 0 0 216574 53 0 0 20 0 35 0 257133552 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884290454968 139884897966901 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1988] ppid=1955 vsize=27118320 memory=1776 CPUtime=1471.49 cores=0-7 /proc/1958/task/1988/stat : 1988 (java) R 1955 1958 1738 0 -1 4202560 87477 0 0 0 147108 41 0 0 20 0 35 0 257133552 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884289401984 139884897665316 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1989] ppid=1955 vsize=27118320 memory=5724 CPUtime=778.76 cores=0-7 /proc/1958/task/1989/stat : 1989 (java) S 1955 1958 1738 0 -1 1077944384 19726 0 0 0 77857 19 0 0 20 0 35 0 257133552 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884288357808 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1990] ppid=1955 vsize=27118320 memory=14768 CPUtime=2483.68 cores=0-7 /proc/1958/task/1990/stat : 1990 (java) R 1955 1958 1738 0 -1 4202560 128247 0 0 0 248303 65 0 0 20 0 35 0 257133552 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884287297568 139884897966784 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1991] ppid=1955 vsize=27118320 memory=43340 CPUtime=2483.47 cores=0-7 /proc/1958/task/1991/stat : 1991 (java) R 1955 1958 1738 0 -1 4202560 135029 0 0 0 248286 61 0 0 20 0 35 0 257133552 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884286244696 139884898119463 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1992] ppid=1955 vsize=27118320 memory=15108 CPUtime=0 cores=0-7 /proc/1958/task/1992/stat : 1992 (java) S 1955 1958 1738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 35 0 257133559 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884285199776 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1993] ppid=1955 vsize=27118320 memory=3152 CPUtime=1705.87 cores=0-7 /proc/1958/task/1993/stat : 1993 (java) R 1955 1958 1738 0 -1 4202560 112498 0 0 0 170539 48 0 0 20 0 35 0 257133560 27769159680 264746 33554432000 4194304 4196468 140723485086960 139884284138792 139884897520320 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 Current children cumulated CPU time: 19950.1 s Current children cumulated vsize: 27118320 KiB Current children cumulated memory: 1058984 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.51 s] # the end of solver process 1958 was just reported to runsolver # cumulated CPU time of all completed processes: user=19944.6 s, system=9.33412 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.41 s] /proc/loadavg: 8.62 8.73 8.77 10/214 2028 /proc/meminfo: memFree=27617996/32770624 swapFree=67108796/67108860 [pid=1958] ppid=1955 vsize=27651860 memory=1062568 CPUtime=19953.3 cores=0-7 /proc/1958/stat : 1958 (java) S 1955 1958 1738 0 -1 1077944320 1760218 0 0 0 1994400 932 0 0 20 0 43 0 257133318 28315504640 265642 33554432000 4194304 4196468 140723485086960 140723485069504 139885265616631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 /proc/1958/statm: 6912965 265642 3610 1 0 6874516 0 [pid=1958/tid=1960] ppid=1955 vsize=27651860 memory=1776 CPUtime=2.26 cores=0-7 /proc/1958/task/1960/stat : 1960 (java) S 1955 1958 1738 0 -1 1077944384 25395 0 0 0 218 8 0 0 20 0 43 0 257133318 28315504640 265642 33554432000 4194304 4196468 140723485086960 139885269854096 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1961] ppid=1955 vsize=27651860 memory=5724 CPUtime=7.19 cores=0-7 /proc/1958/task/1961/stat : 1961 (java) S 1955 1958 1738 0 -1 1077944384 62823 0 0 0 682 37 0 0 20 0 43 0 257133319 28315504640 265642 33554432000 4194304 4196468 140723485086960 139885218236816 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1962] ppid=1955 vsize=27651860 memory=14768 CPUtime=7.24 cores=0-7 /proc/1958/task/1962/stat : 1962 (java) S 1955 1958 1738 0 -1 1077944384 70274 0 0 0 690 34 0 0 20 0 43 0 257133319 28315504640 265642 33554432000 4194304 4196468 140723485086960 139885217184016 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1963] ppid=1955 vsize=27651860 memory=43340 CPUtime=7.16 cores=0-7 /proc/1958/task/1963/stat : 1963 (java) S 1955 1958 1738 0 -1 1077944384 65526 0 0 0 678 38 0 0 20 0 43 0 257133319 28315504640 265642 33554432000 4194304 4196468 140723485086960 139885216131728 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1964] ppid=1955 vsize=27651860 memory=15108 CPUtime=7.24 cores=0-7 /proc/1958/task/1964/stat : 1964 (java) S 1955 1958 1738 0 -1 1077944384 60607 0 0 0 691 33 0 0 20 0 43 0 257133319 28315504640 265642 33554432000 4194304 4196468 140723485086960 139885215078928 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1965] ppid=1955 vsize=27651860 memory=3152 CPUtime=7.23 cores=0-7 /proc/1958/task/1965/stat : 1965 (java) S 1955 1958 1738 0 -1 1077944384 62176 0 0 0 688 35 0 0 20 0 43 0 257133319 28315504640 265642 33554432000 4194304 4196468 140723485086960 139885214026640 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1966] ppid=1955 vsize=27651860 memory=496 CPUtime=7.2 cores=0-7 /proc/1958/task/1966/stat : 1966 (java) S 1955 1958 1738 0 -1 1077944384 62049 0 0 0 682 38 0 0 20 0 43 0 257133319 28315504640 265642 33554432000 4194304 4196468 140723485086960 139885212973840 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1967] ppid=1955 vsize=27651860 memory=6791534058613427641 CPUtime=7.24 cores=0-7 /proc/1958/task/1967/stat : 1967 (java) S 1955 1958 1738 0 -1 1077944384 55107 0 0 0 690 34 0 0 20 0 43 0 257133319 28315504640 265642 33554432000 4194304 4196468 140723485086960 139885211921552 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1968] ppid=1955 vsize=27651860 memory=1062060 CPUtime=7.28 cores=0-7 /proc/1958/task/1968/stat : 1968 (java) S 1955 1958 1738 0 -1 1077944384 62830 0 0 0 692 36 0 0 20 0 43 0 257133319 28315504640 265642 33554432000 4194304 4196468 140723485086960 139885210868752 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1969] ppid=1955 vsize=27651860 memory=800 CPUtime=7.09 cores=0-7 /proc/1958/task/1969/stat : 1969 (java) S 1955 1958 1738 0 -1 1077944384 115046 0 0 0 582 127 0 0 20 0 43 0 257133320 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884325992560 139885265627778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1970] ppid=1955 vsize=27651860 memory=69880 CPUtime=0 cores=0-7 /proc/1958/task/1970/stat : 1970 (java) S 1955 1958 1738 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 43 0 257133321 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884324938592 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1971] ppid=1955 vsize=27651860 memory=2056 CPUtime=0 cores=0-7 /proc/1958/task/1971/stat : 1971 (java) S 1955 1958 1738 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 43 0 257133321 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884323886208 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1972] ppid=1955 vsize=27651860 memory=1061548 CPUtime=0 cores=0-7 /proc/1958/task/1972/stat : 1972 (java) S 1955 1958 1738 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 43 0 257133323 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884322834512 139885265635227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1973] ppid=1955 vsize=27651860 memory=140000768971185 CPUtime=1.26 cores=0-7 /proc/1958/task/1973/stat : 1973 (java) S 1955 1958 1738 0 -1 1077944384 7431 0 0 0 124 2 0 0 20 0 43 0 257133323 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884321782384 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1974] ppid=1955 vsize=27651860 memory=-7175204567652784766 CPUtime=1.2 cores=0-7 /proc/1958/task/1974/stat : 1974 (java) D 1955 1958 1738 0 -1 4202560 4390 0 0 0 120 0 0 0 20 0 43 0 257133323 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884320715464 139885258333783 0 4 0 16800975 18446744071582151463 0 0 -1 7 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1975] ppid=1955 vsize=27651860 memory=7100839861465685612 CPUtime=1.38 cores=0-7 /proc/1958/task/1975/stat : 1975 (java) S 1955 1958 1738 0 -1 1077944384 4981 0 0 0 136 2 0 0 20 0 43 0 257133323 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884319677296 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1976] ppid=1955 vsize=27651860 memory=-7025452035942946156 CPUtime=0.98 cores=0-7 /proc/1958/task/1976/stat : 1976 (java) S 1955 1958 1738 0 -1 1077944384 19073 0 0 0 94 4 0 0 20 0 43 0 257133323 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884318624496 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1977] ppid=1955 vsize=27651860 memory=-1840725884162305111 CPUtime=0 cores=0-7 /proc/1958/task/1977/stat : 1977 (java) S 1955 1958 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 257133324 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884317571424 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1978] ppid=1955 vsize=27651860 memory=1600 CPUtime=0.72 cores=0-7 /proc/1958/task/1978/stat : 1978 (java) S 1955 1958 1738 0 -1 1077944384 5720 0 0 0 44 28 0 0 20 0 43 0 257133324 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884316518704 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1979] ppid=1955 vsize=27651860 memory=932 CPUtime=0 cores=0-7 /proc/1958/task/1979/stat : 1979 (java) S 1955 1958 1738 0 -1 1077944384 1626 0 0 0 0 0 0 0 20 0 43 0 257133507 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884305175424 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1980] ppid=1955 vsize=27651860 memory=1168 CPUtime=2.31 cores=0-7 /proc/1958/task/1980/stat : 1980 (java) S 1955 1958 1738 0 -1 1077944384 14664 0 0 0 84 147 0 0 20 0 43 0 257133524 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884302025648 139885265627778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1981] ppid=1955 vsize=27651860 memory=3860 CPUtime=1495.53 cores=0-7 /proc/1958/task/1981/stat : 1981 (java) R 1955 1958 1738 0 -1 4202560 109886 0 0 0 149513 40 0 0 20 0 43 0 257133545 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884298868248 139884897229760 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1982] ppid=1955 vsize=27651860 memory=1800 CPUtime=1332.82 cores=0-7 /proc/1958/task/1982/stat : 1982 (java) S 1955 1958 1738 0 -1 1077944384 55010 0 0 0 133251 31 0 0 20 0 43 0 257133545 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884297823408 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1983] ppid=1955 vsize=27651860 memory=920 CPUtime=2484.32 cores=0-7 /proc/1958/task/1983/stat : 1983 (java) R 1955 1958 1738 0 -1 4202560 130724 0 0 0 248368 64 0 0 20 0 43 0 257133545 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884296763272 139884897967317 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1984] ppid=1955 vsize=27651860 memory=4136 CPUtime=0.05 cores=0-7 /proc/1958/task/1984/stat : 1984 (java) S 1955 1958 1738 0 -1 1077944384 168 0 0 0 5 0 0 0 20 0 43 0 257133552 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884293621168 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1985] ppid=1955 vsize=27651860 memory=4104 CPUtime=989.22 cores=0-7 /proc/1958/task/1985/stat : 1985 (java) S 1955 1958 1738 0 -1 1077944384 25839 0 0 0 98900 22 0 0 20 0 43 0 257133552 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884292563152 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1986] ppid=1955 vsize=27651860 memory=1408 CPUtime=2484.65 cores=0-7 /proc/1958/task/1986/stat : 1986 (java) R 1955 1958 1738 0 -1 4202560 126438 0 0 0 248404 61 0 0 20 0 43 0 257133552 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884291507016 139884897380497 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1987] ppid=1955 vsize=27651860 memory=4124 CPUtime=2166.66 cores=0-7 /proc/1958/task/1987/stat : 1987 (java) R 1955 1958 1738 0 -1 4202560 126750 0 0 0 216613 53 0 0 20 0 43 0 257133552 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884290455400 139884897966522 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1988] ppid=1955 vsize=27651860 memory=1059496 CPUtime=1471.88 cores=0-7 /proc/1958/task/1988/stat : 1988 (java) R 1955 1958 1738 0 -1 4202560 87478 0 0 0 147147 41 0 0 20 0 43 0 257133552 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884289402824 139884897520704 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1989] ppid=1955 vsize=27651860 memory=2180 CPUtime=778.78 cores=0-7 /proc/1958/task/1989/stat : 1989 (java) S 1955 1958 1738 0 -1 1077944384 20035 0 0 0 77859 19 0 0 20 0 43 0 257133552 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884288357680 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1990] ppid=1955 vsize=27651860 memory=3980 CPUtime=2484.08 cores=0-7 /proc/1958/task/1990/stat : 1990 (java) R 1955 1958 1738 0 -1 4202560 128248 0 0 0 248343 65 0 0 20 0 43 0 257133552 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884287297144 139884897041974 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1991] ppid=1955 vsize=27651860 memory=880 CPUtime=2483.82 cores=0-7 /proc/1958/task/1991/stat : 1991 (java) R 1955 1958 1738 0 -1 4202560 135030 0 0 0 248321 61 0 0 20 0 43 0 257133552 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884286245448 139884897520402 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1992] ppid=1955 vsize=27651860 memory=1500 CPUtime=0 cores=0-7 /proc/1958/task/1992/stat : 1992 (java) S 1955 1958 1738 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 43 0 257133559 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884285198704 139885265626837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 [pid=1958/tid=1993] ppid=1955 vsize=27651860 memory=1904 CPUtime=1706.25 cores=0-7 /proc/1958/task/1993/stat : 1993 (java) R 1955 1958 1738 0 -1 4202560 112498 0 0 0 170577 48 0 0 20 0 43 0 257133560 28315504640 265642 33554432000 4194304 4196468 140723485086960 139884284138600 139884897272350 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 36175872 140723485090893 140723485091077 140723485091077 140723485093839 0 Current children cumulated CPU time: 19953.3 s Current children cumulated vsize: 27651860 KiB Current children cumulated memory: 1062568 KiB [startup+2520.5 s]* /proc/loadavg: 8.62 8.73 8.77 2/181 2042 /proc/meminfo: memFree=27612904/32770624 swapFree=67108796/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.51 CPU time (s): 19954 CPU user time (s): 19944.6 CPU system time (s): 9.33412 CPU usage (%): 791.663 Max. virtual memory (cumulated for all children) (KiB): 27651860 Max. memory (cumulated for all children) (KiB): 1363436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19944.6 system time used= 9.33412 maximum resident set size= 1364472 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1760870 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3920 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 745055 involuntary context switches= 431912 # summary of solver processes directly reported to runsolver: # pid: 1958 # total CPU time (s): 19954 # total CPU user time (s): 19944.6 # total CPU system time (s): 9.33412 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 22.0498 second user time and 32.2753 second system time The end
Begin job on node138 at 2018-08-16 07:01:41 IDJOB=4309086 IDBENCH=141616 IDSOLVER=2793 FILE ID=node138/4309086-1534395701 RUNJOBID= node138-1534393180-1765 PBS_JOBID= 21038324 Free space on /tmp= 38064 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/Quasigroups/QuasiGroup-7-10_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-4309086-1534395701/watcher-4309086-1534395701 -o /tmp/evaluation-result-4309086-1534395701/solver-4309086-1534395701 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534393180-1765 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1110622497 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309086-1534395701.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 527aaa9849fb01578545f5f3ea53e2c8 RANDOM SEED=1110622497 node138.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.71 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.71 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.71 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.71 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: 28668496 kB MemAvailable: 31887972 kB Buffers: 124508 kB Cached: 3352900 kB SwapCached: 12 kB Active: 1802244 kB Inactive: 1735200 kB Active(anon): 4092 kB Inactive(anon): 116676 kB Active(file): 1798152 kB Inactive(file): 1618524 kB Unevictable: 7260 kB Mlocked: 7260 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 35768 kB Writeback: 36 kB AnonPages: 67284 kB Mapped: 54824 kB Shmem: 57932 kB Slab: 259252 kB SReclaimable: 231260 kB SUnreclaim: 27992 kB KernelStack: 3200 kB PageTables: 5320 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357048 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 38028 MiB End job on node138 at 2018-08-16 07:43:42