2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	8	587.592	76.1542
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 (11020 MiB free)
  memory of node 1: 16384 MiB (12890 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404868-1569003524/watcher-4404868-1569003524 -o /var/tmp/evaluation-result-4404868-1569003524/solver-4404868-1569003524 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2126779684 HOME/instance-4404868-1569003524.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13423, runsolver pid=13420
Current StackSize limit: 8192 KiB


[startup+0.10016 s]*
/proc/loadavg: 8.32 8.35 8.23 2/215 13444
/proc/meminfo: memFree=24466652/32770624 swapFree=67001928/67108860
[pid=13423] ppid=13420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13423/stat : 13423 (xcsp3-exec) S 13420 13423 6043 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476591999 115843072 363 33554432000 4194304 5098028 140733538352448 140733538350552 140139086303868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12378112 140733538358103 140733538358362 140733538358362 140733538361286 0
/proc/13423/statm: 28282 363 304 221 0 87 0
[pid=13425] ppid=13423 vsize=28227396 memory=30200 CPUtime=0.12 cores=0-7
/proc/13425/stat : 13425 (java) S 13423 13423 6043 0 -1 1077944320 5514 0 0 0 11 1 0 0 20 0 20 0 476591999 28904853504 7550 33554432000 4194304 4196468 140727761534896 140727761517440 139763916295927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
/proc/13425/statm: 7056849 7550 3123 1 0 7019032 0
[pid=13425/tid=13426] ppid=13423 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13425/task/13426/stat : 13426 (java) R 13423 13423 6043 0 -1 4202560 3429 0 0 0 8 1 0 0 20 0 20 0 476591999 28904853504 7550 33554432000 4194304 4196468 140727761534896 139763920527248 139763916317274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13427] ppid=13423 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13425/task/13427/stat : 13427 (java) S 13423 13423 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 7550 33554432000 4194304 4196468 140727761534896 139763875056656 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13428] ppid=13423 vsize=28227396 memory=140455499593344 CPUtime=0 cores=0-7
/proc/13425/task/13428/stat : 13428 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 7550 33554432000 4194304 4196468 140727761534896 139763874004112 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13429] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13429/stat : 13429 (java) S 13423 13423 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 7550 33554432000 4194304 4196468 140727761534896 139763466119952 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13430] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13430/stat : 13430 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 7550 33554432000 4194304 4196468 140727761534896 139763465067408 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13431] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13431/stat : 13431 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 7550 33554432000 4194304 4196468 140727761534896 139763464014352 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13432] ppid=13423 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13425/task/13432/stat : 13432 (java) S 13423 13423 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 7550 33554432000 4194304 4196468 140727761534896 139763462961808 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13433] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13433/stat : 13433 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 7550 33554432000 4194304 4196468 140727761534896 139763461908752 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13434] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13434/stat : 13434 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 7550 33554432000 4194304 4196468 140727761534896 139763460856208 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13435] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13435/stat : 13435 (java) S 13423 13423 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476592002 28904853504 7550 33554432000 4194304 4196468 140727761534896 139762898451184 139763916307074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13436] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13436/stat : 13436 (java) S 13423 13423 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476592002 28904853504 7616 33554432000 4194304 4196468 140727761534896 139762897397408 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13437] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13437/stat : 13437 (java) S 13423 13423 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476592002 28904853504 7616 33554432000 4194304 4196468 140727761534896 139762896344304 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13438] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13438/stat : 13438 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592005 28904853504 7616 33554432000 4194304 4196468 140727761534896 139762895292880 139763916314523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13439] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13439/stat : 13439 (java) S 13423 13423 6043 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 476592005 28904853504 7616 33554432000 4194304 4196468 140727761534896 139762894239984 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13440] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13440/stat : 13440 (java) R 13423 13423 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476592005 28904853504 7616 33554432000 4194304 4196468 140727761534896 139762893187440 139763916307074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13441] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13441/stat : 13441 (java) R 13423 13423 6043 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 20 0 476592005 28904853504 7616 33554432000 4194304 4196468 140727761534896 139762892134384 139763899838466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13442] ppid=13423 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/13425/task/13442/stat : 13442 (java) R 13423 13423 6043 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 476592005 28904853504 7616 33554432000 4194304 4196468 140727761534896 139762891081840 139763908533054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13443] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13443/stat : 13443 (java) S 13423 13423 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476592005 28904853504 7616 33554432000 4194304 4196468 140727761534896 139762890030048 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13444] ppid=13423 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13425/task/13444/stat : 13444 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592005 28904853504 7616 33554432000 4194304 4196468 140727761534896 139762888977584 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31652 KiB

