Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT | 2.3366799 | 1.1885099 |
Name | CryptoPuzzle/CryptoPuzzle-m1-s1/ CryptoPuzzle-monitor-network-internet.xml |
MD5SUM | 7789861daa479cb7b9dc45adeb072038 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.014681 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 34 |
Number of constraints | 20 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 10 |
Distribution of domain sizes | [{"size":2,"count":8},{"size":10,"count":9}] |
Minimum variable degree | 0 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":0,"count":17},{"degree":2,"count":1},{"degree":3,"count":9},{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":1},{"degree":7,"count":3}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":1,"count":4},{"arity":2,"count":1},{"arity":3,"count":1},{"arity":4,"count":13},{"arity":9,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 19 |
Distribution of constraint types | [{"type":"intension","count":19},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.29/0.25 c version: 2017-08-22 0.29/0.25 c seed: 1540264727 0.29/0.26 c timeout: 20160 0.29/0.26 c memlimit: 22000 0.29/0.26 c nbcore: 8 0.29/0.28 c Parsing instance... 0.82/0.56 c Parsing done, starting search... 2.03/1.17 s SATISFIABLE 2.03/1.18 v <instantiation> 2.03/1.18 v <list> 2.03/1.18 v l[4] l[8] l[10] l[12] l[13] l[14] l[17] l[19] l[22] C[0] C[1] C[2] C[3] C[4] C[5] C[6] C[7] 2.03/1.18 v </list> 2.03/1.18 v <values> 2.03/1.18 v 5 1 7 9 2 8 6 3 4 0 1 1 1 0 0 1 1 2.03/1.18 v </values> 2.03/1.18 v </instantiation>
OK
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 (12101 MiB free) memory of node 1: 16384 MiB (11015 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285116-1503458272/watcher-4285116-1503458272 -o /tmp/evaluation-result-4285116-1503458272/solver-4285116-1503458272 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503449773-8151 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1540264727 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285116-1503458272.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=9451, runsolver pid=9448 Current StackSize limit: 8192 KiB [startup+0.100066 s]* /proc/loadavg: 4.68 2.23 1.51 1/200 9471 /proc/meminfo: memFree=23655824/32770624 swapFree=67108860/67108860 [pid=9451] ppid=9448 vsize=26000852 memory=32744 CPUtime=0.12 cores=0-7 /proc/9451/stat : 9451 (java) S 9448 9451 8124 0 -1 1077944320 8565 0 0 0 11 1 0 0 20 0 20 0 178914780 26624872448 8186 33554432000 4194304 4196468 140731266270464 140731266253008 140085778398967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 /proc/9451/statm: 6500213 8186 3412 1 0 6487932 0 [pid=9451/tid=9453] ppid=9448 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/9451/task/9453/stat : 9453 (java) R 9448 9451 8124 0 -1 4202560 6522 0 0 0 8 1 0 0 20 0 20 0 178914781 26624872448 8186 33554432000 4194304 4196468 140731266270464 140085782615664 140085778420893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9454] ppid=9448 vsize=26000852 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/9451/task/9454/stat : 9454 (java) S 9448 9451 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 8186 33554432000 4194304 4196468 140731266270464 140085731019536 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9455] ppid=9448 vsize=26000852 memory=139658731468416 CPUtime=0 cores=0-7 /proc/9451/task/9455/stat : 9455 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 8186 33554432000 4194304 4196468 140731266270464 140085729966992 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9456] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9456/stat : 9456 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 8186 33554432000 4194304 4196468 140731266270464 140085728914448 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9457] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9457/stat : 9457 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 8186 33554432000 4194304 4196468 140731266270464 140085333195920 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9458] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9458/stat : 9458 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 8186 33554432000 4194304 4196468 140731266270464 140085332142352 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9459] ppid=9448 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/9451/task/9459/stat : 9459 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 8186 33554432000 4194304 4196468 140731266270464 140085331089808 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9460] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9460/stat : 9460 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 8186 33554432000 4194304 4196468 140731266270464 140085330037264 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9461] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9461/stat : 9461 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 8186 33554432000 4194304 4196468 140731266270464 140085328984720 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9462] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9462/stat : 9462 (java) S 9448 9451 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178914783 26624872448 8186 33554432000 4194304 4196468 140731266270464 140084296722928 140085778410114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9463] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9463/stat : 9463 (java) S 9448 9451 8124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178914783 26624872448 8186 33554432000 4194304 4196468 140731266270464 140084295669152 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9464] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9464/stat : 9464 (java) S 9448 9451 8124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178914784 26624872448 8186 33554432000 4194304 4196468 140731266270464 140084294616560 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9465] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9465/stat : 9465 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914786 26624872448 8186 33554432000 4194304 4196468 140731266270464 140084293565136 140085778417563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9466] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9466/stat : 9466 (java) S 9448 9451 8124 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 178914786 26624872448 8186 33554432000 4194304 4196468 140731266270464 140084292511728 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9467] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9467/stat : 9467 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178914786 26624872448 8186 33554432000 4194304 4196468 140731266270464 140084291459184 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9468] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9468/stat : 9468 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178914786 26624872448 8186 33554432000 4194304 4196468 140731266270464 140084290406640 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9469] ppid=9448 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7 /proc/9451/task/9469/stat : 9469 (java) R 9448 9451 8124 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 20 0 178914786 26624872448 8186 33554432000 4194304 4196468 140731266270464 140084289354096 140085757528446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9470] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9470/stat : 9470 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178914786 26624872448 8186 33554432000 4194304 4196468 140731266270464 140084288301792 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9471] ppid=9448 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/9451/task/9471/stat : 9471 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914786 26624872448 8186 33554432000 4194304 4196468 140731266270464 140084287249328 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 32744 KiB [startup+0.210693 s]* /proc/loadavg: 4.68 2.23 1.51 2/200 9471 /proc/meminfo: memFree=23644596/32770624 swapFree=67108860/67108860 [pid=9451] ppid=9448 vsize=26000852 memory=41636 CPUtime=0.29 cores=0-7 /proc/9451/stat : 9451 (java) S 9448 9451 8124 0 -1 1077944320 9593 0 0 0 27 2 0 0 20 0 20 0 178914780 26624872448 10409 33554432000 4194304 4196468 140731266270464 140731266253008 140085778398967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 /proc/9451/statm: 6500213 10409 3623 1 0 6487932 0 [pid=9451/tid=9453] ppid=9448 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/9451/task/9453/stat : 9453 (java) R 9448 9451 8124 0 -1 4202560 7165 0 0 0 18 1 0 0 20 0 20 0 178914781 26624872448 10409 33554432000 4194304 4196468 140731266270464 140085782617328 140085778420893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9454] ppid=9448 vsize=26000852 memory=9419 CPUtime=0 cores=0-7 /proc/9451/task/9454/stat : 9454 (java) S 9448 9451 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 10409 33554432000 4194304 4196468 140731266270464 140085731019536 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9455] ppid=9448 vsize=26000852 memory=139658731477144 CPUtime=0 cores=0-7 /proc/9451/task/9455/stat : 9455 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 10409 33554432000 4194304 4196468 140731266270464 140085729966992 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9456] ppid=9448 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/9451/task/9456/stat : 9456 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 10409 33554432000 4194304 4196468 140731266270464 140085728914448 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9457] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9457/stat : 9457 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 10409 33554432000 4194304 4196468 140731266270464 140085333195920 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9458] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9458/stat : 9458 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 10409 33554432000 4194304 4196468 140731266270464 140085332142352 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9459] ppid=9448 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/9451/task/9459/stat : 9459 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 10409 33554432000 4194304 4196468 140731266270464 140085331089808 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9460] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9460/stat : 9460 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 10409 33554432000 4194304 4196468 140731266270464 140085330037264 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9461] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9461/stat : 9461 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624872448 10409 33554432000 4194304 4196468 140731266270464 140085328984720 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9462] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9462/stat : 9462 (java) S 9448 9451 8124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178914783 26624872448 10409 33554432000 4194304 4196468 140731266270464 140084296722928 140085778410114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9463] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9463/stat : 9463 (java) S 9448 9451 8124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178914783 26624872448 10409 33554432000 4194304 4196468 140731266270464 140084295669152 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9464] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9464/stat : 9464 (java) S 9448 9451 8124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178914784 26624872448 10409 33554432000 4194304 4196468 140731266270464 140084294616560 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9465] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9465/stat : 9465 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914786 26624872448 10409 33554432000 4194304 4196468 140731266270464 140084293565136 140085778417563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9466] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9466/stat : 9466 (java) S 9448 9451 8124 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 178914786 26624872448 10409 33554432000 4194304 4196468 140731266270464 140084292511728 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9467] ppid=9448 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/9451/task/9467/stat : 9467 (java) S 9448 9451 8124 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 20 0 178914786 26624872448 10409 33554432000 4194304 4196468 140731266270464 140084291459184 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9468] ppid=9448 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/9451/task/9468/stat : 9468 (java) S 9448 9451 8124 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 178914786 26624872448 10409 33554432000 4194304 4196468 140731266270464 140084290406640 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9469] ppid=9448 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7 /proc/9451/task/9469/stat : 9469 (java) S 9448 9451 8124 0 -1 1077944384 383 0 0 0 5 0 0 0 20 0 20 0 178914786 26624872448 10409 33554432000 4194304 4196468 140731266270464 140084289354096 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9470] ppid=9448 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9470/stat : 9470 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178914786 26624872448 10409 33554432000 4194304 4196468 140731266270464 140084288301792 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9471] ppid=9448 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/9451/task/9471/stat : 9471 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914786 26624872448 10409 33554432000 4194304 4196468 140731266270464 140084287249328 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 41636 KiB [startup+0.310426 s]* /proc/loadavg: 4.68 2.23 1.51 2/200 9471 /proc/meminfo: memFree=23637152/32770624 swapFree=67108860/67108860 [pid=9451] ppid=9448 vsize=26000872 memory=49812 CPUtime=0.48 cores=0-7 /proc/9451/stat : 9451 (java) S 9448 9451 8124 0 -1 1077944320 10647 0 0 0 45 3 0 0 20 0 20 0 178914780 26624892928 12453 33554432000 4194304 4196468 140731266270464 140731266253008 140085778398967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 /proc/9451/statm: 6500218 12453 3721 1 0 6487932 0 [pid=9451/tid=9453] ppid=9448 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/9451/task/9453/stat : 9453 (java) R 9448 9451 8124 0 -1 4202560 7740 0 0 0 27 2 0 0 20 0 20 0 178914781 26624892928 12453 33554432000 4194304 4196468 140731266270464 140085782624560 140085762442597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9454] ppid=9448 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9454/stat : 9454 (java) S 9448 9451 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178914781 26624892928 12453 33554432000 4194304 4196468 140731266270464 140085731019536 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9455] ppid=9448 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9455/stat : 9455 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624892928 12453 33554432000 4194304 4196468 140731266270464 140085729966992 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9456] ppid=9448 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9456/stat : 9456 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624892928 12453 33554432000 4194304 4196468 140731266270464 140085728914448 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9457] ppid=9448 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9457/stat : 9457 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624892928 12453 33554432000 4194304 4196468 140731266270464 140085333195920 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9458] ppid=9448 vsize=26000872 memory=2244 CPUtime=0 cores=0-7 /proc/9451/task/9458/stat : 9458 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624892928 12453 33554432000 4194304 4196468 140731266270464 140085332142352 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9459] ppid=9448 vsize=26000872 memory=139658579243951 CPUtime=0 cores=0-7 /proc/9451/task/9459/stat : 9459 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624892928 12453 33554432000 4194304 4196468 140731266270464 140085331089808 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9460] ppid=9448 vsize=26000872 memory=139658579246256 CPUtime=0 cores=0-7 /proc/9451/task/9460/stat : 9460 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178914781 26624892928 12453 33554432000 4194304 4196468 140731266270464 140085330037264 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9461] ppid=9448 vsize=26000872 memory=139658579248560 CPUtime=0 cores=0-7 /proc/9451/task/9461/stat : 9461 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26624892928 12453 33554432000 4194304 4196468 140731266270464 140085328984720 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9462] ppid=9448 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9462/stat : 9462 (java) S 9448 9451 8124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178914783 26624892928 12453 33554432000 4194304 4196468 140731266270464 140084296722928 140085778410114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9463] ppid=9448 vsize=26000872 memory=279317158504080 CPUtime=0 cores=0-7 /proc/9451/task/9463/stat : 9463 (java) S 9448 9451 8124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178914783 26624892928 12453 33554432000 4194304 4196468 140731266270464 140084295669152 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9464] ppid=9448 vsize=26000872 memory=279317158510992 CPUtime=0 cores=0-7 /proc/9451/task/9464/stat : 9464 (java) S 9448 9451 8124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178914784 26624892928 12453 33554432000 4194304 4196468 140731266270464 140084294616560 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9465] ppid=9448 vsize=26000872 memory=279317158452272 CPUtime=0 cores=0-7 /proc/9451/task/9465/stat : 9465 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914786 26624892928 12453 33554432000 4194304 4196468 140731266270464 140084293565136 140085778417563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9466] ppid=9448 vsize=26000872 memory=279317158524816 CPUtime=0.02 cores=0-7 /proc/9451/task/9466/stat : 9466 (java) S 9448 9451 8124 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 178914786 26624892928 12453 33554432000 4194304 4196468 140731266270464 140084292511728 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9467] ppid=9448 vsize=26000872 memory=279317158531728 CPUtime=0.03 cores=0-7 /proc/9451/task/9467/stat : 9467 (java) S 9448 9451 8124 0 -1 1077944384 469 0 0 0 3 0 0 0 20 0 20 0 178914786 26624892928 12453 33554432000 4194304 4196468 140731266270464 140084291459184 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9468] ppid=9448 vsize=26000872 memory=279317158529424 CPUtime=0.02 cores=0-7 /proc/9451/task/9468/stat : 9468 (java) S 9448 9451 8124 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 20 0 178914786 26624892928 12453 33554432000 4194304 4196468 140731266270464 140084290406640 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9469] ppid=9448 vsize=26000872 memory=279317158546032 CPUtime=0.08 cores=0-7 /proc/9451/task/9469/stat : 9469 (java) S 9448 9451 8124 0 -1 1077944384 489 0 0 0 8 0 0 0 20 0 20 0 178914786 26624892928 12453 33554432000 4194304 4196468 140731266270464 140084289354096 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9470] ppid=9448 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9470/stat : 9470 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178914786 26624892928 12453 33554432000 4194304 4196468 140731266270464 140084288301792 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9471] ppid=9448 vsize=26000872 memory=-1 CPUtime=0 cores=0-7 /proc/9451/task/9471/stat : 9471 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914786 26624892928 12453 33554432000 4194304 4196468 140731266270464 140084287249328 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26000872 KiB Current children cumulated memory: 49812 KiB [startup+0.700887 s] /proc/loadavg: 4.68 2.23 1.51 2/200 9471 /proc/meminfo: memFree=23624248/32770624 swapFree=67108860/67108860 [pid=9451] ppid=9448 vsize=26004968 memory=79384 CPUtime=1.09 cores=0-7 /proc/9451/stat : 9451 (java) S 9448 9451 8124 0 -1 1077944320 12942 0 0 0 103 6 0 0 20 0 20 0 178914780 26629087232 19846 33554432000 4194304 4196468 140731266270464 140731266253008 140085778398967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 /proc/9451/statm: 6501242 19846 3758 1 0 6488956 0 [pid=9451/tid=9453] ppid=9448 vsize=26004968 memory=0 CPUtime=0.67 cores=0-7 /proc/9451/task/9453/stat : 9453 (java) R 9448 9451 8124 0 -1 4202560 9551 0 0 0 64 3 0 0 20 0 20 0 178914781 26629087232 19846 33554432000 4194304 4196468 140731266270464 140085782635216 140085778420893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9454] ppid=9448 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9454/stat : 9454 (java) S 9448 9451 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178914781 26629087232 19846 33554432000 4194304 4196468 140731266270464 140085731019536 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9455] ppid=9448 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9455/stat : 9455 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26629087232 19846 33554432000 4194304 4196468 140731266270464 140085729966992 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9456] ppid=9448 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9456/stat : 9456 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26629087232 19846 33554432000 4194304 4196468 140731266270464 140085728914448 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9457] ppid=9448 vsize=26004968 memory=792 CPUtime=0 cores=0-7 /proc/9451/task/9457/stat : 9457 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26629087232 19846 33554432000 4194304 4196468 140731266270464 140085333195920 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9458] ppid=9448 vsize=26004968 memory=948 CPUtime=0 cores=0-7 /proc/9451/task/9458/stat : 9458 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26629087232 19846 33554432000 4194304 4196468 140731266270464 140085332142352 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9459] ppid=9448 vsize=26004968 memory=10768 CPUtime=0 cores=0-7 /proc/9451/task/9459/stat : 9459 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26629087232 19846 33554432000 4194304 4196468 140731266270464 140085331089808 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9460] ppid=9448 vsize=26004968 memory=1204 CPUtime=0 cores=0-7 /proc/9451/task/9460/stat : 9460 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178914781 26629087232 19846 33554432000 4194304 4196468 140731266270464 140085330037264 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9461] ppid=9448 vsize=26004968 memory=15828 CPUtime=0 cores=0-7 /proc/9451/task/9461/stat : 9461 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26629087232 19846 33554432000 4194304 4196468 140731266270464 140085328984720 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9462] ppid=9448 vsize=26004968 memory=15796 CPUtime=0 cores=0-7 /proc/9451/task/9462/stat : 9462 (java) S 9448 9451 8124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178914783 26629087232 19846 33554432000 4194304 4196468 140731266270464 140084296722928 140085778410114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 ################ # More data... # ################ [startup+1.18844 s] # the end of solver process 9451 was just reported to runsolver # cumulated CPU time of all completed processes: user=2.20552 s, system=0.13116 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.801021 s] /proc/loadavg: 4.68 2.23 1.51 2/200 9471 /proc/meminfo: memFree=23624248/32770624 swapFree=67108860/67108860 [pid=9451] ppid=9448 vsize=26007016 memory=85560 CPUtime=1.28 cores=0-7 /proc/9451/stat : 9451 (java) S 9448 9451 8124 0 -1 1077944320 13520 0 0 0 122 6 0 0 20 0 20 0 178914780 26631184384 21390 33554432000 4194304 4196468 140731266270464 140731266253008 140085778398967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 /proc/9451/statm: 6501754 21390 3759 1 0 6489468 0 [pid=9451/tid=9453] ppid=9448 vsize=26007016 memory=13160 CPUtime=0.77 cores=0-7 /proc/9451/task/9453/stat : 9453 (java) R 9448 9451 8124 0 -1 4202560 9974 0 0 0 74 3 0 0 20 0 20 0 178914781 26631184384 21390 33554432000 4194304 4196468 140731266270464 140085782631888 140085778410902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9454] ppid=9448 vsize=26007016 memory=792 CPUtime=0 cores=0-7 /proc/9451/task/9454/stat : 9454 (java) S 9448 9451 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178914781 26631184384 21390 33554432000 4194304 4196468 140731266270464 140085731019536 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9455] ppid=9448 vsize=26007016 memory=948 CPUtime=0 cores=0-7 /proc/9451/task/9455/stat : 9455 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26631184384 21390 33554432000 4194304 4196468 140731266270464 140085729966992 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9456] ppid=9448 vsize=26007016 memory=10768 CPUtime=0 cores=0-7 /proc/9451/task/9456/stat : 9456 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26631184384 21390 33554432000 4194304 4196468 140731266270464 140085728914448 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9457] ppid=9448 vsize=26007016 memory=1204 CPUtime=0 cores=0-7 /proc/9451/task/9457/stat : 9457 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26631184384 21390 33554432000 4194304 4196468 140731266270464 140085333195920 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9458] ppid=9448 vsize=26007016 memory=15828 CPUtime=0 cores=0-7 /proc/9451/task/9458/stat : 9458 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26631184384 21390 33554432000 4194304 4196468 140731266270464 140085332142352 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9459] ppid=9448 vsize=26007016 memory=15796 CPUtime=0 cores=0-7 /proc/9451/task/9459/stat : 9459 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26631184384 21390 33554432000 4194304 4196468 140731266270464 140085331089808 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9460] ppid=9448 vsize=26007016 memory=4048 CPUtime=0 cores=0-7 /proc/9451/task/9460/stat : 9460 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178914781 26631184384 21390 33554432000 4194304 4196468 140731266270464 140085330037264 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9461] ppid=9448 vsize=26007016 memory=279317158514128 CPUtime=0 cores=0-7 /proc/9451/task/9461/stat : 9461 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914781 26631184384 21390 33554432000 4194304 4196468 140731266270464 140085328984720 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9462] ppid=9448 vsize=26007016 memory=279317158301200 CPUtime=0 cores=0-7 /proc/9451/task/9462/stat : 9462 (java) S 9448 9451 8124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178914783 26631184384 21390 33554432000 4194304 4196468 140731266270464 140084296722928 140085778410114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9463] ppid=9448 vsize=26007016 memory=279317158301072 CPUtime=0 cores=0-7 /proc/9451/task/9463/stat : 9463 (java) S 9448 9451 8124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178914783 26631184384 21390 33554432000 4194304 4196468 140731266270464 140084295669152 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9464] ppid=9448 vsize=26007016 memory=164 CPUtime=0 cores=0-7 /proc/9451/task/9464/stat : 9464 (java) S 9448 9451 8124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178914784 26631184384 21390 33554432000 4194304 4196468 140731266270464 140084294616560 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9465] ppid=9448 vsize=26007016 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9465/stat : 9465 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914786 26631184384 21390 33554432000 4194304 4196468 140731266270464 140084293565136 140085778417563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9466] ppid=9448 vsize=26007016 memory=0 CPUtime=0.05 cores=0-7 /proc/9451/task/9466/stat : 9466 (java) S 9448 9451 8124 0 -1 1077944384 428 0 0 0 5 0 0 0 20 0 20 0 178914786 26631184384 21390 33554432000 4194304 4196468 140731266270464 140084292511728 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9467] ppid=9448 vsize=26007016 memory=0 CPUtime=0.07 cores=0-7 /proc/9451/task/9467/stat : 9467 (java) S 9448 9451 8124 0 -1 1077944384 525 0 0 0 7 0 0 0 20 0 20 0 178914786 26631184384 21390 33554432000 4194304 4196468 140731266270464 140084291459184 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9468] ppid=9448 vsize=26007016 memory=0 CPUtime=0.12 cores=0-7 /proc/9451/task/9468/stat : 9468 (java) R 9448 9451 8124 0 -1 4202560 358 0 0 0 12 0 0 0 20 0 20 0 178914786 26631184384 21390 33554432000 4194304 4196468 140731266270464 140084290406640 140085771384009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9469] ppid=9448 vsize=26007016 memory=0 CPUtime=0.23 cores=0-7 /proc/9451/task/9469/stat : 9469 (java) R 9448 9451 8124 0 -1 4202560 851 0 0 0 23 0 0 0 20 0 20 0 178914786 26631184384 21390 33554432000 4194304 4196468 140731266270464 140084289354392 140085757353536 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9470] ppid=9448 vsize=26007016 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9470/stat : 9470 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178914786 26631184384 21390 33554432000 4194304 4196468 140731266270464 140084288301792 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9471] ppid=9448 vsize=26007016 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9471/stat : 9471 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178914786 26631184384 21390 33554432000 4194304 4196468 140731266270464 140084287249328 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 Current children cumulated CPU time: 1.28 s Current children cumulated vsize: 26007016 KiB Current children cumulated memory: 85560 KiB [startup+1.00082 s]* /proc/loadavg: 4.68 2.23 1.51 2/202 9473 /proc/meminfo: memFree=23577036/32770624 swapFree=67108860/67108860 [pid=9451] ppid=9448 vsize=26142192 memory=112164 CPUtime=1.71 cores=0-7 /proc/9451/stat : 9451 (java) S 9448 9451 8124 0 -1 1077944320 16179 0 0 0 163 8 0 0 20 0 22 0 178914780 26769604608 28041 33554432000 4194304 4196468 140731266270464 140731266253008 140085778398967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 /proc/9451/statm: 6535548 28041 3791 1 0 6523262 0 [pid=9451/tid=9453] ppid=9448 vsize=26142192 memory=0 CPUtime=0.97 cores=0-7 /proc/9451/task/9453/stat : 9453 (java) R 9448 9451 8124 0 -1 4202560 11454 0 0 0 93 4 0 0 20 0 22 0 178914781 26769604608 28041 33554432000 4194304 4196468 140731266270464 140085782634224 140085762479454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9454] ppid=9448 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9454/stat : 9454 (java) S 9448 9451 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 178914781 26769604608 28041 33554432000 4194304 4196468 140731266270464 140085731019536 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9455] ppid=9448 vsize=26142192 memory=139658731468416 CPUtime=0 cores=0-7 /proc/9451/task/9455/stat : 9455 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178914781 26769604608 28041 33554432000 4194304 4196468 140731266270464 140085729966992 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9456] ppid=9448 vsize=26142192 memory=139658579183247 CPUtime=0 cores=0-7 /proc/9451/task/9456/stat : 9456 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178914781 26769604608 28041 33554432000 4194304 4196468 140731266270464 140085728914448 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9457] ppid=9448 vsize=26142192 memory=241925651 CPUtime=0 cores=0-7 /proc/9451/task/9457/stat : 9457 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178914781 26769604608 28041 33554432000 4194304 4196468 140731266270464 140085333195920 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9458] ppid=9448 vsize=26142192 memory=7588673473498735959 CPUtime=0 cores=0-7 /proc/9451/task/9458/stat : 9458 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178914781 26769604608 28041 33554432000 4194304 4196468 140731266270464 140085332142352 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9459] ppid=9448 vsize=26142192 memory=3473455227061022775 CPUtime=0 cores=0-7 /proc/9451/task/9459/stat : 9459 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178914781 26769604608 28041 33554432000 4194304 4196468 140731266270464 140085331089808 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9460] ppid=9448 vsize=26142192 memory=7444843076533644388 CPUtime=0 cores=0-7 /proc/9451/task/9460/stat : 9460 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 178914781 26769604608 28041 33554432000 4194304 4196468 140731266270464 140085330037264 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9461] ppid=9448 vsize=26142192 memory=8316850467074736180 CPUtime=0 cores=0-7 /proc/9451/task/9461/stat : 9461 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178914781 26769604608 28041 33554432000 4194304 4196468 140731266270464 140085328984720 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9462] ppid=9448 vsize=26142192 memory=9423 CPUtime=0 cores=0-7 /proc/9451/task/9462/stat : 9462 (java) S 9448 9451 8124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 22 0 178914783 26769604608 28041 33554432000 4194304 4196468 140731266270464 140084296722928 140085778410114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9463] ppid=9448 vsize=26142192 memory=863342 CPUtime=0 cores=0-7 /proc/9451/task/9463/stat : 9463 (java) S 9448 9451 8124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 22 0 178914783 26769604608 28041 33554432000 4194304 4196468 140731266270464 140084295669152 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9464] ppid=9448 vsize=26142192 memory=4137293581110450563 CPUtime=0 cores=0-7 /proc/9451/task/9464/stat : 9464 (java) S 9448 9451 8124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 22 0 178914784 26769604608 28041 33554432000 4194304 4196468 140731266270464 140084294616560 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9465] ppid=9448 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9465/stat : 9465 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178914786 26769604608 28041 33554432000 4194304 4196468 140731266270464 140084293565136 140085778417563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9466] ppid=9448 vsize=26142192 memory=0 CPUtime=0.12 cores=0-7 /proc/9451/task/9466/stat : 9466 (java) S 9448 9451 8124 0 -1 1077944384 1006 0 0 0 12 0 0 0 20 0 22 0 178914786 26769604608 28041 33554432000 4194304 4196468 140731266270464 140084292511728 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9467] ppid=9448 vsize=26142192 memory=0 CPUtime=0.1 cores=0-7 /proc/9451/task/9467/stat : 9467 (java) S 9448 9451 8124 0 -1 1077944384 669 0 0 0 10 0 0 0 20 0 22 0 178914786 26769604608 28041 33554432000 4194304 4196468 140731266270464 140084291459184 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9468] ppid=9448 vsize=26142192 memory=0 CPUtime=0.16 cores=0-7 /proc/9451/task/9468/stat : 9468 (java) S 9448 9451 8124 0 -1 1077944384 408 0 0 0 15 1 0 0 20 0 22 0 178914786 26769604608 28041 33554432000 4194304 4196468 140731266270464 140084290406640 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9469] ppid=9448 vsize=26142192 memory=0 CPUtime=0.32 cores=0-7 /proc/9451/task/9469/stat : 9469 (java) S 9448 9451 8124 0 -1 1077944384 1218 0 0 0 32 0 0 0 20 0 22 0 178914786 26769604608 28041 33554432000 4194304 4196468 140731266270464 140084289354096 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9470] ppid=9448 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9470/stat : 9470 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 178914786 26769604608 28041 33554432000 4194304 4196468 140731266270464 140084288301792 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9471] ppid=9448 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9471/stat : 9471 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 178914786 26769604608 28041 33554432000 4194304 4196468 140731266270464 140084287249328 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9472] ppid=9448 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9472/stat : 9472 (java) S 9448 9451 8124 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 22 0 178914864 26769604608 28041 33554432000 4194304 4196468 140731266270464 140084276958464 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9473] ppid=9448 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9473/stat : 9473 (java) S 9448 9451 8124 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 22 0 178914876 26769604608 28041 33554432000 4194304 4196468 140731266270464 140084273808848 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 Current children cumulated CPU time: 1.71 s Current children cumulated vsize: 26142192 KiB Current children cumulated memory: 112164 KiB [startup+1.11981 s] /proc/loadavg: 4.68 2.23 1.51 2/202 9473 /proc/meminfo: memFree=23577036/32770624 swapFree=67108860/67108860 [pid=9451] ppid=9448 vsize=27009572 memory=150088 CPUtime=2.03 cores=0-7 /proc/9451/stat : 9451 (java) S 9448 9451 8124 0 -1 1077944320 20584 0 0 0 193 10 0 0 20 0 35 0 178914780 27657801728 37522 33554432000 4194304 4196468 140731266270464 140731266253008 140085778398967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 /proc/9451/statm: 6752393 37522 3794 1 0 6740107 0 [pid=9451/tid=9453] ppid=9448 vsize=27009572 memory=0 CPUtime=1.06 cores=0-7 /proc/9451/task/9453/stat : 9453 (java) S 9448 9451 8124 0 -1 1077944384 13391 0 0 0 101 5 0 0 20 0 35 0 178914781 27657801728 37522 33554432000 4194304 4196468 140731266270464 140085782636352 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9454] ppid=9448 vsize=27009572 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9454/stat : 9454 (java) S 9448 9451 8124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 35 0 178914781 27657801728 37522 33554432000 4194304 4196468 140731266270464 140085731019536 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9455] ppid=9448 vsize=27009572 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9455/stat : 9455 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 178914781 27657801728 37522 33554432000 4194304 4196468 140731266270464 140085729966992 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9456] ppid=9448 vsize=27009572 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9456/stat : 9456 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 178914781 27657801728 37522 33554432000 4194304 4196468 140731266270464 140085728914448 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9457] ppid=9448 vsize=27009572 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9457/stat : 9457 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 178914781 27657801728 37522 33554432000 4194304 4196468 140731266270464 140085333195920 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9458] ppid=9448 vsize=27009572 memory=79384 CPUtime=0 cores=0-7 /proc/9451/task/9458/stat : 9458 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 178914781 27657801728 37522 33554432000 4194304 4196468 140731266270464 140085332142352 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9459] ppid=9448 vsize=27009572 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9459/stat : 9459 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 178914781 27657801728 37522 33554432000 4194304 4196468 140731266270464 140085331089808 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9460] ppid=9448 vsize=27009572 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9460/stat : 9460 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 35 0 178914781 27657801728 37522 33554432000 4194304 4196468 140731266270464 140085330037264 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9461] ppid=9448 vsize=27009572 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9461/stat : 9461 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 178914781 27657801728 37522 33554432000 4194304 4196468 140731266270464 140085328984720 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9462] ppid=9448 vsize=27009572 memory=0 CPUtime=0 cores=0-7 /proc/9451/task/9462/stat : 9462 (java) S 9448 9451 8124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 35 0 178914783 27657801728 37522 33554432000 4194304 4196468 140731266270464 140084296722928 140085778410114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9463] ppid=9448 vsize=27009572 memory=792 CPUtime=0 cores=0-7 /proc/9451/task/9463/stat : 9463 (java) S 9448 9451 8124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 35 0 178914783 27657801728 37522 33554432000 4194304 4196468 140731266270464 140084295669152 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9464] ppid=9448 vsize=27009572 memory=948 CPUtime=0 cores=0-7 /proc/9451/task/9464/stat : 9464 (java) S 9448 9451 8124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 35 0 178914784 27657801728 37522 33554432000 4194304 4196468 140731266270464 140084294616560 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9465] ppid=9448 vsize=27009572 memory=10768 CPUtime=0 cores=0-7 /proc/9451/task/9465/stat : 9465 (java) S 9448 9451 8124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 178914786 27657801728 37522 33554432000 4194304 4196468 140731266270464 140084293565136 140085778417563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9466] ppid=9448 vsize=27009572 memory=1204 CPUtime=0.14 cores=0-7 /proc/9451/task/9466/stat : 9466 (java) R 9448 9451 8124 0 -1 4202560 1412 0 0 0 14 0 0 0 20 0 35 0 178914786 27657801728 37522 33554432000 4194304 4196468 140731266270464 140084292493744 140085770688349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9467] ppid=9448 vsize=27009572 memory=15828 CPUtime=0.1 cores=0-7 /proc/9451/task/9467/stat : 9467 (java) R 9448 9451 8124 0 -1 1077944384 829 0 0 0 10 0 0 0 20 0 35 0 178914786 27657801728 37522 33554432000 4194304 4196468 140731266270464 140084291440368 140085778420157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9468] ppid=9448 vsize=27009572 memory=15796 CPUtime=0.16 cores=0-7 /proc/9451/task/9468/stat : 9468 (java) S 9448 9451 8124 0 -1 1077944384 417 0 0 0 15 1 0 0 20 0 35 0 178914786 27657801728 37522 33554432000 4194304 4196468 140731266270464 140084290406640 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9469] ppid=9448 vsize=27009572 memory=4048 CPUtime=0.34 cores=0-7 /proc/9451/task/9469/stat : 9469 (java) S 9448 9451 8124 0 -1 1077944384 1486 0 0 0 34 0 0 0 20 0 35 0 178914786 27657801728 37522 33554432000 4194304 4196468 140731266270464 140084289351888 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9470] ppid=9448 vsize=27009572 memory=27032 CPUtime=0 cores=0-7 /proc/9451/task/9470/stat : 9470 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 35 0 178914786 27657801728 37522 33554432000 4194304 4196468 140731266270464 140084288301792 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9471] ppid=9448 vsize=27009572 memory=1232 CPUtime=0 cores=0-7 /proc/9451/task/9471/stat : 9471 (java) S 9448 9451 8124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 35 0 178914786 27657801728 37522 33554432000 4194304 4196468 140731266270464 140084287249328 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9472] ppid=9448 vsize=27009572 memory=1792 CPUtime=0 cores=0-7 /proc/9451/task/9472/stat : 9472 (java) S 9448 9451 8124 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 35 0 178914864 27657801728 37522 33554432000 4194304 4196468 140731266270464 140084276958464 140085778409173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 [pid=9451/tid=9473] ppid=9448 vsize=27009572 memory=55 CPUtime=0 cores=0-7 /proc/9451/task/9473/stat : 9473 (java) S 9448 9451 8124 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 35 0 178914876 27657801728 37522 33554432000 4194304 4196468 140731266270464 140084273808848 140085778410114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22155264 140731266278497 140731266278683 140731266278683 140731266281423 0 Current children cumulated CPU time: 2.03 s Current children cumulated vsize: 27009572 KiB Current children cumulated memory: 150088 KiB Child status: 0 Real time (s): 1.18851 CPU time (s): 2.33668 CPU user time (s): 2.20552 CPU system time (s): 0.13116 CPU usage (%): 196.605 Max. virtual memory (cumulated for all children) (KiB): 27009572 Max. memory (cumulated for all children) (KiB): 150088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.20552 system time used= 0.13116 maximum resident set size= 160412 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22766 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4057 involuntary context switches= 20 # summary of solver processes directly reported to runsolver: # pid: 9451 # total CPU time (s): 2.33668 # total CPU user time (s): 2.20552 # total CPU system time (s): 0.13116 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.031186 second user time and 0.056136 second system time The end
Begin job on node114 at 2017-08-23 05:03:31 IDJOB=4285116 IDBENCH=139158 IDSOLVER=2681 FILE ID=node114/4285116-1503458272 RUNJOBID= node114-1503449773-8151 PBS_JOBID= 20632162 Free space on /tmp= 61024 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/CryptoPuzzle/CryptoPuzzle-m1-s1/CryptoPuzzle-monitor-network-internet.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285116-1503458272/watcher-4285116-1503458272 -o /tmp/evaluation-result-4285116-1503458272/solver-4285116-1503458272 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503449773-8151 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1540264727 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285116-1503458272.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7789861daa479cb7b9dc45adeb072038 RANDOM SEED=1540264727 node114.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 : 5332.98 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 : 5332.98 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 : 5332.98 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 : 5332.98 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: 23672212 kB MemAvailable: 31941332 kB Buffers: 181360 kB Cached: 8368896 kB SwapCached: 0 kB Active: 2661452 kB Inactive: 5944724 kB Active(anon): 6704 kB Inactive(anon): 93520 kB Active(file): 2654748 kB Inactive(file): 5851204 kB Unevictable: 7248 kB Mlocked: 7248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42560 kB Writeback: 0 kB AnonPages: 60824 kB Mapped: 54404 kB Shmem: 41608 kB Slab: 185048 kB SReclaimable: 158004 kB SUnreclaim: 27044 kB KernelStack: 3440 kB PageTables: 4812 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 342428 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 60984 MiB End job on node114 at 2017-08-23 05:03:32