Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | SAT | 14.5622 | 3.21334 |
Name | CostasArray/CostasArray-m1-s1/ CostasArray-10.xml |
MD5SUM | 0d07bfd3509f6ebe608866e376050751 |
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.035085 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 52 |
Number of constraints | 51 |
Number of domains | 2 |
Minimum domain size | 10 |
Maximum domain size | 18 |
Distribution of domain sizes | [{"size":10,"count":10},{"size":18,"count":42}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":42},{"degree":9,"count":2},{"degree":10,"count":8}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":3,"count":43},{"arity":4,"count":2},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 43 |
Distribution of constraint types | [{"type":"intension","count":43},{"type":"allDifferent","count":8}] |
Optimization problem | NO |
Type of objective |
0.29/0.25 c version: 2017-07-26 0.29/0.25 c seed: 144430652 0.29/0.25 c timeout: 20160 0.29/0.25 c memlimit: 11000 0.29/0.25 c nbcore: 8 0.29/0.28 c Parsing instance... 0.83/0.58 c Parsing done, starting search... 14.26/3.09 s SATISFIABLE 14.54/3.20 v <instantiation> 14.54/3.20 v <list> 14.54/3.20 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] 14.54/3.20 v </list> 14.54/3.20 v <values> 14.54/3.20 v 10 9 3 6 1 7 5 2 4 8 1 6 -3 5 -6 2 3 -2 -4 7 3 2 -1 -4 5 1 -6 4 8 -4 1 -1 3 -3 9 2 -2 4 -3 -1 3 4 1 2 -7 5 7 -1 -2 8 5 -5 14.54/3.20 v </values> 14.54/3.20 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 (13942 MiB free) memory of node 1: 16384 MiB (14148 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275297-1502676700/watcher-4275297-1502676700 -o /tmp/evaluation-result-4275297-1502676700/solver-4275297-1502676700 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502670796-27986 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 144430652 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275297-1502676700.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=28507, runsolver pid=28504 Current StackSize limit: 8192 KiB [startup+0.10015 s]* /proc/loadavg: 8.37 8.27 8.30 2/198 28527 /proc/meminfo: memFree=28746172/32770624 swapFree=67108860/67108860 [pid=28507] ppid=28504 vsize=14325320 memory=33980 CPUtime=0.12 cores=0-7 /proc/28507/stat : 28507 (java) S 28504 28507 27959 0 -1 1077944320 8377 0 0 0 10 2 0 0 20 0 20 0 100751101 14669127680 8495 33554432000 4194304 4196468 140731723294672 140731723277216 140449819410167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 /proc/28507/statm: 3581330 8495 3406 1 0 3569050 0 [pid=28507/tid=28509] ppid=28504 vsize=14325320 memory=8042473942204457111 CPUtime=0.09 cores=0-7 /proc/28507/task/28509/stat : 28509 (java) R 28504 28507 27959 0 -1 4202560 6329 0 0 0 8 1 0 0 20 0 20 0 100751102 14669127680 8495 33554432000 4194304 4196468 140731723294672 140449823626864 140449803490654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28510] ppid=28504 vsize=14325320 memory=732370502359157733 CPUtime=0 cores=0-7 /proc/28507/task/28510/stat : 28510 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 8495 33554432000 4194304 4196468 140731723294672 140449734478608 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28511] ppid=28504 vsize=14325320 memory=140364021704320 CPUtime=0 cores=0-7 /proc/28507/task/28511/stat : 28511 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 8495 33554432000 4194304 4196468 140731723294672 140449733426064 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28512] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28512/stat : 28512 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 8495 33554432000 4194304 4196468 140731723294672 140449732373520 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28513] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28513/stat : 28513 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 8495 33554432000 4194304 4196468 140731723294672 140449731320976 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28514] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28514/stat : 28514 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 8495 33554432000 4194304 4196468 140731723294672 140449730267408 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28515] ppid=28504 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/28507/task/28515/stat : 28515 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 8495 33554432000 4194304 4196468 140731723294672 140449729214864 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28516] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28516/stat : 28516 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 8495 33554432000 4194304 4196468 140731723294672 140449728162320 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28517] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28517/stat : 28517 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 8495 33554432000 4194304 4196468 140731723294672 140449727109776 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28518] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28518/stat : 28518 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751104 14669127680 8495 33554432000 4194304 4196468 140731723294672 140448917076464 140449819421314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28519] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28519/stat : 28519 (java) S 28504 28507 27959 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100751104 14669127680 8495 33554432000 4194304 4196468 140731723294672 140448916022688 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28520] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28520/stat : 28520 (java) S 28504 28507 27959 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100751105 14669127680 8495 33554432000 4194304 4196468 140731723294672 140448914970096 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28521] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28521/stat : 28521 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751107 14669127680 8495 33554432000 4194304 4196468 140731723294672 140448913918672 140449819428763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28522] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28522/stat : 28522 (java) S 28504 28507 27959 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 100751107 14669127680 8495 33554432000 4194304 4196468 140731723294672 140448912865264 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28523] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28523/stat : 28523 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751107 14669127680 8495 33554432000 4194304 4196468 140731723294672 140448911812720 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28524] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28524/stat : 28524 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100751107 14669127680 8495 33554432000 4194304 4196468 140731723294672 140448910760176 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28525] ppid=28504 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7 /proc/28507/task/28525/stat : 28525 (java) R 28504 28507 27959 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 100751107 14669127680 8495 33554432000 4194304 4196468 140731723294672 140448909707632 140449811647294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28526] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28526/stat : 28526 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100751107 14669127680 8495 33554432000 4194304 4196468 140731723294672 140448908655328 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28527] ppid=28504 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/28507/task/28527/stat : 28527 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751107 14669127680 8495 33554432000 4194304 4196468 140731723294672 140448907602864 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 33980 KiB [startup+0.210393 s]* /proc/loadavg: 8.37 8.27 8.30 3/198 28527 /proc/meminfo: memFree=28736596/32770624 swapFree=67108860/67108860 [pid=28507] ppid=28504 vsize=14325320 memory=43132 CPUtime=0.29 cores=0-7 /proc/28507/stat : 28507 (java) S 28504 28507 27959 0 -1 1077944320 9386 0 0 0 27 2 0 0 20 0 20 0 100751101 14669127680 10783 33554432000 4194304 4196468 140731723294672 140731723277216 140449819410167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 /proc/28507/statm: 3581330 10783 3631 1 0 3569050 0 [pid=28507/tid=28509] ppid=28504 vsize=14325320 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/28507/task/28509/stat : 28509 (java) R 28504 28507 27959 0 -1 4202560 6974 0 0 0 18 2 0 0 20 0 20 0 100751102 14669127680 10783 33554432000 4194304 4196468 140731723294672 140449823635248 140449803490654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28510] ppid=28504 vsize=14325320 memory=288230604674433361 CPUtime=0 cores=0-7 /proc/28507/task/28510/stat : 28510 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 10783 33554432000 4194304 4196468 140731723294672 140449734478608 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28511] ppid=28504 vsize=14325320 memory=140364022166666 CPUtime=0 cores=0-7 /proc/28507/task/28511/stat : 28511 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 10783 33554432000 4194304 4196468 140731723294672 140449733426064 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28512] ppid=28504 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/28507/task/28512/stat : 28512 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 10783 33554432000 4194304 4196468 140731723294672 140449732373520 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28513] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28513/stat : 28513 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 10783 33554432000 4194304 4196468 140731723294672 140449731320976 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28514] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28514/stat : 28514 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 10783 33554432000 4194304 4196468 140731723294672 140449730267408 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28515] ppid=28504 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/28507/task/28515/stat : 28515 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 10783 33554432000 4194304 4196468 140731723294672 140449729214864 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28516] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28516/stat : 28516 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 10783 33554432000 4194304 4196468 140731723294672 140449728162320 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28517] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28517/stat : 28517 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100751102 14669127680 10783 33554432000 4194304 4196468 140731723294672 140449727109776 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28518] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28518/stat : 28518 (java) S 28504 28507 27959 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100751104 14669127680 10783 33554432000 4194304 4196468 140731723294672 140448917076464 140449819421314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28519] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28519/stat : 28519 (java) S 28504 28507 27959 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100751104 14669127680 10783 33554432000 4194304 4196468 140731723294672 140448916022688 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28520] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28520/stat : 28520 (java) S 28504 28507 27959 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100751105 14669127680 10783 33554432000 4194304 4196468 140731723294672 140448914970096 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28521] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28521/stat : 28521 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751107 14669127680 10783 33554432000 4194304 4196468 140731723294672 140448913918672 140449819428763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28522] ppid=28504 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/28507/task/28522/stat : 28522 (java) S 28504 28507 27959 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 20 0 100751107 14669127680 10783 33554432000 4194304 4196468 140731723294672 140448912865264 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28523] ppid=28504 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/28507/task/28523/stat : 28523 (java) S 28504 28507 27959 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 20 0 100751107 14669127680 10783 33554432000 4194304 4196468 140731723294672 140448911812720 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28524] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28524/stat : 28524 (java) S 28504 28507 27959 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 100751107 14669127680 10783 33554432000 4194304 4196468 140731723294672 140448910760176 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28525] ppid=28504 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7 /proc/28507/task/28525/stat : 28525 (java) S 28504 28507 27959 0 -1 1077944384 370 0 0 0 5 0 0 0 20 0 20 0 100751107 14669127680 10783 33554432000 4194304 4196468 140731723294672 140448909707632 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28526] ppid=28504 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28526/stat : 28526 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100751107 14669127680 10783 33554432000 4194304 4196468 140731723294672 140448908655328 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28527] ppid=28504 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/28507/task/28527/stat : 28527 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751107 14669127680 10783 33554432000 4194304 4196468 140731723294672 140448907602864 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 43132 KiB [startup+0.310177 s]* /proc/loadavg: 8.37 8.27 8.30 2/198 28527 /proc/meminfo: memFree=28729136/32770624 swapFree=67108860/67108860 [pid=28507] ppid=28504 vsize=14325340 memory=50552 CPUtime=0.48 cores=0-7 /proc/28507/stat : 28507 (java) S 28504 28507 27959 0 -1 1077944320 10467 0 0 0 45 3 0 0 20 0 20 0 100751101 14669148160 12638 33554432000 4194304 4196468 140731723294672 140731723277216 140449819410167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 /proc/28507/statm: 3581335 12638 3699 1 0 3569050 0 [pid=28507/tid=28509] ppid=28504 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/28507/task/28509/stat : 28509 (java) R 28504 28507 27959 0 -1 4202560 7617 0 0 0 27 2 0 0 20 0 20 0 100751102 14669148160 12638 33554432000 4194304 4196468 140731723294672 140449823638368 140449819422102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28510] ppid=28504 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28510/stat : 28510 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669148160 12638 33554432000 4194304 4196468 140731723294672 140449734478608 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28511] ppid=28504 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28511/stat : 28511 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669148160 12638 33554432000 4194304 4196468 140731723294672 140449733426064 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28512] ppid=28504 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28512/stat : 28512 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669148160 12638 33554432000 4194304 4196468 140731723294672 140449732373520 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28513] ppid=28504 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28513/stat : 28513 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751102 14669148160 12638 33554432000 4194304 4196468 140731723294672 140449731320976 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28514] ppid=28504 vsize=14325340 memory=2244 CPUtime=0 cores=0-7 /proc/28507/task/28514/stat : 28514 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751102 14669148160 12638 33554432000 4194304 4196468 140731723294672 140449730267408 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28515] ppid=28504 vsize=14325340 memory=140363893404591 CPUtime=0 cores=0-7 /proc/28507/task/28515/stat : 28515 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669148160 12638 33554432000 4194304 4196468 140731723294672 140449729214864 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28516] ppid=28504 vsize=14325340 memory=140363893406896 CPUtime=0 cores=0-7 /proc/28507/task/28516/stat : 28516 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14669148160 12638 33554432000 4194304 4196468 140731723294672 140449728162320 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28517] ppid=28504 vsize=14325340 memory=140363893409200 CPUtime=0 cores=0-7 /proc/28507/task/28517/stat : 28517 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100751102 14669148160 12638 33554432000 4194304 4196468 140731723294672 140449727109776 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28518] ppid=28504 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28518/stat : 28518 (java) S 28504 28507 27959 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100751104 14669148160 12638 33554432000 4194304 4196468 140731723294672 140448917076464 140449819421314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28519] ppid=28504 vsize=14325340 memory=280727786825360 CPUtime=0 cores=0-7 /proc/28507/task/28519/stat : 28519 (java) S 28504 28507 27959 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100751104 14669148160 12638 33554432000 4194304 4196468 140731723294672 140448916022688 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28520] ppid=28504 vsize=14325340 memory=280727786832272 CPUtime=0 cores=0-7 /proc/28507/task/28520/stat : 28520 (java) S 28504 28507 27959 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100751105 14669148160 12638 33554432000 4194304 4196468 140731723294672 140448914970096 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28521] ppid=28504 vsize=14325340 memory=280727786773552 CPUtime=0 cores=0-7 /proc/28507/task/28521/stat : 28521 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751107 14669148160 12638 33554432000 4194304 4196468 140731723294672 140448913918672 140449819428763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28522] ppid=28504 vsize=14325340 memory=280727786846096 CPUtime=0.04 cores=0-7 /proc/28507/task/28522/stat : 28522 (java) S 28504 28507 27959 0 -1 1077944384 656 0 0 0 4 0 0 0 20 0 20 0 100751107 14669148160 12638 33554432000 4194304 4196468 140731723294672 140448912865264 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28523] ppid=28504 vsize=14325340 memory=280727786853008 CPUtime=0.03 cores=0-7 /proc/28507/task/28523/stat : 28523 (java) S 28504 28507 27959 0 -1 1077944384 309 0 0 0 3 0 0 0 20 0 20 0 100751107 14669148160 12638 33554432000 4194304 4196468 140731723294672 140448911812720 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28524] ppid=28504 vsize=14325340 memory=280727786850704 CPUtime=0.01 cores=0-7 /proc/28507/task/28524/stat : 28524 (java) S 28504 28507 27959 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 100751107 14669148160 12638 33554432000 4194304 4196468 140731723294672 140448910760176 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28525] ppid=28504 vsize=14325340 memory=280727786867264 CPUtime=0.08 cores=0-7 /proc/28507/task/28525/stat : 28525 (java) R 28504 28507 27959 0 -1 4202560 454 0 0 0 8 0 0 0 20 0 20 0 100751107 14669148160 12638 33554432000 4194304 4196468 140731723294672 140448909707632 140449819422102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28526] ppid=28504 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28526/stat : 28526 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100751107 14669148160 12638 33554432000 4194304 4196468 140731723294672 140448908655328 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28527] ppid=28504 vsize=14325340 memory=-1 CPUtime=0 cores=0-7 /proc/28507/task/28527/stat : 28527 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751107 14669148160 12638 33554432000 4194304 4196468 140731723294672 140448907602864 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 14325340 KiB Current children cumulated memory: 50552 KiB [startup+0.700933 s] /proc/loadavg: 7.78 8.15 8.26 2/198 28527 /proc/meminfo: memFree=28715364/32770624 swapFree=67108860/67108860 [pid=28507] ppid=28504 vsize=14329436 memory=79324 CPUtime=1.12 cores=0-7 /proc/28507/stat : 28507 (java) S 28504 28507 27959 0 -1 1077944320 12888 0 0 0 107 5 0 0 20 0 20 0 100751101 14673342464 19831 33554432000 4194304 4196468 140731723294672 140731723277216 140449819410167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 /proc/28507/statm: 3582359 19831 3762 1 0 3570074 0 [pid=28507/tid=28509] ppid=28504 vsize=14329436 memory=6081619129320952425 CPUtime=0.67 cores=0-7 /proc/28507/task/28509/stat : 28509 (java) R 28504 28507 27959 0 -1 4202560 9345 0 0 0 64 3 0 0 20 0 20 0 100751102 14673342464 19831 33554432000 4194304 4196468 140731723294672 140449823632000 140449812516519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28510] ppid=28504 vsize=14329436 memory=122518237142748 CPUtime=0 cores=0-7 /proc/28507/task/28510/stat : 28510 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14673342464 19831 33554432000 4194304 4196468 140731723294672 140449734478608 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28511] ppid=28504 vsize=14329436 memory=140363893435284 CPUtime=0 cores=0-7 /proc/28507/task/28511/stat : 28511 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14673342464 19831 33554432000 4194304 4196468 140731723294672 140449733426064 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28512] ppid=28504 vsize=14329436 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28512/stat : 28512 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14673342464 19831 33554432000 4194304 4196468 140731723294672 140449732373520 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28513] ppid=28504 vsize=14329436 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28513/stat : 28513 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751102 14673342464 19831 33554432000 4194304 4196468 140731723294672 140449731320976 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28514] ppid=28504 vsize=14329436 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28514/stat : 28514 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751102 14673342464 19831 33554432000 4194304 4196468 140731723294672 140449730267408 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28515] ppid=28504 vsize=14329436 memory=2353 CPUtime=0 cores=0-7 /proc/28507/task/28515/stat : 28515 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14673342464 19831 33554432000 4194304 4196468 140731723294672 140449729214864 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28516] ppid=28504 vsize=14329436 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28516/stat : 28516 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100751102 14673342464 19831 33554432000 4194304 4196468 140731723294672 140449728162320 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28517] ppid=28504 vsize=14329436 memory=1728 CPUtime=0 cores=0-7 /proc/28507/task/28517/stat : 28517 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100751102 14673342464 19831 33554432000 4194304 4196468 140731723294672 140449727109776 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28518] ppid=28504 vsize=14329436 memory=12064 CPUtime=0 cores=0-7 /proc/28507/task/28518/stat : 28518 (java) S 28504 28507 27959 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100751104 14673342464 19831 33554432000 4194304 4196468 140731723294672 140448917076464 140449819421314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 ################ # More data... # ################ [pid=28507/tid=28522] ppid=28504 vsize=14329436 memory=5796 CPUtime=0.06 cores=0-7 /proc/28507/task/28522/stat : 28522 (java) S 28504 28507 27959 0 -1 1077944384 669 0 0 0 6 0 0 0 20 0 20 0 100751107 14673342464 19831 33554432000 4194304 4196468 140731723294672 140448912865264 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28523] ppid=28504 vsize=14329436 memory=4616 CPUtime=0.1 cores=0-7 /proc/28507/task/28523/stat : 28523 (java) S 28504 28507 27959 0 -1 1077944384 454 0 0 0 10 0 0 0 20 0 20 0 100751107 14673342464 19831 33554432000 4194304 4196468 140731723294672 140448911812720 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28524] ppid=28504 vsize=14329436 memory=8584 CPUtime=0.04 cores=0-7 /proc/28507/task/28524/stat : 28524 (java) S 28504 28507 27959 0 -1 1077944384 229 0 0 0 4 0 0 0 20 0 20 0 100751107 14673342464 19831 33554432000 4194304 4196468 140731723294672 140448910760176 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28525] ppid=28504 vsize=14329436 memory=792 CPUtime=0.21 cores=0-7 /proc/28507/task/28525/stat : 28525 (java) S 28504 28507 27959 0 -1 1077944384 804 0 0 0 21 0 0 0 20 0 20 0 100751107 14673342464 19831 33554432000 4194304 4196468 140731723294672 140448909707632 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28526] ppid=28504 vsize=14329436 memory=1204 CPUtime=0 cores=0-7 /proc/28507/task/28526/stat : 28526 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100751107 14673342464 19831 33554432000 4194304 4196468 140731723294672 140448908655328 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28527] ppid=28504 vsize=14329436 memory=1716 CPUtime=0 cores=0-7 /proc/28507/task/28527/stat : 28527 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100751107 14673342464 19831 33554432000 4194304 4196468 140731723294672 140448907602864 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 Current children cumulated CPU time: 1.12 s Current children cumulated vsize: 14329436 KiB Current children cumulated memory: 79324 KiB [startup+1.50095 s] /proc/loadavg: 7.78 8.15 8.26 5/198 28527 /proc/meminfo: memFree=28647168/32770624 swapFree=67108860/67108860 [pid=28507] ppid=28504 vsize=14398048 memory=198372 CPUtime=4 cores=0-7 /proc/28507/stat : 28507 (java) S 28504 28507 27959 0 -1 1077944320 31636 0 0 0 389 11 0 0 20 0 21 0 100751101 14743601152 49593 33554432000 4194304 4196468 140731723294672 140731723277216 140449819410167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 /proc/28507/statm: 3599512 49593 3799 1 0 3587227 0 [pid=28507/tid=28509] ppid=28504 vsize=14398048 memory=164700 CPUtime=1.47 cores=0-7 /proc/28507/task/28509/stat : 28509 (java) R 28504 28507 27959 0 -1 4202560 12102 0 0 0 142 5 0 0 20 0 21 0 100751102 14743601152 49593 33554432000 4194304 4196468 140731723294672 140449823637536 140449803490654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28510] ppid=28504 vsize=14398048 memory=1204 CPUtime=0 cores=0-7 /proc/28507/task/28510/stat : 28510 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 100751102 14743601152 49593 33554432000 4194304 4196468 140731723294672 140449734478608 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28511] ppid=28504 vsize=14398048 memory=280727786831872 CPUtime=0 cores=0-7 /proc/28507/task/28511/stat : 28511 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 100751102 14743601152 49593 33554432000 4194304 4196468 140731723294672 140449733426064 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28512] ppid=28504 vsize=14398048 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28512/stat : 28512 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 100751102 14743601152 49593 33554432000 4194304 4196468 140731723294672 140449732373520 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28513] ppid=28504 vsize=14398048 memory=280727787319008 CPUtime=0 cores=0-7 /proc/28507/task/28513/stat : 28513 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 100751102 14743601152 49593 33554432000 4194304 4196468 140731723294672 140449731320976 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28514] ppid=28504 vsize=14398048 memory=280727787319200 CPUtime=0 cores=0-7 /proc/28507/task/28514/stat : 28514 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 100751102 14743601152 49593 33554432000 4194304 4196468 140731723294672 140449730267408 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28515] ppid=28504 vsize=14398048 memory=280727787486624 CPUtime=0 cores=0-7 /proc/28507/task/28515/stat : 28515 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 100751102 14743601152 49593 33554432000 4194304 4196468 140731723294672 140449729214864 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28516] ppid=28504 vsize=14398048 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28516/stat : 28516 (java) S 28504 28507 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 100751102 14743601152 49593 33554432000 4194304 4196468 140731723294672 140449728162320 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28517] ppid=28504 vsize=14398048 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28517/stat : 28517 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 100751102 14743601152 49593 33554432000 4194304 4196468 140731723294672 140449727109776 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28518] ppid=28504 vsize=14398048 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28518/stat : 28518 (java) S 28504 28507 27959 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 100751104 14743601152 49593 33554432000 4194304 4196468 140731723294672 140448917076464 140449819421314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28519] ppid=28504 vsize=14398048 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28519/stat : 28519 (java) S 28504 28507 27959 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 100751104 14743601152 49593 33554432000 4194304 4196468 140731723294672 140448916022688 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28520] ppid=28504 vsize=14398048 memory=7301856996587890514 CPUtime=0 cores=0-7 /proc/28507/task/28520/stat : 28520 (java) S 28504 28507 27959 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 100751105 14743601152 49593 33554432000 4194304 4196468 140731723294672 140448914970096 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28521] ppid=28504 vsize=14398048 memory=6153395252643779152 CPUtime=0 cores=0-7 /proc/28507/task/28521/stat : 28521 (java) S 28504 28507 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 100751107 14743601152 49593 33554432000 4194304 4196468 140731723294672 140448913918672 140449819428763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28522] ppid=28504 vsize=14398048 memory=7301856073203476816 CPUtime=0.67 cores=0-7 /proc/28507/task/28522/stat : 28522 (java) S 28504 28507 27959 0 -1 1077944384 5066 0 0 0 66 1 0 0 20 0 21 0 100751107 14743601152 49593 33554432000 4194304 4196468 140731723294672 140448912865264 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28523] ppid=28504 vsize=14398048 memory=4096 CPUtime=0.68 cores=0-7 /proc/28507/task/28523/stat : 28523 (java) S 28504 28507 27959 0 -1 1077944384 5077 0 0 0 67 1 0 0 20 0 21 0 100751107 14743601152 49593 33554432000 4194304 4196468 140731723294672 140448911812720 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28524] ppid=28504 vsize=14398048 memory=0 CPUtime=0.62 cores=0-7 /proc/28507/task/28524/stat : 28524 (java) S 28504 28507 27959 0 -1 1077944384 3565 0 0 0 61 1 0 0 20 0 21 0 100751107 14743601152 49593 33554432000 4194304 4196468 140731723294672 140448910760176 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28525] ppid=28504 vsize=14398048 memory=140363893618144 CPUtime=0.53 cores=0-7 /proc/28507/task/28525/stat : 28525 (java) R 28504 28507 27959 0 -1 4202560 4350 0 0 0 52 1 0 0 20 0 21 0 100751107 14743601152 49593 33554432000 4194304 4196468 140731723294672 140448909707632 140449819431514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28526] ppid=28504 vsize=14398048 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28526/stat : 28526 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 100751107 14743601152 49593 33554432000 4194304 4196468 140731723294672 140448908655328 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28527] ppid=28504 vsize=14398048 memory=0 CPUtime=0 cores=0-7 /proc/28507/task/28527/stat : 28527 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 100751107 14743601152 49593 33554432000 4194304 4196468 140731723294672 140448907602864 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 Current children cumulated CPU time: 4 s Current children cumulated vsize: 14398048 KiB Current children cumulated memory: 198372 KiB [startup+3.11106 s] /proc/loadavg: 7.78 8.15 8.26 16/224 28553 /proc/meminfo: memFree=28381612/32770624 swapFree=67108860/67108860 [pid=28507] ppid=28504 vsize=16068328 memory=408420 CPUtime=14.54 cores=0-7 /proc/28507/stat : 28507 (java) S 28504 28507 27959 0 -1 1077944320 45063 0 0 0 1421 33 0 0 20 0 18 0 100751101 16453967872 102105 33554432000 4194304 4196468 140731723294672 140731723277216 140449819410167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 /proc/28507/statm: 4017082 102105 3855 1 0 4004276 0 [pid=28507/tid=28509] ppid=28504 vsize=16068328 memory=0 CPUtime=1.65 cores=0-7 /proc/28507/task/28509/stat : 28509 (java) D 28504 28507 27959 0 -1 4202560 13348 0 0 0 159 6 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449823653176 140449812095799 0 0 0 16800975 18446744072100375685 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28510] ppid=28504 vsize=16068328 memory=140363893618144 CPUtime=0.03 cores=0-7 /proc/28507/task/28510/stat : 28510 (java) S 28504 28507 27959 0 -1 1077944384 41 0 0 0 3 0 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449734478608 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28511] ppid=28504 vsize=16068328 memory=0 CPUtime=0.04 cores=0-7 /proc/28507/task/28511/stat : 28511 (java) S 28504 28507 27959 0 -1 1077944384 66 0 0 0 3 1 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449733426064 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28512] ppid=28504 vsize=16068328 memory=0 CPUtime=0.04 cores=0-7 /proc/28507/task/28512/stat : 28512 (java) S 28504 28507 27959 0 -1 1077944384 68 0 0 0 3 1 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449732373520 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28513] ppid=28504 vsize=16068328 memory=0 CPUtime=0.04 cores=0-7 /proc/28507/task/28513/stat : 28513 (java) S 28504 28507 27959 0 -1 1077944384 49 0 0 0 3 1 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449731320976 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28514] ppid=28504 vsize=16068328 memory=140368121168838 CPUtime=0.04 cores=0-7 /proc/28507/task/28514/stat : 28514 (java) S 28504 28507 27959 0 -1 1077944384 130 0 0 0 3 1 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449730267408 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28515] ppid=28504 vsize=16068328 memory=140368121168858 CPUtime=0.03 cores=0-7 /proc/28507/task/28515/stat : 28515 (java) S 28504 28507 27959 0 -1 1077944384 259 0 0 0 3 0 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449729214864 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28516] ppid=28504 vsize=16068328 memory=140368121168881 CPUtime=0.05 cores=0-7 /proc/28507/task/28516/stat : 28516 (java) S 28504 28507 27959 0 -1 1077944384 134 0 0 0 4 1 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449728162320 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28517] ppid=28504 vsize=16068328 memory=140368121169714 CPUtime=0.04 cores=0-7 /proc/28507/task/28517/stat : 28517 (java) S 28504 28507 27959 0 -1 1077944384 219 0 0 0 3 1 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449727109776 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28519] ppid=28504 vsize=16068328 memory=148275155961650 CPUtime=0 cores=0-7 /proc/28507/task/28519/stat : 28519 (java) S 28504 28507 27959 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 18 0 100751104 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448916022752 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28520] ppid=28504 vsize=16068328 memory=140368121169897 CPUtime=0 cores=0-7 /proc/28507/task/28520/stat : 28520 (java) S 28504 28507 27959 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 18 0 100751105 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448914970112 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28521] ppid=28504 vsize=16068328 memory=140368121169901 CPUtime=0 cores=0-7 /proc/28507/task/28521/stat : 28521 (java) S 28504 28507 27959 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 18 0 100751107 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448913918320 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28522] ppid=28504 vsize=16068328 memory=140368121170198 CPUtime=1.41 cores=0-7 /proc/28507/task/28522/stat : 28522 (java) S 28504 28507 27959 0 -1 1077944384 5943 0 0 0 139 2 0 0 20 0 18 0 100751107 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448912865264 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28523] ppid=28504 vsize=16068328 memory=140368121170221 CPUtime=1.27 cores=0-7 /proc/28507/task/28523/stat : 28523 (java) S 28504 28507 27959 0 -1 1077944384 6233 0 0 0 125 2 0 0 20 0 18 0 100751107 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448911812720 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28524] ppid=28504 vsize=16068328 memory=140368121170229 CPUtime=1.58 cores=0-7 /proc/28507/task/28524/stat : 28524 (java) S 28504 28507 27959 0 -1 1077944384 5362 0 0 0 157 1 0 0 20 0 18 0 100751107 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448910760176 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28525] ppid=28504 vsize=16068328 memory=309416 CPUtime=0.88 cores=0-7 /proc/28507/task/28525/stat : 28525 (java) S 28504 28507 27959 0 -1 1077944384 8279 0 0 0 86 2 0 0 20 0 18 0 100751107 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448909701952 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28526] ppid=28504 vsize=16068328 memory=288230604624101685 CPUtime=0 cores=0-7 /proc/28507/task/28526/stat : 28526 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 100751107 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448908655328 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 Current children cumulated CPU time: 14.54 s Current children cumulated vsize: 16068328 KiB Current children cumulated memory: 408420 KiB [startup+3.21328 s] # the end of solver process 28507 was just reported to runsolver # cumulated CPU time of all completed processes: user=14.2149 s, system=0.347315 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.11106 s] /proc/loadavg: 7.78 8.15 8.26 16/224 28553 /proc/meminfo: memFree=28381612/32770624 swapFree=67108860/67108860 [pid=28507] ppid=28504 vsize=16068328 memory=408420 CPUtime=14.54 cores=0-7 /proc/28507/stat : 28507 (java) S 28504 28507 27959 0 -1 1077944320 45063 0 0 0 1421 33 0 0 20 0 18 0 100751101 16453967872 102105 33554432000 4194304 4196468 140731723294672 140731723277216 140449819410167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 /proc/28507/statm: 4017082 102105 3855 1 0 4004276 0 [pid=28507/tid=28509] ppid=28504 vsize=16068328 memory=0 CPUtime=1.65 cores=0-7 /proc/28507/task/28509/stat : 28509 (java) D 28504 28507 27959 0 -1 4202560 13348 0 0 0 159 6 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449823653176 140449812095799 0 0 0 16800975 18446744072100375685 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28510] ppid=28504 vsize=16068328 memory=140363893618144 CPUtime=0.03 cores=0-7 /proc/28507/task/28510/stat : 28510 (java) S 28504 28507 27959 0 -1 1077944384 41 0 0 0 3 0 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449734478608 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28511] ppid=28504 vsize=16068328 memory=0 CPUtime=0.04 cores=0-7 /proc/28507/task/28511/stat : 28511 (java) S 28504 28507 27959 0 -1 1077944384 66 0 0 0 3 1 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449733426064 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28512] ppid=28504 vsize=16068328 memory=0 CPUtime=0.04 cores=0-7 /proc/28507/task/28512/stat : 28512 (java) S 28504 28507 27959 0 -1 1077944384 68 0 0 0 3 1 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449732373520 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28513] ppid=28504 vsize=16068328 memory=0 CPUtime=0.04 cores=0-7 /proc/28507/task/28513/stat : 28513 (java) S 28504 28507 27959 0 -1 1077944384 49 0 0 0 3 1 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449731320976 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28514] ppid=28504 vsize=16068328 memory=140368121168838 CPUtime=0.04 cores=0-7 /proc/28507/task/28514/stat : 28514 (java) S 28504 28507 27959 0 -1 1077944384 130 0 0 0 3 1 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449730267408 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28515] ppid=28504 vsize=16068328 memory=140368121168858 CPUtime=0.03 cores=0-7 /proc/28507/task/28515/stat : 28515 (java) S 28504 28507 27959 0 -1 1077944384 259 0 0 0 3 0 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449729214864 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28516] ppid=28504 vsize=16068328 memory=140368121168881 CPUtime=0.05 cores=0-7 /proc/28507/task/28516/stat : 28516 (java) S 28504 28507 27959 0 -1 1077944384 134 0 0 0 4 1 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449728162320 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28517] ppid=28504 vsize=16068328 memory=140368121169714 CPUtime=0.04 cores=0-7 /proc/28507/task/28517/stat : 28517 (java) S 28504 28507 27959 0 -1 1077944384 219 0 0 0 3 1 0 0 20 0 18 0 100751102 16453967872 102105 33554432000 4194304 4196468 140731723294672 140449727109776 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28519] ppid=28504 vsize=16068328 memory=148275155961650 CPUtime=0 cores=0-7 /proc/28507/task/28519/stat : 28519 (java) S 28504 28507 27959 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 18 0 100751104 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448916022752 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28520] ppid=28504 vsize=16068328 memory=140368121169897 CPUtime=0 cores=0-7 /proc/28507/task/28520/stat : 28520 (java) S 28504 28507 27959 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 18 0 100751105 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448914970112 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28521] ppid=28504 vsize=16068328 memory=140368121169901 CPUtime=0 cores=0-7 /proc/28507/task/28521/stat : 28521 (java) S 28504 28507 27959 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 18 0 100751107 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448913918320 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28522] ppid=28504 vsize=16068328 memory=140368121170198 CPUtime=1.41 cores=0-7 /proc/28507/task/28522/stat : 28522 (java) S 28504 28507 27959 0 -1 1077944384 5943 0 0 0 139 2 0 0 20 0 18 0 100751107 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448912865264 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28523] ppid=28504 vsize=16068328 memory=140368121170221 CPUtime=1.27 cores=0-7 /proc/28507/task/28523/stat : 28523 (java) S 28504 28507 27959 0 -1 1077944384 6233 0 0 0 125 2 0 0 20 0 18 0 100751107 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448911812720 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28524] ppid=28504 vsize=16068328 memory=140368121170229 CPUtime=1.58 cores=0-7 /proc/28507/task/28524/stat : 28524 (java) S 28504 28507 27959 0 -1 1077944384 5362 0 0 0 157 1 0 0 20 0 18 0 100751107 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448910760176 140449819421314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28525] ppid=28504 vsize=16068328 memory=309416 CPUtime=0.88 cores=0-7 /proc/28507/task/28525/stat : 28525 (java) S 28504 28507 27959 0 -1 1077944384 8279 0 0 0 86 2 0 0 20 0 18 0 100751107 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448909701952 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 [pid=28507/tid=28526] ppid=28504 vsize=16068328 memory=288230604624101685 CPUtime=0 cores=0-7 /proc/28507/task/28526/stat : 28526 (java) S 28504 28507 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 100751107 16453967872 102105 33554432000 4194304 4196468 140731723294672 140448908655328 140449819420373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37244928 140731723297890 140731723298075 140731723298075 140731723300815 0 Current children cumulated CPU time: 14.54 s Current children cumulated vsize: 16068328 KiB Current children cumulated memory: 408420 KiB Child status: 0 Real time (s): 3.21334 CPU time (s): 14.5622 CPU user time (s): 14.2149 CPU system time (s): 0.347315 CPU usage (%): 453.179 Max. virtual memory (cumulated for all children) (KiB): 16068328 Max. memory (cumulated for all children) (KiB): 408420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.2149 system time used= 0.347315 maximum resident set size= 409808 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45082 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9022 involuntary context switches= 868 # summary of solver processes directly reported to runsolver: # pid: 28507 # total CPU time (s): 14.5622 # total CPU user time (s): 14.2149 # total CPU system time (s): 0.347315 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.055964 second user time and 0.072315 second system time The end
Begin job on node148 at 2017-08-14 03:57:22 IDJOB=4275297 IDBENCH=120418 IDSOLVER=2668 FILE ID=node148/4275297-1502676700 RUNJOBID= node148-1502670796-27986 PBS_JOBID= 20628973 Free space on /tmp= 61616 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-10.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275297-1502676700/watcher-4275297-1502676700 -o /tmp/evaluation-result-4275297-1502676700/solver-4275297-1502676700 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502670796-27986 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 144430652 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275297-1502676700.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0d07bfd3509f6ebe608866e376050751 RANDOM SEED=144430652 node148.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.19 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.19 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.19 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.19 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: 28765692 kB MemAvailable: 31987112 kB Buffers: 224156 kB Cached: 3285692 kB SwapCached: 0 kB Active: 842516 kB Inactive: 2721040 kB Active(anon): 5124 kB Inactive(anon): 76676 kB Active(file): 837392 kB Inactive(file): 2644364 kB Unevictable: 6208 kB Mlocked: 6208 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42308 kB Writeback: 0 kB AnonPages: 54332 kB Mapped: 44200 kB Shmem: 25224 kB Slab: 137200 kB SReclaimable: 110996 kB SUnreclaim: 26204 kB KernelStack: 3312 kB PageTables: 4788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325192 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61576 MiB End job on node148 at 2017-08-14 03:57:25