Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | OPT | 10 | 3.7855501 | 1.38785 |
Name | StillLife/StillLife-m1-s1/ StillLife-03-06.xml |
MD5SUM | c211aeb2c7d5ca0d3acfa7d3ddb05d8f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 0.013026 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 36 |
Number of constraints | 46 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":18},{"size":9,"count":18}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":18},{"degree":7,"count":4},{"degree":8,"count":10},{"degree":10,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":18},{"arity":3,"count":10},{"arity":4,"count":4},{"arity":6,"count":10},{"arity":9,"count":4}] |
Number of extensional constraints | 28 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":28},{"type":"sum","count":18}] |
Optimization problem | YES |
Type of objective | max SUM |
0.29/0.25 c version: 2017-07-26 0.29/0.25 c seed: 1708680088 0.29/0.26 c timeout: 20160 0.29/0.26 c memlimit: 11000 0.29/0.26 c nbcore: 8 0.29/0.28 c Parsing instance... 0.85/0.55 c Parsing done, starting search... 2.96/1.30 o 4 2.96/1.30 o 5 2.96/1.30 o 6 2.96/1.30 o 7 3.42/1.31 o 8 3.42/1.31 o 9 3.42/1.31 o 10 3.42/1.36 s OPTIMUM FOUND 3.42/1.36 v <instantiation> 3.42/1.36 v <list> 3.42/1.36 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] 3.42/1.36 v </list> 3.42/1.36 v <values> 3.42/1.36 v 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 1 1 0 2 2 2 2 3 2 3 3 4 3 6 3 3 3 4 2 3 2 3.42/1.36 v </values> 3.42/1.36 v </instantiation>
OK 10
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 (13454 MiB free) memory of node 1: 16384 MiB (14571 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275188-1502674267/watcher-4275188-1502674267 -o /tmp/evaluation-result-4275188-1502674267/solver-4275188-1502674267 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502673407-21140 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1708680088 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275188-1502674267.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=21280, runsolver pid=21277 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 8.62 8.34 8.31 1/199 21300 /proc/meminfo: memFree=28679860/32770624 swapFree=67108860/67108860 [pid=21280] ppid=21277 vsize=14325320 memory=34088 CPUtime=0.12 cores=0-7 /proc/21280/stat : 21280 (java) S 21277 21280 21113 0 -1 1077944320 8418 0 0 0 11 1 0 0 20 0 20 0 100507647 14669127680 8522 33554432000 4194304 4196468 140726099903200 140726099885744 140191928585975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 /proc/21280/statm: 3581330 8522 3410 1 0 3569050 0 [pid=21280/tid=21282] ppid=21277 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/21280/task/21282/stat : 21282 (java) R 21277 21280 21113 0 -1 4202560 6367 0 0 0 8 1 0 0 20 0 20 0 100507647 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191932783120 140191912666462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21283] ppid=21277 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21280/task/21283/stat : 21283 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191524306064 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21284] ppid=21277 vsize=14325320 memory=139630961006208 CPUtime=0 cores=0-7 /proc/21280/task/21284/stat : 21284 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191523253264 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21285] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21285/stat : 21285 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191522200464 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21286] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21286/stat : 21286 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191521147664 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21287] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21287/stat : 21287 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191520094864 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21288] ppid=21277 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/21280/task/21288/stat : 21288 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191519042064 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21289] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21289/stat : 21289 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191517989264 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21290] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21290/stat : 21290 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191516936464 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21291] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21291/stat : 21291 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507649 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191093353328 140191928597122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21292] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21292/stat : 21292 (java) S 21277 21280 21113 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100507650 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191092299296 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21293] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21293/stat : 21293 (java) S 21277 21280 21113 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100507650 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191091246448 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21294] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21294/stat : 21294 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507652 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191090194768 140191928604571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21295] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21295/stat : 21295 (java) S 21277 21280 21113 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 100507652 14669127680 8522 33554432000 4194304 4196468 140726099903200 140191089142128 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21296] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21296/stat : 21296 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100507653 14669127680 8522 33554432000 4194304 4196468 140726099903200 140190752434416 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21297] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21297/stat : 21297 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100507653 14669127680 8522 33554432000 4194304 4196468 140726099903200 140190751381616 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21298] ppid=21277 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/21280/task/21298/stat : 21298 (java) S 21277 21280 21113 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 100507653 14669127680 8522 33554432000 4194304 4196468 140726099903200 140190750328816 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21299] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21299/stat : 21299 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100507653 14669127680 8522 33554432000 4194304 4196468 140726099903200 140190749277280 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21300] ppid=21277 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/21280/task/21300/stat : 21300 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507653 14669127680 8522 33554432000 4194304 4196468 140726099903200 140190748224560 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 34088 KiB [startup+0.210207 s]* /proc/loadavg: 8.62 8.34 8.31 2/199 21300 /proc/meminfo: memFree=28669912/32770624 swapFree=67108860/67108860 [pid=21280] ppid=21277 vsize=14325320 memory=43236 CPUtime=0.29 cores=0-7 /proc/21280/stat : 21280 (java) S 21277 21280 21113 0 -1 1077944320 9418 0 0 0 27 2 0 0 20 0 20 0 100507647 14669127680 10809 33554432000 4194304 4196468 140726099903200 140726099885744 140191928585975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 /proc/21280/statm: 3581330 10809 3602 1 0 3569050 0 [pid=21280/tid=21282] ppid=21277 vsize=14325320 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/21280/task/21282/stat : 21282 (java) R 21277 21280 21113 0 -1 4202560 6985 0 0 0 17 2 0 0 20 0 20 0 100507647 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191932806128 140191928607901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21283] ppid=21277 vsize=14325320 memory=2897 CPUtime=0 cores=0-7 /proc/21280/task/21283/stat : 21283 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191524306064 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21284] ppid=21277 vsize=14325320 memory=139630961457195 CPUtime=0 cores=0-7 /proc/21280/task/21284/stat : 21284 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191523253264 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21285] ppid=21277 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/21280/task/21285/stat : 21285 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191522200464 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21286] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21286/stat : 21286 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191521147664 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21287] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21287/stat : 21287 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191520094864 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21288] ppid=21277 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/21280/task/21288/stat : 21288 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191519042064 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21289] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21289/stat : 21289 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191517989264 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21290] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21290/stat : 21290 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191516936464 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21291] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21291/stat : 21291 (java) S 21277 21280 21113 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100507649 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191093353328 140191928597122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21292] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21292/stat : 21292 (java) S 21277 21280 21113 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100507650 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191092299296 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21293] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21293/stat : 21293 (java) S 21277 21280 21113 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100507650 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191091246448 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21294] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21294/stat : 21294 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507652 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191090194768 140191928604571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21295] ppid=21277 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/21280/task/21295/stat : 21295 (java) S 21277 21280 21113 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 20 0 100507652 14669127680 10809 33554432000 4194304 4196468 140726099903200 140191089142128 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21296] ppid=21277 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/21280/task/21296/stat : 21296 (java) S 21277 21280 21113 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 20 0 100507653 14669127680 10809 33554432000 4194304 4196468 140726099903200 140190752434416 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21297] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21297/stat : 21297 (java) S 21277 21280 21113 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 100507653 14669127680 10809 33554432000 4194304 4196468 140726099903200 140190751381616 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21298] ppid=21277 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7 /proc/21280/task/21298/stat : 21298 (java) S 21277 21280 21113 0 -1 1077944384 399 0 0 0 5 0 0 0 20 0 20 0 100507653 14669127680 10809 33554432000 4194304 4196468 140726099903200 140190750328816 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21299] ppid=21277 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21299/stat : 21299 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100507653 14669127680 10809 33554432000 4194304 4196468 140726099903200 140190749277280 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21300] ppid=21277 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/21280/task/21300/stat : 21300 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507653 14669127680 10809 33554432000 4194304 4196468 140726099903200 140190748224560 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 43236 KiB [startup+0.309684 s]* /proc/loadavg: 8.62 8.34 8.31 2/199 21300 /proc/meminfo: memFree=28664620/32770624 swapFree=67108860/67108860 [pid=21280] ppid=21277 vsize=14325340 memory=51688 CPUtime=0.48 cores=0-7 /proc/21280/stat : 21280 (java) S 21277 21280 21113 0 -1 1077944320 10611 0 0 0 45 3 0 0 20 0 20 0 100507647 14669148160 12922 33554432000 4194304 4196468 140726099903200 140726099885744 140191928585975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 /proc/21280/statm: 3581335 12922 3720 1 0 3569050 0 [pid=21280/tid=21282] ppid=21277 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/21280/task/21282/stat : 21282 (java) R 21277 21280 21113 0 -1 4202560 7623 0 0 0 27 2 0 0 20 0 20 0 100507647 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191932814384 140191912666462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21283] ppid=21277 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21283/stat : 21283 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191524306064 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21284] ppid=21277 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21284/stat : 21284 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191523253264 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21285] ppid=21277 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21285/stat : 21285 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100507648 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191522200464 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21286] ppid=21277 vsize=14325340 memory=2244 CPUtime=0 cores=0-7 /proc/21280/task/21286/stat : 21286 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507648 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191521147664 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21287] ppid=21277 vsize=14325340 memory=2244 CPUtime=0 cores=0-7 /proc/21280/task/21287/stat : 21287 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507648 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191520094864 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21288] ppid=21277 vsize=14325340 memory=139630863285423 CPUtime=0 cores=0-7 /proc/21280/task/21288/stat : 21288 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191519042064 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21289] ppid=21277 vsize=14325340 memory=139630863287728 CPUtime=0 cores=0-7 /proc/21280/task/21289/stat : 21289 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191517989264 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21290] ppid=21277 vsize=14325340 memory=139630863290032 CPUtime=0 cores=0-7 /proc/21280/task/21290/stat : 21290 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191516936464 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21291] ppid=21277 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21291/stat : 21291 (java) S 21277 21280 21113 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100507649 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191093353328 140191928597122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21292] ppid=21277 vsize=14325340 memory=279261726589328 CPUtime=0 cores=0-7 /proc/21280/task/21292/stat : 21292 (java) S 21277 21280 21113 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100507650 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191092299296 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21293] ppid=21277 vsize=14325340 memory=279261726530608 CPUtime=0 cores=0-7 /proc/21280/task/21293/stat : 21293 (java) S 21277 21280 21113 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100507650 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191091246448 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21294] ppid=21277 vsize=14325340 memory=279261726603152 CPUtime=0 cores=0-7 /proc/21280/task/21294/stat : 21294 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507652 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191090194768 140191928604571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21295] ppid=21277 vsize=14325340 memory=279261726610064 CPUtime=0.03 cores=0-7 /proc/21280/task/21295/stat : 21295 (java) S 21277 21280 21113 0 -1 1077944384 559 0 0 0 3 0 0 0 20 0 20 0 100507652 14669148160 12922 33554432000 4194304 4196468 140726099903200 140191089142128 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21296] ppid=21277 vsize=14325340 memory=279261726607760 CPUtime=0.03 cores=0-7 /proc/21280/task/21296/stat : 21296 (java) S 21277 21280 21113 0 -1 1077944384 234 0 0 0 3 0 0 0 20 0 20 0 100507653 14669148160 12922 33554432000 4194304 4196468 140726099903200 140190752434416 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21297] ppid=21277 vsize=14325340 memory=279261726623888 CPUtime=0.03 cores=0-7 /proc/21280/task/21297/stat : 21297 (java) S 21277 21280 21113 0 -1 1077944384 274 0 0 0 3 0 0 0 20 0 20 0 100507653 14669148160 12922 33554432000 4194304 4196468 140726099903200 140190751381616 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21298] ppid=21277 vsize=14325340 memory=279261726621584 CPUtime=0.08 cores=0-7 /proc/21280/task/21298/stat : 21298 (java) S 21277 21280 21113 0 -1 1077944384 536 0 0 0 8 0 0 0 20 0 20 0 100507653 14669148160 12922 33554432000 4194304 4196468 140726099903200 140190750328816 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21299] ppid=21277 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21299/stat : 21299 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100507653 14669148160 12922 33554432000 4194304 4196468 140726099903200 140190749277280 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21300] ppid=21277 vsize=14325340 memory=-1 CPUtime=0 cores=0-7 /proc/21280/task/21300/stat : 21300 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507653 14669148160 12922 33554432000 4194304 4196468 140726099903200 140190748224560 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 14325340 KiB Current children cumulated memory: 51688 KiB [startup+0.700859 s] /proc/loadavg: 8.62 8.34 8.31 3/199 21300 /proc/meminfo: memFree=28652460/32770624 swapFree=67108860/67108860 [pid=21280] ppid=21277 vsize=14329436 memory=79228 CPUtime=1.11 cores=0-7 /proc/21280/stat : 21280 (java) S 21277 21280 21113 0 -1 1077944320 13024 0 0 0 107 4 0 0 20 0 20 0 100507647 14673342464 19807 33554432000 4194304 4196468 140726099903200 140726099885744 140191928585975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 /proc/21280/statm: 3582359 19807 3751 1 0 3570074 0 [pid=21280/tid=21282] ppid=21277 vsize=14329436 memory=0 CPUtime=0.67 cores=0-7 /proc/21280/task/21282/stat : 21282 (java) R 21277 21280 21113 0 -1 4202560 9399 0 0 0 64 3 0 0 20 0 20 0 100507647 14673342464 19807 33554432000 4194304 4196468 140726099903200 140191932813232 140191567595671 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21283] ppid=21277 vsize=14329436 memory=2241 CPUtime=0 cores=0-7 /proc/21280/task/21283/stat : 21283 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14673342464 19807 33554432000 4194304 4196468 140726099903200 140191524306064 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21284] ppid=21277 vsize=14329436 memory=2244 CPUtime=0 cores=0-7 /proc/21280/task/21284/stat : 21284 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14673342464 19807 33554432000 4194304 4196468 140726099903200 140191523253264 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21285] ppid=21277 vsize=14329436 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21285/stat : 21285 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100507648 14673342464 19807 33554432000 4194304 4196468 140726099903200 140191522200464 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21286] ppid=21277 vsize=14329436 memory=1944 CPUtime=0 cores=0-7 /proc/21280/task/21286/stat : 21286 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507648 14673342464 19807 33554432000 4194304 4196468 140726099903200 140191521147664 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21287] ppid=21277 vsize=14329436 memory=1200 CPUtime=0 cores=0-7 /proc/21280/task/21287/stat : 21287 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100507648 14673342464 19807 33554432000 4194304 4196468 140726099903200 140191520094864 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21288] ppid=21277 vsize=14329436 memory=1424 CPUtime=0 cores=0-7 /proc/21280/task/21288/stat : 21288 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14673342464 19807 33554432000 4194304 4196468 140726099903200 140191519042064 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21289] ppid=21277 vsize=14329436 memory=8552 CPUtime=0 cores=0-7 /proc/21280/task/21289/stat : 21289 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14673342464 19807 33554432000 4194304 4196468 140726099903200 140191517989264 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21290] ppid=21277 vsize=14329436 memory=15872 CPUtime=0 cores=0-7 /proc/21280/task/21290/stat : 21290 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507648 14673342464 19807 33554432000 4194304 4196468 140726099903200 140191516936464 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21291] ppid=21277 vsize=14329436 memory=4052 CPUtime=0 cores=0-7 /proc/21280/task/21291/stat : 21291 (java) S 21277 21280 21113 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100507649 14673342464 19807 33554432000 4194304 4196468 140726099903200 140191093353328 140191928597122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 ################ # More data... # ################ [pid=21280/tid=21296] ppid=21277 vsize=14329436 memory=792 CPUtime=0.04 cores=0-7 /proc/21280/task/21296/stat : 21296 (java) S 21277 21280 21113 0 -1 1077944384 254 0 0 0 4 0 0 0 20 0 20 0 100507653 14673342464 20319 33554432000 4194304 4196468 140726099903200 140190752434416 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21297] ppid=21277 vsize=14329436 memory=9992 CPUtime=0.08 cores=0-7 /proc/21280/task/21297/stat : 21297 (java) S 21277 21280 21113 0 -1 1077944384 395 0 0 0 8 0 0 0 20 0 20 0 100507653 14673342464 20319 33554432000 4194304 4196468 140726099903200 140190751381616 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21298] ppid=21277 vsize=14329436 memory=1224 CPUtime=0.2 cores=0-7 /proc/21280/task/21298/stat : 21298 (java) S 21277 21280 21113 0 -1 1077944384 797 0 0 0 20 0 0 0 20 0 20 0 100507653 14673342464 20319 33554432000 4194304 4196468 140726099903200 140190750328816 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21299] ppid=21277 vsize=14329436 memory=5716 CPUtime=0 cores=0-7 /proc/21280/task/21299/stat : 21299 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100507653 14673342464 20319 33554432000 4194304 4196468 140726099903200 140190749277280 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21300] ppid=21277 vsize=14329436 memory=1708 CPUtime=0 cores=0-7 /proc/21280/task/21300/stat : 21300 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100507653 14673342464 20319 33554432000 4194304 4196468 140726099903200 140190748224560 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 Current children cumulated CPU time: 1.11 s Current children cumulated vsize: 14329436 KiB Current children cumulated memory: 79228 KiB [startup+1.3878 s] # the end of solver process 21280 was just reported to runsolver # cumulated CPU time of all completed processes: user=3.63757 s, system=0.147975 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.11125 s] /proc/loadavg: 8.62 8.34 8.31 3/199 21300 /proc/meminfo: memFree=28652460/32770624 swapFree=67108860/67108860 [pid=21280] ppid=21277 vsize=14400096 memory=151932 CPUtime=2.67 cores=0-7 /proc/21280/stat : 21280 (java) S 21277 21280 21113 0 -1 1077944320 31632 0 0 0 259 8 0 0 20 0 21 0 100507647 14745698304 37983 33554432000 4194304 4196468 140726099903200 140726099885744 140191928585975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 /proc/21280/statm: 3600024 37983 3787 1 0 3587739 0 [pid=21280/tid=21282] ppid=21277 vsize=14400096 memory=4638778398333223008 CPUtime=1.08 cores=0-7 /proc/21280/task/21282/stat : 21282 (java) R 21277 21280 21113 0 -1 4202560 11760 0 0 0 104 4 0 0 20 0 21 0 100507647 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191932808192 140191912666462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21283] ppid=21277 vsize=14400096 memory=7372499519126134848 CPUtime=0 cores=0-7 /proc/21280/task/21283/stat : 21283 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 100507648 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191524306064 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21284] ppid=21277 vsize=14400096 memory=6935649255759568960 CPUtime=0 cores=0-7 /proc/21280/task/21284/stat : 21284 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 100507648 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191523253264 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21285] ppid=21277 vsize=14400096 memory=4638778398332768848 CPUtime=0 cores=0-7 /proc/21280/task/21285/stat : 21285 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 100507648 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191522200464 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21286] ppid=21277 vsize=14400096 memory=-8820188211957838939 CPUtime=0 cores=0-7 /proc/21280/task/21286/stat : 21286 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 100507648 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191521147664 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21287] ppid=21277 vsize=14400096 memory=8370611207638964880 CPUtime=0 cores=0-7 /proc/21280/task/21287/stat : 21287 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 100507648 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191520094864 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21288] ppid=21277 vsize=14400096 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21288/stat : 21288 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 100507648 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191519042064 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21289] ppid=21277 vsize=14400096 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21289/stat : 21289 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 100507648 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191517989264 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21290] ppid=21277 vsize=14400096 memory=279261726445216 CPUtime=0 cores=0-7 /proc/21280/task/21290/stat : 21290 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 100507648 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191516936464 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21291] ppid=21277 vsize=14400096 memory=6003615144368690006 CPUtime=0 cores=0-7 /proc/21280/task/21291/stat : 21291 (java) S 21277 21280 21113 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 21 0 100507649 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191093353328 140191928597122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21292] ppid=21277 vsize=14400096 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21292/stat : 21292 (java) S 21277 21280 21113 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 100507650 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191092299296 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21293] ppid=21277 vsize=14400096 memory=2428 CPUtime=0 cores=0-7 /proc/21280/task/21293/stat : 21293 (java) S 21277 21280 21113 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 100507650 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191091246448 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21294] ppid=21277 vsize=14400096 memory=1728 CPUtime=0 cores=0-7 /proc/21280/task/21294/stat : 21294 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 100507652 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191090194768 140191928604571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21295] ppid=21277 vsize=14400096 memory=792 CPUtime=0.37 cores=0-7 /proc/21280/task/21295/stat : 21295 (java) R 21277 21280 21113 0 -1 4202560 4523 0 0 0 36 1 0 0 20 0 21 0 100507652 14745698304 37983 33554432000 4194304 4196468 140726099903200 140191089126928 140191906333470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21296] ppid=21277 vsize=14400096 memory=9992 CPUtime=0.36 cores=0-7 /proc/21280/task/21296/stat : 21296 (java) R 21277 21280 21113 0 -1 4202560 3764 0 0 0 35 1 0 0 20 0 21 0 100507653 14745698304 37983 33554432000 4194304 4196468 140726099903200 140190752419376 140191913505667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21297] ppid=21277 vsize=14400096 memory=1224 CPUtime=0.37 cores=0-7 /proc/21280/task/21297/stat : 21297 (java) R 21277 21280 21113 0 -1 4202560 5151 0 0 0 37 0 0 0 20 0 21 0 100507653 14745698304 37983 33554432000 4194304 4196468 140726099903200 140190751361704 140191912491945 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21298] ppid=21277 vsize=14400096 memory=5716 CPUtime=0.46 cores=0-7 /proc/21280/task/21298/stat : 21298 (java) S 21277 21280 21113 0 -1 1077944384 5066 0 0 0 45 1 0 0 20 0 21 0 100507653 14745698304 37983 33554432000 4194304 4196468 140726099903200 140190750328816 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21299] ppid=21277 vsize=14400096 memory=1708 CPUtime=0 cores=0-7 /proc/21280/task/21299/stat : 21299 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 100507653 14745698304 37983 33554432000 4194304 4196468 140726099903200 140190749277280 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21300] ppid=21277 vsize=14400096 memory=4612 CPUtime=0 cores=0-7 /proc/21280/task/21300/stat : 21300 (java) S 21277 21280 21113 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 21 0 100507653 14745698304 37983 33554432000 4194304 4196468 140726099903200 140190748224560 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 Current children cumulated CPU time: 2.67 s Current children cumulated vsize: 14400096 KiB Current children cumulated memory: 151932 KiB [startup+1.30079 s]* /proc/loadavg: 8.62 8.34 8.31 5/217 21318 /proc/meminfo: memFree=28508760/32770624 swapFree=67108860/67108860 [pid=21280] ppid=21277 vsize=15669972 memory=207904 CPUtime=3.42 cores=0-7 /proc/21280/stat : 21280 (java) S 21277 21280 21113 0 -1 1077944320 35607 0 0 0 332 10 0 0 20 0 41 0 100507647 16046051328 51976 33554432000 4194304 4196468 140726099903200 140726099885744 140191928585975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 /proc/21280/statm: 3917493 51976 3793 1 0 3904687 0 [pid=21280/tid=21282] ppid=21277 vsize=15669972 memory=0 CPUtime=1.21 cores=0-7 /proc/21280/task/21282/stat : 21282 (java) S 21277 21280 21113 0 -1 1077944384 12541 0 0 0 117 4 0 0 20 0 41 0 100507647 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191932823680 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21283] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21283/stat : 21283 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 41 0 100507648 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191524306064 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21284] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21284/stat : 21284 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 41 0 100507648 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191523253264 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21285] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21285/stat : 21285 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 100507648 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191522200464 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21286] ppid=21277 vsize=15669972 memory=92854599640298 CPUtime=0 cores=0-7 /proc/21280/task/21286/stat : 21286 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 100507648 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191521147664 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21287] ppid=21277 vsize=15669972 memory=279261726746916 CPUtime=0 cores=0-7 /proc/21280/task/21287/stat : 21287 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 100507648 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191520094864 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21288] ppid=21277 vsize=15669972 memory=3690475732556133424 CPUtime=0 cores=0-7 /proc/21280/task/21288/stat : 21288 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 41 0 100507648 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191519042064 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21289] ppid=21277 vsize=15669972 memory=7596279998372472147 CPUtime=0 cores=0-7 /proc/21280/task/21289/stat : 21289 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 41 0 100507648 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191517989264 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21290] ppid=21277 vsize=15669972 memory=7451046602726981734 CPUtime=0 cores=0-7 /proc/21280/task/21290/stat : 21290 (java) S 21277 21280 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 41 0 100507648 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191516936464 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21291] ppid=21277 vsize=15669972 memory=29681743523217448 CPUtime=0 cores=0-7 /proc/21280/task/21291/stat : 21291 (java) S 21277 21280 21113 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 41 0 100507649 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191093353328 140191928597122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21292] ppid=21277 vsize=15669972 memory=288230604674433361 CPUtime=0 cores=0-7 /proc/21280/task/21292/stat : 21292 (java) S 21277 21280 21113 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 41 0 100507650 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191092299296 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21293] ppid=21277 vsize=15669972 memory=4265244426621943840 CPUtime=0 cores=0-7 /proc/21280/task/21293/stat : 21293 (java) S 21277 21280 21113 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 100507650 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191091246448 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21294] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21294/stat : 21294 (java) S 21277 21280 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 100507652 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191090194768 140191928604571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21295] ppid=21277 vsize=15669972 memory=0 CPUtime=0.49 cores=0-7 /proc/21280/task/21295/stat : 21295 (java) R 21277 21280 21113 0 -1 4202560 5099 0 0 0 48 1 0 0 20 0 41 0 100507652 16046051328 51976 33554432000 4194304 4196468 140726099903200 140191089127888 140191907756881 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21296] ppid=21277 vsize=15669972 memory=0 CPUtime=0.39 cores=0-7 /proc/21280/task/21296/stat : 21296 (java) R 21277 21280 21113 0 -1 4202560 4204 0 0 0 38 1 0 0 20 0 41 0 100507653 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190752419728 140191928597910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21297] ppid=21277 vsize=15669972 memory=0 CPUtime=0.54 cores=0-7 /proc/21280/task/21297/stat : 21297 (java) R 21277 21280 21113 0 -1 4202560 5930 0 0 0 53 1 0 0 20 0 41 0 100507653 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190751365744 140191908248800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21298] ppid=21277 vsize=15669972 memory=0 CPUtime=0.5 cores=0-7 /proc/21280/task/21298/stat : 21298 (java) R 21277 21280 21113 0 -1 4202560 5230 0 0 0 49 1 0 0 20 0 41 0 100507653 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190750324544 140191928607322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21299] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21299/stat : 21299 (java) S 21277 21280 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 100507653 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190749277280 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21300] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21300/stat : 21300 (java) S 21277 21280 21113 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 41 0 100507653 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190748224560 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21301] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21301/stat : 21301 (java) S 21277 21280 21113 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 41 0 100507746 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190737937536 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21302] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21302/stat : 21302 (java) S 21277 21280 21113 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 41 0 100507758 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190734787664 140191928597122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21303] ppid=21277 vsize=15669972 memory=0 CPUtime=0.04 cores=0-7 /proc/21280/task/21303/stat : 21303 (java) S 21277 21280 21113 0 -1 1077944384 223 0 0 0 4 0 0 0 20 0 41 0 100507768 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190733734960 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21304] ppid=21277 vsize=15669972 memory=0 CPUtime=0.03 cores=0-7 /proc/21280/task/21304/stat : 21304 (java) S 21277 21280 21113 0 -1 1077944384 106 0 0 0 3 0 0 0 20 0 41 0 100507769 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190730585008 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21305] ppid=21277 vsize=15669972 memory=139635255973503 CPUtime=0.02 cores=0-7 /proc/21280/task/21305/stat : 21305 (java) S 21277 21280 21113 0 -1 1077944384 195 0 0 0 2 0 0 0 20 0 41 0 100507769 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190729532208 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21306] ppid=21277 vsize=15669972 memory=0 CPUtime=0.02 cores=0-7 /proc/21280/task/21306/stat : 21306 (java) S 21277 21280 21113 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 41 0 100507769 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190728479408 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21307] ppid=21277 vsize=15669972 memory=0 CPUtime=0.02 cores=0-7 /proc/21280/task/21307/stat : 21307 (java) S 21277 21280 21113 0 -1 1077944384 74 0 0 0 2 0 0 0 20 0 41 0 100507772 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190727424896 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21308] ppid=21277 vsize=15669972 memory=0 CPUtime=0.02 cores=0-7 /proc/21280/task/21308/stat : 21308 (java) S 21277 21280 21113 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 41 0 100507772 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190726374832 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21309] ppid=21277 vsize=15669972 memory=0 CPUtime=0.02 cores=0-7 /proc/21280/task/21309/stat : 21309 (java) S 21277 21280 21113 0 -1 1077944384 98 0 0 0 2 0 0 0 20 0 41 0 100507772 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190725322032 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21310] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21310/stat : 21310 (java) S 21277 21280 21113 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 41 0 100507772 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190724267328 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21311] ppid=21277 vsize=15669972 memory=0 CPUtime=0.02 cores=0-7 /proc/21280/task/21311/stat : 21311 (java) S 21277 21280 21113 0 -1 1077944384 35 0 0 0 2 0 0 0 20 0 41 0 100507772 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190723216432 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21312] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21312/stat : 21312 (java) S 21277 21280 21113 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 41 0 100507772 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190722159088 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21313] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21313/stat : 21313 (java) S 21277 21280 21113 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 41 0 100507776 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190721110832 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21314] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21314/stat : 21314 (java) S 21277 21280 21113 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 41 0 100507776 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190720058032 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21315] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21315/stat : 21315 (java) S 21277 21280 21113 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 41 0 100507776 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190719006256 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21316] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21316/stat : 21316 (java) S 21277 21280 21113 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 41 0 100507776 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190717953456 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21317] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21317/stat : 21317 (java) S 21277 21280 21113 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 41 0 100507776 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190716900656 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21318] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21318/stat : 21318 (java) S 21277 21280 21113 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 41 0 100507776 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190715847856 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21319] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21319/stat : 21319 (java) S 21277 21280 21113 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 41 0 100507777 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190712660656 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21320] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21320/stat : 21320 (java) S 21277 21280 21113 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 41 0 100507778 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190711608240 140191928596181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 [pid=21280/tid=21321] ppid=21277 vsize=15669972 memory=0 CPUtime=0 cores=0-7 /proc/21280/task/21321/stat : 21321 (java) R 21277 21280 21113 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 41 0 100507778 16046051328 51976 33554432000 4194304 4196468 140726099903200 140190727427616 140191921325825 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8622080 140726099907681 140726099907867 140726099907867 140726099910607 0 Current children cumulated CPU time: 3.42 s Current children cumulated vsize: 15669972 KiB Current children cumulated memory: 207904 KiB Child status: 0 Real time (s): 1.38785 CPU time (s): 3.78555 CPU user time (s): 3.63757 CPU system time (s): 0.147975 CPU usage (%): 272.764 Max. virtual memory (cumulated for all children) (KiB): 15669972 Max. memory (cumulated for all children) (KiB): 207904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.63757 system time used= 0.147975 maximum resident set size= 243032 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36826 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4731 involuntary context switches= 6 # summary of solver processes directly reported to runsolver: # pid: 21280 # total CPU time (s): 3.78555 # total CPU user time (s): 3.63757 # total CPU system time (s): 0.147975 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.031596 second user time and 0.052973 second system time The end
Begin job on node151 at 2017-08-14 03:16:49 IDJOB=4275188 IDBENCH=115963 IDSOLVER=2668 FILE ID=node151/4275188-1502674267 RUNJOBID= node151-1502673407-21140 PBS_JOBID= 20628977 Free space on /tmp= 61756 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-03-06.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-4275188-1502674267/watcher-4275188-1502674267 -o /tmp/evaluation-result-4275188-1502674267/solver-4275188-1502674267 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502673407-21140 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1708680088 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275188-1502674267.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c211aeb2c7d5ca0d3acfa7d3ddb05d8f RANDOM SEED=1708680088 node151.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.95 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.95 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.95 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.95 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: 28699644 kB MemAvailable: 31988388 kB Buffers: 259936 kB Cached: 3318760 kB SwapCached: 0 kB Active: 993588 kB Inactive: 2638464 kB Active(anon): 56068 kB Inactive(anon): 25056 kB Active(file): 937520 kB Inactive(file): 2613408 kB Unevictable: 7024 kB Mlocked: 7024 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42160 kB Writeback: 0 kB AnonPages: 64284 kB Mapped: 43424 kB Shmem: 25256 kB Slab: 133576 kB SReclaimable: 107304 kB SUnreclaim: 26272 kB KernelStack: 3520 kB PageTables: 5492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324436 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61716 MiB End job on node151 at 2017-08-14 03:16:50