[startup+0.210883 s]*
/proc/loadavg: 8.32 8.35 8.23 3/215 13444
/proc/meminfo: memFree=24454788/32770624 swapFree=67001928/67108860
[pid=13423] ppid=13420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13423/stat : 13423 (xcsp3-exec) S 13420 13423 6043 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476591999 115843072 363 33554432000 4194304 5098028 140733538352448 140733538350552 140139086303868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12378112 140733538358103 140733538358362 140733538358362 140733538361286 0
/proc/13423/statm: 28282 363 304 221 0 87 0
[pid=13425] ppid=13423 vsize=28227396 memory=40844 CPUtime=0.34 cores=0-7
/proc/13425/stat : 13425 (java) S 13423 13423 6043 0 -1 1077944320 8919 0 0 0 32 2 0 0 20 0 20 0 476591999 28904853504 10211 33554432000 4194304 4196468 140727761534896 140727761517440 139763916295927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
/proc/13425/statm: 7056849 10211 3311 1 0 7019032 0
[pid=13425/tid=13426] ppid=13423 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/13425/task/13426/stat : 13426 (java) R 13423 13423 6043 0 -1 4202560 6192 0 0 0 18 2 0 0 20 0 20 0 476591999 28904853504 10211 33554432000 4194304 4196468 140727761534896 139763920534240 139763916307862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13427] ppid=13423 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/13425/task/13427/stat : 13427 (java) S 13423 13423 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 10211 33554432000 4194304 4196468 140727761534896 139763875056656 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13428] ppid=13423 vsize=28227396 memory=140455503180877 CPUtime=0 cores=0-7
/proc/13425/task/13428/stat : 13428 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 10211 33554432000 4194304 4196468 140727761534896 139763874004112 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13429] ppid=13423 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13425/task/13429/stat : 13429 (java) S 13423 13423 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 10211 33554432000 4194304 4196468 140727761534896 139763466119952 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13430] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13430/stat : 13430 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 10211 33554432000 4194304 4196468 140727761534896 139763465067408 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13431] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13431/stat : 13431 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 10211 33554432000 4194304 4196468 140727761534896 139763464014352 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13432] ppid=13423 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13425/task/13432/stat : 13432 (java) S 13423 13423 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 10211 33554432000 4194304 4196468 140727761534896 139763462961808 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13433] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13433/stat : 13433 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 10211 33554432000 4194304 4196468 140727761534896 139763461908752 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13434] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13434/stat : 13434 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28904853504 10211 33554432000 4194304 4196468 140727761534896 139763460856208 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13435] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13435/stat : 13435 (java) S 13423 13423 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476592002 28904853504 10211 33554432000 4194304 4196468 140727761534896 139762898451184 139763916307074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13436] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13436/stat : 13436 (java) S 13423 13423 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476592002 28904853504 10211 33554432000 4194304 4196468 140727761534896 139762897397408 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13437] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13437/stat : 13437 (java) S 13423 13423 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476592002 28904853504 10211 33554432000 4194304 4196468 140727761534896 139762896344304 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13438] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13438/stat : 13438 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592005 28904853504 10211 33554432000 4194304 4196468 140727761534896 139762895292880 139763916314523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13439] ppid=13423 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13425/task/13439/stat : 13439 (java) S 13423 13423 6043 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 20 0 476592005 28904853504 10211 33554432000 4194304 4196468 140727761534896 139762894239984 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13440] ppid=13423 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13425/task/13440/stat : 13440 (java) S 13423 13423 6043 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 476592005 28904853504 10211 33554432000 4194304 4196468 140727761534896 139762893187440 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13441] ppid=13423 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/13425/task/13441/stat : 13441 (java) S 13423 13423 6043 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 20 0 476592005 28904853504 10211 33554432000 4194304 4196468 140727761534896 139762892134384 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13442] ppid=13423 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/13425/task/13442/stat : 13442 (java) R 13423 13423 6043 0 -1 4202560 782 0 0 0 8 0 0 0 20 0 20 0 476592005 28904853504 10211 33554432000 4194304 4196468 140727761534896 139762891081840 139763901461575 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13443] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13443/stat : 13443 (java) S 13423 13423 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476592005 28904853504 10211 33554432000 4194304 4196468 140727761534896 139762890030048 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13444] ppid=13423 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13425/task/13444/stat : 13444 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592005 28904853504 10211 33554432000 4194304 4196468 140727761534896 139762888977584 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42296 KiB

