Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | ? (TO) | 20035.5 | 2520.56 |
Name | Frb/ frb-56-25-1-mgd_c18.xml |
MD5SUM | 8755358fe24c17b0dd51c4ab818b1437 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 56 |
Number of constraints | 517 |
Number of domains | 1 |
Minimum domain size | 25 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":25,"count":56}] |
Minimum variable degree | 12 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":12,"count":2},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":5},{"degree":16,"count":3},{"degree":17,"count":7},{"degree":18,"count":6},{"degree":19,"count":5},{"degree":20,"count":6},{"degree":21,"count":6},{"degree":22,"count":2},{"degree":23,"count":3},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":27,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":517}] |
Number of extensional constraints | 517 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":517}] |
Optimization problem | NO |
Type of objective |
0.67/0.55 c version: 2018-07-02 0.67/0.55 c seed: 630552745 0.67/0.56 c timeout: 20160 0.67/0.56 c memlimit: 22000 0.67/0.56 c nbcore: 8 0.67/0.58 c Parsing instance... 2.48/1.18 c Parsing done, starting search... 20031.25/2520.09 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (9408 MiB free) memory of node 1: 16384 MiB (11934 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291377-1532677668/watcher-4291377-1532677668 -o /tmp/evaluation-result-4291377-1532677668/solver-4291377-1532677668 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532675147-13000 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 630552745 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291377-1532677668.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=13183, runsolver pid=13180 [startup+0.100102 s]* /proc/loadavg: 8.70 8.85 8.80 3/198 13203 /proc/meminfo: memFree=21839364/32770624 swapFree=67108860/67108860 [pid=13183] ppid=13180 vsize=26103424 memory=30368 CPUtime=0.11 cores=0-7 /proc/13183/stat : 13183 (java) S 13180 13183 12973 0 -1 1077944320 7059 0 0 0 10 1 0 0 20 0 20 0 85330018 26729906176 7592 33554432000 4194304 4196468 140721903026080 140721903008624 140639595409143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 /proc/13183/statm: 6525856 7592 3138 1 0 6487932 0 [pid=13183/tid=13185] ppid=13180 vsize=26103424 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/13183/task/13185/stat : 13185 (java) R 13180 13183 12973 0 -1 4202560 5246 0 0 0 8 1 0 0 20 0 20 0 85330018 26729906176 7724 33554432000 4194304 4196468 140721903026080 140639599612272 140639575684957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13186] ppid=13180 vsize=26103424 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13183/task/13186/stat : 13186 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 7724 33554432000 4194304 4196468 140721903026080 140639517989136 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13187] ppid=13180 vsize=26103424 memory=139903897163392 CPUtime=0 cores=0-7 /proc/13183/task/13187/stat : 13187 (java) S 13180 13183 12973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 7724 33554432000 4194304 4196468 140721903026080 140639516936592 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13188] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13188/stat : 13188 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 7724 33554432000 4194304 4196468 140721903026080 140639515884048 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13189] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13189/stat : 13189 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 7724 33554432000 4194304 4196468 140721903026080 140639514831504 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13190] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13190/stat : 13190 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 7724 33554432000 4194304 4196468 140721903026080 140639513778960 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13191] ppid=13180 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13183/task/13191/stat : 13191 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 7790 33554432000 4194304 4196468 140721903026080 140639512726416 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13192] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13192/stat : 13192 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 7790 33554432000 4194304 4196468 140721903026080 140639511673872 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13193] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13193/stat : 13193 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 7790 33554432000 4194304 4196468 140721903026080 140639510621328 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13194] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13194/stat : 13194 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330021 26729906176 7790 33554432000 4194304 4196468 140721903026080 140638002653168 140639595420290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13195] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13195/stat : 13195 (java) S 13180 13183 12973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 85330021 26729906176 7790 33554432000 4194304 4196468 140721903026080 140638001599392 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13196] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13196/stat : 13196 (java) S 13180 13183 12973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85330021 26729906176 7790 33554432000 4194304 4196468 140721903026080 140638000546800 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13197] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13197/stat : 13197 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 7790 33554432000 4194304 4196468 140721903026080 140637999495376 140639595427739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13198] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13198/stat : 13198 (java) S 13180 13183 12973 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 7790 33554432000 4194304 4196468 140721903026080 140637998442992 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13199] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13199/stat : 13199 (java) S 13180 13183 12973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 7790 33554432000 4194304 4196468 140721903026080 140637997390448 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13200] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13200/stat : 13200 (java) S 13180 13183 12973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 7790 33554432000 4194304 4196468 140721903026080 140637996337904 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13201] ppid=13180 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/13183/task/13201/stat : 13201 (java) S 13180 13183 12973 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 85330024 26729906176 7790 33554432000 4194304 4196468 140721903026080 140637995285360 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13202] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13202/stat : 13202 (java) S 13180 13183 12973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 7856 33554432000 4194304 4196468 140721903026080 140637994232032 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13203] ppid=13180 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13183/task/13203/stat : 13203 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 7856 33554432000 4194304 4196468 140721903026080 140637993179568 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 30368 KiB [startup+0.210299 s]* /proc/loadavg: 8.70 8.85 8.80 2/198 13203 /proc/meminfo: memFree=21825536/32770624 swapFree=67108860/67108860 [pid=13183] ppid=13180 vsize=26103424 memory=43084 CPUtime=0.29 cores=0-7 /proc/13183/stat : 13183 (java) S 13180 13183 12973 0 -1 1077944320 10417 0 0 0 27 2 0 0 20 0 20 0 85330018 26729906176 10771 33554432000 4194304 4196468 140721903026080 140721903008624 140639595409143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 /proc/13183/statm: 6525856 10771 3333 1 0 6487932 0 [pid=13183/tid=13185] ppid=13180 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/13183/task/13185/stat : 13185 (java) R 13180 13183 12973 0 -1 4202560 8195 0 0 0 18 2 0 0 20 0 20 0 85330018 26729906176 10771 33554432000 4194304 4196468 140721903026080 140639599637984 140639579489630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13186] ppid=13180 vsize=26103424 memory=12881 CPUtime=0 cores=0-7 /proc/13183/task/13186/stat : 13186 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 10771 33554432000 4194304 4196468 140721903026080 140639517989136 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13187] ppid=13180 vsize=26103424 memory=139903897176102 CPUtime=0 cores=0-7 /proc/13183/task/13187/stat : 13187 (java) S 13180 13183 12973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 10771 33554432000 4194304 4196468 140721903026080 140639516936592 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13188] ppid=13180 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13183/task/13188/stat : 13188 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 10771 33554432000 4194304 4196468 140721903026080 140639515884048 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13189] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13189/stat : 13189 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 10771 33554432000 4194304 4196468 140721903026080 140639514831504 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13190] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13190/stat : 13190 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 10771 33554432000 4194304 4196468 140721903026080 140639513778960 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13191] ppid=13180 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13183/task/13191/stat : 13191 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 10771 33554432000 4194304 4196468 140721903026080 140639512726416 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13192] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13192/stat : 13192 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 10771 33554432000 4194304 4196468 140721903026080 140639511673872 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13193] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13193/stat : 13193 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 10771 33554432000 4194304 4196468 140721903026080 140639510621328 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13194] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13194/stat : 13194 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330021 26729906176 10771 33554432000 4194304 4196468 140721903026080 140638002653168 140639595420290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13195] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13195/stat : 13195 (java) S 13180 13183 12973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 85330021 26729906176 10771 33554432000 4194304 4196468 140721903026080 140638001599392 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13196] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13196/stat : 13196 (java) S 13180 13183 12973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85330021 26729906176 10771 33554432000 4194304 4196468 140721903026080 140638000546800 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13197] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13197/stat : 13197 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 10771 33554432000 4194304 4196468 140721903026080 140637999495376 140639595427739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13198] ppid=13180 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/13183/task/13198/stat : 13198 (java) S 13180 13183 12973 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 20 0 85330024 26729906176 10771 33554432000 4194304 4196468 140721903026080 140637998442992 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13199] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13199/stat : 13199 (java) S 13180 13183 12973 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 10771 33554432000 4194304 4196468 140721903026080 140637997390448 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13200] ppid=13180 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/13183/task/13200/stat : 13200 (java) S 13180 13183 12973 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 85330024 26729906176 10771 33554432000 4194304 4196468 140721903026080 140637996337904 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13201] ppid=13180 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/13183/task/13201/stat : 13201 (java) R 13180 13183 12973 0 -1 4202560 303 0 0 0 6 0 0 0 20 0 20 0 85330024 26729906176 10771 33554432000 4194304 4196468 140721903026080 140637995284544 140639595430490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13202] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13202/stat : 13202 (java) S 13180 13183 12973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 10771 33554432000 4194304 4196468 140721903026080 140637994232032 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13203] ppid=13180 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13183/task/13203/stat : 13203 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 10771 33554432000 4194304 4196468 140721903026080 140637993179568 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 43084 KiB [startup+0.310502 s]* /proc/loadavg: 8.70 8.85 8.80 3/198 13203 /proc/meminfo: memFree=21821628/32770624 swapFree=67108860/67108860 [pid=13183] ppid=13180 vsize=26103424 memory=46588 CPUtime=0.43 cores=0-7 /proc/13183/stat : 13183 (java) S 13180 13183 12973 0 -1 1077944320 10851 0 0 0 40 3 0 0 20 0 20 0 85330018 26729906176 11647 33554432000 4194304 4196468 140721903026080 140721903008624 140639595409143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 /proc/13183/statm: 6525856 11647 3374 1 0 6487932 0 [pid=13183/tid=13185] ppid=13180 vsize=26103424 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/13183/task/13185/stat : 13185 (java) R 13180 13183 12973 0 -1 4202560 8531 0 0 0 28 2 0 0 20 0 20 0 85330018 26729906176 11647 33554432000 4194304 4196468 140721903026080 140639599617256 140639576972699 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13186] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13186/stat : 13186 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 11647 33554432000 4194304 4196468 140721903026080 140639517989136 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13187] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13187/stat : 13187 (java) S 13180 13183 12973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 11647 33554432000 4194304 4196468 140721903026080 140639516936592 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13188] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13188/stat : 13188 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 11647 33554432000 4194304 4196468 140721903026080 140639515884048 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13189] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13189/stat : 13189 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 11647 33554432000 4194304 4196468 140721903026080 140639514831504 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13190] ppid=13180 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/13183/task/13190/stat : 13190 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 11647 33554432000 4194304 4196468 140721903026080 140639513778960 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13191] ppid=13180 vsize=26103424 memory=139903795033007 CPUtime=0 cores=0-7 /proc/13183/task/13191/stat : 13191 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 11647 33554432000 4194304 4196468 140721903026080 140639512726416 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13192] ppid=13180 vsize=26103424 memory=139903795035312 CPUtime=0 cores=0-7 /proc/13183/task/13192/stat : 13192 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 11647 33554432000 4194304 4196468 140721903026080 140639511673872 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13193] ppid=13180 vsize=26103424 memory=139903795037616 CPUtime=0 cores=0-7 /proc/13183/task/13193/stat : 13193 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330019 26729906176 11647 33554432000 4194304 4196468 140721903026080 140639510621328 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13194] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13194/stat : 13194 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330021 26729906176 11647 33554432000 4194304 4196468 140721903026080 140638002653168 140639595420290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13195] ppid=13180 vsize=26103424 memory=279807590082192 CPUtime=0 cores=0-7 /proc/13183/task/13195/stat : 13195 (java) S 13180 13183 12973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 85330021 26729906176 11647 33554432000 4194304 4196468 140721903026080 140638001599392 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13196] ppid=13180 vsize=26103424 memory=279807590089104 CPUtime=0 cores=0-7 /proc/13183/task/13196/stat : 13196 (java) S 13180 13183 12973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85330021 26729906176 11647 33554432000 4194304 4196468 140721903026080 140638000546800 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13197] ppid=13180 vsize=26103424 memory=279807590030384 CPUtime=0 cores=0-7 /proc/13183/task/13197/stat : 13197 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 11647 33554432000 4194304 4196468 140721903026080 140637999495376 140639595427739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13198] ppid=13180 vsize=26103424 memory=279807590102928 CPUtime=0.01 cores=0-7 /proc/13183/task/13198/stat : 13198 (java) S 13180 13183 12973 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 85330024 26729906176 11647 33554432000 4194304 4196468 140721903026080 140637998442992 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13199] ppid=13180 vsize=26103424 memory=279807590109840 CPUtime=0 cores=0-7 /proc/13183/task/13199/stat : 13199 (java) S 13180 13183 12973 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 11647 33554432000 4194304 4196468 140721903026080 140637997390448 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13200] ppid=13180 vsize=26103424 memory=279807590107536 CPUtime=0.02 cores=0-7 /proc/13183/task/13200/stat : 13200 (java) S 13180 13183 12973 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 20 0 85330024 26729906176 11647 33554432000 4194304 4196468 140721903026080 140637996337904 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13201] ppid=13180 vsize=26103424 memory=279807590124144 CPUtime=0.07 cores=0-7 /proc/13183/task/13201/stat : 13201 (java) S 13180 13183 12973 0 -1 1077944384 322 0 0 0 7 0 0 0 20 0 20 0 85330024 26729906176 11647 33554432000 4194304 4196468 140721903026080 140637995285360 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13202] ppid=13180 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13202/stat : 13202 (java) S 13180 13183 12973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 11647 33554432000 4194304 4196468 140721903026080 140637994232032 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13203] ppid=13180 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13183/task/13203/stat : 13203 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330024 26729906176 11647 33554432000 4194304 4196468 140721903026080 140637993179568 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 46588 KiB [startup+0.700936 s] /proc/loadavg: 8.16 8.74 8.76 5/198 13203 /proc/meminfo: memFree=21797480/32770624 swapFree=67108860/67108860 [pid=13183] ppid=13180 vsize=26105492 memory=85476 CPUtime=0.99 cores=0-7 /proc/13183/stat : 13183 (java) S 13180 13183 12973 0 -1 1077944320 17840 0 0 0 94 5 0 0 20 0 20 0 85330018 26732023808 21369 33554432000 4194304 4196468 140721903026080 140721903008624 140639595409143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 /proc/13183/statm: 6526373 21369 3469 1 0 6488444 0 [pid=13183/tid=13185] ppid=13180 vsize=26105492 memory=0 CPUtime=0.68 cores=0-7 /proc/13183/task/13185/stat : 13185 (java) R 13180 13183 12973 0 -1 4202560 15029 0 0 0 64 4 0 0 20 0 20 0 85330018 26732023808 21369 33554432000 4194304 4196468 140721903026080 140639599633312 140639595431069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13186] ppid=13180 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13186/stat : 13186 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26732023808 21369 33554432000 4194304 4196468 140721903026080 140639517989136 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13187] ppid=13180 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13187/stat : 13187 (java) S 13180 13183 12973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85330019 26732023808 21369 33554432000 4194304 4196468 140721903026080 140639516936592 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13188] ppid=13180 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/13183/task/13188/stat : 13188 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330019 26732023808 21369 33554432000 4194304 4196468 140721903026080 140639515884048 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13189] ppid=13180 vsize=26105492 memory=1200 CPUtime=0 cores=0-7 /proc/13183/task/13189/stat : 13189 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26732023808 21369 33554432000 4194304 4196468 140721903026080 140639514831504 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13190] ppid=13180 vsize=26105492 memory=10612 CPUtime=0 cores=0-7 /proc/13183/task/13190/stat : 13190 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330019 26732023808 21369 33554432000 4194304 4196468 140721903026080 140639513778960 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13191] ppid=13180 vsize=26105492 memory=4616 CPUtime=0 cores=0-7 /proc/13183/task/13191/stat : 13191 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26732023808 21369 33554432000 4194304 4196468 140721903026080 140639512726416 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13192] ppid=13180 vsize=26105492 memory=1428 CPUtime=0 cores=0-7 /proc/13183/task/13192/stat : 13192 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330019 26732023808 21369 33554432000 4194304 4196468 140721903026080 140639511673872 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13193] ppid=13180 vsize=26105492 memory=15876 CPUtime=0 cores=0-7 /proc/13183/task/13193/stat : 13193 (java) S 13180 13183 12973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85330019 26732023808 21369 33554432000 4194304 4196468 140721903026080 140639510621328 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13194] ppid=13180 vsize=26105492 memory=16412 CPUtime=0 cores=0-7 /proc/13183/task/13194/stat : 13194 (java) S 13180 13183 12973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85330021 26732023808 21369 33554432000 4194304 4196468 140721903026080 140638002653168 140639595420290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 ################ # More data... # ################ [startup+2520.56 s] # the end of solver process 13183 was just reported to runsolver # cumulated CPU time of all completed processes: user=20025.4 s, system=10.1225 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.41 s] /proc/loadavg: 8.81 8.86 8.79 11/212 13275 /proc/meminfo: memFree=19542008/32770624 swapFree=67108860/67108860 [pid=13183] ppid=13180 vsize=27518736 memory=2320180 CPUtime=20034.4 cores=0-7 /proc/13183/stat : 13183 (java) S 13180 13183 12973 0 -1 1077944320 1451336 0 0 0 2002430 1010 0 0 20 0 42 0 85330018 28179185664 580045 33554432000 4194304 4196468 140721903026080 140721903008624 140639595409143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 /proc/13183/statm: 6879684 580045 3624 1 0 6841234 0 [pid=13183/tid=13185] ppid=13180 vsize=27518736 memory=1408 CPUtime=4.33 cores=0-7 /proc/13183/task/13185/stat : 13185 (java) S 13180 13183 12973 0 -1 1077944384 22139 0 0 0 425 8 0 0 20 0 42 0 85330018 28179185664 580045 33554432000 4194304 4196468 140721903026080 140639599646608 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13186] ppid=13180 vsize=27518736 memory=3884 CPUtime=12.63 cores=0-7 /proc/13183/task/13186/stat : 13186 (java) S 13180 13183 12973 0 -1 1077944384 94061 0 0 0 1223 40 0 0 20 0 42 0 85330019 28179185664 580045 33554432000 4194304 4196468 140721903026080 140639517989136 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13187] ppid=13180 vsize=27518736 memory=2316940 CPUtime=12.64 cores=0-7 /proc/13183/task/13187/stat : 13187 (java) S 13180 13183 12973 0 -1 1077944384 92785 0 0 0 1224 40 0 0 20 0 42 0 85330019 28179185664 580045 33554432000 4194304 4196468 140721903026080 140639516936592 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13188] ppid=13180 vsize=27518736 memory=1796 CPUtime=12.67 cores=0-7 /proc/13183/task/13188/stat : 13188 (java) S 13180 13183 12973 0 -1 1077944384 108555 0 0 0 1225 42 0 0 20 0 42 0 85330019 28179185664 580045 33554432000 4194304 4196468 140721903026080 140639515884048 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13189] ppid=13180 vsize=27518736 memory=916 CPUtime=12.63 cores=0-7 /proc/13183/task/13189/stat : 13189 (java) S 13180 13183 12973 0 -1 1077944384 99796 0 0 0 1221 42 0 0 20 0 42 0 85330019 28179185664 580045 33554432000 4194304 4196468 140721903026080 140639514831504 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13190] ppid=13180 vsize=27518736 memory=4872558044660077418 CPUtime=12.62 cores=0-7 /proc/13183/task/13190/stat : 13190 (java) S 13180 13183 12973 0 -1 1077944384 92254 0 0 0 1223 39 0 0 20 0 42 0 85330019 28179185664 580045 33554432000 4194304 4196468 140721903026080 140639513778960 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13191] ppid=13180 vsize=27518736 memory=9992 CPUtime=12.68 cores=0-7 /proc/13183/task/13191/stat : 13191 (java) S 13180 13183 12973 0 -1 1077944384 102380 0 0 0 1226 42 0 0 20 0 42 0 85330019 28179185664 580045 33554432000 4194304 4196468 140721903026080 140639512726416 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13192] ppid=13180 vsize=27518736 memory=1228 CPUtime=12.56 cores=0-7 /proc/13183/task/13192/stat : 13192 (java) S 13180 13183 12973 0 -1 1077944384 95992 0 0 0 1215 41 0 0 20 0 42 0 85330019 28179185664 580045 33554432000 4194304 4196468 140721903026080 140639511673872 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13193] ppid=13180 vsize=27518736 memory=1952 CPUtime=12.55 cores=0-7 /proc/13183/task/13193/stat : 13193 (java) S 13180 13183 12973 0 -1 1077944384 95086 0 0 0 1212 43 0 0 20 0 42 0 85330019 28179185664 580045 33554432000 4194304 4196468 140721903026080 140639510621328 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13194] ppid=13180 vsize=27518736 memory=1200 CPUtime=2.25 cores=0-7 /proc/13183/task/13194/stat : 13194 (java) S 13180 13183 12973 0 -1 1077944384 130104 0 0 0 173 52 0 0 20 0 42 0 85330021 28179185664 580045 33554432000 4194304 4196468 140721903026080 140638002653120 140639595419349 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13195] ppid=13180 vsize=27518736 memory=10612 CPUtime=0 cores=0-7 /proc/13183/task/13195/stat : 13195 (java) S 13180 13183 12973 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 42 0 85330021 28179185664 580045 33554432000 4194304 4196468 140721903026080 140638001599456 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13196] ppid=13180 vsize=27518736 memory=4616 CPUtime=0 cores=0-7 /proc/13183/task/13196/stat : 13196 (java) S 13180 13183 12973 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 42 0 85330021 28179185664 580045 33554432000 4194304 4196468 140721903026080 140638000546816 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13197] ppid=13180 vsize=27518736 memory=1428 CPUtime=0 cores=0-7 /proc/13183/task/13197/stat : 13197 (java) S 13180 13183 12973 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 42 0 85330024 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637999495376 140639595427739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13198] ppid=13180 vsize=27518736 memory=15876 CPUtime=1.9 cores=0-7 /proc/13183/task/13198/stat : 13198 (java) S 13180 13183 12973 0 -1 1077944384 7258 0 0 0 187 3 0 0 20 0 42 0 85330024 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637998442992 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13199] ppid=13180 vsize=27518736 memory=16412 CPUtime=1.92 cores=0-7 /proc/13183/task/13199/stat : 13199 (java) R 13180 13183 12973 0 -1 4202560 6308 0 0 0 191 1 0 0 20 0 42 0 85330024 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637997376472 140639575102243 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13200] ppid=13180 vsize=27518736 memory=14552 CPUtime=2.07 cores=0-7 /proc/13183/task/13200/stat : 13200 (java) S 13180 13183 12973 0 -1 1077944384 7927 0 0 0 205 2 0 0 20 0 42 0 85330024 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637996337904 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13201] ppid=13180 vsize=27518736 memory=0 CPUtime=1.09 cores=0-7 /proc/13183/task/13201/stat : 13201 (java) S 13180 13183 12973 0 -1 1077944384 12459 0 0 0 106 3 0 0 20 0 42 0 85330024 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637995285360 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13202] ppid=13180 vsize=27518736 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/13183/task/13202/stat : 13202 (java) S 13180 13183 12973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 85330024 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637994232032 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13203] ppid=13180 vsize=27518736 memory=4100 CPUtime=0.97 cores=0-7 /proc/13183/task/13203/stat : 13203 (java) S 13180 13183 12973 0 -1 1077944384 7154 0 0 0 49 48 0 0 20 0 42 0 85330024 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637993179568 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13204] ppid=13180 vsize=27518736 memory=1408 CPUtime=0 cores=0-7 /proc/13183/task/13204/stat : 13204 (java) S 13180 13183 12973 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 42 0 85330417 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637981831936 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13205] ppid=13180 vsize=27518736 memory=3884 CPUtime=5.05 cores=0-7 /proc/13183/task/13205/stat : 13205 (java) S 13180 13183 12973 0 -1 1077944384 18062 0 0 0 179 326 0 0 20 0 42 0 85330439 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637976585264 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13206] ppid=13180 vsize=27518736 memory=2316940 CPUtime=0.03 cores=0-7 /proc/13183/task/13206/stat : 13206 (java) S 13180 13183 12973 0 -1 1077944384 353 0 0 0 3 0 0 0 20 0 42 0 85330455 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637975532336 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13207] ppid=13180 vsize=27518736 memory=6791534058613427641 CPUtime=2490.81 cores=0-7 /proc/13183/task/13207/stat : 13207 (java) R 13180 13183 12973 0 -1 4202560 55423 0 0 0 249006 75 0 0 20 0 42 0 85330456 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637974472328 140639196843681 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13208] ppid=13180 vsize=27518736 memory=4872558044660077418 CPUtime=2486.41 cores=0-7 /proc/13183/task/13208/stat : 13208 (java) R 13180 13183 12973 0 -1 4202560 58798 0 0 0 248565 76 0 0 20 0 42 0 85330456 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637973419784 140639196843267 0 4 0 16800975 0 0 0 -1 5 0 0 34 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13209] ppid=13180 vsize=27518736 memory=1428 CPUtime=2486.55 cores=0-7 /proc/13183/task/13209/stat : 13209 (java) R 13180 13183 12973 0 -1 4202560 54901 0 0 0 248578 77 0 0 20 0 42 0 85330464 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637970269784 140639193182367 0 4 0 16800975 0 0 0 -1 2 0 0 32 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13210] ppid=13180 vsize=27518736 memory=15876 CPUtime=0.07 cores=0-7 /proc/13183/task/13210/stat : 13210 (java) S 13180 13183 12973 0 -1 1077944384 106 0 0 0 7 0 0 0 20 0 42 0 85330464 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637969223312 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13211] ppid=13180 vsize=27518736 memory=16412 CPUtime=2489.64 cores=0-7 /proc/13183/task/13211/stat : 13211 (java) R 13180 13183 12973 0 -1 4202560 55397 0 0 0 248886 78 0 0 20 0 42 0 85330464 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637968163768 140639196843236 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13212] ppid=13180 vsize=27518736 memory=6791534058613427641 CPUtime=2487.76 cores=0-7 /proc/13183/task/13212/stat : 13212 (java) R 13180 13183 12973 0 -1 4202560 58904 0 0 0 248706 70 0 0 20 0 42 0 85330464 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637967111128 140639196843664 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13213] ppid=13180 vsize=27518736 memory=4048 CPUtime=2491.47 cores=0-7 /proc/13183/task/13213/stat : 13213 (java) R 13180 13183 12973 0 -1 4202560 59189 0 0 0 249073 74 0 0 20 0 42 0 85330464 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637457167400 140639196843681 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13214] ppid=13180 vsize=27518736 memory=2317964 CPUtime=2487.98 cores=0-7 /proc/13183/task/13214/stat : 13214 (java) R 13180 13183 12973 0 -1 4202560 57008 0 0 0 248722 76 0 0 20 0 42 0 85330464 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637456115432 140639198490130 0 4 0 16800975 0 0 0 -1 3 0 0 30 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13215] ppid=13180 vsize=27518736 memory=636 CPUtime=2492.78 cores=0-7 /proc/13183/task/13215/stat : 13215 (java) R 13180 13183 12973 0 -1 4202560 56197 0 0 0 249204 74 0 0 20 0 42 0 85330465 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637455062456 140639196843914 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13216] ppid=13180 vsize=27518736 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13183/task/13216/stat : 13216 (java) S 13180 13183 12973 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 42 0 85330466 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637454010592 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13217] ppid=13180 vsize=27518736 memory=2344 CPUtime=0.01 cores=0-7 /proc/13183/task/13217/stat : 13217 (java) S 13180 13183 12973 0 -1 1077944384 303 0 0 0 1 0 0 0 20 0 42 0 85330484 28179185664 580045 33554432000 4194304 4196468 140721903026080 140637450830352 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 Current children cumulated CPU time: 20034.4 s Current children cumulated vsize: 27518736 KiB Current children cumulated memory: 2320180 KiB [startup+2520.51 s] /proc/loadavg: 8.81 8.86 8.79 11/212 13275 /proc/meminfo: memFree=19542008/32770624 swapFree=67108860/67108860 [pid=13183] ppid=13180 vsize=27783964 memory=2322252 CPUtime=20035.1 cores=0-7 /proc/13183/stat : 13183 (java) S 13180 13183 12973 0 -1 1077944320 1451967 0 0 0 2002503 1010 0 0 20 0 45 0 85330018 28450779136 580563 33554432000 4194304 4196468 140721903026080 140721903008624 140639595409143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 /proc/13183/statm: 6945991 580563 3624 1 0 6907541 0 [pid=13183/tid=13185] ppid=13180 vsize=27783964 memory=2317276 CPUtime=4.33 cores=0-7 /proc/13183/task/13185/stat : 13185 (java) S 13180 13183 12973 0 -1 1077944384 22139 0 0 0 425 8 0 0 20 0 45 0 85330018 28450779136 580563 33554432000 4194304 4196468 140721903026080 140639599646608 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13186] ppid=13180 vsize=27783964 memory=2316940 CPUtime=12.63 cores=0-7 /proc/13183/task/13186/stat : 13186 (java) S 13180 13183 12973 0 -1 1077944384 94061 0 0 0 1223 40 0 0 20 0 45 0 85330019 28450779136 580563 33554432000 4194304 4196468 140721903026080 140639517989136 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13187] ppid=13180 vsize=27783964 memory=2316940 CPUtime=12.64 cores=0-7 /proc/13183/task/13187/stat : 13187 (java) S 13180 13183 12973 0 -1 1077944384 92785 0 0 0 1224 40 0 0 20 0 45 0 85330019 28450779136 580563 33554432000 4194304 4196468 140721903026080 140639516936592 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13188] ppid=13180 vsize=27783964 memory=2317964 CPUtime=12.67 cores=0-7 /proc/13183/task/13188/stat : 13188 (java) S 13180 13183 12973 0 -1 1077944384 108555 0 0 0 1225 42 0 0 20 0 45 0 85330019 28450779136 580563 33554432000 4194304 4196468 140721903026080 140639515884048 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13189] ppid=13180 vsize=27783964 memory=56 CPUtime=12.63 cores=0-7 /proc/13183/task/13189/stat : 13189 (java) S 13180 13183 12973 0 -1 1077944384 99796 0 0 0 1221 42 0 0 20 0 45 0 85330019 28450779136 580563 33554432000 4194304 4196468 140721903026080 140639514831504 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13190] ppid=13180 vsize=27783964 memory=2319504 CPUtime=12.62 cores=0-7 /proc/13183/task/13190/stat : 13190 (java) S 13180 13183 12973 0 -1 1077944384 92254 0 0 0 1223 39 0 0 20 0 45 0 85330019 28450779136 580563 33554432000 4194304 4196468 140721903026080 140639513778960 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13191] ppid=13180 vsize=27783964 memory=3471342300115900192 CPUtime=12.68 cores=0-7 /proc/13183/task/13191/stat : 13191 (java) S 13180 13183 12973 0 -1 1077944384 102380 0 0 0 1226 42 0 0 20 0 45 0 85330019 28450779136 580563 33554432000 4194304 4196468 140721903026080 140639512726416 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13192] ppid=13180 vsize=27783964 memory=2320016 CPUtime=12.56 cores=0-7 /proc/13183/task/13192/stat : 13192 (java) S 13180 13183 12973 0 -1 1077944384 95992 0 0 0 1215 41 0 0 20 0 45 0 85330019 28450779136 580563 33554432000 4194304 4196468 140721903026080 140639511673872 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13193] ppid=13180 vsize=27783964 memory=2316940 CPUtime=12.55 cores=0-7 /proc/13183/task/13193/stat : 13193 (java) S 13180 13183 12973 0 -1 1077944384 95086 0 0 0 1212 43 0 0 20 0 45 0 85330019 28450779136 580563 33554432000 4194304 4196468 140721903026080 140639510621328 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13194] ppid=13180 vsize=27783964 memory=2318208 CPUtime=2.25 cores=0-7 /proc/13183/task/13194/stat : 13194 (java) S 13180 13183 12973 0 -1 1077944384 130104 0 0 0 173 52 0 0 20 0 45 0 85330021 28450779136 580563 33554432000 4194304 4196468 140721903026080 140638002653168 140639595420290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13195] ppid=13180 vsize=27783964 memory=2337460 CPUtime=0 cores=0-7 /proc/13183/task/13195/stat : 13195 (java) S 13180 13183 12973 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 45 0 85330021 28450779136 580563 33554432000 4194304 4196468 140721903026080 140638001599456 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13196] ppid=13180 vsize=27783964 memory=56 CPUtime=0 cores=0-7 /proc/13183/task/13196/stat : 13196 (java) S 13180 13183 12973 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 45 0 85330021 28450779136 580563 33554432000 4194304 4196468 140721903026080 140638000546816 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13197] ppid=13180 vsize=27783964 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/13183/task/13197/stat : 13197 (java) S 13180 13183 12973 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 45 0 85330024 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637999495376 140639595427739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13198] ppid=13180 vsize=27783964 memory=0 CPUtime=1.9 cores=0-7 /proc/13183/task/13198/stat : 13198 (java) S 13180 13183 12973 0 -1 1077944384 7259 0 0 0 187 3 0 0 20 0 45 0 85330024 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637998436016 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13199] ppid=13180 vsize=27783964 memory=2317964 CPUtime=1.97 cores=0-7 /proc/13183/task/13199/stat : 13199 (java) R 13180 13183 12973 0 -1 1077944384 6751 0 0 0 196 1 0 0 20 0 45 0 85330024 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637997390448 140639595420290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13200] ppid=13180 vsize=27783964 memory=-7523660553960122769 CPUtime=2.07 cores=0-7 /proc/13183/task/13200/stat : 13200 (java) S 13180 13183 12973 0 -1 1077944384 7927 0 0 0 205 2 0 0 20 0 45 0 85330024 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637996337904 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13201] ppid=13180 vsize=27783964 memory=2320016 CPUtime=1.09 cores=0-7 /proc/13183/task/13201/stat : 13201 (java) S 13180 13183 12973 0 -1 1077944384 12460 0 0 0 106 3 0 0 20 0 45 0 85330024 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637995285360 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13202] ppid=13180 vsize=27783964 memory=4128 CPUtime=0 cores=0-7 /proc/13183/task/13202/stat : 13202 (java) S 13180 13183 12973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 85330024 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637994232032 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13203] ppid=13180 vsize=27783964 memory=0 CPUtime=0.97 cores=0-7 /proc/13183/task/13203/stat : 13203 (java) S 13180 13183 12973 0 -1 1077944384 7154 0 0 0 49 48 0 0 20 0 45 0 85330024 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637993179568 140639595420290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13204] ppid=13180 vsize=27783964 memory=7667209514904740944 CPUtime=0 cores=0-7 /proc/13183/task/13204/stat : 13204 (java) S 13180 13183 12973 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 45 0 85330417 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637981831936 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13205] ppid=13180 vsize=27783964 memory=4465 CPUtime=5.05 cores=0-7 /proc/13183/task/13205/stat : 13205 (java) R 13180 13183 12973 0 -1 1077944384 18062 0 0 0 179 326 0 0 20 0 45 0 85330439 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637976585264 140639595420290 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13206] ppid=13180 vsize=27783964 memory=4420 CPUtime=0.04 cores=0-7 /proc/13183/task/13206/stat : 13206 (java) R 13180 13183 12973 0 -1 1077944384 377 0 0 0 4 0 0 0 20 0 45 0 85330455 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637975511488 140639595419349 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13207] ppid=13180 vsize=27783964 memory=2325148 CPUtime=2490.87 cores=0-7 /proc/13183/task/13207/stat : 13207 (java) R 13180 13183 12973 0 -1 4202560 55423 0 0 0 249012 75 0 0 20 0 45 0 85330456 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637974472328 140639196843664 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13208] ppid=13180 vsize=27783964 memory=932 CPUtime=2486.5 cores=0-7 /proc/13183/task/13208/stat : 13208 (java) R 13180 13183 12973 0 -1 4202560 58798 0 0 0 248574 76 0 0 20 0 45 0 85330456 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637973419480 140639196843446 0 4 0 16800975 0 0 0 -1 5 0 0 34 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13209] ppid=13180 vsize=27783964 memory=16412 CPUtime=2486.62 cores=0-7 /proc/13183/task/13209/stat : 13209 (java) R 13180 13183 12973 0 -1 4202560 54901 0 0 0 248585 77 0 0 20 0 45 0 85330464 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637970269648 140639193544730 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13210] ppid=13180 vsize=27783964 memory=14552 CPUtime=0.07 cores=0-7 /proc/13183/task/13210/stat : 13210 (java) S 13180 13183 12973 0 -1 1077944384 110 0 0 0 7 0 0 0 20 0 45 0 85330464 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637969224368 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13211] ppid=13180 vsize=27783964 memory=4048 CPUtime=2489.74 cores=0-7 /proc/13183/task/13211/stat : 13211 (java) R 13180 13183 12973 0 -1 4202560 55397 0 0 0 248896 78 0 0 20 0 45 0 85330464 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637968163536 140639199532230 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13212] ppid=13180 vsize=27783964 memory=2329252 CPUtime=2487.85 cores=0-7 /proc/13183/task/13212/stat : 13212 (java) R 13180 13183 12973 0 -1 4202560 58904 0 0 0 248715 70 0 0 20 0 45 0 85330464 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637967111088 140639196843681 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13213] ppid=13180 vsize=27783964 memory=4128 CPUtime=2491.57 cores=0-7 /proc/13183/task/13213/stat : 13213 (java) R 13180 13183 12973 0 -1 4202560 59189 0 0 0 249083 74 0 0 20 0 45 0 85330464 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637457167712 140639190983744 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13214] ppid=13180 vsize=27783964 memory=2316940 CPUtime=2488.07 cores=0-7 /proc/13183/task/13214/stat : 13214 (java) R 13180 13183 12973 0 -1 4202560 57008 0 0 0 248731 76 0 0 20 0 45 0 85330464 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637456115560 140639190983788 0 4 0 16800975 0 0 0 -1 7 0 0 30 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13215] ppid=13180 vsize=27783964 memory=2224 CPUtime=2492.86 cores=0-7 /proc/13183/task/13215/stat : 13215 (java) R 13180 13183 12973 0 -1 4202560 56197 0 0 0 249212 74 0 0 20 0 45 0 85330465 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637455062456 140639196843510 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13216] ppid=13180 vsize=27783964 memory=531 CPUtime=0.01 cores=0-7 /proc/13183/task/13216/stat : 13216 (java) R 13180 13183 12973 0 -1 4202560 146 0 0 0 1 0 0 0 20 0 45 0 85330466 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637454005712 140639190782617 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 [pid=13183/tid=13217] ppid=13180 vsize=27783964 memory=0 CPUtime=0.01 cores=0-7 /proc/13183/task/13217/stat : 13217 (java) S 13180 13183 12973 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 45 0 85330484 28450779136 580563 33554432000 4194304 4196468 140721903026080 140637450831408 140639595419349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140721903027278 140721903027461 140721903027461 140721903030223 0 Current children cumulated CPU time: 20035.1 s Current children cumulated vsize: 27783964 KiB Current children cumulated memory: 2322252 KiB Child status: 143 Real time (s): 2520.56 CPU time (s): 20035.5 CPU user time (s): 20025.4 CPU system time (s): 10.1225 CPU usage (%): 794.881 Max. virtual memory (cumulated for all children) (KiB): 27783964 Max. memory (cumulated for all children) (KiB): 3034092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20025.4 system time used= 10.1225 maximum resident set size= 3037980 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1452169 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 423201 involuntary context switches= 420035 # summary of solver processes directly reported to runsolver: # pid: 13183 # total CPU time (s): 20035.5 # total CPU user time (s): 20025.4 # total CPU system time (s): 10.1225 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.1102 second user time and 29.5568 second system time The end
Begin job on node139 at 2018-07-27 09:47:48 IDJOB=4291377 IDBENCH=141586 IDSOLVER=2745 FILE ID=node139/4291377-1532677668 RUNJOBID= node139-1532675147-13000 PBS_JOBID= 21022253 Free space on /tmp= 38716 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/Frb/frb-56-25-1-mgd_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291377-1532677668/watcher-4291377-1532677668 -o /tmp/evaluation-result-4291377-1532677668/solver-4291377-1532677668 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532675147-13000 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 630552745 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291377-1532677668.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8755358fe24c17b0dd51c4ab818b1437 RANDOM SEED=630552745 node139.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.80 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.80 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.80 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.80 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: 21855740 kB MemAvailable: 31930688 kB Buffers: 211060 kB Cached: 9980752 kB SwapCached: 0 kB Active: 3064276 kB Inactive: 7179168 kB Active(anon): 5620 kB Inactive(anon): 73612 kB Active(file): 3058656 kB Inactive(file): 7105556 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 36016 kB Writeback: 32 kB AnonPages: 57904 kB Mapped: 41748 kB Shmem: 25228 kB Slab: 365992 kB SReclaimable: 339196 kB SUnreclaim: 26796 kB KernelStack: 3168 kB PageTables: 4964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324188 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 38684 MiB End job on node139 at 2018-07-27 10:29:49