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 (15320 MiB free)
memory of node 1: 16384 MiB (15377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270133-1502622169/watcher-4270133-1502622169 -o /tmp/evaluation-result-4270133-1502622169/solver-4270133-1502622169 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502620106-1701 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 455905662 HOME/instance-4270133-1502622169.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3016, runsolver pid=3013
[startup+0.10006 s]*
/proc/loadavg: 1.85 1.94 1.86 4/217 3032
/proc/meminfo: memFree=31417008/32770624 swapFree=67108860/67108860
[pid=3016] ppid=3013 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3016/stat : 3016 (xcsp3-exec) S 3013 3016 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95305154 9740288 346 33554432000 4194304 5098028 140729156547632 140729156545736 140680663282300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39571456 140729156555893 140729156556096 140729156556096 140729156558827 0
/proc/3016/statm: 2378 346 289 221 0 87 0
[pid=3018] ppid=3016 vsize=13978596 memory=28084 CPUtime=0.12 cores=0,2,4,6
/proc/3018/stat : 3018 (java) S 3016 3016 30973 0 -1 1077944320 5449 0 0 0 11 1 0 0 20 0 15 0 95305154 14314082304 7021 33554432000 4194304 4196468 140731987698592 140731987681136 140118060527351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
/proc/3018/statm: 3494649 7021 2837 1 0 3482966 0
[pid=3018/tid=3019] ppid=3016 vsize=13978596 memory=7898910893248706067 CPUtime=0.09 cores=0,2,4,6
/proc/3018/task/3019/stat : 3019 (java) R 3016 3016 30973 0 -1 4202560 3461 0 0 0 8 1 0 0 20 0 15 0 95305154 14314082304 7021 33554432000 4194304 4196468 140731987698592 140118064753888 140118060549277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3020] ppid=3016 vsize=13978596 memory=3472468242577867984 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3020/stat : 3020 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305155 14314082304 7021 33554432000 4194304 4196468 140731987698592 140118013148048 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3021] ppid=3016 vsize=13978596 memory=140113682716288 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3021/stat : 3021 (java) S 3016 3016 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95305155 14314082304 7021 33554432000 4194304 4196468 140731987698592 140118012095248 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3022] ppid=3016 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3022/stat : 3022 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305155 14314082304 7021 33554432000 4194304 4196468 140731987698592 140118011042960 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3023] ppid=3016 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3023/stat : 3023 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305155 14314082304 7021 33554432000 4194304 4196468 140731987698592 140118009990160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3024] ppid=3016 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3024/stat : 3024 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305156 14314082304 7021 33554432000 4194304 4196468 140731987698592 140117173327984 140118060538498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3025] ppid=3016 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3016 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95305157 14314082304 7021 33554432000 4194304 4196468 140731987698592 140117172273952 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3026] ppid=3016 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3026/stat : 3026 (java) S 3016 3016 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95305157 14314082304 7021 33554432000 4194304 4196468 140731987698592 140117171221616 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3027] ppid=3016 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3027/stat : 3027 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305159 14314082304 7021 33554432000 4194304 4196468 140731987698592 140117170169936 140118060545947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3028] ppid=3016 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3028/stat : 3028 (java) S 3016 3016 30973 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 95305159 14314082304 7021 33554432000 4194304 4196468 140731987698592 140117169117808 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3029] ppid=3016 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3029/stat : 3029 (java) S 3016 3016 30973 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 95305159 14314082304 7021 33554432000 4194304 4196468 140731987698592 140117168065008 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3030] ppid=3016 vsize=13978596 memory=140113682716288 CPUtime=0.01 cores=0,2,4,6
/proc/3018/task/3030/stat : 3030 (java) R 3016 3016 30973 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 15 0 95305159 14314082304 7021 33554432000 4194304 4196468 140731987698592 140117167012720 140118060539286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3031] ppid=3016 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3031/stat : 3031 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305160 14314082304 7021 33554432000 4194304 4196468 140731987698592 140117165960160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3032] ppid=3016 vsize=13978596 memory=140113682716288 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3032/stat : 3032 (java) S 3016 3016 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95305160 14314082304 7021 33554432000 4194304 4196468 140731987698592 140117164906928 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29468 KiB
[startup+0.210595 s]*
/proc/loadavg: 1.85 1.94 1.86 4/217 3032
/proc/meminfo: memFree=31405248/32770624 swapFree=67108860/67108860
[pid=3016] ppid=3013 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3016/stat : 3016 (xcsp3-exec) S 3013 3016 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95305154 9740288 346 33554432000 4194304 5098028 140729156547632 140729156545736 140680663282300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39571456 140729156555893 140729156556096 140729156556096 140729156558827 0
/proc/3016/statm: 2378 346 289 221 0 87 0
[pid=3018] ppid=3016 vsize=13982852 memory=40604 CPUtime=0.33 cores=0,2,4,6
/proc/3018/stat : 3018 (java) S 3016 3016 30973 0 -1 1077944320 8126 0 0 0 31 2 0 0 20 0 15 0 95305154 14318440448 10151 33554432000 4194304 4196468 140731987698592 140731987681136 140118060527351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
/proc/3018/statm: 3495713 10151 3066 1 0 3482966 0
[pid=3018/tid=3019] ppid=3016 vsize=13982852 memory=7898910893248706067 CPUtime=0.19 cores=0,2,4,6
/proc/3018/task/3019/stat : 3019 (java) R 3016 3016 30973 0 -1 4202560 5260 0 0 0 18 1 0 0 20 0 15 0 95305154 14318440448 10151 33554432000 4194304 4196468 140731987698592 140118064749376 140118060549277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3020] ppid=3016 vsize=13982852 memory=3472468242577867984 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3020/stat : 3020 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305155 14318440448 10151 33554432000 4194304 4196468 140731987698592 140118013148048 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3021] ppid=3016 vsize=13982852 memory=140113682716288 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3021/stat : 3021 (java) S 3016 3016 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95305155 14318440448 10151 33554432000 4194304 4196468 140731987698592 140118012095248 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3022] ppid=3016 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3022/stat : 3022 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305155 14318440448 10151 33554432000 4194304 4196468 140731987698592 140118011042960 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3023] ppid=3016 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3023/stat : 3023 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305155 14318440448 10151 33554432000 4194304 4196468 140731987698592 140118009990160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3024] ppid=3016 vsize=13982852 memory=140113682716288 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3024/stat : 3024 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305156 14318440448 10151 33554432000 4194304 4196468 140731987698592 140117173327984 140118060538498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3025] ppid=3016 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3016 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95305157 14318440448 10151 33554432000 4194304 4196468 140731987698592 140117172273952 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3026] ppid=3016 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3026/stat : 3026 (java) S 3016 3016 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95305157 14318440448 10151 33554432000 4194304 4196468 140731987698592 140117171221616 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3027] ppid=3016 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3027/stat : 3027 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305159 14318440448 10151 33554432000 4194304 4196468 140731987698592 140117170169936 140118060545947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3028] ppid=3016 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3018/task/3028/stat : 3028 (java) S 3016 3016 30973 0 -1 1077944384 417 0 0 0 2 0 0 0 20 0 15 0 95305159 14318440448 10151 33554432000 4194304 4196468 140731987698592 140117169117808 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3029] ppid=3016 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3018/task/3029/stat : 3029 (java) S 3016 3016 30973 0 -1 1077944384 422 0 0 0 2 0 0 0 20 0 15 0 95305159 14318440448 10151 33554432000 4194304 4196468 140731987698592 140117168065008 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3030] ppid=3016 vsize=13982852 memory=140113682716288 CPUtime=0.07 cores=0,2,4,6
/proc/3018/task/3030/stat : 3030 (java) R 3016 3016 30973 0 -1 4202560 731 0 0 0 7 0 0 0 20 0 15 0 95305159 14318440448 10151 33554432000 4194304 4196468 140731987698592 140117167012720 140118052764478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3031] ppid=3016 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3031/stat : 3031 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305160 14318440448 10151 33554432000 4194304 4196468 140731987698592 140117165960160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3032] ppid=3016 vsize=13982852 memory=140113682716288 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3032/stat : 3032 (java) S 3016 3016 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95305160 14318440448 10151 33554432000 4194304 4196468 140731987698592 140117164906928 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41988 KiB
[startup+0.310408 s]*
/proc/loadavg: 1.85 1.94 1.86 4/217 3032
/proc/meminfo: memFree=31398424/32770624 swapFree=67108860/67108860
[pid=3016] ppid=3013 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3016/stat : 3016 (xcsp3-exec) S 3013 3016 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95305154 9740288 346 33554432000 4194304 5098028 140729156547632 140729156545736 140680663282300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39571456 140729156555893 140729156556096 140729156556096 140729156558827 0
/proc/3016/statm: 2378 346 289 221 0 87 0
[pid=3018] ppid=3016 vsize=13982852 memory=47308 CPUtime=0.51 cores=0,2,4,6
/proc/3018/stat : 3018 (java) S 3016 3016 30973 0 -1 1077944320 8980 0 0 0 48 3 0 0 20 0 15 0 95305154 14318440448 11827 33554432000 4194304 4196468 140731987698592 140731987681136 140118060527351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
/proc/3018/statm: 3495713 11827 3102 1 0 3482966 0
[pid=3018/tid=3019] ppid=3016 vsize=13982852 memory=-7174084197796576197 CPUtime=0.29 cores=0,2,4,6
/proc/3018/task/3019/stat : 3019 (java) R 3016 3016 30973 0 -1 4202560 5932 0 0 0 27 2 0 0 20 0 15 0 95305154 14318440448 11827 33554432000 4194304 4196468 140731987698592 140118064766288 140117687814864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3020] ppid=3016 vsize=13982852 memory=-7001736328920018669 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3020/stat : 3020 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305155 14318440448 11827 33554432000 4194304 4196468 140731987698592 140118013148048 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3021] ppid=3016 vsize=13982852 memory=220 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3021/stat : 3021 (java) S 3016 3016 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95305155 14318440448 11827 33554432000 4194304 4196468 140731987698592 140118012095248 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3022] ppid=3016 vsize=13982852 memory=49 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3022/stat : 3022 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305155 14318440448 11827 33554432000 4194304 4196468 140731987698592 140118011042960 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3023] ppid=3016 vsize=13982852 memory=140113577388063 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3023/stat : 3023 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305155 14318440448 11827 33554432000 4194304 4196468 140731987698592 140118009990160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3024] ppid=3016 vsize=13982852 memory=280227154748448 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3024/stat : 3024 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305156 14318440448 11827 33554432000 4194304 4196468 140731987698592 140117173327984 140118060538498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3025] ppid=3016 vsize=13982852 memory=140113577358095 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3016 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95305157 14318440448 11827 33554432000 4194304 4196468 140731987698592 140117172273952 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3026] ppid=3016 vsize=13982852 memory=280227260083552 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3026/stat : 3026 (java) S 3016 3016 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95305157 14318440448 11827 33554432000 4194304 4196468 140731987698592 140117171221616 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3027] ppid=3016 vsize=13982852 memory=140113577362703 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3027/stat : 3027 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305159 14318440448 11827 33554432000 4194304 4196468 140731987698592 140117170169936 140118060545947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3028] ppid=3016 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3018/task/3028/stat : 3028 (java) S 3016 3016 30973 0 -1 1077944384 423 0 0 0 3 0 0 0 20 0 15 0 95305159 14318440448 11827 33554432000 4194304 4196468 140731987698592 140117169117808 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3029] ppid=3016 vsize=13982852 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/3018/task/3029/stat : 3029 (java) S 3016 3016 30973 0 -1 1077944384 488 0 0 0 4 0 0 0 20 0 15 0 95305159 14318440448 11827 33554432000 4194304 4196468 140731987698592 140117168065008 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3030] ppid=3016 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3018/task/3030/stat : 3030 (java) R 3016 3016 30973 0 -1 4202560 840 0 0 0 12 0 0 0 20 0 15 0 95305159 14318440448 11827 33554432000 4194304 4196468 140731987698592 140117167010528 140118038972146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3031] ppid=3016 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3031/stat : 3031 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305160 14318440448 11827 33554432000 4194304 4196468 140731987698592 140117165960160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3032] ppid=3016 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3032/stat : 3032 (java) S 3016 3016 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95305160 14318440448 11827 33554432000 4194304 4196468 140731987698592 140117164906928 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48692 KiB
[startup+0.700779 s]
/proc/loadavg: 1.85 1.94 1.86 4/217 3032
/proc/meminfo: memFree=31386140/32770624 swapFree=67108860/67108860
[pid=3016] ppid=3013 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3016/stat : 3016 (xcsp3-exec) S 3013 3016 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95305154 9740288 346 33554432000 4194304 5098028 140729156547632 140729156545736 140680663282300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39571456 140729156555893 140729156556096 140729156556096 140729156558827 0
/proc/3016/statm: 2378 346 289 221 0 87 0
[pid=3018] ppid=3016 vsize=13984976 memory=92240 CPUtime=1.57 cores=0,2,4,6
/proc/3018/stat : 3018 (java) S 3016 3016 30973 0 -1 1077944320 12583 0 0 0 153 4 0 0 20 0 15 0 95305154 14320615424 23060 33554432000 4194304 4196468 140731987698592 140731987681136 140118060527351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
/proc/3018/statm: 3496244 23060 3206 1 0 3483478 0
[pid=3018/tid=3019] ppid=3016 vsize=13984976 memory=1724 CPUtime=0.67 cores=0,2,4,6
/proc/3018/task/3019/stat : 3019 (java) R 3016 3016 30973 0 -1 4202560 6727 0 0 0 64 3 0 0 20 0 15 0 95305154 14320615424 23060 33554432000 4194304 4196468 140731987698592 140118064767680 140118044607838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3020] ppid=3016 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3020/stat : 3020 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305155 14320615424 23060 33554432000 4194304 4196468 140731987698592 140118013148048 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3021] ppid=3016 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3021/stat : 3021 (java) S 3016 3016 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95305155 14320615424 23060 33554432000 4194304 4196468 140731987698592 140118012095248 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3022] ppid=3016 vsize=13984976 memory=280227154813888 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3022/stat : 3022 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305155 14320615424 23060 33554432000 4194304 4196468 140731987698592 140118011042960 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3023] ppid=3016 vsize=13984976 memory=280227154818272 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3023/stat : 3023 (java) S 3016 3016 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95305155 14320615424 23060 33554432000 4194304 4196468 140731987698592 140118009990160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3024] ppid=3016 vsize=13984976 memory=3184238033653380000 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3024/stat : 3024 (java) S 3016 3016 30973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95305156 14320615424 23060 33554432000 4194304 4196468 140731987698592 140117173327984 140118060538498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3025] ppid=3016 vsize=13984976 memory=280227154827168 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3016 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95305157 14320615424 23060 33554432000 4194304 4196468 140731987698592 140117172273952 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3026] ppid=3016 vsize=13984976 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3026/stat : 3026 (java) S 3016 3016 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95305157 14320615424 23060 33554432000 4194304 4196468 140731987698592 140117171221616 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3027] ppid=3016 vsize=13984976 memory=13040 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3027/stat : 3027 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305159 14320615424 23060 33554432000 4194304 4196468 140731987698592 140117170169936 140118060545947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3028] ppid=3016 vsize=13984976 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/3018/task/3028/stat : 3028 (java) R 3016 3016 30973 0 -1 1077944384 1107 0 0 0 23 0 0 0 20 0 15 0 95305159 14320615424 23060 33554432000 4194304 4196468 140731987698592 140117169117808 140118060538498 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3029] ppid=3016 vsize=13984976 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/3018/task/3029/stat : 3029 (java) R 3016 3016 30973 0 -1 4202560 1289 0 0 0 23 0 0 0 20 0 15 0 95305159 14320615424 23060 33554432000 4194304 4196468 140731987698592 140117168054800 140118045652709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3030] ppid=3016 vsize=13984976 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/3018/task/3030/stat : 3030 (java) R 3016 3016 30973 0 -1 4202560 2153 0 0 0 41 0 0 0 20 0 15 0 95305159 14320615424 23060 33554432000 4194304 4196468 140731987698592 140117167012720 140118039161576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3031] ppid=3016 vsize=13984976 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3031/stat : 3031 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305160 14320615424 23060 33554432000 4194304 4196468 140731987698592 140117165960160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3032] ppid=3016 vsize=13984976 memory=8996 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3032/stat : 3032 (java) S 3016 3016 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95305160 14320615424 23060 33554432000 4194304 4196468 140731987698592 140117164906928 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 93624 KiB
[startup+1.50086 s]
/proc/loadavg: 1.85 1.94 1.86 5/217 3032
/proc/meminfo: memFree=31347916/32770624 swapFree=67108860/67108860
[pid=3016] ppid=3013 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3016/stat : 3016 (xcsp3-exec) S 3013 3016 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95305154 9740288 346 33554432000 4194304 5098028 140729156547632 140729156545736 140680663282300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39571456 140729156555893 140729156556096 140729156556096 140729156558827 0
/proc/3016/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/3018/task/3026/stat : 3026 (java) S 3016 3016 30973 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 95305157 14320615424 52627 33554432000 4194304 4196468 140731987698592 140117171221616 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3027] ppid=3016 vsize=13984976 memory=140113682794321 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3027/stat : 3027 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305159 14320615424 52627 33554432000 4194304 4196468 140731987698592 140117170169936 140118060545947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3028] ppid=3016 vsize=13984976 memory=4140 CPUtime=1.61 cores=0,2,4,6
/proc/3018/task/3028/stat : 3028 (java) S 3016 3016 30973 0 -1 1077944384 10863 0 0 0 160 1 0 0 20 0 15 0 95305159 14320615424 52627 33554432000 4194304 4196468 140731987698592 140117169117808 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3029] ppid=3016 vsize=13984976 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/3018/task/3029/stat : 3029 (java) S 3016 3016 30973 0 -1 1077944384 11407 0 0 0 187 1 0 0 20 0 15 0 95305159 14320615424 52627 33554432000 4194304 4196468 140731987698592 140117168065008 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3030] ppid=3016 vsize=13984976 memory=27484 CPUtime=0.65 cores=0,2,4,6
/proc/3018/task/3030/stat : 3030 (java) S 3016 3016 30973 0 -1 1077944384 6609 0 0 0 64 1 0 0 20 0 15 0 95305159 14320615424 52627 33554432000 4194304 4196468 140731987698592 140117167012720 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3031] ppid=3016 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3031/stat : 3031 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305160 14320615424 52627 33554432000 4194304 4196468 140731987698592 140117165960160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3032] ppid=3016 vsize=13984976 memory=2336 CPUtime=0.02 cores=0,2,4,6
/proc/3018/task/3032/stat : 3032 (java) S 3016 3016 30973 0 -1 1077944384 1180 0 0 0 1 1 0 0 20 0 15 0 95305160 14320615424 52627 33554432000 4194304 4196468 140731987698592 140117164906928 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
Current children cumulated CPU time: 106.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 211892 KiB
[startup+162.301 s]
/proc/loadavg: 1.98 1.96 1.88 3/218 3042
/proc/meminfo: memFree=31227564/32770624 swapFree=67108860/67108860
[pid=3016] ppid=3013 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3016/stat : 3016 (xcsp3-exec) S 3013 3016 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95305154 9740288 346 33554432000 4194304 5098028 140729156547632 140729156545736 140680663282300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39571456 140729156555893 140729156556096 140729156556096 140729156558827 0
/proc/3016/statm: 2378 346 289 221 0 87 0
[pid=3018] ppid=3016 vsize=13984976 memory=216780 CPUtime=166.61 cores=0,2,4,6
/proc/3018/stat : 3018 (java) S 3016 3016 30973 0 -1 1077944320 47906 0 0 0 16649 12 0 0 20 0 15 0 95305154 14320615424 54195 33554432000 4194304 4196468 140731987698592 140731987681136 140118060527351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
/proc/3018/statm: 3496244 54195 3253 1 0 3483478 0
[pid=3018/tid=3019] ppid=3016 vsize=13984976 memory=216772 CPUtime=162.25 cores=0,2,4,6
/proc/3018/task/3019/stat : 3019 (java) R 3016 3016 30973 0 -1 4202560 12083 0 0 0 16220 5 0 0 20 0 15 0 95305154 14320615424 54195 33554432000 4194304 4196468 140731987698592 140118064763632 140117693208765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3020] ppid=3016 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3020/stat : 3020 (java) S 3016 3016 30973 0 -1 1077944384 388 0 0 0 0 0 0 0 20 0 15 0 95305155 14320615424 54195 33554432000 4194304 4196468 140731987698592 140118013148048 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3021] ppid=3016 vsize=13984976 memory=216772 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3021/stat : 3021 (java) S 3016 3016 30973 0 -1 1077944384 965 0 0 0 0 0 0 0 20 0 15 0 95305155 14320615424 54195 33554432000 4194304 4196468 140731987698592 140118012095248 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3022] ppid=3016 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3022/stat : 3022 (java) S 3016 3016 30973 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 95305155 14320615424 54195 33554432000 4194304 4196468 140731987698592 140118011042960 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3023] ppid=3016 vsize=13984976 memory=216780 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3023/stat : 3023 (java) S 3016 3016 30973 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 15 0 95305155 14320615424 54195 33554432000 4194304 4196468 140731987698592 140118009990160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3024] ppid=3016 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3024/stat : 3024 (java) S 3016 3016 30973 0 -1 1077944384 871 0 0 0 0 0 0 0 20 0 15 0 95305156 14320615424 54195 33554432000 4194304 4196468 140731987698592 140117173327984 140118060538498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3025] ppid=3016 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3016 30973 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 95305157 14320615424 54195 33554432000 4194304 4196468 140731987698592 140117172273952 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3026] ppid=3016 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3026/stat : 3026 (java) S 3016 3016 30973 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 95305157 14320615424 54195 33554432000 4194304 4196468 140731987698592 140117171221616 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3027] ppid=3016 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3027/stat : 3027 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305159 14320615424 54195 33554432000 4194304 4196468 140731987698592 140117170169936 140118060545947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3028] ppid=3016 vsize=13984976 memory=1384 CPUtime=1.61 cores=0,2,4,6
/proc/3018/task/3028/stat : 3028 (java) S 3016 3016 30973 0 -1 1077944384 10976 0 0 0 160 1 0 0 20 0 15 0 95305159 14320615424 54195 33554432000 4194304 4196468 140731987698592 140117169117808 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3029] ppid=3016 vsize=13984976 memory=216780 CPUtime=1.95 cores=0,2,4,6
/proc/3018/task/3029/stat : 3029 (java) S 3016 3016 30973 0 -1 1077944384 12636 0 0 0 194 1 0 0 20 0 15 0 95305159 14320615424 54195 33554432000 4194304 4196468 140731987698592 140117168065008 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3030] ppid=3016 vsize=13984976 memory=792 CPUtime=0.66 cores=0,2,4,6
/proc/3018/task/3030/stat : 3030 (java) S 3016 3016 30973 0 -1 1077944384 7119 0 0 0 65 1 0 0 20 0 15 0 95305159 14320615424 54195 33554432000 4194304 4196468 140731987698592 140117167012720 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3031] ppid=3016 vsize=13984976 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3031/stat : 3031 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305160 14320615424 54195 33554432000 4194304 4196468 140731987698592 140117165960160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3032] ppid=3016 vsize=13984976 memory=4140 CPUtime=0.04 cores=0,2,4,6
/proc/3018/task/3032/stat : 3032 (java) S 3016 3016 30973 0 -1 1077944384 1204 0 0 0 1 3 0 0 20 0 15 0 95305160 14320615424 54195 33554432000 4194304 4196468 140731987698592 140117164906928 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
Current children cumulated CPU time: 166.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 218164 KiB
[startup+222.301 s]
/proc/loadavg: 2.23 2.01 1.90 3/218 3121
/proc/meminfo: memFree=30873544/32770624 swapFree=67108860/67108860
[pid=3016] ppid=3013 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3016/stat : 3016 (xcsp3-exec) S 3013 3016 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95305154 9740288 346 33554432000 4194304 5098028 140729156547632 140729156545736 140680663282300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39571456 140729156555893 140729156556096 140729156556096 140729156558827 0
/proc/3016/statm: 2378 346 289 221 0 87 0
[pid=3018] ppid=3016 vsize=13984976 memory=216912 CPUtime=226.68 cores=0,2,4,6
/proc/3018/stat : 3018 (java) S 3016 3016 30973 0 -1 1077944320 49950 0 0 0 22655 13 0 0 20 0 15 0 95305154 14320615424 54228 33554432000 4194304 4196468 140731987698592 140731987681136 140118060527351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
/proc/3018/statm: 3496244 54228 3261 1 0 3483478 0
[pid=3018/tid=3019] ppid=3016 vsize=13984976 memory=1384 CPUtime=222.25 cores=0,2,4,6
/proc/3018/task/3019/stat : 3019 (java) R 3016 3016 30973 0 -1 4202560 12513 0 0 0 22220 5 0 0 20 0 15 0 95305154 14320615424 54228 33554432000 4194304 4196468 140731987698592 140118064766768 140117693392156 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3020] ppid=3016 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/3018/task/3020/stat : 3020 (java) S 3016 3016 30973 0 -1 1077944384 410 0 0 0 1 0 0 0 20 0 15 0 95305155 14320615424 54228 33554432000 4194304 4196468 140731987698592 140118013148048 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3021] ppid=3016 vsize=13984976 memory=216912 CPUtime=0.01 cores=0,2,4,6
/proc/3018/task/3021/stat : 3021 (java) S 3016 3016 30973 0 -1 1077944384 1155 0 0 0 1 0 0 0 20 0 15 0 95305155 14320615424 54228 33554432000 4194304 4196468 140731987698592 140118012095248 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3022] ppid=3016 vsize=13984976 memory=7306924791760508777 CPUtime=0.01 cores=0,2,4,6
/proc/3018/task/3022/stat : 3022 (java) S 3016 3016 30973 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 95305155 14320615424 54228 33554432000 4194304 4196468 140731987698592 140118011042960 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3023] ppid=3016 vsize=13984976 memory=216840 CPUtime=0.01 cores=0,2,4,6
/proc/3018/task/3023/stat : 3023 (java) S 3016 3016 30973 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 15 0 95305155 14320615424 54228 33554432000 4194304 4196468 140731987698592 140118009990160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3024] ppid=3016 vsize=13984976 memory=4140 CPUtime=0.01 cores=0,2,4,6
/proc/3018/task/3024/stat : 3024 (java) S 3016 3016 30973 0 -1 1077944384 896 0 0 0 1 0 0 0 20 0 15 0 95305156 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117173327984 140118060538498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3025] ppid=3016 vsize=13984976 memory=27496 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3016 30973 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 95305157 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117172273952 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3026] ppid=3016 vsize=13984976 memory=216840 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3026/stat : 3026 (java) S 3016 3016 30973 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 95305157 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117171221616 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3027] ppid=3016 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3027/stat : 3027 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305159 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117170169936 140118060545947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3028] ppid=3016 vsize=13984976 memory=1384 CPUtime=1.65 cores=0,2,4,6
/proc/3018/task/3028/stat : 3028 (java) S 3016 3016 30973 0 -1 1077944384 12051 0 0 0 164 1 0 0 20 0 15 0 95305159 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117169117808 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3029] ppid=3016 vsize=13984976 memory=1384 CPUtime=1.95 cores=0,2,4,6
/proc/3018/task/3029/stat : 3029 (java) S 3016 3016 30973 0 -1 1077944384 12807 0 0 0 194 1 0 0 20 0 15 0 95305159 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117168065008 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3030] ppid=3016 vsize=13984976 memory=1384 CPUtime=0.66 cores=0,2,4,6
/proc/3018/task/3030/stat : 3030 (java) S 3016 3016 30973 0 -1 1077944384 7138 0 0 0 65 1 0 0 20 0 15 0 95305159 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117167012720 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3031] ppid=3016 vsize=13984976 memory=216840 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3031/stat : 3031 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305160 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117165960160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3032] ppid=3016 vsize=13984976 memory=216912 CPUtime=0.05 cores=0,2,4,6
/proc/3018/task/3032/stat : 3032 (java) S 3016 3016 30973 0 -1 1077944384 1213 0 0 0 2 3 0 0 20 0 15 0 95305160 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117164906928 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
Current children cumulated CPU time: 226.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 218296 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.31 2.04 1.91 3/218 3121
/proc/meminfo: memFree=30614384/32770624 swapFree=67108860/67108860
[pid=3016] ppid=3013 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3016/stat : 3016 (xcsp3-exec) S 3013 3016 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95305154 9740288 346 33554432000 4194304 5098028 140729156547632 140729156545736 140680663282300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39571456 140729156555893 140729156556096 140729156556096 140729156558827 0
/proc/3016/statm: 2378 346 289 221 0 87 0
[pid=3018] ppid=3016 vsize=13984976 memory=216912 CPUtime=244.39 cores=0,2,4,6
/proc/3018/stat : 3018 (java) S 3016 3016 30973 0 -1 1077944320 50179 0 0 0 24426 13 0 0 20 0 15 0 95305154 14320615424 54228 33554432000 4194304 4196468 140731987698592 140731987681136 140118060527351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
/proc/3018/statm: 3496244 54228 3261 1 0 3483478 0
[pid=3018/tid=3019] ppid=3016 vsize=13984976 memory=6935054825532540783 CPUtime=239.96 cores=0,2,4,6
/proc/3018/task/3019/stat : 3019 (java) R 3016 3016 30973 0 -1 4202560 12703 0 0 0 23991 5 0 0 20 0 15 0 95305154 14320615424 54228 33554432000 4194304 4196468 140731987698592 140118064766656 140117691256576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3020] ppid=3016 vsize=13984976 memory=4040 CPUtime=0.01 cores=0,2,4,6
/proc/3018/task/3020/stat : 3020 (java) S 3016 3016 30973 0 -1 1077944384 410 0 0 0 1 0 0 0 20 0 15 0 95305155 14320615424 54228 33554432000 4194304 4196468 140731987698592 140118013148048 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3021] ppid=3016 vsize=13984976 memory=1236 CPUtime=0.01 cores=0,2,4,6
/proc/3018/task/3021/stat : 3021 (java) S 3016 3016 30973 0 -1 1077944384 1155 0 0 0 1 0 0 0 20 0 15 0 95305155 14320615424 54228 33554432000 4194304 4196468 140731987698592 140118012095248 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3022] ppid=3016 vsize=13984976 memory=644 CPUtime=0.01 cores=0,2,4,6
/proc/3018/task/3022/stat : 3022 (java) S 3016 3016 30973 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 95305155 14320615424 54228 33554432000 4194304 4196468 140731987698592 140118011042960 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3023] ppid=3016 vsize=13984976 memory=-7003737579269690708 CPUtime=0.01 cores=0,2,4,6
/proc/3018/task/3023/stat : 3023 (java) S 3016 3016 30973 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 15 0 95305155 14320615424 54228 33554432000 4194304 4196468 140731987698592 140118009990160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3024] ppid=3016 vsize=13984976 memory=216912 CPUtime=0.01 cores=0,2,4,6
/proc/3018/task/3024/stat : 3024 (java) S 3016 3016 30973 0 -1 1077944384 903 0 0 0 1 0 0 0 20 0 15 0 95305156 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117173327984 140118060538498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3025] ppid=3016 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3016 30973 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 95305157 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117172273952 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3026] ppid=3016 vsize=13984976 memory=18476 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3026/stat : 3026 (java) S 3016 3016 30973 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 95305157 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117171221616 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3027] ppid=3016 vsize=13984976 memory=15528 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3027/stat : 3027 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305159 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117170169936 140118060545947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3028] ppid=3016 vsize=13984976 memory=8112282956445269571 CPUtime=1.65 cores=0,2,4,6
/proc/3018/task/3028/stat : 3028 (java) S 3016 3016 30973 0 -1 1077944384 12052 0 0 0 164 1 0 0 20 0 15 0 95305159 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117169117808 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3029] ppid=3016 vsize=13984976 memory=1236 CPUtime=1.95 cores=0,2,4,6
/proc/3018/task/3029/stat : 3029 (java) S 3016 3016 30973 0 -1 1077944384 12809 0 0 0 194 1 0 0 20 0 15 0 95305159 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117168065008 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3030] ppid=3016 vsize=13984976 memory=644 CPUtime=0.66 cores=0,2,4,6
/proc/3018/task/3030/stat : 3030 (java) S 3016 3016 30973 0 -1 1077944384 7144 0 0 0 65 1 0 0 20 0 15 0 95305159 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117167012720 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3031] ppid=3016 vsize=13984976 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/3018/task/3031/stat : 3031 (java) S 3016 3016 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95305160 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117165960160 140118060537557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
[pid=3018/tid=3032] ppid=3016 vsize=13984976 memory=4140 CPUtime=0.06 cores=0,2,4,6
/proc/3018/task/3032/stat : 3032 (java) S 3016 3016 30973 0 -1 1077944384 1236 0 0 0 2 4 0 0 20 0 15 0 95305160 14320615424 54228 33554432000 4194304 4196468 140731987698592 140117164906928 140118060538498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32047104 140731987702941 140731987703116 140731987703116 140731987705807 0
Current children cumulated CPU time: 244.39 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 218296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 3016 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00188 s, system=0 s
[startup+240.023 s]
# the end of solver process 3018 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.283 s, system=0.141083 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): 240.024
CPU time (s): 244.425
CPU user time (s): 244.283
CPU system time (s): 0.141083
CPU usage (%): 101.834
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 218296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.283
system time used= 0.141083
maximum resident set size= 217392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51329
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8205
involuntary context switches= 177
# summary of solver processes directly reported to runsolver:
# pid: 3016,3018
# total CPU time (s): 244.425
# total CPU user time (s): 244.283
# total CPU system time (s): 0.141083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.55907 second user time and 2.0722 second system time
The end