[startup+0.310724 s]*
/proc/loadavg: 8.32 8.35 8.23 4/215 13444
/proc/meminfo: memFree=24447744/32770624 swapFree=67001928/67108860
[pid=13423] ppid=13420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13423/stat : 13423 (xcsp3-exec) S 13420 13423 6043 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476591999 115843072 363 33554432000 4194304 5098028 140733538352448 140733538350552 140139086303868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12378112 140733538358103 140733538358362 140733538358362 140733538361286 0
/proc/13423/statm: 28282 363 304 221 0 87 0
[pid=13425] ppid=13423 vsize=28231652 memory=49884 CPUtime=0.54 cores=0-7
/proc/13425/stat : 13425 (java) S 13423 13423 6043 0 -1 1077944320 10524 0 0 0 50 4 0 0 20 0 20 0 476591999 28909211648 12471 33554432000 4194304 4196468 140727761534896 140727761517440 139763916295927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
/proc/13425/statm: 7057913 12471 3360 1 0 7019032 0
[pid=13425/tid=13426] ppid=13423 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/13425/task/13426/stat : 13426 (java) R 13423 13423 6043 0 -1 4202560 7547 0 0 0 27 3 0 0 20 0 20 0 476591999 28909211648 12471 33554432000 4194304 4196468 140727761534896 139763920527040 139763900376414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13427] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13427/stat : 13427 (java) S 13423 13423 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476592000 28909211648 12471 33554432000 4194304 4196468 140727761534896 139763875056656 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13428] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13428/stat : 13428 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28909211648 12471 33554432000 4194304 4196468 140727761534896 139763874004112 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13429] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13429/stat : 13429 (java) S 13423 13423 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476592000 28909211648 12471 33554432000 4194304 4196468 140727761534896 139763466119952 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13430] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13430/stat : 13430 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28909211648 12471 33554432000 4194304 4196468 140727761534896 139763465067408 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13431] ppid=13423 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/13425/task/13431/stat : 13431 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28909211648 12471 33554432000 4194304 4196468 140727761534896 139763464014352 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13432] ppid=13423 vsize=28231652 memory=140455362786223 CPUtime=0 cores=0-7
/proc/13425/task/13432/stat : 13432 (java) S 13423 13423 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476592000 28909211648 12471 33554432000 4194304 4196468 140727761534896 139763462961808 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13433] ppid=13423 vsize=28231652 memory=140455362788528 CPUtime=0 cores=0-7
/proc/13425/task/13433/stat : 13433 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28909211648 12471 33554432000 4194304 4196468 140727761534896 139763461908752 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13434] ppid=13423 vsize=28231652 memory=140455362790832 CPUtime=0 cores=0-7
/proc/13425/task/13434/stat : 13434 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28909211648 12471 33554432000 4194304 4196468 140727761534896 139763460856208 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13435] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13435/stat : 13435 (java) S 13423 13423 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476592002 28909211648 12471 33554432000 4194304 4196468 140727761534896 139762898451184 139763916307074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13436] ppid=13423 vsize=28231652 memory=280910725588624 CPUtime=0 cores=0-7
/proc/13425/task/13436/stat : 13436 (java) S 13423 13423 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476592002 28909211648 12471 33554432000 4194304 4196468 140727761534896 139762897397408 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13437] ppid=13423 vsize=28231652 memory=280910725595536 CPUtime=0 cores=0-7
/proc/13425/task/13437/stat : 13437 (java) S 13423 13423 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476592002 28909211648 12471 33554432000 4194304 4196468 140727761534896 139762896344304 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13438] ppid=13423 vsize=28231652 memory=280910725536816 CPUtime=0 cores=0-7
/proc/13425/task/13438/stat : 13438 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592005 28909211648 12471 33554432000 4194304 4196468 140727761534896 139762895292880 139763916314523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13439] ppid=13423 vsize=28231652 memory=280910725609360 CPUtime=0.02 cores=0-7
/proc/13425/task/13439/stat : 13439 (java) S 13423 13423 6043 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 20 0 476592005 28909211648 12471 33554432000 4194304 4196468 140727761534896 139762894239984 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13440] ppid=13423 vsize=28231652 memory=280910725616272 CPUtime=0.03 cores=0-7
/proc/13425/task/13440/stat : 13440 (java) R 13423 13423 6043 0 -1 4202560 133 0 0 0 3 0 0 0 20 0 20 0 476592005 28909211648 12471 33554432000 4194304 4196468 140727761534896 139762893177824 139763897816992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13441] ppid=13423 vsize=28231652 memory=280910725613968 CPUtime=0.03 cores=0-7
/proc/13425/task/13441/stat : 13441 (java) S 13423 13423 6043 0 -1 1077944384 274 0 0 0 3 0 0 0 20 0 20 0 476592005 28909211648 12471 33554432000 4194304 4196468 140727761534896 139762892134384 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13442] ppid=13423 vsize=28231652 memory=280910725630128 CPUtime=0.13 cores=0-7
/proc/13425/task/13442/stat : 13442 (java) S 13423 13423 6043 0 -1 1077944384 922 0 0 0 13 0 0 0 20 0 20 0 476592005 28909211648 12471 33554432000 4194304 4196468 140727761534896 139762891081840 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13443] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13443/stat : 13443 (java) S 13423 13423 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476592005 28909211648 12471 33554432000 4194304 4196468 140727761534896 139762890030048 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13444] ppid=13423 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13425/task/13444/stat : 13444 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592005 28909211648 12471 33554432000 4194304 4196468 140727761534896 139762888977584 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51336 KiB

