| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-09-24 parallel | ? (TO) | 20048 | 2520.12 |
| Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-27-083.xml |
| MD5SUM | d1662e28cf77722711a0da36cf655d3c |
| 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 | 54 |
| Number of constraints | 351 |
| Number of domains | 27 |
| Minimum domain size | 57 |
| Maximum domain size | 83 |
| Distribution of domain sizes | [{"size":57,"count":2},{"size":58,"count":2},{"size":59,"count":2},{"size":60,"count":2},{"size":61,"count":2},{"size":62,"count":2},{"size":63,"count":2},{"size":64,"count":2},{"size":65,"count":2},{"size":66,"count":2},{"size":67,"count":2},{"size":68,"count":2},{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2}] |
| Minimum variable degree | 26 |
| Maximum variable degree | 26 |
| Distribution of variable degrees | [{"degree":26,"count":54}] |
| Minimum constraint arity | 4 |
| Maximum constraint arity | 4 |
| Distribution of constraint arities | [{"arity":4,"count":351}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 351 |
| Distribution of constraint types | [{"type":"intension","count":351}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406862-1569365987.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406862-1569365987.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 4.89/1.42 c solve instance... 20047.25/2520.10 s UNKNOWN 20047.25/2520.10 c Unexpected resolution interruption!
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 (13339 MiB free)
memory of node 1: 16384 MiB (12504 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406862-1569365987/watcher-4406862-1569365987 -o /var/tmp/evaluation-result-4406862-1569365987/solver-4406862-1569365987 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569359183-18579 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1014479419 HOME/instance-4406862-1569365987.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=20645, runsolver pid=20642
[startup+0.100143 s]*
/proc/loadavg: 7.98 7.67 7.62 2/212 20666
/proc/meminfo: memFree=26449572/32770624 swapFree=67002124/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20645/stat : 20645 (xcsp3-exec) S 20642 20645 18552 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512847287 115843072 363 33554432000 4194304 5098028 140725148735520 140725148733624 140121269179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16297984 140725148738385 140725148738645 140725148738645 140725148741574 0
/proc/20645/statm: 28282 363 304 221 0 87 0
[pid=20647] ppid=20645 vsize=28227396 memory=28920 CPUtime=0.12 cores=0-7
/proc/20647/stat : 20647 (java) S 20645 20645 18552 0 -1 1077944320 5713 0 0 0 11 1 0 0 20 0 20 0 512847288 28904853504 7230 33554432000 4194304 4196468 140728232534144 140728232516688 139903350361847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
/proc/20647/statm: 7056849 7230 3122 1 0 7019032 0
[pid=20647/tid=20648] ppid=20645 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/20647/task/20648/stat : 20648 (java) R 20645 20645 18552 0 -1 4202560 3619 0 0 0 8 1 0 0 20 0 20 0 512847288 28904853504 7230 33554432000 4194304 4196468 140728232534144 139903354598272 139903350383773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20649] ppid=20645 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20647/task/20649/stat : 20649 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 7230 33554432000 4194304 4196468 140728232534144 139903270213904 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20650] ppid=20645 vsize=28227396 memory=139743166842496 CPUtime=0 cores=0-7
/proc/20647/task/20650/stat : 20650 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 7230 33554432000 4194304 4196468 140728232534144 139903269161360 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20651] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20651/stat : 20651 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 7230 33554432000 4194304 4196468 140728232534144 139903268108816 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20652] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20652/stat : 20652 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 7230 33554432000 4194304 4196468 140728232534144 139903267056272 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20653] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20653/stat : 20653 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 7230 33554432000 4194304 4196468 140728232534144 139903266003728 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20654] ppid=20645 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20647/task/20654/stat : 20654 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 7230 33554432000 4194304 4196468 140728232534144 139903264951184 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20655] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20655/stat : 20655 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 7230 33554432000 4194304 4196468 140728232534144 139903263898640 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20656] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20656/stat : 20656 (java) S 20645 20645 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 7230 33554432000 4194304 4196468 140728232534144 139903262846096 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20657] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20657/stat : 20657 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847290 28904853504 7230 33554432000 4194304 4196468 140728232534144 139902734936048 139903350372994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20658] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20658/stat : 20658 (java) S 20645 20645 18552 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 512847291 28904853504 7230 33554432000 4194304 4196468 140728232534144 139902733882272 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20659] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20659/stat : 20659 (java) S 20645 20645 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512847291 28904853504 7230 33554432000 4194304 4196468 140728232534144 139902732829680 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20660] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20660/stat : 20660 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847293 28904853504 7230 33554432000 4194304 4196468 140728232534144 139902731778256 139903350380443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20661] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20661/stat : 20661 (java) S 20645 20645 18552 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 512847293 28904853504 7230 33554432000 4194304 4196468 140728232534144 139902730725872 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20662] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20662/stat : 20662 (java) S 20645 20645 18552 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 512847293 28904853504 7230 33554432000 4194304 4196468 140728232534144 139902729673328 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20663] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20663/stat : 20663 (java) S 20645 20645 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512847293 28904853504 7230 33554432000 4194304 4196468 140728232534144 139902728620784 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20664] ppid=20645 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/20647/task/20664/stat : 20664 (java) R 20645 20645 18552 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 512847293 28904853504 7230 33554432000 4194304 4196468 140728232534144 139902727568240 139903329487263 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20665] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20665/stat : 20665 (java) S 20645 20645 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512847294 28904853504 7230 33554432000 4194304 4196468 140728232534144 139902726514912 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20666] ppid=20645 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20647/task/20666/stat : 20666 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847294 28904853504 7230 33554432000 4194304 4196468 140728232534144 139902725462448 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30372 KiB
[startup+0.210192 s]*
/proc/loadavg: 7.98 7.67 7.62 2/212 20666
/proc/meminfo: memFree=26436496/32770624 swapFree=67002124/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20645/stat : 20645 (xcsp3-exec) S 20642 20645 18552 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512847287 115843072 363 33554432000 4194304 5098028 140725148735520 140725148733624 140121269179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16297984 140725148738385 140725148738645 140725148738645 140725148741574 0
/proc/20645/statm: 28282 363 304 221 0 87 0
[pid=20647] ppid=20645 vsize=28227396 memory=40436 CPUtime=0.33 cores=0-7
/proc/20647/stat : 20647 (java) S 20645 20645 18552 0 -1 1077944320 9403 0 0 0 30 3 0 0 20 0 20 0 512847288 28904853504 10109 33554432000 4194304 4196468 140728232534144 140728232516688 139903350361847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
/proc/20647/statm: 7056849 10109 3291 1 0 7019032 0
[pid=20647/tid=20648] ppid=20645 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20647/task/20648/stat : 20648 (java) R 20645 20645 18552 0 -1 4202560 6632 0 0 0 17 2 0 0 20 0 20 0 512847288 28904853504 10109 33554432000 4194304 4196468 140728232534144 139903354594576 139903350373782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20649] ppid=20645 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/20647/task/20649/stat : 20649 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 10109 33554432000 4194304 4196468 140728232534144 139903270213904 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20650] ppid=20645 vsize=28227396 memory=139743170639356 CPUtime=0 cores=0-7
/proc/20647/task/20650/stat : 20650 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 10109 33554432000 4194304 4196468 140728232534144 139903269161360 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20651] ppid=20645 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20647/task/20651/stat : 20651 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 10109 33554432000 4194304 4196468 140728232534144 139903268108816 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20652] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20652/stat : 20652 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 10109 33554432000 4194304 4196468 140728232534144 139903267056272 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20653] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20653/stat : 20653 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 10109 33554432000 4194304 4196468 140728232534144 139903266003728 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20654] ppid=20645 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20647/task/20654/stat : 20654 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 10109 33554432000 4194304 4196468 140728232534144 139903264951184 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20655] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20655/stat : 20655 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 10109 33554432000 4194304 4196468 140728232534144 139903263898640 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20656] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20656/stat : 20656 (java) S 20645 20645 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512847289 28904853504 10109 33554432000 4194304 4196468 140728232534144 139903262846096 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20657] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20657/stat : 20657 (java) S 20645 20645 18552 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 512847290 28904853504 10109 33554432000 4194304 4196468 140728232534144 139902734936048 139903350372994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20658] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20658/stat : 20658 (java) S 20645 20645 18552 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 512847291 28904853504 10109 33554432000 4194304 4196468 140728232534144 139902733882272 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20659] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20659/stat : 20659 (java) S 20645 20645 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512847291 28904853504 10109 33554432000 4194304 4196468 140728232534144 139902732829680 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20660] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20660/stat : 20660 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847293 28904853504 10109 33554432000 4194304 4196468 140728232534144 139902731778256 139903350380443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20661] ppid=20645 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20647/task/20661/stat : 20661 (java) S 20645 20645 18552 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 512847293 28904853504 10109 33554432000 4194304 4196468 140728232534144 139902730725872 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20662] ppid=20645 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/20647/task/20662/stat : 20662 (java) R 20645 20645 18552 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 512847293 28904853504 10109 33554432000 4194304 4196468 140728232534144 139902729673328 139903350372994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20663] ppid=20645 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/20647/task/20663/stat : 20663 (java) S 20645 20645 18552 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 512847293 28904853504 10175 33554432000 4194304 4196468 140728232534144 139902728620784 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20664] ppid=20645 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/20647/task/20664/stat : 20664 (java) R 20645 20645 18552 0 -1 4202560 792 0 0 0 7 0 0 0 20 0 20 0 512847293 28904853504 10175 33554432000 4194304 4196468 140728232534144 139902727568240 139903350373782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20665] ppid=20645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20665/stat : 20665 (java) S 20645 20645 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512847294 28904853504 10175 33554432000 4194304 4196468 140728232534144 139902726514912 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20666] ppid=20645 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20647/task/20666/stat : 20666 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847294 28904853504 10175 33554432000 4194304 4196468 140728232534144 139902725462448 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41888 KiB
[startup+0.309536 s]*
/proc/loadavg: 7.98 7.67 7.62 3/211 20666
/proc/meminfo: memFree=26429096/32770624 swapFree=67002124/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20645/stat : 20645 (xcsp3-exec) S 20642 20645 18552 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512847287 115843072 363 33554432000 4194304 5098028 140725148735520 140725148733624 140121269179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16297984 140725148738385 140725148738645 140725148738645 140725148741574 0
/proc/20645/statm: 28282 363 304 221 0 87 0
[pid=20647] ppid=20645 vsize=28231652 memory=49788 CPUtime=0.52 cores=0-7
/proc/20647/stat : 20647 (java) S 20645 20645 18552 0 -1 1077944320 10839 0 0 0 48 4 0 0 20 0 20 0 512847288 28909211648 12447 33554432000 4194304 4196468 140728232534144 140728232516688 139903350361847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
/proc/20647/statm: 7057913 12447 3360 1 0 7019032 0
[pid=20647/tid=20648] ppid=20645 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20647/task/20648/stat : 20648 (java) R 20645 20645 18552 0 -1 4202560 7733 0 0 0 26 3 0 0 20 0 20 0 512847288 28909211648 12447 33554432000 4194304 4196468 140728232534144 139903354592960 139903334442364 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20649] ppid=20645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20649/stat : 20649 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847289 28909211648 12447 33554432000 4194304 4196468 140728232534144 139903270213904 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20650] ppid=20645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20650/stat : 20650 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28909211648 12447 33554432000 4194304 4196468 140728232534144 139903269161360 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20651] ppid=20645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20651/stat : 20651 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28909211648 12447 33554432000 4194304 4196468 140728232534144 139903268108816 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20652] ppid=20645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20652/stat : 20652 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28909211648 12447 33554432000 4194304 4196468 140728232534144 139903267056272 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20653] ppid=20645 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/20647/task/20653/stat : 20653 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28909211648 12447 33554432000 4194304 4196468 140728232534144 139903266003728 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20654] ppid=20645 vsize=28231652 memory=139743069303727 CPUtime=0 cores=0-7
/proc/20647/task/20654/stat : 20654 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847289 28909211648 12447 33554432000 4194304 4196468 140728232534144 139903264951184 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20655] ppid=20645 vsize=28231652 memory=139743069306032 CPUtime=0 cores=0-7
/proc/20647/task/20655/stat : 20655 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847289 28909211648 12447 33554432000 4194304 4196468 140728232534144 139903263898640 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20656] ppid=20645 vsize=28231652 memory=139743069308336 CPUtime=0 cores=0-7
/proc/20647/task/20656/stat : 20656 (java) S 20645 20645 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512847289 28909211648 12447 33554432000 4194304 4196468 140728232534144 139903262846096 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20657] ppid=20645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20657/stat : 20657 (java) S 20645 20645 18552 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 512847290 28909211648 12447 33554432000 4194304 4196468 140728232534144 139902734936048 139903350372994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20658] ppid=20645 vsize=28231652 memory=279486138623632 CPUtime=0 cores=0-7
/proc/20647/task/20658/stat : 20658 (java) S 20645 20645 18552 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 512847291 28909211648 12447 33554432000 4194304 4196468 140728232534144 139902733882272 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20659] ppid=20645 vsize=28231652 memory=279486138630544 CPUtime=0 cores=0-7
/proc/20647/task/20659/stat : 20659 (java) S 20645 20645 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512847291 28909211648 12447 33554432000 4194304 4196468 140728232534144 139902732829680 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20660] ppid=20645 vsize=28231652 memory=279486138571824 CPUtime=0 cores=0-7
/proc/20647/task/20660/stat : 20660 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847293 28909211648 12447 33554432000 4194304 4196468 140728232534144 139902731778256 139903350380443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20661] ppid=20645 vsize=28231652 memory=279486138644368 CPUtime=0.01 cores=0-7
/proc/20647/task/20661/stat : 20661 (java) S 20645 20645 18552 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 20 0 512847293 28909211648 12447 33554432000 4194304 4196468 140728232534144 139902730725872 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20662] ppid=20645 vsize=28231652 memory=279486138651280 CPUtime=0.03 cores=0-7
/proc/20647/task/20662/stat : 20662 (java) S 20645 20645 18552 0 -1 1077944384 320 0 0 0 3 0 0 0 20 0 20 0 512847293 28909211648 12447 33554432000 4194304 4196468 140728232534144 139902729673328 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20663] ppid=20645 vsize=28231652 memory=279486138648976 CPUtime=0.03 cores=0-7
/proc/20647/task/20663/stat : 20663 (java) R 20645 20645 18552 0 -1 4202560 167 0 0 0 3 0 0 0 20 0 20 0 512847293 28909211648 12491 33554432000 4194304 4196468 140728232534144 139902728611168 139903336376163 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20664] ppid=20645 vsize=28231652 memory=279486138665136 CPUtime=0.12 cores=0-7
/proc/20647/task/20664/stat : 20664 (java) S 20645 20645 18552 0 -1 1077944384 965 0 0 0 12 0 0 0 20 0 20 0 512847293 28909211648 12491 33554432000 4194304 4196468 140728232534144 139902727568240 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20665] ppid=20645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20665/stat : 20665 (java) S 20645 20645 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512847294 28909211648 12491 33554432000 4194304 4196468 140728232534144 139902726514912 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20666] ppid=20645 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/20647/task/20666/stat : 20666 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847294 28909211648 12491 33554432000 4194304 4196468 140728232534144 139902725462448 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51240 KiB
[startup+0.70109 s]
/proc/loadavg: 7.98 7.67 7.62 5/211 20666
/proc/meminfo: memFree=26411092/32770624 swapFree=67002124/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20645/stat : 20645 (xcsp3-exec) S 20642 20645 18552 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512847287 115843072 363 33554432000 4194304 5098028 140725148735520 140725148733624 140121269179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16297984 140725148738385 140725148738645 140725148738645 140725148741574 0
/proc/20645/statm: 28282 363 304 221 0 87 0
[pid=20647] ppid=20645 vsize=28233776 memory=96472 CPUtime=1.81 cores=0-7
/proc/20647/stat : 20647 (java) S 20645 20645 18552 0 -1 1077944320 16316 0 0 0 174 7 0 0 20 0 20 0 512847288 28911386624 24118 33554432000 4194304 4196468 140728232534144 140728232516688 139903350361847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
/proc/20647/statm: 7058444 24118 3452 1 0 7019544 0
[pid=20647/tid=20648] ppid=20645 vsize=28233776 memory=279486139023024 CPUtime=0.67 cores=0-7
/proc/20647/task/20648/stat : 20648 (java) R 20645 20645 18552 0 -1 4202560 9312 0 0 0 63 4 0 0 20 0 20 0 512847288 28911386624 24118 33554432000 4194304 4196468 140728232534144 139903354595632 139902943468258 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20649] ppid=20645 vsize=28233776 memory=139743069512560 CPUtime=0 cores=0-7
/proc/20647/task/20649/stat : 20649 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512847289 28911386624 24118 33554432000 4194304 4196468 140728232534144 139903270213904 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20650] ppid=20645 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/20647/task/20650/stat : 20650 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28911386624 24118 33554432000 4194304 4196468 140728232534144 139903269161360 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20651] ppid=20645 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/20647/task/20651/stat : 20651 (java) S 20645 20645 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512847289 28911386624 24118 33554432000 4194304 4196468 140728232534144 139903268108816 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
################
# More data... #
################
[pid=20647/tid=20674] ppid=20645 vsize=28768336 memory=1452 CPUtime=2414.69 cores=0-7
/proc/20647/task/20674/stat : 20674 (java) R 20645 20645 18552 0 -1 4202560 28929 0 0 0 241441 28 0 0 20 0 28 0 512847433 29458776064 615910 33554432000 4194304 4196468 140728232534144 139902507085704 139902947867212 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
Current children cumulated CPU time: 19429.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2465092 KiB
[startup+2502.3 s]
/proc/loadavg: 8.20 8.31 8.31 9/221 20895
/proc/meminfo: memFree=24022148/32770624 swapFree=67002124/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20645/stat : 20645 (xcsp3-exec) S 20642 20645 18552 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512847287 115843072 363 33554432000 4194304 5098028 140725148735520 140725148733624 140121269179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16297984 140725148738385 140725148738645 140725148738645 140725148741574 0
/proc/20645/statm: 28282 363 304 221 0 87 0
[pid=20647] ppid=20645 vsize=28768336 memory=2448228 CPUtime=19906.6 cores=0-7
/proc/20647/stat : 20647 (java) S 20645 20645 18552 0 -1 1077944320 806334 0 0 0 1989883 773 0 0 20 0 28 0 512847288 29458776064 612057 33554432000 4194304 4196468 140728232534144 140728232516688 139903350361847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
/proc/20647/statm: 7192084 612057 3548 1 0 7153184 0
[pid=20647/tid=20648] ppid=20645 vsize=28768336 memory=1452 CPUtime=1.37 cores=0-7
/proc/20647/task/20648/stat : 20648 (java) S 20645 20645 18552 0 -1 1077944384 9525 0 0 0 131 6 0 0 20 0 28 0 512847288 29458776064 612057 33554432000 4194304 4196468 140728232534144 139903354602624 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20649] ppid=20645 vsize=28768336 memory=137 CPUtime=9.62 cores=0-7
/proc/20647/task/20649/stat : 20649 (java) S 20645 20645 18552 0 -1 1077944384 37202 0 0 0 922 40 0 0 20 0 28 0 512847289 29458776064 612057 33554432000 4194304 4196468 140728232534144 139903270213904 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20650] ppid=20645 vsize=28768336 memory=0 CPUtime=9.56 cores=0-7
/proc/20647/task/20650/stat : 20650 (java) S 20645 20645 18552 0 -1 1077944384 32233 0 0 0 919 37 0 0 20 0 28 0 512847289 29458776064 612057 33554432000 4194304 4196468 140728232534144 139903269161360 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20651] ppid=20645 vsize=28768336 memory=0 CPUtime=9.65 cores=0-7
/proc/20647/task/20651/stat : 20651 (java) S 20645 20645 18552 0 -1 1077944384 36282 0 0 0 927 38 0 0 20 0 28 0 512847289 29458776064 612057 33554432000 4194304 4196468 140728232534144 139903268108816 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20652] ppid=20645 vsize=28768336 memory=2448744 CPUtime=9.65 cores=0-7
/proc/20647/task/20652/stat : 20652 (java) S 20645 20645 18552 0 -1 1077944384 38620 0 0 0 926 39 0 0 20 0 28 0 512847289 29458776064 612057 33554432000 4194304 4196468 140728232534144 139903267056272 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20653] ppid=20645 vsize=28768336 memory=2448228 CPUtime=9.58 cores=0-7
/proc/20647/task/20653/stat : 20653 (java) S 20645 20645 18552 0 -1 1077944384 40310 0 0 0 920 38 0 0 20 0 28 0 512847289 29458776064 612057 33554432000 4194304 4196468 140728232534144 139903266003728 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20654] ppid=20645 vsize=28768336 memory=2447660 CPUtime=9.66 cores=0-7
/proc/20647/task/20654/stat : 20654 (java) S 20645 20645 18552 0 -1 1077944384 37970 0 0 0 926 40 0 0 20 0 28 0 512847289 29458776064 612057 33554432000 4194304 4196468 140728232534144 139903264951184 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20655] ppid=20645 vsize=28768336 memory=7306916055891837009 CPUtime=9.61 cores=0-7
/proc/20647/task/20655/stat : 20655 (java) S 20645 20645 18552 0 -1 1077944384 40268 0 0 0 922 39 0 0 20 0 28 0 512847289 29458776064 612057 33554432000 4194304 4196468 140728232534144 139903263898640 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20656] ppid=20645 vsize=28768336 memory=35608 CPUtime=9.65 cores=0-7
/proc/20647/task/20656/stat : 20656 (java) S 20645 20645 18552 0 -1 1077944384 40597 0 0 0 923 42 0 0 20 0 28 0 512847289 29458776064 612057 33554432000 4194304 4196468 140728232534144 139903262846096 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20657] ppid=20645 vsize=28768336 memory=1556 CPUtime=3.19 cores=0-7
/proc/20647/task/20657/stat : 20657 (java) S 20645 20645 18552 0 -1 1077944384 167762 0 0 0 213 106 0 0 20 0 28 0 512847290 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902734936048 139903350372994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20658] ppid=20645 vsize=28768336 memory=279486140547040 CPUtime=0 cores=0-7
/proc/20647/task/20658/stat : 20658 (java) S 20645 20645 18552 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 512847291 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902733882336 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20659] ppid=20645 vsize=28768336 memory=388 CPUtime=0 cores=0-7
/proc/20647/task/20659/stat : 20659 (java) S 20645 20645 18552 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 512847291 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902732829696 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20660] ppid=20645 vsize=28768336 memory=3616 CPUtime=0 cores=0-7
/proc/20647/task/20660/stat : 20660 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512847293 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902731778256 139903350380443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20661] ppid=20645 vsize=28768336 memory=65108 CPUtime=2.68 cores=0-7
/proc/20647/task/20661/stat : 20661 (java) S 20645 20645 18552 0 -1 1077944384 15027 0 0 0 266 2 0 0 20 0 28 0 512847293 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902730725872 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20662] ppid=20645 vsize=28768336 memory=2446620 CPUtime=2.64 cores=0-7
/proc/20647/task/20662/stat : 20662 (java) S 20645 20645 18552 0 -1 1077944384 15662 0 0 0 262 2 0 0 20 0 28 0 512847293 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902729673328 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20663] ppid=20645 vsize=28768336 memory=65120 CPUtime=2.56 cores=0-7
/proc/20647/task/20663/stat : 20663 (java) S 20645 20645 18552 0 -1 1077944384 14477 0 0 0 254 2 0 0 20 0 28 0 512847293 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902728620784 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20664] ppid=20645 vsize=28768336 memory=279486139788128 CPUtime=0.92 cores=0-7
/proc/20647/task/20664/stat : 20664 (java) S 20645 20645 18552 0 -1 1077944384 12717 0 0 0 90 2 0 0 20 0 28 0 512847293 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902727568240 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20665] ppid=20645 vsize=28768336 memory=7812147081624183360 CPUtime=0 cores=0-7
/proc/20647/task/20665/stat : 20665 (java) S 20645 20645 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512847294 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902726514912 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20666] ppid=20645 vsize=28768336 memory=1452 CPUtime=0.95 cores=0-7
/proc/20647/task/20666/stat : 20666 (java) S 20645 20645 18552 0 -1 1077944384 7710 0 0 0 21 74 0 0 20 0 28 0 512847294 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902725462448 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20667] ppid=20645 vsize=28768336 memory=2449732 CPUtime=2475.04 cores=0-7
/proc/20647/task/20667/stat : 20667 (java) R 20645 20645 18552 0 -1 4202560 21840 0 0 0 247485 19 0 0 20 0 28 0 512847432 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902722935576 139902947883224 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20668] ppid=20645 vsize=28768336 memory=1452 CPUtime=2479.01 cores=0-7
/proc/20647/task/20668/stat : 20668 (java) R 20645 20645 18552 0 -1 4202560 19738 0 0 0 247888 13 0 0 20 0 28 0 512847432 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902513401832 139902947938764 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20669] ppid=20645 vsize=28768336 memory=2446108 CPUtime=2476.57 cores=0-7
/proc/20647/task/20669/stat : 20669 (java) R 20645 20645 18552 0 -1 4202560 51884 0 0 0 247556 101 0 0 20 0 28 0 512847432 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902512349336 139902947488325 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20670] ppid=20645 vsize=28768336 memory=1764 CPUtime=2477.28 cores=0-7
/proc/20647/task/20670/stat : 20670 (java) R 20645 20645 18552 0 -1 4202560 57788 0 0 0 247629 99 0 0 20 0 28 0 512847432 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902511296936 139902949594368 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20671] ppid=20645 vsize=28768336 memory=6188 CPUtime=2477.53 cores=0-7
/proc/20647/task/20671/stat : 20671 (java) R 20645 20645 18552 0 -1 4202560 23687 0 0 0 247731 22 0 0 20 0 28 0 512847432 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902510244064 139902943285212 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20672] ppid=20645 vsize=28768336 memory=636 CPUtime=2479.17 cores=0-7
/proc/20647/task/20672/stat : 20672 (java) R 20645 20645 18552 0 -1 4202560 33630 0 0 0 247868 49 0 0 20 0 28 0 512847432 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902509191680 139902947883613 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20673] ppid=20645 vsize=28768336 memory=2836 CPUtime=2476.67 cores=0-7
/proc/20647/task/20673/stat : 20673 (java) R 20645 20645 18552 0 -1 4202560 19771 0 0 0 247650 17 0 0 20 0 28 0 512847432 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902508141056 139902941805844 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20674] ppid=20645 vsize=28768336 memory=2024 CPUtime=2473.78 cores=0-7
/proc/20647/task/20674/stat : 20674 (java) R 20645 20645 18552 0 -1 4202560 30302 0 0 0 247349 29 0 0 20 0 28 0 512847433 29458776064 612057 33554432000 4194304 4196468 140728232534144 139902507085408 139902947867212 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
Current children cumulated CPU time: 19906.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2449680 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.36 8.34 8.32 9/222 20897
/proc/meminfo: memFree=24019568/32770624 swapFree=67002124/67108860
[pid=20645] ppid=20642 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20645/stat : 20645 (xcsp3-exec) S 20642 20645 18552 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512847287 115843072 363 33554432000 4194304 5098028 140725148735520 140725148733624 140121269179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16297984 140725148738385 140725148738645 140725148738645 140725148741574 0
/proc/20645/statm: 28282 363 304 221 0 87 0
[pid=20647] ppid=20645 vsize=28768336 memory=2449228 CPUtime=20047.2 cores=0-7
/proc/20647/stat : 20647 (java) S 20645 20645 18552 0 -1 1077944320 809498 0 0 0 2003948 777 0 0 20 0 28 0 512847288 29458776064 612307 33554432000 4194304 4196468 140728232534144 140728232516688 139903350361847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
/proc/20647/statm: 7192084 612307 3548 1 0 7153184 0
[pid=20647/tid=20648] ppid=20645 vsize=28768336 memory=7954881296317240168 CPUtime=1.37 cores=0-7
/proc/20647/task/20648/stat : 20648 (java) S 20645 20645 18552 0 -1 1077944384 9525 0 0 0 131 6 0 0 20 0 28 0 512847288 29458776064 612307 33554432000 4194304 4196468 140728232534144 139903354602624 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20649] ppid=20645 vsize=28768336 memory=4872558044660077418 CPUtime=9.71 cores=0-7
/proc/20647/task/20649/stat : 20649 (java) S 20645 20645 18552 0 -1 1077944384 37334 0 0 0 930 41 0 0 20 0 28 0 512847289 29458776064 612307 33554432000 4194304 4196468 140728232534144 139903270213904 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20650] ppid=20645 vsize=28768336 memory=2447696 CPUtime=9.64 cores=0-7
/proc/20647/task/20650/stat : 20650 (java) S 20645 20645 18552 0 -1 1077944384 32555 0 0 0 927 37 0 0 20 0 28 0 512847289 29458776064 612307 33554432000 4194304 4196468 140728232534144 139903269161360 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20651] ppid=20645 vsize=28768336 memory=1452 CPUtime=9.75 cores=0-7
/proc/20647/task/20651/stat : 20651 (java) S 20645 20645 18552 0 -1 1077944384 36319 0 0 0 936 39 0 0 20 0 28 0 512847289 29458776064 612307 33554432000 4194304 4196468 140728232534144 139903268108816 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20652] ppid=20645 vsize=28768336 memory=2448208 CPUtime=9.74 cores=0-7
/proc/20647/task/20652/stat : 20652 (java) S 20645 20645 18552 0 -1 1077944384 38754 0 0 0 935 39 0 0 20 0 28 0 512847289 29458776064 612307 33554432000 4194304 4196468 140728232534144 139903267056272 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20653] ppid=20645 vsize=28768336 memory=-9001727377965541479 CPUtime=9.67 cores=0-7
/proc/20647/task/20653/stat : 20653 (java) S 20645 20645 18552 0 -1 1077944384 40393 0 0 0 929 38 0 0 20 0 28 0 512847289 29458776064 612307 33554432000 4194304 4196468 140728232534144 139903266003728 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20654] ppid=20645 vsize=28768336 memory=7088771780662946468 CPUtime=9.75 cores=0-7
/proc/20647/task/20654/stat : 20654 (java) S 20645 20645 18552 0 -1 1077944384 38318 0 0 0 935 40 0 0 20 0 28 0 512847289 29458776064 612307 33554432000 4194304 4196468 140728232534144 139903264951184 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20655] ppid=20645 vsize=28768336 memory=7234303152781525070 CPUtime=9.7 cores=0-7
/proc/20647/task/20655/stat : 20655 (java) S 20645 20645 18552 0 -1 1077944384 40411 0 0 0 931 39 0 0 20 0 28 0 512847289 29458776064 612307 33554432000 4194304 4196468 140728232534144 139903263898640 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20656] ppid=20645 vsize=28768336 memory=288288865905815368 CPUtime=9.73 cores=0-7
/proc/20647/task/20656/stat : 20656 (java) S 20645 20645 18552 0 -1 1077944384 40673 0 0 0 931 42 0 0 20 0 28 0 512847289 29458776064 612307 33554432000 4194304 4196468 140728232534144 139903262846096 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20657] ppid=20645 vsize=28768336 memory=3547222 CPUtime=3.21 cores=0-7
/proc/20647/task/20657/stat : 20657 (java) S 20645 20645 18552 0 -1 1077944384 168162 0 0 0 215 106 0 0 20 0 28 0 512847290 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902734936048 139903350372994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20658] ppid=20645 vsize=28768336 memory=6944656626178237591 CPUtime=0 cores=0-7
/proc/20647/task/20658/stat : 20658 (java) S 20645 20645 18552 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 512847291 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902733882336 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20659] ppid=20645 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/20647/task/20659/stat : 20659 (java) S 20645 20645 18552 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 512847291 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902732829696 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20660] ppid=20645 vsize=28768336 memory=2120 CPUtime=0 cores=0-7
/proc/20647/task/20660/stat : 20660 (java) S 20645 20645 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512847293 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902731778256 139903350380443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20661] ppid=20645 vsize=28768336 memory=35616 CPUtime=2.68 cores=0-7
/proc/20647/task/20661/stat : 20661 (java) S 20645 20645 18552 0 -1 1077944384 15029 0 0 0 266 2 0 0 20 0 28 0 512847293 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902730725872 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20662] ppid=20645 vsize=28768336 memory=1556 CPUtime=2.64 cores=0-7
/proc/20647/task/20662/stat : 20662 (java) S 20645 20645 18552 0 -1 1077944384 15664 0 0 0 262 2 0 0 20 0 28 0 512847293 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902729673328 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20663] ppid=20645 vsize=28768336 memory=500 CPUtime=2.56 cores=0-7
/proc/20647/task/20663/stat : 20663 (java) S 20645 20645 18552 0 -1 1077944384 14479 0 0 0 254 2 0 0 20 0 28 0 512847293 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902728620784 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20664] ppid=20645 vsize=28768336 memory=932 CPUtime=0.92 cores=0-7
/proc/20647/task/20664/stat : 20664 (java) S 20645 20645 18552 0 -1 1077944384 12719 0 0 0 90 2 0 0 20 0 28 0 512847293 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902727568240 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20665] ppid=20645 vsize=28768336 memory=1824 CPUtime=0 cores=0-7
/proc/20647/task/20665/stat : 20665 (java) S 20645 20645 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512847294 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902726514912 139903350372053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20666] ppid=20645 vsize=28768336 memory=1656 CPUtime=0.95 cores=0-7
/proc/20647/task/20666/stat : 20666 (java) S 20645 20645 18552 0 -1 1077944384 7745 0 0 0 21 74 0 0 20 0 28 0 512847294 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902725462448 139903350372994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20667] ppid=20645 vsize=28768336 memory=3616 CPUtime=2492.63 cores=0-7
/proc/20647/task/20667/stat : 20667 (java) R 20645 20645 18552 0 -1 4202560 22034 0 0 0 249244 19 0 0 20 0 28 0 512847432 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902722935480 139902947936601 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20668] ppid=20645 vsize=28768336 memory=65120 CPUtime=2496.48 cores=0-7
/proc/20647/task/20668/stat : 20668 (java) R 20645 20645 18552 0 -1 4202560 19849 0 0 0 249635 13 0 0 20 0 28 0 512847432 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902513401832 139902947179199 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20669] ppid=20645 vsize=28768336 memory=988 CPUtime=2494.07 cores=0-7
/proc/20647/task/20669/stat : 20669 (java) R 20645 20645 18552 0 -1 4202560 52112 0 0 0 249306 101 0 0 20 0 28 0 512847432 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902512349288 139902947936708 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20670] ppid=20645 vsize=28768336 memory=796 CPUtime=2494.68 cores=0-7
/proc/20647/task/20670/stat : 20670 (java) R 20645 20645 18552 0 -1 4202560 58049 0 0 0 249369 99 0 0 20 0 28 0 512847432 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902511297080 139902947883650 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20671] ppid=20645 vsize=28768336 memory=1804 CPUtime=2495.02 cores=0-7
/proc/20647/task/20671/stat : 20671 (java) R 20645 20645 18552 0 -1 4202560 23807 0 0 0 249480 22 0 0 20 0 28 0 512847432 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902510244312 139902947867240 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20672] ppid=20645 vsize=28768336 memory=916 CPUtime=2496.55 cores=0-7
/proc/20647/task/20672/stat : 20672 (java) R 20645 20645 18552 0 -1 4202560 33781 0 0 0 249606 49 0 0 20 0 28 0 512847432 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902509191816 139902949594432 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20673] ppid=20645 vsize=28768336 memory=4768 CPUtime=2494.23 cores=0-7
/proc/20647/task/20673/stat : 20673 (java) R 20645 20645 18552 0 -1 4202560 19934 0 0 0 249406 17 0 0 20 0 28 0 512847432 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902508141056 139902947179267 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
[pid=20647/tid=20674] ppid=20645 vsize=28768336 memory=1452 CPUtime=2491.33 cores=0-7
/proc/20647/task/20674/stat : 20674 (java) R 20645 20645 18552 0 -1 4202560 30520 0 0 0 249104 29 0 0 20 0 28 0 512847433 29458776064 612307 33554432000 4194304 4196468 140728232534144 139902507085392 139902947867380 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 16048128 140728232543190 140728232543366 140728232543366 140728232546255 0
Current children cumulated CPU time: 20047.2 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2450680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 20645 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002423 s, system=0 s
[startup+2520.12 s]
# the end of solver process 20647 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20040.2 s, system=7.79643 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.12
CPU time (s): 20048
CPU user time (s): 20040.2
CPU system time (s): 7.79643
CPU usage (%): 795.518
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 2544476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20040.2
system time used= 7.79643
maximum resident set size= 2545568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 811188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195733
involuntary context switches= 242242
# summary of solver processes directly reported to runsolver:
# pid: 20645,20647
# total CPU time (s): 20048
# total CPU user time (s): 20040.2
# total CPU system time (s): 7.79643
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.2303 second user time and 31.9023 second system time
The end
Begin job on node136 at 2019-09-25 00:59:02 IDJOB=4406862 IDBENCH=141729 IDSOLVER=2871 FILE ID=node136/4406862-1569365987 RUNJOBID= node136-1569359183-18579 PBS_JOBID= 21705119 Free space on /var/tmp= 13488 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-27-083.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406862-1569365987/watcher-4406862-1569365987 -o /var/tmp/evaluation-result-4406862-1569365987/solver-4406862-1569365987 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569359183-18579 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1014479419 HOME/instance-4406862-1569365987.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d1662e28cf77722711a0da36cf655d3c RANDOM SEED=1014479419 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26465112 kB MemAvailable: 31839536 kB Buffers: 159996 kB Cached: 5337044 kB SwapCached: 3556 kB Active: 2741076 kB Inactive: 2763856 kB Active(anon): 5216 kB Inactive(anon): 59700 kB Active(file): 2735860 kB Inactive(file): 2704156 kB Unevictable: 108576 kB Mlocked: 108576 kB SwapTotal: 67108860 kB SwapFree: 67002124 kB Dirty: 25856 kB Writeback: 0 kB AnonPages: 167684 kB Mapped: 57476 kB Shmem: 48260 kB Slab: 392692 kB SReclaimable: 362868 kB SUnreclaim: 29824 kB KernelStack: 3856 kB PageTables: 5964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 516264 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13460 MiB End job on node136 at 2019-09-25 01:41:02