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 (11292 MiB free)
memory of node 1: 16384 MiB (11303 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284499-1503210060/watcher-4284499-1503210060 -o /tmp/evaluation-result-4284499-1503210060/solver-4284499-1503210060 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503209199-23685 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1801441679 HOME/instance-4284499-1503210060.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=23719, runsolver pid=23715
[startup+0.100538 s]*
/proc/loadavg: 0.92 1.06 1.45 4/218 23747
/proc/meminfo: memFree=23106348/32770624 swapFree=67108860/67108860
[pid=23719] ppid=23715 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23719/stat : 23719 (xcsp3-exec) S 23715 23719 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154077405 9740288 346 33554432000 4194304 5098028 140720674562288 140720674560392 140716508652156 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37769216 140720674571380 140720674571584 140720674571584 140720674574315 0
/proc/23719/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23719 vsize=13978596 memory=28308 CPUtime=0.12 cores=0,2,4,6
/proc/23724/stat : 23724 (java) S 23719 23719 23654 0 -1 1077944320 5436 0 0 0 11 1 0 0 20 0 15 0 154077405 14314082304 7077 33554432000 4194304 4196468 140726137340160 140726137322704 140281160670967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
/proc/23724/statm: 3494649 7077 2863 1 0 3482966 0
[pid=23724/tid=23725] ppid=23719 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/23724/task/23725/stat : 23725 (java) R 23719 23719 23654 0 -1 4202560 3449 0 0 0 8 1 0 0 20 0 15 0 154077405 14314082304 7077 33554432000 4194304 4196468 140726137340160 140281164902880 140281160682902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23726] ppid=23719 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23726/stat : 23726 (java) S 23719 23719 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154077406 14314082304 7077 33554432000 4194304 4196468 140726137340160 140281090759312 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23727] ppid=23719 vsize=13978596 memory=140067897308800 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23727/stat : 23727 (java) S 23719 23719 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154077406 14314082304 7077 33554432000 4194304 4196468 140726137340160 140281089706512 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23728] ppid=23719 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23728/stat : 23728 (java) S 23719 23719 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154077406 14314082304 7077 33554432000 4194304 4196468 140726137340160 140281088653712 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23729] ppid=23719 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23729/stat : 23729 (java) S 23719 23719 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154077406 14314082304 7077 33554432000 4194304 4196468 140726137340160 140281087600912 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23733] ppid=23719 vsize=13978596 memory=140067897308800 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23733/stat : 23733 (java) S 23719 23719 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154077408 14314082304 7077 33554432000 4194304 4196468 140726137340160 140280634764144 140281160682114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23734] ppid=23719 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23734/stat : 23734 (java) S 23719 23719 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154077408 14314082304 7077 33554432000 4194304 4196468 140726137340160 140280633710112 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23735] ppid=23719 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23735/stat : 23735 (java) S 23719 23719 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154077408 14314082304 7077 33554432000 4194304 4196468 140726137340160 140280632657264 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23742] ppid=23719 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23742/stat : 23742 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14314082304 7077 33554432000 4194304 4196468 140726137340160 140280631605584 140281160689563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23743] ppid=23719 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23743/stat : 23743 (java) S 23719 23719 23654 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 154077411 14314082304 7077 33554432000 4194304 4196468 140726137340160 140280630552944 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23744] ppid=23719 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23744/stat : 23744 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14314082304 7077 33554432000 4194304 4196468 140726137340160 140280629500144 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23745] ppid=23719 vsize=13978596 memory=140067897308800 CPUtime=0.01 cores=0,2,4,6
/proc/23724/task/23745/stat : 23745 (java) R 23719 23719 23654 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 15 0 154077411 14314082304 7077 33554432000 4194304 4196468 140726137340160 140280628447344 140281140863790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23746] ppid=23719 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23746/stat : 23746 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14314082304 7077 33554432000 4194304 4196468 140726137340160 140280627394784 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23747] ppid=23719 vsize=13978596 memory=140067897308800 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23747/stat : 23747 (java) S 23719 23719 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154077411 14314082304 7077 33554432000 4194304 4196468 140726137340160 140280626343088 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29692 KiB
[startup+0.210717 s]*
/proc/loadavg: 0.92 1.06 1.45 3/218 23747
/proc/meminfo: memFree=23084676/32770624 swapFree=67108860/67108860
[pid=23719] ppid=23715 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23719/stat : 23719 (xcsp3-exec) S 23715 23719 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154077405 9740288 346 33554432000 4194304 5098028 140720674562288 140720674560392 140716508652156 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37769216 140720674571380 140720674571584 140720674571584 140720674574315 0
/proc/23719/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23719 vsize=13982852 memory=40460 CPUtime=0.34 cores=0,2,4,6
/proc/23724/stat : 23724 (java) S 23719 23719 23654 0 -1 1077944320 8203 0 0 0 31 3 0 0 20 0 15 0 154077405 14318440448 10115 33554432000 4194304 4196468 140726137340160 140726137322704 140281160670967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
/proc/23724/statm: 3495713 10115 3060 1 0 3482966 0
[pid=23724/tid=23725] ppid=23719 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/23724/task/23725/stat : 23725 (java) R 23719 23719 23654 0 -1 4202560 5335 0 0 0 18 1 0 0 20 0 15 0 154077405 14318440448 10115 33554432000 4194304 4196468 140726137340160 140281164881760 140281153350189 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23726] ppid=23719 vsize=13982884 memory=12546 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23726/stat : 23726 (java) S 23719 23719 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154077406 14318473216 10115 33554432000 4194304 4196468 140726137340160 140281090759312 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23727] ppid=23719 vsize=13982852 memory=288370444049020544 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23727/stat : 23727 (java) S 23719 23719 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154077406 14318440448 10115 33554432000 4194304 4196468 140726137340160 140281089706512 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23728] ppid=23719 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23728/stat : 23728 (java) S 23719 23719 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154077406 14318440448 10115 33554432000 4194304 4196468 140726137340160 140281088653712 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23729] ppid=23719 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23729/stat : 23729 (java) S 23719 23719 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154077406 14318440448 10115 33554432000 4194304 4196468 140726137340160 140281087600912 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23733] ppid=23719 vsize=13982852 memory=140067897308800 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23733/stat : 23733 (java) S 23719 23719 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154077408 14318440448 10115 33554432000 4194304 4196468 140726137340160 140280634764144 140281160682114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23734] ppid=23719 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23734/stat : 23734 (java) S 23719 23719 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154077408 14318440448 10115 33554432000 4194304 4196468 140726137340160 140280633710112 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23735] ppid=23719 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23735/stat : 23735 (java) S 23719 23719 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154077408 14318440448 10115 33554432000 4194304 4196468 140726137340160 140280632657264 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23742] ppid=23719 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23742/stat : 23742 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14318473216 10115 33554432000 4194304 4196468 140726137340160 140280631605584 140281160689563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23743] ppid=23719 vsize=13982884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23724/task/23743/stat : 23743 (java) S 23719 23719 23654 0 -1 1077944384 718 0 0 0 2 0 0 0 20 0 15 0 154077411 14318473216 10115 33554432000 4194304 4196468 140726137340160 140280630552944 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23744] ppid=23719 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23724/task/23744/stat : 23744 (java) S 23719 23719 23654 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 15 0 154077411 14318440448 10115 33554432000 4194304 4196468 140726137340160 140280629500144 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23745] ppid=23719 vsize=13982852 memory=140067897308800 CPUtime=0.08 cores=0,2,4,6
/proc/23724/task/23745/stat : 23745 (java) S 23719 23719 23654 0 -1 1077944384 702 0 0 0 8 0 0 0 20 0 15 0 154077411 14318440448 10115 33554432000 4194304 4196468 140726137340160 140280628447344 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23746] ppid=23719 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23746/stat : 23746 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14318440448 10115 33554432000 4194304 4196468 140726137340160 140280627394784 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23747] ppid=23719 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23747/stat : 23747 (java) S 23719 23719 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154077411 14318440448 10115 33554432000 4194304 4196468 140726137340160 140280626343088 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41844 KiB
[startup+0.317482 s]*
/proc/loadavg: 0.92 1.06 1.45 9/218 23747
/proc/meminfo: memFree=23070996/32770624 swapFree=67108860/67108860
[pid=23719] ppid=23715 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23719/stat : 23719 (xcsp3-exec) S 23715 23719 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154077405 9740288 346 33554432000 4194304 5098028 140720674562288 140720674560392 140716508652156 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37769216 140720674571380 140720674571584 140720674571584 140720674574315 0
/proc/23719/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23719 vsize=13982852 memory=47324 CPUtime=0.52 cores=0,2,4,6
/proc/23724/stat : 23724 (java) S 23719 23719 23654 0 -1 1077944320 8995 0 0 0 49 3 0 0 20 0 15 0 154077405 14318440448 11831 33554432000 4194304 4196468 140726137340160 140726137322704 140281160670967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
/proc/23724/statm: 3495713 11831 3103 1 0 3482966 0
[pid=23724/tid=23725] ppid=23719 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/23724/task/23725/stat : 23725 (java) S 23719 23719 23654 0 -1 1077944384 5939 0 0 0 28 2 0 0 20 0 15 0 154077405 14318440448 11831 33554432000 4194304 4196468 140726137340160 140281164907152 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23726] ppid=23719 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23726/stat : 23726 (java) S 23719 23719 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154077406 14318440448 11831 33554432000 4194304 4196468 140726137340160 140281090759312 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23727] ppid=23719 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23727/stat : 23727 (java) S 23719 23719 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154077406 14318440448 11831 33554432000 4194304 4196468 140726137340160 140281089706512 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23728] ppid=23719 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23728/stat : 23728 (java) S 23719 23719 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154077406 14318440448 11831 33554432000 4194304 4196468 140726137340160 140281088653712 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23729] ppid=23719 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23729/stat : 23729 (java) S 23719 23719 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154077406 14318440448 11831 33554432000 4194304 4196468 140726137340160 140281087600912 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23733] ppid=23719 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23733/stat : 23733 (java) S 23719 23719 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154077408 14318440448 11831 33554432000 4194304 4196468 140726137340160 140280634764144 140281160682114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23734] ppid=23719 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23734/stat : 23734 (java) S 23719 23719 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154077408 14318440448 11831 33554432000 4194304 4196468 140726137340160 140280633710112 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23735] ppid=23719 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23735/stat : 23735 (java) S 23719 23719 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154077408 14318440448 11831 33554432000 4194304 4196468 140726137340160 140280632657264 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23742] ppid=23719 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23742/stat : 23742 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14318440448 11831 33554432000 4194304 4196468 140726137340160 140280631605584 140281160689563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23743] ppid=23719 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/23724/task/23743/stat : 23743 (java) R 23719 23719 23654 0 -1 4202560 750 0 0 0 4 0 0 0 20 0 15 0 154077411 14318440448 11831 33554432000 4194304 4196468 140726137340160 140280630552944 140281142188857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23744] ppid=23719 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23724/task/23744/stat : 23744 (java) R 23719 23719 23654 0 -1 1077944384 185 0 0 0 3 0 0 0 20 0 15 0 154077411 14318440448 11831 33554432000 4194304 4196468 140726137340160 140280629500144 140281160682114 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23745] ppid=23719 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/23724/task/23745/stat : 23745 (java) R 23719 23719 23654 0 -1 4202560 821 0 0 0 13 0 0 0 20 0 15 0 154077411 14318440448 11831 33554432000 4194304 4196468 140726137340160 140280628444280 140281140385764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23746] ppid=23719 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23746/stat : 23746 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14318440448 11831 33554432000 4194304 4196468 140726137340160 140280627394784 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23747] ppid=23719 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23747/stat : 23747 (java) S 23719 23719 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154077411 14318440448 11831 33554432000 4194304 4196468 140726137340160 140280626343088 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48708 KiB
[startup+0.701481 s]
/proc/loadavg: 0.92 1.06 1.45 10/218 23747
/proc/meminfo: memFree=23021684/32770624 swapFree=67108860/67108860
[pid=23719] ppid=23715 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23719/stat : 23719 (xcsp3-exec) S 23715 23719 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154077405 9740288 346 33554432000 4194304 5098028 140720674562288 140720674560392 140716508652156 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37769216 140720674571380 140720674571584 140720674571584 140720674574315 0
/proc/23719/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23719 vsize=13984976 memory=91932 CPUtime=1.76 cores=0,2,4,6
/proc/23724/stat : 23724 (java) S 23719 23719 23654 0 -1 1077944320 13038 0 0 0 170 6 0 0 20 0 15 0 154077405 14320615424 22983 33554432000 4194304 4196468 140726137340160 140726137322704 140281160670967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
/proc/23724/statm: 3496244 22983 3213 1 0 3483478 0
[pid=23724/tid=23725] ppid=23719 vsize=13984976 memory=42676 CPUtime=0.67 cores=0,2,4,6
/proc/23724/task/23725/stat : 23725 (java) R 23719 23719 23654 0 -1 4202560 6650 0 0 0 64 3 0 0 20 0 15 0 154077405 14320615424 22983 33554432000 4194304 4196468 140726137340160 140281164906464 140280765812395 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23726] ppid=23719 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23726/stat : 23726 (java) S 23719 23719 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154077406 14320615424 22983 33554432000 4194304 4196468 140726137340160 140281090759312 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23727] ppid=23719 vsize=13984976 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23727/stat : 23727 (java) S 23719 23719 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154077406 14320615424 22983 33554432000 4194304 4196468 140726137340160 140281089706512 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23728] ppid=23719 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23728/stat : 23728 (java) S 23719 23719 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154077406 14320615424 22983 33554432000 4194304 4196468 140726137340160 140281088653712 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23729] ppid=23719 vsize=13984976 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23729/stat : 23729 (java) S 23719 23719 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154077406 14320615424 22983 33554432000 4194304 4196468 140726137340160 140281087600912 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23733] ppid=23719 vsize=13984976 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23733/stat : 23733 (java) S 23719 23719 23654 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154077408 14320615424 22983 33554432000 4194304 4196468 140726137340160 140280634764144 140281160682114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23734] ppid=23719 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23734/stat : 23734 (java) S 23719 23719 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154077408 14320615424 22983 33554432000 4194304 4196468 140726137340160 140280633710112 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23735] ppid=23719 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23735/stat : 23735 (java) S 23719 23719 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154077408 14320615424 22983 33554432000 4194304 4196468 140726137340160 140280632657264 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23742] ppid=23719 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23742/stat : 23742 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14320615424 22983 33554432000 4194304 4196468 140726137340160 140280631605584 140281160689563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23743] ppid=23719 vsize=13984976 memory=5784 CPUtime=0.33 cores=0,2,4,6
/proc/23724/task/23743/stat : 23743 (java) R 23719 23719 23654 0 -1 4202560 1643 0 0 0 33 0 0 0 20 0 15 0 154077411 14320615424 22983 33554432000 4194304 4196468 140726137340160 140280630533960 140281145576705 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23744] ppid=23719 vsize=13984976 memory=4616 CPUtime=0.3 cores=0,2,4,6
/proc/23724/task/23744/stat : 23744 (java) R 23719 23719 23654 0 -1 4202560 1194 0 0 0 30 0 0 0 20 0 15 0 154077411 14320615424 22983 33554432000 4194304 4196468 140726137340160 140280629490528 140281139894832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23745] ppid=23719 vsize=13984976 memory=1928 CPUtime=0.42 cores=0,2,4,6
/proc/23724/task/23745/stat : 23745 (java) R 23719 23719 23654 0 -1 4202560 2244 0 0 0 42 0 0 0 20 0 15 0 154077411 14320615424 22983 33554432000 4194304 4196468 140726137340160 140280628447344 140281146995351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23746] ppid=23719 vsize=13984976 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23746/stat : 23746 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14320615424 22983 33554432000 4194304 4196468 140726137340160 140280627394784 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23747] ppid=23719 vsize=13984976 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23747/stat : 23747 (java) S 23719 23719 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154077411 14320615424 22983 33554432000 4194304 4196468 140726137340160 140280626343088 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 93316 KiB
[startup+1.5008 s]
/proc/loadavg: 0.92 1.06 1.45 8/218 23747
/proc/meminfo: memFree=22928996/32770624 swapFree=67108860/67108860
[pid=23719] ppid=23715 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23719/stat : 23719 (xcsp3-exec) S 23715 23719 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154077405 9740288 346 33554432000 4194304 5098028 140720674562288 140720674560392 140716508652156 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37769216 140720674571380 140720674571584 140720674571584 140720674574315 0
/proc/23719/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/23724/task/23735/stat : 23735 (java) S 23719 23719 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154077408 14320615424 45466 33554432000 4194304 4196468 140726137340160 140280632657264 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23742] ppid=23719 vsize=13984976 memory=179696 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23742/stat : 23742 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14320615424 45466 33554432000 4194304 4196468 140726137340160 140280631605584 140281160689563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23743] ppid=23719 vsize=13984976 memory=1384 CPUtime=3.21 cores=0,2,4,6
/proc/23724/task/23743/stat : 23743 (java) S 23719 23719 23654 0 -1 1077944384 20272 0 0 0 318 3 0 0 20 0 15 0 154077411 14320615424 45466 33554432000 4194304 4196468 140726137340160 140280630552944 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23744] ppid=23719 vsize=13984976 memory=1384 CPUtime=3.35 cores=0,2,4,6
/proc/23724/task/23744/stat : 23744 (java) S 23719 23719 23654 0 -1 1077944384 26267 0 0 0 332 3 0 0 20 0 15 0 154077411 14320615424 45466 33554432000 4194304 4196468 140726137340160 140280629500144 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23745] ppid=23719 vsize=13984976 memory=152856 CPUtime=0.65 cores=0,2,4,6
/proc/23724/task/23745/stat : 23745 (java) S 23719 23719 23654 0 -1 1077944384 7225 0 0 0 64 1 0 0 20 0 15 0 154077411 14320615424 45466 33554432000 4194304 4196468 140726137340160 140280628447344 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23746] ppid=23719 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23746/stat : 23746 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14320615424 45466 33554432000 4194304 4196468 140726137340160 140280627394784 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23747] ppid=23719 vsize=13984976 memory=177608 CPUtime=0.03 cores=0,2,4,6
/proc/23724/task/23747/stat : 23747 (java) S 23719 23719 23654 0 -1 1077944384 1279 0 0 0 1 2 0 0 20 0 15 0 154077411 14320615424 45466 33554432000 4194304 4196468 140726137340160 140280626343088 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
Current children cumulated CPU time: 109.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 183248 KiB
[startup+162.301 s]
/proc/loadavg: 1.74 1.41 1.52 3/218 23749
/proc/meminfo: memFree=22584444/32770624 swapFree=67108860/67108860
[pid=23719] ppid=23715 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23719/stat : 23719 (xcsp3-exec) S 23715 23719 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154077405 9740288 346 33554432000 4194304 5098028 140720674562288 140720674560392 140716508652156 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37769216 140720674571380 140720674571584 140720674571584 140720674574315 0
/proc/23719/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23719 vsize=13984976 memory=269212 CPUtime=173.08 cores=0,2,4,6
/proc/23724/stat : 23724 (java) S 23719 23719 23654 0 -1 1077944320 75221 0 0 0 17286 22 0 0 20 0 15 0 154077405 14320615424 67303 33554432000 4194304 4196468 140726137340160 140726137322704 140281160670967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
/proc/23724/statm: 3496244 67303 3256 1 0 3483478 0
[pid=23724/tid=23725] ppid=23719 vsize=13984976 memory=269212 CPUtime=162.23 cores=0,2,4,6
/proc/23724/task/23725/stat : 23725 (java) R 23719 23719 23654 0 -1 4202560 12235 0 0 0 16218 5 0 0 20 0 15 0 154077405 14320615424 67303 33554432000 4194304 4196468 140726137340160 140281164907496 140280772893816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23726] ppid=23719 vsize=13984976 memory=269212 CPUtime=0.03 cores=0,2,4,6
/proc/23724/task/23726/stat : 23726 (java) S 23719 23719 23654 0 -1 1077944384 283 0 0 0 2 1 0 0 20 0 15 0 154077406 14320615424 67303 33554432000 4194304 4196468 140726137340160 140281090759312 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23727] ppid=23719 vsize=13984976 memory=269212 CPUtime=0.03 cores=0,2,4,6
/proc/23724/task/23727/stat : 23727 (java) S 23719 23719 23654 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 15 0 154077406 14320615424 67303 33554432000 4194304 4196468 140726137340160 140281089706512 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23728] ppid=23719 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/23724/task/23728/stat : 23728 (java) S 23719 23719 23654 0 -1 1077944384 125 0 0 0 2 1 0 0 20 0 15 0 154077406 14320615424 67303 33554432000 4194304 4196468 140726137340160 140281088653712 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23729] ppid=23719 vsize=13984976 memory=244012 CPUtime=0.03 cores=0,2,4,6
/proc/23724/task/23729/stat : 23729 (java) S 23719 23719 23654 0 -1 1077944384 102 0 0 0 2 1 0 0 20 0 15 0 154077406 14320615424 67303 33554432000 4194304 4196468 140726137340160 140281087600912 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23733] ppid=23719 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/23724/task/23733/stat : 23733 (java) S 23719 23719 23654 0 -1 1077944384 565 0 0 0 1 0 0 0 20 0 15 0 154077408 14320615424 67303 33554432000 4194304 4196468 140726137340160 140280634764144 140281160682114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23734] ppid=23719 vsize=13984976 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23734/stat : 23734 (java) S 23719 23719 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154077408 14320615424 67303 33554432000 4194304 4196468 140726137340160 140280633710112 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23735] ppid=23719 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23735/stat : 23735 (java) S 23719 23719 23654 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154077408 14320615424 67303 33554432000 4194304 4196468 140726137340160 140280632657264 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23742] ppid=23719 vsize=13984976 memory=269212 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23742/stat : 23742 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14320615424 67303 33554432000 4194304 4196468 140726137340160 140280631605584 140281160689563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23743] ppid=23719 vsize=13984976 memory=269212 CPUtime=5.02 cores=0,2,4,6
/proc/23724/task/23743/stat : 23743 (java) S 23719 23719 23654 0 -1 1077944384 22810 0 0 0 499 3 0 0 20 0 15 0 154077411 14320615424 67303 33554432000 4194304 4196468 140726137340160 140280630552944 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23744] ppid=23719 vsize=13984976 memory=1384 CPUtime=4.76 cores=0,2,4,6
/proc/23724/task/23744/stat : 23744 (java) S 23719 23719 23654 0 -1 1077944384 27682 0 0 0 473 3 0 0 20 0 15 0 154077411 14320615424 67303 33554432000 4194304 4196468 140726137340160 140280629500144 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23745] ppid=23719 vsize=13984976 memory=4561 CPUtime=0.82 cores=0,2,4,6
/proc/23724/task/23745/stat : 23745 (java) S 23719 23719 23654 0 -1 1077944384 8658 0 0 0 80 2 0 0 20 0 15 0 154077411 14320615424 67303 33554432000 4194304 4196468 140726137340160 140280628447344 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23746] ppid=23719 vsize=13984976 memory=7157470401039382590 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23746/stat : 23746 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14320615424 67303 33554432000 4194304 4196468 140726137340160 140280627394784 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23747] ppid=23719 vsize=13984976 memory=16432 CPUtime=0.04 cores=0,2,4,6
/proc/23724/task/23747/stat : 23747 (java) S 23719 23719 23654 0 -1 1077944384 1323 0 0 0 2 2 0 0 20 0 15 0 154077411 14320615424 67303 33554432000 4194304 4196468 140726137340160 140280626343088 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
Current children cumulated CPU time: 173.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 270596 KiB
[startup+222.301 s]
/proc/loadavg: 1.86 1.50 1.55 3/218 23757
/proc/meminfo: memFree=22540520/32770624 swapFree=67108860/67108860
[pid=23719] ppid=23715 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23719/stat : 23719 (xcsp3-exec) S 23715 23719 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154077405 9740288 346 33554432000 4194304 5098028 140720674562288 140720674560392 140716508652156 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37769216 140720674571380 140720674571584 140720674571584 140720674574315 0
/proc/23719/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23719 vsize=13984976 memory=299192 CPUtime=233.74 cores=0,2,4,6
/proc/23724/stat : 23724 (java) S 23719 23719 23654 0 -1 1077944320 80041 0 0 0 23346 28 0 0 20 0 15 0 154077405 14320615424 74798 33554432000 4194304 4196468 140726137340160 140726137322704 140281160670967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
/proc/23724/statm: 3496244 74798 3261 1 0 3483478 0
[pid=23724/tid=23725] ppid=23719 vsize=13984976 memory=299192 CPUtime=222.15 cores=0,2,4,6
/proc/23724/task/23725/stat : 23725 (java) R 23719 23719 23654 0 -1 4202560 12750 0 0 0 22210 5 0 0 20 0 15 0 154077405 14320615424 74798 33554432000 4194304 4196468 140726137340160 140281164907912 140280770872137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23726] ppid=23719 vsize=13984976 memory=299184 CPUtime=0.1 cores=0,2,4,6
/proc/23724/task/23726/stat : 23726 (java) S 23719 23719 23654 0 -1 1077944384 472 0 0 0 8 2 0 0 20 0 15 0 154077406 14320615424 74798 33554432000 4194304 4196468 140726137340160 140281090759312 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23727] ppid=23719 vsize=13984976 memory=299192 CPUtime=0.1 cores=0,2,4,6
/proc/23724/task/23727/stat : 23727 (java) S 23719 23719 23654 0 -1 1077944384 585 0 0 0 8 2 0 0 20 0 15 0 154077406 14320615424 74798 33554432000 4194304 4196468 140726137340160 140281089706512 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23728] ppid=23719 vsize=13984976 memory=1384 CPUtime=0.09 cores=0,2,4,6
/proc/23724/task/23728/stat : 23728 (java) S 23719 23719 23654 0 -1 1077944384 315 0 0 0 7 2 0 0 20 0 15 0 154077406 14320615424 74798 33554432000 4194304 4196468 140726137340160 140281088653712 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23729] ppid=23719 vsize=13984976 memory=299192 CPUtime=0.1 cores=0,2,4,6
/proc/23724/task/23729/stat : 23729 (java) S 23719 23719 23654 0 -1 1077944384 155 0 0 0 8 2 0 0 20 0 15 0 154077406 14320615424 74798 33554432000 4194304 4196468 140726137340160 140281087600912 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23733] ppid=23719 vsize=13984976 memory=299192 CPUtime=0.01 cores=0,2,4,6
/proc/23724/task/23733/stat : 23733 (java) S 23719 23719 23654 0 -1 1077944384 613 0 0 0 1 0 0 0 20 0 15 0 154077408 14320615424 74798 33554432000 4194304 4196468 140726137340160 140280634764144 140281160682114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23734] ppid=23719 vsize=13984976 memory=299192 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23734/stat : 23734 (java) S 23719 23719 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154077408 14320615424 74798 33554432000 4194304 4196468 140726137340160 140280633710112 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23735] ppid=23719 vsize=13984976 memory=299192 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23735/stat : 23735 (java) S 23719 23719 23654 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154077408 14320615424 74798 33554432000 4194304 4196468 140726137340160 140280632657264 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23742] ppid=23719 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23742/stat : 23742 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14320615424 74798 33554432000 4194304 4196468 140726137340160 140280631605584 140281160689563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23743] ppid=23719 vsize=13984976 memory=299192 CPUtime=5.21 cores=0,2,4,6
/proc/23724/task/23743/stat : 23743 (java) S 23719 23719 23654 0 -1 1077944384 23536 0 0 0 517 4 0 0 20 0 15 0 154077411 14320615424 74798 33554432000 4194304 4196468 140726137340160 140280630552944 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23744] ppid=23719 vsize=13984976 memory=1384 CPUtime=4.94 cores=0,2,4,6
/proc/23724/task/23744/stat : 23744 (java) S 23719 23719 23654 0 -1 1077944384 29383 0 0 0 490 4 0 0 20 0 15 0 154077411 14320615424 74798 33554432000 4194304 4196468 140726137340160 140280629500144 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23745] ppid=23719 vsize=13984976 memory=299176 CPUtime=0.88 cores=0,2,4,6
/proc/23724/task/23745/stat : 23745 (java) S 23719 23719 23654 0 -1 1077944384 9433 0 0 0 86 2 0 0 20 0 15 0 154077411 14320615424 74798 33554432000 4194304 4196468 140726137340160 140280628447344 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23746] ppid=23719 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23746/stat : 23746 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14320615424 74798 33554432000 4194304 4196468 140726137340160 140280627394784 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23747] ppid=23719 vsize=13984976 memory=299192 CPUtime=0.06 cores=0,2,4,6
/proc/23724/task/23747/stat : 23747 (java) S 23719 23719 23654 0 -1 1077944384 1443 0 0 0 3 3 0 0 20 0 15 0 154077411 14320615424 74798 33554432000 4194304 4196468 140726137340160 140280626343088 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
Current children cumulated CPU time: 233.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 300576 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.90 1.53 1.56 3/205 23759
/proc/meminfo: memFree=22760716/32770624 swapFree=67108860/67108860
[pid=23719] ppid=23715 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23719/stat : 23719 (xcsp3-exec) S 23715 23719 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154077405 9740288 346 33554432000 4194304 5098028 140720674562288 140720674560392 140716508652156 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37769216 140720674571380 140720674571584 140720674571584 140720674574315 0
/proc/23719/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23719 vsize=13984976 memory=299252 CPUtime=251.73 cores=0,2,4,6
/proc/23724/stat : 23724 (java) S 23719 23719 23654 0 -1 1077944320 83538 0 0 0 25144 29 0 0 20 0 15 0 154077405 14320615424 74813 33554432000 4194304 4196468 140726137340160 140726137322704 140281160670967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
/proc/23724/statm: 3496244 74813 3262 1 0 3483478 0
[pid=23724/tid=23725] ppid=23719 vsize=13984976 memory=6791534058613427641 CPUtime=239.86 cores=0,2,4,6
/proc/23724/task/23725/stat : 23725 (java) R 23719 23719 23654 0 -1 4202560 13304 0 0 0 23981 5 0 0 20 0 15 0 154077405 14320615424 74813 33554432000 4194304 4196468 140726137340160 140281164908120 140280770872066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23726] ppid=23719 vsize=13984976 memory=1728 CPUtime=0.1 cores=0,2,4,6
/proc/23724/task/23726/stat : 23726 (java) S 23719 23719 23654 0 -1 1077944384 472 0 0 0 8 2 0 0 20 0 15 0 154077406 14320615424 74813 33554432000 4194304 4196468 140726137340160 140281090759312 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23727] ppid=23719 vsize=13984976 memory=12136 CPUtime=0.1 cores=0,2,4,6
/proc/23724/task/23727/stat : 23727 (java) S 23719 23719 23654 0 -1 1077944384 585 0 0 0 8 2 0 0 20 0 15 0 154077406 14320615424 74813 33554432000 4194304 4196468 140726137340160 140281089706512 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23728] ppid=23719 vsize=13984976 memory=1384 CPUtime=0.09 cores=0,2,4,6
/proc/23724/task/23728/stat : 23728 (java) S 23719 23719 23654 0 -1 1077944384 315 0 0 0 7 2 0 0 20 0 15 0 154077406 14320615424 74813 33554432000 4194304 4196468 140726137340160 140281088653712 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23729] ppid=23719 vsize=13984976 memory=4872558044660077418 CPUtime=0.1 cores=0,2,4,6
/proc/23724/task/23729/stat : 23729 (java) S 23719 23719 23654 0 -1 1077944384 155 0 0 0 8 2 0 0 20 0 15 0 154077406 14320615424 74813 33554432000 4194304 4196468 140726137340160 140281087600912 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23733] ppid=23719 vsize=13984976 memory=23524 CPUtime=0.02 cores=0,2,4,6
/proc/23724/task/23733/stat : 23733 (java) S 23719 23719 23654 0 -1 1077944384 644 0 0 0 1 1 0 0 20 0 15 0 154077408 14320615424 74813 33554432000 4194304 4196468 140726137340160 140280634764144 140281160682114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23734] ppid=23719 vsize=13984976 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23734/stat : 23734 (java) S 23719 23719 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154077408 14320615424 74813 33554432000 4194304 4196468 140726137340160 140280633710112 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23735] ppid=23719 vsize=13984976 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23735/stat : 23735 (java) S 23719 23719 23654 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154077408 14320615424 74813 33554432000 4194304 4196468 140726137340160 140280632657264 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23742] ppid=23719 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23742/stat : 23742 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14320615424 74813 33554432000 4194304 4196468 140726137340160 140280631605584 140281160689563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23743] ppid=23719 vsize=13984976 memory=640 CPUtime=5.4 cores=0,2,4,6
/proc/23724/task/23743/stat : 23743 (java) S 23719 23719 23654 0 -1 1077944384 25692 0 0 0 536 4 0 0 20 0 15 0 154077411 14320615424 74813 33554432000 4194304 4196468 140726137340160 140280630552944 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23744] ppid=23719 vsize=13984976 memory=960 CPUtime=5 cores=0,2,4,6
/proc/23724/task/23744/stat : 23744 (java) S 23719 23719 23654 0 -1 1077944384 29938 0 0 0 496 4 0 0 20 0 15 0 154077411 14320615424 74813 33554432000 4194304 4196468 140726137340160 140280629500144 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23745] ppid=23719 vsize=13984976 memory=1232 CPUtime=0.89 cores=0,2,4,6
/proc/23724/task/23745/stat : 23745 (java) S 23719 23719 23654 0 -1 1077944384 9603 0 0 0 87 2 0 0 20 0 15 0 154077411 14320615424 74813 33554432000 4194304 4196468 140726137340160 140280628447344 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23746] ppid=23719 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23724/task/23746/stat : 23746 (java) S 23719 23719 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154077411 14320615424 74813 33554432000 4194304 4196468 140726137340160 140280627394784 140281160681173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
[pid=23724/tid=23747] ppid=23719 vsize=13984976 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/23724/task/23747/stat : 23747 (java) S 23719 23719 23654 0 -1 1077944384 1474 0 0 0 3 4 0 0 20 0 15 0 154077411 14320615424 74813 33554432000 4194304 4196468 140726137340160 140280626343088 140281160682114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 15302656 140726137345181 140726137345356 140726137345356 140726137348047 0
Current children cumulated CPU time: 251.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 300636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 23719 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00185 s, system=0 s
[startup+240.025 s]
# the end of solver process 23724 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.453 s, system=0.301232 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.025
CPU time (s): 251.754
CPU user time (s): 251.453
CPU system time (s): 0.301232
CPU usage (%): 104.886
Max. virtual memory (cumulated for all children) (KiB): 13999284
Max. memory (cumulated for all children) (KiB): 300636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.453
system time used= 0.301232
maximum resident set size= 300240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84505
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= 8742
involuntary context switches= 360
# summary of solver processes directly reported to runsolver:
# pid: 23719,23724
# total CPU time (s): 251.754
# total CPU user time (s): 251.453
# total CPU system time (s): 0.301232
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3251 second user time and 2.29934 second system time
The end