[startup+0.701044 s]
/proc/loadavg: 8.32 8.35 8.23 5/215 13444
/proc/meminfo: memFree=24425340/32770624 swapFree=67001928/67108860
[pid=13423] ppid=13420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13423/stat : 13423 (xcsp3-exec) S 13420 13423 6043 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476591999 115843072 363 33554432000 4194304 5098028 140733538352448 140733538350552 140139086303868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12378112 140733538358103 140733538358362 140733538358362 140733538361286 0
/proc/13423/statm: 28282 363 304 221 0 87 0
[pid=13425] ppid=13423 vsize=28233776 memory=117912 CPUtime=1.96 cores=0-7
/proc/13425/stat : 13425 (java) S 13423 13423 6043 0 -1 1077944320 14250 0 0 0 190 6 0 0 20 0 20 0 476591999 28911386624 29478 33554432000 4194304 4196468 140727761534896 140727761517440 139763916295927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
/proc/13425/statm: 7058444 29478 3443 1 0 7019544 0
[pid=13425/tid=13426] ppid=13423 vsize=28233776 memory=280910725988016 CPUtime=0.68 cores=0-7
/proc/13425/task/13426/stat : 13426 (java) R 13423 13423 6043 0 -1 4202560 8176 0 0 0 64 4 0 0 20 0 20 0 476591999 28911386624 29478 33554432000 4194304 4196468 140727761534896 139763920534192 139763552013013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13427] ppid=13423 vsize=28233776 memory=140455362995056 CPUtime=0 cores=0-7
/proc/13425/task/13427/stat : 13427 (java) S 13423 13423 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476592000 28911386624 29478 33554432000 4194304 4196468 140727761534896 139763875056656 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13428] ppid=13423 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/13425/task/13428/stat : 13428 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476592000 28911386624 29478 33554432000 4194304 4196468 140727761534896 139763874004112 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13429] ppid=13423 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/13425/task/13429/stat : 13429 (java) S 13423 13423 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476592000 28911386624 29478 33554432000 4194304 4196468 140727761534896 139763466119952 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0

################
# More data... #
################

[pid=13425/tid=13442] ppid=13423 vsize=28768336 memory=1564 CPUtime=0.95 cores=0-7
/proc/13425/task/13442/stat : 13442 (java) S 13423 13423 6043 0 -1 1077944384 10602 0 0 0 92 3 0 0 20 0 28 0 476592005 29458776064 1139220 33554432000 4194304 4196468 140727761534896 139762891081840 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13443] ppid=13423 vsize=28768336 memory=13996 CPUtime=0 cores=0-7
/proc/13425/task/13443/stat : 13443 (java) S 13423 13423 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476592005 29458776064 1139220 33554432000 4194304 4196468 140727761534896 139762890030048 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13444] ppid=13423 vsize=28768336 memory=12024 CPUtime=0.03 cores=0-7
/proc/13425/task/13444/stat : 13444 (java) S 13423 13423 6043 0 -1 1077944384 1275 0 0 0 0 3 0 0 20 0 28 0 476592005 29458776064 1139220 33554432000 4194304 4196468 140727761534896 139762888977584 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13485] ppid=13423 vsize=28768336 memory=2116 CPUtime=70.09 cores=0-7
/proc/13425/task/13485/stat : 13485 (java) R 13423 13423 6043 0 -1 4202560 7311 0 0 0 6974 35 0 0 20 0 28 0 476592511 29458776064 1139220 33554432000 4194304 4196468 140727761534896 139762879757880 139763561733144 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13486] ppid=13423 vsize=28768336 memory=29452 CPUtime=70.06 cores=0-7
/proc/13425/task/13486/stat : 13486 (java) R 13423 13423 6043 0 -1 4202560 829 0 0 0 7006 0 0 0 20 0 28 0 476592511 29458776064 1139220 33554432000 4194304 4196468 140727761534896 139762872390408 139763561149985 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13487] ppid=13423 vsize=28768336 memory=496 CPUtime=69.93 cores=0-7
/proc/13425/task/13487/stat : 13487 (java) R 13423 13423 6043 0 -1 4202560 1184 0 0 0 6991 2 0 0 20 0 28 0 476592511 29458776064 1139220 33554432000 4194304 4196468 140727761534896 139762873442696 139763561150001 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13488] ppid=13423 vsize=28768336 memory=1452 CPUtime=69.66 cores=0-7
/proc/13425/task/13488/stat : 13488 (java) R 13423 13423 6043 0 -1 4202560 3988 0 0 0 6945 21 0 0 20 0 28 0 476592511 29458776064 1139220 33554432000 4194304 4196468 140727761534896 139762877652680 139763557557410 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13489] ppid=13423 vsize=28768336 memory=3276 CPUtime=69.98 cores=0-7
/proc/13425/task/13489/stat : 13489 (java) R 13423 13423 6043 0 -1 4202560 877 0 0 0 6996 2 0 0 20 0 28 0 476592511 29458776064 1139220 33554432000 4194304 4196468 140727761534896 139762874494776 139763560921296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13490] ppid=13423 vsize=28768336 memory=3276 CPUtime=69.13 cores=0-7
/proc/13425/task/13490/stat : 13490 (java) R 13423 13423 6043 0 -1 4202560 1062 0 0 0 6911 2 0 0 20 0 28 0 476592511 29458776064 1139220 33554432000 4194304 4196468 140727761534896 139762876600048 139763561149985 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13491] ppid=13423 vsize=28768336 memory=54860 CPUtime=69.66 cores=0-7
/proc/13425/task/13491/stat : 13491 (java) R 13423 13423 6043 0 -1 4202560 11839 0 0 0 6898 68 0 0 20 0 28 0 476592511 29458776064 1139220 33554432000 4194304 4196468 140727761534896 139762878708096 139763553653303 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13492] ppid=13423 vsize=28768336 memory=988 CPUtime=69.69 cores=0-7
/proc/13425/task/13492/stat : 13492 (java) R 13423 13423 6043 0 -1 4202560 1267 0 0 0 6965 4 0 0 20 0 28 0 476592512 29458776064 1139220 33554432000 4194304 4196468 140727761534896 139762875548568 139763560921459 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
Current children cumulated CPU time: 583.57 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 4556284 KiB

