Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | ? (TO) | 19994 | 2520.34 |
Name | Eternity/ Eternity-12-12_c18.xml |
MD5SUM | 72288e631366ae5e472c0848b2762e00 |
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 | 456 |
Number of constraints | 193 |
Number of domains | 2 |
Minimum domain size | 17 |
Maximum domain size | 144 |
Distribution of domain sizes | [{"size":17,"count":312},{"size":144,"count":144}] |
Minimum variable degree | 1 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":1,"count":11},{"degree":2,"count":444},{"degree":13,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 144 |
Distribution of constraint arities | [{"arity":1,"count":48},{"arity":5,"count":144},{"arity":144,"count":1}] |
Number of extensional constraints | 144 |
Number of intensional constraints | 48 |
Distribution of constraint types | [{"type":"extension","count":144},{"type":"intension","count":48},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 1799704743 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... 2.61/1.21 c Parsing done, starting search... 19991.48/2520.11 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 (13548 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309060-1534400744/watcher-4309060-1534400744 -o /tmp/evaluation-result-4309060-1534400744/solver-4309060-1534400744 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534393180-1765 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1799704743 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309060-1534400744.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=2282, runsolver pid=2279 [startup+0.100157 s]* /proc/loadavg: 8.05 8.65 8.71 2/198 2302 /proc/meminfo: memFree=28649528/32770624 swapFree=67108796/67108860 [pid=2282] ppid=2279 vsize=26103420 memory=30224 CPUtime=0.11 cores=0-7 /proc/2282/stat : 2282 (java) S 2279 2282 1738 0 -1 1077944320 6997 0 0 0 9 2 0 0 20 0 20 0 257637628 26729902080 7556 33554432000 4194304 4196468 140726000660384 140726000642928 139876327624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 /proc/2282/statm: 6525855 7556 3137 1 0 6487932 0 [pid=2282/tid=2284] ppid=2279 vsize=26103420 memory=-8452003588814455997 CPUtime=0.09 cores=0-7 /proc/2282/task/2284/stat : 2284 (java) R 2279 2282 1738 0 -1 4202560 5305 0 0 0 8 1 0 0 20 0 20 0 257637628 26729902080 7814 33554432000 4194304 4196468 140726000660384 139876331819248 139876311668069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2285] ppid=2279 vsize=26103420 memory=4342489072520795239 CPUtime=0 cores=0-7 /proc/2282/task/2285/stat : 2285 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 7814 33554432000 4194304 4196468 140726000660384 139876284177296 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2286] ppid=2279 vsize=26103420 memory=140220001822336 CPUtime=0 cores=0-7 /proc/2282/task/2286/stat : 2286 (java) S 2279 2282 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 7814 33554432000 4194304 4196468 140726000660384 139876283124496 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2287] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2287/stat : 2287 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 7814 33554432000 4194304 4196468 140726000660384 139876282072208 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2288] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2288/stat : 2288 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 7814 33554432000 4194304 4196468 140726000660384 139875882499088 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2289] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2289/stat : 2289 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 7814 33554432000 4194304 4196468 140726000660384 139875881445776 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2290] ppid=2279 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/2282/task/2290/stat : 2290 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 7814 33554432000 4194304 4196468 140726000660384 139875880392976 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2291] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2291/stat : 2291 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 7814 33554432000 4194304 4196468 140726000660384 139875879340688 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2292] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2292/stat : 2292 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 7814 33554432000 4194304 4196468 140726000660384 139875878287888 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2293] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2293/stat : 2293 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637631 26729902080 7814 33554432000 4194304 4196468 140726000660384 139874734688880 139876327635586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2294] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2294/stat : 2294 (java) S 2279 2282 1738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257637631 26729902080 7814 33554432000 4194304 4196468 140726000660384 139874733634848 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2295] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2295/stat : 2295 (java) S 2279 2282 1738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257637631 26729902080 7814 33554432000 4194304 4196468 140726000660384 139874732582512 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2296] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2296/stat : 2296 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 7814 33554432000 4194304 4196468 140726000660384 139874731530832 139876327643035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2297] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2297/stat : 2297 (java) R 2279 2282 1738 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 7814 33554432000 4194304 4196468 140726000660384 139874730477680 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2298] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2298/stat : 2298 (java) S 2279 2282 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 7814 33554432000 4194304 4196468 140726000660384 139874729424880 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2299] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2299/stat : 2299 (java) S 2279 2282 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 7814 33554432000 4194304 4196468 140726000660384 139874728372592 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2300] ppid=2279 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/2282/task/2300/stat : 2300 (java) S 2279 2282 1738 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 20 0 257637634 26729902080 7814 33554432000 4194304 4196468 140726000660384 139874727319792 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2301] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2301/stat : 2301 (java) S 2279 2282 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 7814 33554432000 4194304 4196468 140726000660384 139874726267744 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2302] ppid=2279 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/2282/task/2302/stat : 2302 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 7814 33554432000 4194304 4196468 140726000660384 139874725215024 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 30224 KiB [startup+0.21012 s]* /proc/loadavg: 8.05 8.65 8.71 4/198 2302 /proc/meminfo: memFree=28636072/32770624 swapFree=67108796/67108860 [pid=2282] ppid=2279 vsize=26103420 memory=42936 CPUtime=0.3 cores=0-7 /proc/2282/stat : 2282 (java) S 2279 2282 1738 0 -1 1077944320 10440 0 0 0 28 2 0 0 20 0 20 0 257637628 26729902080 10734 33554432000 4194304 4196468 140726000660384 140726000642928 139876327624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 /proc/2282/statm: 6525855 10734 3312 1 0 6487932 0 [pid=2282/tid=2284] ppid=2279 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/2282/task/2284/stat : 2284 (java) R 2279 2282 1738 0 -1 4202560 8178 0 0 0 18 1 0 0 20 0 20 0 257637628 26729902080 10800 33554432000 4194304 4196468 140726000660384 139876331847248 139876311704926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2285] ppid=2279 vsize=26103420 memory=9298 CPUtime=0 cores=0-7 /proc/2282/task/2285/stat : 2285 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 10800 33554432000 4194304 4196468 140726000660384 139876284177296 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2286] ppid=2279 vsize=26103420 memory=140220001835699 CPUtime=0 cores=0-7 /proc/2282/task/2286/stat : 2286 (java) S 2279 2282 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 10800 33554432000 4194304 4196468 140726000660384 139876283124496 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2287] ppid=2279 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/2282/task/2287/stat : 2287 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 10800 33554432000 4194304 4196468 140726000660384 139876282072208 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2288] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2288/stat : 2288 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 10800 33554432000 4194304 4196468 140726000660384 139875882499088 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2289] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2289/stat : 2289 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 10800 33554432000 4194304 4196468 140726000660384 139875881445776 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2290] ppid=2279 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/2282/task/2290/stat : 2290 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 10800 33554432000 4194304 4196468 140726000660384 139875880392976 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2291] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2291/stat : 2291 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 10800 33554432000 4194304 4196468 140726000660384 139875879340688 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2292] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2292/stat : 2292 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 10800 33554432000 4194304 4196468 140726000660384 139875878287888 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2293] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2293/stat : 2293 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637631 26729902080 10800 33554432000 4194304 4196468 140726000660384 139874734688880 139876327635586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2294] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2294/stat : 2294 (java) S 2279 2282 1738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257637631 26729902080 10800 33554432000 4194304 4196468 140726000660384 139874733634848 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2295] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2295/stat : 2295 (java) S 2279 2282 1738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257637631 26729902080 10800 33554432000 4194304 4196468 140726000660384 139874732582512 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2296] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2296/stat : 2296 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 10800 33554432000 4194304 4196468 140726000660384 139874731530832 139876327643035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2297] ppid=2279 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/2282/task/2297/stat : 2297 (java) S 2279 2282 1738 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 257637634 26729902080 10800 33554432000 4194304 4196468 140726000660384 139874730477680 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2298] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2298/stat : 2298 (java) S 2279 2282 1738 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 10800 33554432000 4194304 4196468 140726000660384 139874729424880 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2299] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2299/stat : 2299 (java) S 2279 2282 1738 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 10800 33554432000 4194304 4196468 140726000660384 139874728372592 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2300] ppid=2279 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/2282/task/2300/stat : 2300 (java) S 2279 2282 1738 0 -1 1077944384 318 0 0 0 6 0 0 0 20 0 20 0 257637634 26729902080 10800 33554432000 4194304 4196468 140726000660384 139874727319792 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2301] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2301/stat : 2301 (java) S 2279 2282 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 10800 33554432000 4194304 4196468 140726000660384 139874726267744 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2302] ppid=2279 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/2282/task/2302/stat : 2302 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 10800 33554432000 4194304 4196468 140726000660384 139874725215024 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 42936 KiB [startup+0.310111 s]* /proc/loadavg: 8.05 8.65 8.71 2/198 2302 /proc/meminfo: memFree=28632412/32770624 swapFree=67108796/67108860 [pid=2282] ppid=2279 vsize=26103420 memory=46972 CPUtime=0.42 cores=0-7 /proc/2282/stat : 2282 (java) S 2279 2282 1738 0 -1 1077944320 10875 0 0 0 40 2 0 0 20 0 20 0 257637628 26729902080 11743 33554432000 4194304 4196468 140726000660384 140726000642928 139876327624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 /proc/2282/statm: 6525855 11743 3404 1 0 6487932 0 [pid=2282/tid=2284] ppid=2279 vsize=26103420 memory=1399051139730258233 CPUtime=0.29 cores=0-7 /proc/2282/task/2284/stat : 2284 (java) R 2279 2282 1738 0 -1 4202560 8522 0 0 0 28 1 0 0 20 0 20 0 257637628 26729902080 11743 33554432000 4194304 4196468 140726000660384 139876331823872 139876309187995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2285] ppid=2279 vsize=26103420 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2282/task/2285/stat : 2285 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 11743 33554432000 4194304 4196468 140726000660384 139876284177296 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2286] ppid=2279 vsize=26103420 memory=3152 CPUtime=0 cores=0-7 /proc/2282/task/2286/stat : 2286 (java) S 2279 2282 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 11743 33554432000 4194304 4196468 140726000660384 139876283124496 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2287] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2287/stat : 2287 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 11743 33554432000 4194304 4196468 140726000660384 139876282072208 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2288] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2288/stat : 2288 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 11743 33554432000 4194304 4196468 140726000660384 139875882499088 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2289] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2289/stat : 2289 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 11743 33554432000 4194304 4196468 140726000660384 139875881445776 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2290] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2290/stat : 2290 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 11743 33554432000 4194304 4196468 140726000660384 139875880392976 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2291] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2291/stat : 2291 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 11743 33554432000 4194304 4196468 140726000660384 139875879340688 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2292] ppid=2279 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/2282/task/2292/stat : 2292 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26729902080 11743 33554432000 4194304 4196468 140726000660384 139875878287888 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2293] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2293/stat : 2293 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637631 26729902080 11743 33554432000 4194304 4196468 140726000660384 139874734688880 139876327635586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2294] ppid=2279 vsize=26103420 memory=140219877782479 CPUtime=0 cores=0-7 /proc/2282/task/2294/stat : 2294 (java) S 2279 2282 1738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257637631 26729902080 11743 33554432000 4194304 4196468 140726000660384 139874733634848 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2295] ppid=2279 vsize=26103420 memory=280439755567248 CPUtime=0 cores=0-7 /proc/2282/task/2295/stat : 2295 (java) S 2279 2282 1738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257637631 26729902080 11743 33554432000 4194304 4196468 140726000660384 139874732582512 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2296] ppid=2279 vsize=26103420 memory=280439755583376 CPUtime=0 cores=0-7 /proc/2282/task/2296/stat : 2296 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 11743 33554432000 4194304 4196468 140726000660384 139874731530832 139876327643035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2297] ppid=2279 vsize=26103420 memory=280439755581072 CPUtime=0.01 cores=0-7 /proc/2282/task/2297/stat : 2297 (java) S 2279 2282 1738 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 257637634 26729902080 11743 33554432000 4194304 4196468 140726000660384 139874730477680 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2298] ppid=2279 vsize=26103420 memory=280439755587984 CPUtime=0.01 cores=0-7 /proc/2282/task/2298/stat : 2298 (java) S 2279 2282 1738 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 20 0 257637634 26729902080 11743 33554432000 4194304 4196468 140726000660384 139874729424880 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2299] ppid=2279 vsize=26103420 memory=280439755529264 CPUtime=0.01 cores=0-7 /proc/2282/task/2299/stat : 2299 (java) S 2279 2282 1738 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 20 0 257637634 26729902080 11743 33554432000 4194304 4196468 140726000660384 139874728372592 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2300] ppid=2279 vsize=26103420 memory=280439755601808 CPUtime=0.07 cores=0-7 /proc/2282/task/2300/stat : 2300 (java) S 2279 2282 1738 0 -1 1077944384 335 0 0 0 7 0 0 0 20 0 20 0 257637634 26729902080 11743 33554432000 4194304 4196468 140726000660384 139874727319792 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2301] ppid=2279 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2301/stat : 2301 (java) S 2279 2282 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 11743 33554432000 4194304 4196468 140726000660384 139874726267744 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2302] ppid=2279 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/2282/task/2302/stat : 2302 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637634 26729902080 11743 33554432000 4194304 4196468 140726000660384 139874725215024 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46972 KiB [startup+0.700916 s] /proc/loadavg: 8.05 8.65 8.71 2/198 2302 /proc/meminfo: memFree=28609260/32770624 swapFree=67108796/67108860 [pid=2282] ppid=2279 vsize=26105488 memory=87628 CPUtime=0.99 cores=0-7 /proc/2282/stat : 2282 (java) S 2279 2282 1738 0 -1 1077944320 17854 0 0 0 94 5 0 0 20 0 20 0 257637628 26732019712 21907 33554432000 4194304 4196468 140726000660384 140726000642928 139876327624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 /proc/2282/statm: 6526372 21907 3498 1 0 6488444 0 [pid=2282/tid=2284] ppid=2279 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7 /proc/2282/task/2284/stat : 2284 (java) R 2279 2282 1738 0 -1 4202560 15009 0 0 0 64 3 0 0 20 0 20 0 257637628 26732019712 21907 33554432000 4194304 4196468 140726000660384 139876331847760 139876306069184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2285] ppid=2279 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2285/stat : 2285 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637629 26732019712 21907 33554432000 4194304 4196468 140726000660384 139876284177296 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2286] ppid=2279 vsize=26105488 memory=280439755973312 CPUtime=0 cores=0-7 /proc/2282/task/2286/stat : 2286 (java) S 2279 2282 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257637629 26732019712 21907 33554432000 4194304 4196468 140726000660384 139876283124496 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2287] ppid=2279 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2287/stat : 2287 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26732019712 21907 33554432000 4194304 4196468 140726000660384 139876282072208 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2288] ppid=2279 vsize=26105488 memory=5724 CPUtime=0 cores=0-7 /proc/2282/task/2288/stat : 2288 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637629 26732019712 21907 33554432000 4194304 4196468 140726000660384 139875882499088 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2289] ppid=2279 vsize=26105488 memory=14768 CPUtime=0 cores=0-7 /proc/2282/task/2289/stat : 2289 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26732019712 21907 33554432000 4194304 4196468 140726000660384 139875881445776 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2290] ppid=2279 vsize=26105488 memory=43384 CPUtime=0 cores=0-7 /proc/2282/task/2290/stat : 2290 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26732019712 21907 33554432000 4194304 4196468 140726000660384 139875880392976 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2291] ppid=2279 vsize=26105488 memory=15108 CPUtime=0 cores=0-7 /proc/2282/task/2291/stat : 2291 (java) S 2279 2282 1738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257637629 26732019712 21907 33554432000 4194304 4196468 140726000660384 139875879340688 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2292] ppid=2279 vsize=26105488 memory=3152 CPUtime=0 cores=0-7 /proc/2282/task/2292/stat : 2292 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637629 26732019712 21907 33554432000 4194304 4196468 140726000660384 139875878287888 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2293] ppid=2279 vsize=26105488 memory=496 CPUtime=0 cores=0-7 /proc/2282/task/2293/stat : 2293 (java) S 2279 2282 1738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257637631 26732019712 21907 33554432000 4194304 4196468 140726000660384 139874734688880 139876327635586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 ################ # More data... # ################ [startup+2520.34 s] # the end of solver process 2282 was just reported to runsolver # cumulated CPU time of all completed processes: user=19985.3 s, system=8.66594 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.2 s] /proc/loadavg: 8.32 8.61 8.71 9/212 2375 /proc/meminfo: memFree=27189016/32770624 swapFree=67108796/67108860 [pid=2282] ppid=2279 vsize=27386632 memory=1481872 CPUtime=19993 cores=0-7 /proc/2282/stat : 2282 (java) S 2279 2282 1738 0 -1 1077944320 1759864 0 0 0 1998437 864 0 0 20 0 41 0 257637628 28043911168 370468 33554432000 4194304 4196468 140726000660384 140726000642928 139876327624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 /proc/2282/statm: 6846658 370468 3622 1 0 6808209 0 [pid=2282/tid=2284] ppid=2279 vsize=27386632 memory=6944656592455359580 CPUtime=3.66 cores=0-7 /proc/2282/task/2284/stat : 2284 (java) S 2279 2282 1738 0 -1 1077944384 22020 0 0 0 357 9 0 0 20 0 41 0 257637628 28043911168 370468 33554432000 4194304 4196468 140726000660384 139876331861904 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2285] ppid=2279 vsize=27386632 memory=6944656575208382560 CPUtime=9.84 cores=0-7 /proc/2282/task/2285/stat : 2285 (java) S 2279 2282 1738 0 -1 1077944384 140335 0 0 0 939 45 0 0 20 0 41 0 257637629 28043911168 370468 33554432000 4194304 4196468 140726000660384 139876284177296 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2286] ppid=2279 vsize=27386632 memory=6944656592455097440 CPUtime=9.89 cores=0-7 /proc/2282/task/2286/stat : 2286 (java) S 2279 2282 1738 0 -1 1077944384 122035 0 0 0 946 43 0 0 20 0 41 0 257637629 28043911168 370468 33554432000 4194304 4196468 140726000660384 139876283124496 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2287] ppid=2279 vsize=27386632 memory=6656426216303648864 CPUtime=9.93 cores=0-7 /proc/2282/task/2287/stat : 2287 (java) S 2279 2282 1738 0 -1 1077944384 113694 0 0 0 948 45 0 0 20 0 41 0 257637629 28043911168 370468 33554432000 4194304 4196468 140726000660384 139876282072208 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2288] ppid=2279 vsize=27386632 memory=0 CPUtime=9.89 cores=0-7 /proc/2282/task/2288/stat : 2288 (java) S 2279 2282 1738 0 -1 1077944384 129036 0 0 0 943 46 0 0 20 0 41 0 257637629 28043911168 370468 33554432000 4194304 4196468 140726000660384 139875882499088 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2289] ppid=2279 vsize=27386632 memory=7163090035001680208 CPUtime=9.87 cores=0-7 /proc/2282/task/2289/stat : 2289 (java) S 2279 2282 1738 0 -1 1077944384 113475 0 0 0 945 42 0 0 20 0 41 0 257637629 28043911168 370468 33554432000 4194304 4196468 140726000660384 139875881445776 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2290] ppid=2279 vsize=27386632 memory=301741373374332954 CPUtime=9.85 cores=0-7 /proc/2282/task/2290/stat : 2290 (java) S 2279 2282 1738 0 -1 1077944384 124872 0 0 0 942 43 0 0 20 0 41 0 257637629 28043911168 370468 33554432000 4194304 4196468 140726000660384 139875880392976 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2291] ppid=2279 vsize=27386632 memory=290763870841340219 CPUtime=9.87 cores=0-7 /proc/2282/task/2291/stat : 2291 (java) S 2279 2282 1738 0 -1 1077944384 123376 0 0 0 943 44 0 0 20 0 41 0 257637629 28043911168 370468 33554432000 4194304 4196468 140726000660384 139875879340688 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2292] ppid=2279 vsize=27386632 memory=16097057228196093 CPUtime=9.86 cores=0-7 /proc/2282/task/2292/stat : 2292 (java) S 2279 2282 1738 0 -1 1077944384 129876 0 0 0 936 50 0 0 20 0 41 0 257637629 28043911168 370468 33554432000 4194304 4196468 140726000660384 139875878287888 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2293] ppid=2279 vsize=27386632 memory=3832 CPUtime=4.93 cores=0-7 /proc/2282/task/2293/stat : 2293 (java) S 2279 2282 1738 0 -1 1077944384 168794 0 0 0 408 85 0 0 20 0 41 0 257637631 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874734688880 139876327635586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2294] ppid=2279 vsize=27386632 memory=1487776 CPUtime=0 cores=0-7 /proc/2282/task/2294/stat : 2294 (java) S 2279 2282 1738 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 41 0 257637631 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874733634912 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2295] ppid=2279 vsize=27386632 memory=1904 CPUtime=0 cores=0-7 /proc/2282/task/2295/stat : 2295 (java) S 2279 2282 1738 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 41 0 257637631 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874732582528 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2296] ppid=2279 vsize=27386632 memory=7524 CPUtime=0 cores=0-7 /proc/2282/task/2296/stat : 2296 (java) S 2279 2282 1738 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 41 0 257637634 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874731530832 139876327643035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2297] ppid=2279 vsize=27386632 memory=800 CPUtime=2.13 cores=0-7 /proc/2282/task/2297/stat : 2297 (java) S 2279 2282 1738 0 -1 1077944384 7407 0 0 0 211 2 0 0 20 0 41 0 257637634 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874730477680 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2298] ppid=2279 vsize=27386632 memory=1399051139730258233 CPUtime=1.57 cores=0-7 /proc/2282/task/2298/stat : 2298 (java) R 2279 2282 1738 0 -1 4202560 4816 0 0 0 155 2 0 0 20 0 41 0 257637634 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874729424880 139876311732525 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2299] ppid=2279 vsize=27386632 memory=4126316290023845779 CPUtime=1.58 cores=0-7 /proc/2282/task/2299/stat : 2299 (java) R 2279 2282 1738 0 -1 1077944384 7857 0 0 0 156 2 0 0 20 0 41 0 257637634 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874728372592 139876327635586 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2300] ppid=2279 vsize=27386632 memory=1592 CPUtime=1.18 cores=0-7 /proc/2282/task/2300/stat : 2300 (java) S 2279 2282 1738 0 -1 1077944384 13470 0 0 0 114 4 0 0 20 0 41 0 257637634 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874727319792 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2301] ppid=2279 vsize=27386632 memory=3780 CPUtime=0 cores=0-7 /proc/2282/task/2301/stat : 2301 (java) S 2279 2282 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 257637634 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874726267744 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2302] ppid=2279 vsize=27386632 memory=3140 CPUtime=0.92 cores=0-7 /proc/2282/task/2302/stat : 2302 (java) S 2279 2282 1738 0 -1 1077944384 8917 0 0 0 61 31 0 0 20 0 41 0 257637634 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874725215024 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2303] ppid=2279 vsize=27386632 memory=1244 CPUtime=0 cores=0-7 /proc/2282/task/2303/stat : 2303 (java) S 2279 2282 1738 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 41 0 257637961 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874711774592 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2304] ppid=2279 vsize=27386632 memory=288230574492221466 CPUtime=4.49 cores=0-7 /proc/2282/task/2304/stat : 2304 (java) S 2279 2282 1738 0 -1 1077944384 19411 0 0 0 236 213 0 0 20 0 41 0 257637982 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874708624816 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2305] ppid=2279 vsize=27386632 memory=288230596050944315 CPUtime=2486.8 cores=0-7 /proc/2282/task/2305/stat : 2305 (java) R 2279 2282 1738 0 -1 4202560 64568 0 0 0 248629 51 0 0 20 0 41 0 257637998 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874707563944 139875971120325 0 4 0 16800975 0 0 0 -1 6 0 0 48 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2306] ppid=2279 vsize=27386632 memory=16097057228196093 CPUtime=2485.14 cores=0-7 /proc/2282/task/2306/stat : 2306 (java) R 2279 2282 1738 0 -1 4202560 64024 0 0 0 248465 49 0 0 20 0 41 0 257637999 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874704413240 139875974471984 0 4 0 16800975 0 0 0 -1 3 0 0 41 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2307] ppid=2279 vsize=27386632 memory=932 CPUtime=0.14 cores=0-7 /proc/2282/task/2307/stat : 2307 (java) S 2279 2282 1738 0 -1 1077944384 314 0 0 0 14 0 0 0 20 0 41 0 257638002 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874703368208 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2308] ppid=2279 vsize=27386632 memory=1728 CPUtime=2486.76 cores=0-7 /proc/2282/task/2308/stat : 2308 (java) R 2279 2282 1738 0 -1 4202560 62627 0 0 0 248629 47 0 0 20 0 41 0 257638006 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874702308856 139875961873602 0 4 0 16800975 0 0 0 -1 0 0 0 40 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2309] ppid=2279 vsize=27386632 memory=8628 CPUtime=0.11 cores=0-7 /proc/2282/task/2309/stat : 2309 (java) S 2279 2282 1738 0 -1 1077944384 222 0 0 0 11 0 0 0 20 0 41 0 257638006 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874701264176 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2310] ppid=2279 vsize=27386632 memory=1080 CPUtime=2486.91 cores=0-7 /proc/2282/task/2310/stat : 2310 (java) R 2279 2282 1738 0 -1 4202560 62352 0 0 0 248642 49 0 0 20 0 41 0 257638006 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874700206456 139875970608378 0 4 0 16800975 0 0 0 -1 2 0 0 41 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2311] ppid=2279 vsize=27386632 memory=752 CPUtime=2487.17 cores=0-7 /proc/2282/task/2311/stat : 2311 (java) R 2279 2282 1738 0 -1 4202560 62186 0 0 0 248664 53 0 0 20 0 41 0 257638006 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874699151064 139875970608189 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2312] ppid=2279 vsize=27386632 memory=796 CPUtime=2488.99 cores=0-7 /proc/2282/task/2312/stat : 2312 (java) R 2279 2282 1738 0 -1 4202560 67679 0 0 0 248848 51 0 0 20 0 41 0 257638006 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874698097920 139875968815336 0 4 0 16800975 0 0 0 -1 5 0 0 40 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2313] ppid=2279 vsize=27386632 memory=1592 CPUtime=2484.04 cores=0-7 /proc/2282/task/2313/stat : 2313 (java) R 2279 2282 1738 0 -1 4202560 62550 0 0 0 248353 51 0 0 20 0 41 0 257638006 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874697047872 139875974548704 0 4 0 16800975 0 0 0 -1 7 0 0 39 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2314] ppid=2279 vsize=27386632 memory=3780 CPUtime=0 cores=0-7 /proc/2282/task/2314/stat : 2314 (java) S 2279 2282 1738 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 41 0 257638028 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874695999616 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2315] ppid=2279 vsize=27386632 memory=3140 CPUtime=0.01 cores=0-7 /proc/2282/task/2315/stat : 2315 (java) S 2279 2282 1738 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 41 0 257638028 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874694946832 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2316] ppid=2279 vsize=27386632 memory=1244 CPUtime=2487.25 cores=0-7 /proc/2282/task/2316/stat : 2316 (java) R 2279 2282 1738 0 -1 4202560 61134 0 0 0 248679 46 0 0 20 0 41 0 257638028 28043911168 370468 33554432000 4194304 4196468 140726000660384 139874693886968 139875974549185 0 4 0 16800975 0 0 0 -1 1 0 0 41 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 Current children cumulated CPU time: 19993 s Current children cumulated vsize: 27386632 KiB Current children cumulated memory: 1481872 KiB [startup+2520.3 s] /proc/loadavg: 8.32 8.61 8.71 9/212 2375 /proc/meminfo: memFree=27189016/32770624 swapFree=67108796/67108860 [pid=2282] ppid=2279 vsize=27718424 memory=1481884 CPUtime=19993.8 cores=0-7 /proc/2282/stat : 2282 (java) S 2279 2282 1738 0 -1 1077944320 1760114 0 0 0 1998514 864 0 0 20 0 45 0 257637628 28383666176 370471 33554432000 4194304 4196468 140726000660384 140726000642928 139876327624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 /proc/2282/statm: 6945990 370471 3622 1 0 6907541 0 [pid=2282/tid=2284] ppid=2279 vsize=27783960 memory=1481108 CPUtime=3.66 cores=0-7 /proc/2282/task/2284/stat : 2284 (java) S 2279 2282 1738 0 -1 1077944384 22020 0 0 0 357 9 0 0 20 0 45 0 257637628 28450775040 370471 33554432000 4194304 4196468 140726000660384 139876331861904 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2285] ppid=2279 vsize=27783960 memory=1483160 CPUtime=9.84 cores=0-7 /proc/2282/task/2285/stat : 2285 (java) S 2279 2282 1738 0 -1 1077944384 140339 0 0 0 939 45 0 0 20 0 45 0 257637629 28450775040 370471 33554432000 4194304 4196468 140726000660384 139876284177296 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2286] ppid=2279 vsize=27783960 memory=1489828 CPUtime=9.89 cores=0-7 /proc/2282/task/2286/stat : 2286 (java) S 2279 2282 1738 0 -1 1077944384 122035 0 0 0 946 43 0 0 20 0 45 0 257637629 28450775040 370471 33554432000 4194304 4196468 140726000660384 139876283124496 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2287] ppid=2279 vsize=27783960 memory=1485724 CPUtime=9.93 cores=0-7 /proc/2282/task/2287/stat : 2287 (java) S 2279 2282 1738 0 -1 1077944384 113698 0 0 0 948 45 0 0 20 0 45 0 257637629 28450775040 370471 33554432000 4194304 4196468 140726000660384 139876282072208 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2288] ppid=2279 vsize=27783960 memory=1483672 CPUtime=9.89 cores=0-7 /proc/2282/task/2288/stat : 2288 (java) S 2279 2282 1738 0 -1 1077944384 129036 0 0 0 943 46 0 0 20 0 45 0 257637629 28450775040 370471 33554432000 4194304 4196468 140726000660384 139875882499088 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2289] ppid=2279 vsize=27783960 memory=1480596 CPUtime=9.87 cores=0-7 /proc/2282/task/2289/stat : 2289 (java) S 2279 2282 1738 0 -1 1077944384 113475 0 0 0 945 42 0 0 20 0 45 0 257637629 28450775040 370471 33554432000 4194304 4196468 140726000660384 139875881445776 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2290] ppid=2279 vsize=27783960 memory=1480084 CPUtime=9.85 cores=0-7 /proc/2282/task/2290/stat : 2290 (java) S 2279 2282 1738 0 -1 1077944384 124876 0 0 0 942 43 0 0 20 0 45 0 257637629 28450775040 370471 33554432000 4194304 4196468 140726000660384 139875880392976 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2291] ppid=2279 vsize=27783960 memory=1480880 CPUtime=9.88 cores=0-7 /proc/2282/task/2291/stat : 2291 (java) S 2279 2282 1738 0 -1 1077944384 123399 0 0 0 944 44 0 0 20 0 45 0 257637629 28450775040 370471 33554432000 4194304 4196468 140726000660384 139875879340688 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2292] ppid=2279 vsize=27783960 memory=0 CPUtime=9.87 cores=0-7 /proc/2282/task/2292/stat : 2292 (java) S 2279 2282 1738 0 -1 1077944384 129876 0 0 0 937 50 0 0 20 0 45 0 257637629 28450775040 370471 33554432000 4194304 4196468 140726000660384 139875878287888 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2293] ppid=2279 vsize=27783960 memory=1481108 CPUtime=4.93 cores=0-7 /proc/2282/task/2293/stat : 2293 (java) S 2279 2282 1738 0 -1 1077944384 168795 0 0 0 408 85 0 0 20 0 45 0 257637631 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874734688880 139876327635586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2294] ppid=2279 vsize=27783960 memory=1482648 CPUtime=0 cores=0-7 /proc/2282/task/2294/stat : 2294 (java) S 2279 2282 1738 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 45 0 257637631 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874733634912 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2295] ppid=2279 vsize=27783960 memory=1728 CPUtime=0 cores=0-7 /proc/2282/task/2295/stat : 2295 (java) S 2279 2282 1738 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 45 0 257637631 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874732582528 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2296] ppid=2279 vsize=27783960 memory=1531380 CPUtime=0 cores=0-7 /proc/2282/task/2296/stat : 2296 (java) S 2279 2282 1738 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 45 0 257637634 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874731530832 139876327643035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2297] ppid=2279 vsize=27783960 memory=238023 CPUtime=2.14 cores=0-7 /proc/2282/task/2297/stat : 2297 (java) S 2279 2282 1738 0 -1 1077944384 7426 0 0 0 212 2 0 0 20 0 45 0 257637634 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874730477680 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2298] ppid=2279 vsize=27783960 memory=0 CPUtime=1.57 cores=0-7 /proc/2282/task/2298/stat : 2298 (java) S 2279 2282 1738 0 -1 1077944384 4823 0 0 0 155 2 0 0 20 0 45 0 257637634 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874729424880 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2299] ppid=2279 vsize=27783960 memory=0 CPUtime=1.58 cores=0-7 /proc/2282/task/2299/stat : 2299 (java) S 2279 2282 1738 0 -1 1077944384 7857 0 0 0 156 2 0 0 20 0 45 0 257637634 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874728372592 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2300] ppid=2279 vsize=27783960 memory=15108 CPUtime=1.18 cores=0-7 /proc/2282/task/2300/stat : 2300 (java) R 2279 2282 1738 0 -1 1077944384 13477 0 0 0 114 4 0 0 20 0 45 0 257637634 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874727319792 139876327635586 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2301] ppid=2279 vsize=27783960 memory=3152 CPUtime=0 cores=0-7 /proc/2282/task/2301/stat : 2301 (java) S 2279 2282 1738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 257637634 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874726267744 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2302] ppid=2279 vsize=27783960 memory=0 CPUtime=0.92 cores=0-7 /proc/2282/task/2302/stat : 2302 (java) S 2279 2282 1738 0 -1 1077944384 8917 0 0 0 61 31 0 0 20 0 45 0 257637634 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874725215024 139876327635586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2303] ppid=2279 vsize=27783960 memory=0 CPUtime=0 cores=0-7 /proc/2282/task/2303/stat : 2303 (java) S 2279 2282 1738 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 45 0 257637961 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874711774592 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2304] ppid=2279 vsize=27783960 memory=209 CPUtime=4.49 cores=0-7 /proc/2282/task/2304/stat : 2304 (java) R 2279 2282 1738 0 -1 1077944384 19411 0 0 0 236 213 0 0 20 0 45 0 257637982 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874708624816 139876327635586 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2305] ppid=2279 vsize=27783960 memory=1244 CPUtime=2486.88 cores=0-7 /proc/2282/task/2305/stat : 2305 (java) R 2279 2282 1738 0 -1 4202560 64569 0 0 0 248637 51 0 0 20 0 45 0 257637998 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874707563896 139875968833484 0 4 0 16800975 0 0 0 -1 0 0 0 48 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2306] ppid=2279 vsize=27783960 memory=1036 CPUtime=2485.24 cores=0-7 /proc/2282/task/2306/stat : 2306 (java) R 2279 2282 1738 0 -1 4202560 64024 0 0 0 248475 49 0 0 20 0 45 0 257637999 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874704413944 139875974697015 0 4 0 16800975 0 0 0 -1 5 0 0 41 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2307] ppid=2279 vsize=27783960 memory=1776 CPUtime=0.15 cores=0-7 /proc/2282/task/2307/stat : 2307 (java) R 2279 2282 1738 0 -1 4202560 368 0 0 0 15 0 0 0 20 0 45 0 257638002 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874703369320 139876327636374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2308] ppid=2279 vsize=27783960 memory=796 CPUtime=2486.85 cores=0-7 /proc/2282/task/2308/stat : 2308 (java) R 2279 2282 1738 0 -1 4202560 62627 0 0 0 248638 47 0 0 20 0 45 0 257638006 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874702312168 139875971120374 0 4 0 16800975 0 0 0 -1 6 0 0 40 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2309] ppid=2279 vsize=27783960 memory=1592 CPUtime=0.11 cores=0-7 /proc/2282/task/2309/stat : 2309 (java) S 2279 2282 1738 0 -1 1077944384 222 0 0 0 11 0 0 0 20 0 45 0 257638006 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874701264176 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2310] ppid=2279 vsize=27783960 memory=3780 CPUtime=2487 cores=0-7 /proc/2282/task/2310/stat : 2310 (java) R 2279 2282 1738 0 -1 4202560 62352 0 0 0 248651 49 0 0 20 0 45 0 257638006 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874700203448 139875971120944 0 4 0 16800975 0 0 0 -1 2 0 0 41 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2311] ppid=2279 vsize=27783960 memory=1480084 CPUtime=2487.27 cores=0-7 /proc/2282/task/2311/stat : 2311 (java) R 2279 2282 1738 0 -1 4202560 62186 0 0 0 248674 53 0 0 20 0 45 0 257638006 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874699150968 139875970772260 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2312] ppid=2279 vsize=27783960 memory=3832 CPUtime=2489.09 cores=0-7 /proc/2282/task/2312/stat : 2312 (java) R 2279 2282 1738 0 -1 4202560 67679 0 0 0 248858 51 0 0 20 0 45 0 257638006 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874698101992 139875974696906 0 4 0 16800975 0 0 0 -1 7 0 0 40 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2313] ppid=2279 vsize=27783960 memory=1483160 CPUtime=2484.11 cores=0-7 /proc/2282/task/2313/stat : 2313 (java) R 2279 2282 1738 0 -1 4202560 62550 0 0 0 248360 51 0 0 20 0 45 0 257638006 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874697047800 139875974471795 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2314] ppid=2279 vsize=27783960 memory=1904 CPUtime=0 cores=0-7 /proc/2282/task/2314/stat : 2314 (java) S 2279 2282 1738 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 45 0 257638028 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874696000176 139876327634645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2315] ppid=2279 vsize=27783960 memory=7524 CPUtime=0.01 cores=0-7 /proc/2282/task/2315/stat : 2315 (java) R 2279 2282 1738 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 45 0 257638028 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874694947888 139876327634645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 [pid=2282/tid=2316] ppid=2279 vsize=27783960 memory=800 CPUtime=2487.34 cores=0-7 /proc/2282/task/2316/stat : 2316 (java) R 2279 2282 1738 0 -1 4202560 61134 0 0 0 248688 46 0 0 20 0 45 0 257638028 28450775040 370471 33554432000 4194304 4196468 140726000660384 139874693891384 139875968815013 0 4 0 16800975 0 0 0 -1 3 0 0 41 0 0 6293624 6294260 12873728 140726000665677 140726000665861 140726000665861 140726000668623 0 Current children cumulated CPU time: 19993.8 s Current children cumulated vsize: 27718424 KiB Current children cumulated memory: 1481884 KiB Child status: 143 Real time (s): 2520.34 CPU time (s): 19994 CPU user time (s): 19985.3 CPU system time (s): 8.66594 CPU usage (%): 793.305 Max. virtual memory (cumulated for all children) (KiB): 27718424 Max. memory (cumulated for all children) (KiB): 2841444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19985.3 system time used= 8.66594 maximum resident set size= 2844656 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1760211 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3912 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 558458 involuntary context switches= 421927 # summary of solver processes directly reported to runsolver: # pid: 2282 # total CPU time (s): 19994 # total CPU user time (s): 19985.3 # total CPU system time (s): 8.66594 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.0873 second user time and 32.6245 second system time The end
Begin job on node138 at 2018-08-16 08:25:44 IDJOB=4309060 IDBENCH=141662 IDSOLVER=2793 FILE ID=node138/4309060-1534400744 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/Eternity/Eternity-12-12_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-4309060-1534400744/watcher-4309060-1534400744 -o /tmp/evaluation-result-4309060-1534400744/solver-4309060-1534400744 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534393180-1765 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1799704743 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309060-1534400744.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 72288e631366ae5e472c0848b2762e00 RANDOM SEED=1799704743 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: 28665952 kB MemAvailable: 31888676 kB Buffers: 126316 kB Cached: 3354108 kB SwapCached: 12 kB Active: 1804132 kB Inactive: 1736924 kB Active(anon): 4584 kB Inactive(anon): 116676 kB Active(file): 1799548 kB Inactive(file): 1620248 kB Unevictable: 7260 kB Mlocked: 7260 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 36960 kB Writeback: 0 kB AnonPages: 65256 kB Mapped: 55004 kB Shmem: 57932 kB Slab: 259700 kB SReclaimable: 231388 kB SUnreclaim: 28312 kB KernelStack: 3520 kB PageTables: 6200 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: 10240 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 09:07:45