[startup+76.0012 s]*
/proc/loadavg: 8.92 8.48 8.28 9/223 13497
/proc/meminfo: memFree=19840112/32770624 swapFree=67001928/67108860
[pid=13423] ppid=13420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13423/stat : 13423 (xcsp3-exec) S 13420 13423 6043 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476591999 115843072 363 33554432000 4194304 5098028 140733538352448 140733538350552 140139086303868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12378112 140733538358103 140733538358362 140733538358362 140733538361286 0
/proc/13423/statm: 28282 363 304 221 0 87 0
[pid=13425] ppid=13423 vsize=28768336 memory=4653136 CPUtime=586.84 cores=0-7
/proc/13425/stat : 13425 (java) S 13423 13423 6043 0 -1 1077944320 102816 0 0 0 58447 237 0 0 20 0 28 0 476591999 29458776064 1163284 33554432000 4194304 4196468 140727761534896 140727761517440 139763916295927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
/proc/13425/statm: 7192084 1163284 3533 1 0 7153184 0
[pid=13425/tid=13426] ppid=13423 vsize=28768336 memory=7883668157273237332 CPUtime=3.49 cores=0-7
/proc/13425/task/13426/stat : 13426 (java) S 13423 13423 6043 0 -1 1077944384 10773 0 0 0 337 12 0 0 20 0 28 0 476591999 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139763920536704 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13427] ppid=13423 vsize=28768336 memory=7451580965494871660 CPUtime=0.26 cores=0-7
/proc/13425/task/13427/stat : 13427 (java) S 13423 13423 6043 0 -1 1077944384 1228 0 0 0 18 8 0 0 20 0 28 0 476592000 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139763875056656 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13428] ppid=13423 vsize=28768336 memory=4049499081269847968 CPUtime=0.26 cores=0-7
/proc/13425/task/13428/stat : 13428 (java) S 13423 13423 6043 0 -1 1077944384 1047 0 0 0 17 9 0 0 20 0 28 0 476592000 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139763874004112 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13429] ppid=13423 vsize=28768336 memory=3979268031845512239 CPUtime=0.24 cores=0-7
/proc/13425/task/13429/stat : 13429 (java) S 13423 13423 6043 0 -1 1077944384 376 0 0 0 16 8 0 0 20 0 28 0 476592000 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139763466119952 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13430] ppid=13423 vsize=28768336 memory=8099531882097108048 CPUtime=0.24 cores=0-7
/proc/13425/task/13430/stat : 13430 (java) S 13423 13423 6043 0 -1 1077944384 312 0 0 0 16 8 0 0 20 0 28 0 476592000 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139763465067408 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13431] ppid=13423 vsize=28768336 memory=7454130749351154278 CPUtime=0.25 cores=0-7
/proc/13425/task/13431/stat : 13431 (java) S 13423 13423 6043 0 -1 1077944384 408 0 0 0 17 8 0 0 20 0 28 0 476592000 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139763464014352 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13432] ppid=13423 vsize=28768336 memory=3905241247143829555 CPUtime=0.24 cores=0-7
/proc/13425/task/13432/stat : 13432 (java) S 13423 13423 6043 0 -1 1077944384 1034 0 0 0 16 8 0 0 20 0 28 0 476592000 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139763462961808 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13433] ppid=13423 vsize=28768336 memory=7450195554654973282 CPUtime=0.21 cores=0-7
/proc/13425/task/13433/stat : 13433 (java) S 13423 13423 6043 0 -1 1077944384 723 0 0 0 14 7 0 0 20 0 28 0 476592000 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139763461908752 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13434] ppid=13423 vsize=28768336 memory=7235422399673033831 CPUtime=0.23 cores=0-7
/proc/13425/task/13434/stat : 13434 (java) S 13423 13423 6043 0 -1 1077944384 403 0 0 0 15 8 0 0 20 0 28 0 476592000 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139763460856208 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13435] ppid=13423 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7
/proc/13425/task/13435/stat : 13435 (java) S 13423 13423 6043 0 -1 1077944384 3890 0 0 0 2 1 0 0 20 0 28 0 476592002 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762898451184 139763916307074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13436] ppid=13423 vsize=28768336 memory=7811608320859465325 CPUtime=0 cores=0-7
/proc/13425/task/13436/stat : 13436 (java) S 13423 13423 6043 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 476592002 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762897397472 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13437] ppid=13423 vsize=28768336 memory=7593726923916863332 CPUtime=0 cores=0-7
/proc/13425/task/13437/stat : 13437 (java) S 13423 13423 6043 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 476592002 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762896344320 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13438] ppid=13423 vsize=28768336 memory=4641049920903598178 CPUtime=0 cores=0-7
/proc/13425/task/13438/stat : 13438 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476592005 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762895292880 139763916314523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13439] ppid=13423 vsize=28768336 memory=-6586067424170316132 CPUtime=4.22 cores=0-7
/proc/13425/task/13439/stat : 13439 (java) S 13423 13423 6043 0 -1 1077944384 14332 0 0 0 418 4 0 0 20 0 28 0 476592005 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762894239984 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13440] ppid=13423 vsize=28768336 memory=140455499655377 CPUtime=4 cores=0-7
/proc/13425/task/13440/stat : 13440 (java) S 13423 13423 6043 0 -1 1077944384 13044 0 0 0 397 3 0 0 20 0 28 0 476592005 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762893187440 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13441] ppid=13423 vsize=28768336 memory=140455499600337 CPUtime=4.1 cores=0-7
/proc/13425/task/13441/stat : 13441 (java) S 13423 13423 6043 0 -1 1077944384 12529 0 0 0 407 3 0 0 20 0 28 0 476592005 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762892134384 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13442] ppid=13423 vsize=28768336 memory=140455499650769 CPUtime=0.95 cores=0-7
/proc/13425/task/13442/stat : 13442 (java) S 13423 13423 6043 0 -1 1077944384 10602 0 0 0 92 3 0 0 20 0 28 0 476592005 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762891081840 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13443] ppid=13423 vsize=28768336 memory=2314860354982733136 CPUtime=0 cores=0-7
/proc/13425/task/13443/stat : 13443 (java) S 13423 13423 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476592005 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762890030048 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13444] ppid=13423 vsize=28768336 memory=8820672897879781384 CPUtime=0.03 cores=0-7
/proc/13425/task/13444/stat : 13444 (java) S 13423 13423 6043 0 -1 1077944384 1275 0 0 0 0 3 0 0 20 0 28 0 476592005 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762888977584 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13485] ppid=13423 vsize=28768336 memory=5796807147890299913 CPUtime=70.49 cores=0-7
/proc/13425/task/13485/stat : 13485 (java) R 13423 13423 6043 0 -1 4202560 7328 0 0 0 7014 35 0 0 20 0 28 0 476592511 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762879757880 139763562552224 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13486] ppid=13423 vsize=28768336 memory=8039887049847964027 CPUtime=70.47 cores=0-7
/proc/13425/task/13486/stat : 13486 (java) R 13423 13423 6043 0 -1 4202560 829 0 0 0 7047 0 0 0 20 0 28 0 476592511 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762872390408 139763561149985 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13487] ppid=13423 vsize=28768336 memory=-5155634780447454526 CPUtime=70.34 cores=0-7
/proc/13425/task/13487/stat : 13487 (java) R 13423 13423 6043 0 -1 4202560 1184 0 0 0 7032 2 0 0 20 0 28 0 476592511 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762873442696 139763561823985 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13488] ppid=13423 vsize=28768336 memory=-4421386521933812317 CPUtime=70.06 cores=0-7
/proc/13425/task/13488/stat : 13488 (java) R 13423 13423 6043 0 -1 4202560 3992 0 0 0 6985 21 0 0 20 0 28 0 476592511 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762877652680 139763555292880 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13489] ppid=13423 vsize=28768336 memory=8323069512539357860 CPUtime=70.39 cores=0-7
/proc/13425/task/13489/stat : 13489 (java) R 13423 13423 6043 0 -1 4202560 878 0 0 0 7037 2 0 0 20 0 28 0 476592511 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762874494776 139763560921096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13490] ppid=13423 vsize=28768336 memory=-4050210904893537937 CPUtime=69.52 cores=0-7
/proc/13425/task/13490/stat : 13490 (java) R 13423 13423 6043 0 -1 4202560 1062 0 0 0 6950 2 0 0 20 0 28 0 476592511 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762876600048 139763561824541 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13491] ppid=13423 vsize=28768336 memory=-4075877051373423743 CPUtime=70.07 cores=0-7
/proc/13425/task/13491/stat : 13491 (java) R 13423 13423 6043 0 -1 4202560 11863 0 0 0 6938 69 0 0 20 0 28 0 476592511 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762878708096 139763562097996 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13492] ppid=13423 vsize=28768336 memory=8039887049847964027 CPUtime=70.09 cores=0-7
/proc/13425/task/13492/stat : 13492 (java) R 13423 13423 6043 0 -1 4202560 1269 0 0 0 7005 4 0 0 20 0 28 0 476592512 29458776064 1163284 33554432000 4194304 4196468 140727761534896 139762875548568 139763560921220 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
Current children cumulated CPU time: 586.84 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 4654588 KiB

[startup+76.111 s]
/proc/loadavg: 8.92 8.48 8.28 9/223 13497
/proc/meminfo: memFree=19840112/32770624 swapFree=67001928/67108860
[pid=13423] ppid=13420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13423/stat : 13423 (xcsp3-exec) S 13420 13423 6043 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476591999 115843072 363 33554432000 4194304 5098028 140733538352448 140733538350552 140139086303868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12378112 140733538358103 140733538358362 140733538358362 140733538361286 0
/proc/13423/statm: 28282 363 304 221 0 87 0
[pid=13425] ppid=13423 vsize=28768336 memory=4669520 CPUtime=587.53 cores=0-7
/proc/13425/stat : 13425 (java) S 13423 13423 6043 0 -1 1077944320 102998 0 0 0 58516 237 0 0 20 0 28 0 476591999 29458776064 1167380 33554432000 4194304 4196468 140727761534896 140727761517440 139763916295927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
/proc/13425/statm: 7192084 1167380 3533 1 0 7153184 0
[pid=13425/tid=13426] ppid=13423 vsize=28768336 memory=804 CPUtime=3.49 cores=0-7
/proc/13425/task/13426/stat : 13426 (java) S 13423 13423 6043 0 -1 1077944384 10773 0 0 0 337 12 0 0 20 0 28 0 476591999 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139763920536704 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13427] ppid=13423 vsize=28768336 memory=1660 CPUtime=0.26 cores=0-7
/proc/13425/task/13427/stat : 13427 (java) S 13423 13423 6043 0 -1 1077944384 1228 0 0 0 18 8 0 0 20 0 28 0 476592000 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139763875056656 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13428] ppid=13423 vsize=28768336 memory=1984 CPUtime=0.26 cores=0-7
/proc/13425/task/13428/stat : 13428 (java) S 13423 13423 6043 0 -1 1077944384 1047 0 0 0 17 9 0 0 20 0 28 0 476592000 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139763874004112 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13429] ppid=13423 vsize=28768336 memory=2376 CPUtime=0.24 cores=0-7
/proc/13425/task/13429/stat : 13429 (java) S 13423 13423 6043 0 -1 1077944384 376 0 0 0 16 8 0 0 20 0 28 0 476592000 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139763466119952 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13430] ppid=13423 vsize=28768336 memory=1768 CPUtime=0.24 cores=0-7
/proc/13425/task/13430/stat : 13430 (java) S 13423 13423 6043 0 -1 1077944384 312 0 0 0 16 8 0 0 20 0 28 0 476592000 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139763465067408 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13431] ppid=13423 vsize=28768336 memory=3483728 CPUtime=0.25 cores=0-7
/proc/13425/task/13431/stat : 13431 (java) S 13423 13423 6043 0 -1 1077944384 408 0 0 0 17 8 0 0 20 0 28 0 476592000 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139763464014352 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13432] ppid=13423 vsize=28768336 memory=3473256 CPUtime=0.24 cores=0-7
/proc/13425/task/13432/stat : 13432 (java) S 13423 13423 6043 0 -1 1077944384 1034 0 0 0 16 8 0 0 20 0 28 0 476592000 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139763462961808 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13433] ppid=13423 vsize=28768336 memory=1452 CPUtime=0.21 cores=0-7
/proc/13425/task/13433/stat : 13433 (java) S 13423 13423 6043 0 -1 1077944384 723 0 0 0 14 7 0 0 20 0 28 0 476592000 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139763461908752 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13434] ppid=13423 vsize=28768336 memory=1036 CPUtime=0.23 cores=0-7
/proc/13425/task/13434/stat : 13434 (java) S 13423 13423 6043 0 -1 1077944384 403 0 0 0 15 8 0 0 20 0 28 0 476592000 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139763460856208 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13435] ppid=13423 vsize=28768336 memory=13996 CPUtime=0.03 cores=0-7
/proc/13425/task/13435/stat : 13435 (java) S 13423 13423 6043 0 -1 1077944384 3890 0 0 0 2 1 0 0 20 0 28 0 476592002 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762898451184 139763916307074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13436] ppid=13423 vsize=28768336 memory=12024 CPUtime=0 cores=0-7
/proc/13425/task/13436/stat : 13436 (java) S 13423 13423 6043 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 476592002 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762897397472 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13437] ppid=13423 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13425/task/13437/stat : 13437 (java) S 13423 13423 6043 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 476592002 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762896344320 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13438] ppid=13423 vsize=28768336 memory=1804 CPUtime=0 cores=0-7
/proc/13425/task/13438/stat : 13438 (java) S 13423 13423 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476592005 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762895292880 139763916314523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13439] ppid=13423 vsize=28768336 memory=1452 CPUtime=4.22 cores=0-7
/proc/13425/task/13439/stat : 13439 (java) S 13423 13423 6043 0 -1 1077944384 14332 0 0 0 418 4 0 0 20 0 28 0 476592005 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762894239984 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13440] ppid=13423 vsize=28768336 memory=3483728 CPUtime=4 cores=0-7
/proc/13425/task/13440/stat : 13440 (java) S 13423 13423 6043 0 -1 1077944384 13044 0 0 0 397 3 0 0 20 0 28 0 476592005 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762893187440 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13441] ppid=13423 vsize=28768336 memory=288230574492221466 CPUtime=4.1 cores=0-7
/proc/13425/task/13441/stat : 13441 (java) S 13423 13423 6043 0 -1 1077944384 12529 0 0 0 407 3 0 0 20 0 28 0 476592005 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762892134384 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13442] ppid=13423 vsize=28768336 memory=301741394933055803 CPUtime=0.95 cores=0-7
/proc/13425/task/13442/stat : 13442 (java) S 13423 13423 6043 0 -1 1077944384 10602 0 0 0 92 3 0 0 20 0 28 0 476592005 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762891081840 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13443] ppid=13423 vsize=28768336 memory=15825486429292335 CPUtime=0 cores=0-7
/proc/13425/task/13443/stat : 13443 (java) S 13423 13423 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476592005 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762890030048 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13444] ppid=13423 vsize=28768336 memory=6944656575208382560 CPUtime=0.03 cores=0-7
/proc/13425/task/13444/stat : 13444 (java) S 13423 13423 6043 0 -1 1077944384 1275 0 0 0 0 3 0 0 20 0 28 0 476592005 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762888977584 139763916307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13485] ppid=13423 vsize=28768336 memory=1452 CPUtime=70.58 cores=0-7
/proc/13425/task/13485/stat : 13485 (java) S 13423 13423 6043 0 -1 1077944384 7349 0 0 0 7023 35 0 0 20 0 28 0 476592511 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762879762176 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13486] ppid=13423 vsize=28768336 memory=3954768 CPUtime=70.55 cores=0-7
/proc/13425/task/13486/stat : 13486 (java) S 13423 13423 6043 0 -1 1077944384 850 0 0 0 7055 0 0 0 20 0 28 0 476592511 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762872395088 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13487] ppid=13423 vsize=28768336 memory=2832 CPUtime=70.43 cores=0-7
/proc/13425/task/13487/stat : 13487 (java) S 13423 13423 6043 0 -1 1077944384 1208 0 0 0 7041 2 0 0 20 0 28 0 476592511 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762873447376 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13488] ppid=13423 vsize=28768336 memory=1212 CPUtime=70.15 cores=0-7
/proc/13425/task/13488/stat : 13488 (java) S 13423 13423 6043 0 -1 1077944384 4069 0 0 0 6994 21 0 0 20 0 28 0 476592511 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762877658192 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13489] ppid=13423 vsize=28768336 memory=3596368 CPUtime=70.48 cores=0-7
/proc/13425/task/13489/stat : 13489 (java) S 13423 13423 6043 0 -1 1077944384 900 0 0 0 7046 2 0 0 20 0 28 0 476592511 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762874499792 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13490] ppid=13423 vsize=28768336 memory=1452 CPUtime=69.61 cores=0-7
/proc/13425/task/13490/stat : 13490 (java) S 13423 13423 6043 0 -1 1077944384 1070 0 0 0 6959 2 0 0 20 0 28 0 476592511 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762876605264 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13491] ppid=13423 vsize=28768336 memory=3498064 CPUtime=70.16 cores=0-7
/proc/13425/task/13491/stat : 13491 (java) R 13423 13423 6043 0 -1 4202560 11868 0 0 0 6947 69 0 0 20 0 28 0 476592511 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762878708096 139763557471764 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
[pid=13425/tid=13492] ppid=13423 vsize=28768336 memory=1056 CPUtime=70.18 cores=0-7
/proc/13425/task/13492/stat : 13492 (java) S 13423 13423 6043 0 -1 1077944384 1273 0 0 0 7014 4 0 0 20 0 28 0 476592512 29458776064 1167380 33554432000 4194304 4196468 140727761534896 139762875553360 139763916306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10485760 140727761540060 140727761540235 140727761540235 140727761543119 0
Current children cumulated CPU time: 587.53 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 4670972 KiB

Child status: 0
Real time (s): 76.1542
CPU time (s): 587.592
CPU user time (s): 585.183
CPU system time (s): 2.40863
CPU usage (%): 771.582
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 4670972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 585.183
system time used= 2.40863
maximum resident set size= 4673260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104302
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7406
involuntary context switches= 7903


# summary of solver processes directly reported to runsolver:
#   pid: 13423
#   total CPU time (s): 587.592
#   total CPU user time (s): 585.183
#   total CPU system time (s): 2.40863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.667997 second user time and 0.980924 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	75.1369
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404868

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
