2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	SAT (TO)	18	20041.1	2520.11
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: 16375 MiB (14416 MiB free)
  memory of node 1: 16384 MiB (15446 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400008-1568717836/watcher-4400008-1568717836 -o /tmp/evaluation-result-4400008-1568717836/solver-4400008-1568717836 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568711923-28952 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 84785174 HOME/instance-4400008-1568717836.xml 

running on 8 cores: 0-7

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


[startup+0.100147 s]*
/proc/loadavg: 8.20 8.26 8.23 3/211 29837
/proc/meminfo: memFree=30562344/32770688 swapFree=66961212/67108860
[pid=29816] ppid=29813 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29816/stat : 29816 (xcsp3-exec) S 29813 29816 28925 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447725299 115843072 363 33554432000 4194304 5098028 140732532666144 140732532664248 140409767694972 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33869824 140732532671351 140732532671593 140732532671593 140732532674506 0
/proc/29816/statm: 28282 363 304 221 0 87 0
[pid=29818] ppid=29816 vsize=28227396 memory=30068 CPUtime=0.12 cores=0-7
/proc/29818/stat : 29818 (java) S 29816 29816 28925 0 -1 1077944320 5980 0 0 0 10 2 0 0 20 0 20 0 447725299 28904853504 7517 33554432000 4194304 4196468 140737047483136 140737047465680 140607772217079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
/proc/29818/statm: 7056849 7517 3117 1 0 7019032 0
[pid=29818/tid=29819] ppid=29816 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29818/task/29819/stat : 29819 (java) R 29816 29816 28925 0 -1 4202560 3892 0 0 0 8 1 0 0 20 0 20 0 447725300 28904853504 7517 33554432000 4194304 4196468 140737047483136 140607776439528 140607772229014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29820] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29820/stat : 29820 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 7517 33554432000 4194304 4196468 140737047483136 140607724837776 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29821] ppid=29816 vsize=28227396 memory=139956984481408 CPUtime=0 cores=0-7
/proc/29818/task/29821/stat : 29821 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 7517 33554432000 4194304 4196468 140737047483136 140607723784976 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29822] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29822/stat : 29822 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 7517 33554432000 4194304 4196468 140737047483136 140607722732688 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29823] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29823/stat : 29823 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 7517 33554432000 4194304 4196468 140737047483136 140607721679888 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29824] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29824/stat : 29824 (java) S 29816 29816 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 7517 33554432000 4194304 4196468 140737047483136 140607720626576 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29825] ppid=29816 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29818/task/29825/stat : 29825 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 7517 33554432000 4194304 4196468 140737047483136 140607719573776 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29826] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29826/stat : 29826 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 7517 33554432000 4194304 4196468 140737047483136 140607718521488 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29827] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29827/stat : 29827 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 7517 33554432000 4194304 4196468 140737047483136 140607717468688 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29828] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29828/stat : 29828 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725302 28904853504 7517 33554432000 4194304 4196468 140737047483136 140606821075568 140607772228226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29829] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29829/stat : 29829 (java) S 29816 29816 28925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447725303 28904853504 7517 33554432000 4194304 4196468 140737047483136 140606820021536 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29830] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29830/stat : 29830 (java) S 29816 29816 28925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447725303 28904853504 7517 33554432000 4194304 4196468 140737047483136 140606818969200 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29831] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29831/stat : 29831 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725306 28904853504 7517 33554432000 4194304 4196468 140737047483136 140606817917520 140607772235675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29832] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29832/stat : 29832 (java) S 29816 29816 28925 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 447725306 28904853504 7517 33554432000 4194304 4196468 140737047483136 140606816864368 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29833] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29833/stat : 29833 (java) S 29816 29816 28925 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 447725306 28904853504 7517 33554432000 4194304 4196468 140737047483136 140606815811568 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29834] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29834/stat : 29834 (java) S 29816 29816 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447725306 28904853504 7517 33554432000 4194304 4196468 140737047483136 140606814759280 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29835] ppid=29816 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/29818/task/29835/stat : 29835 (java) S 29816 29816 28925 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 447725306 28904853504 7517 33554432000 4194304 4196468 140737047483136 140606813706480 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29836] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29836/stat : 29836 (java) S 29816 29816 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447725306 28904853504 7517 33554432000 4194304 4196468 140737047483136 140606812654432 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29837] ppid=29816 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29818/task/29837/stat : 29837 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725306 28904853504 7517 33554432000 4194304 4196468 140737047483136 140606811601712 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31520 KiB

[startup+0.211192 s]*
/proc/loadavg: 8.20 8.26 8.23 3/211 29837
/proc/meminfo: memFree=30549040/32770688 swapFree=66961212/67108860
[pid=29816] ppid=29813 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29816/stat : 29816 (xcsp3-exec) S 29813 29816 28925 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447725299 115843072 363 33554432000 4194304 5098028 140732532666144 140732532664248 140409767694972 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33869824 140732532671351 140732532671593 140732532671593 140732532674506 0
/proc/29816/statm: 28282 363 304 221 0 87 0
[pid=29818] ppid=29816 vsize=28227396 memory=41352 CPUtime=0.33 cores=0-7
/proc/29818/stat : 29818 (java) S 29816 29816 28925 0 -1 1077944320 9520 0 0 0 29 4 0 0 20 0 20 0 447725299 28904853504 10338 33554432000 4194304 4196468 140737047483136 140737047465680 140607772217079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
/proc/29818/statm: 7056849 10338 3310 1 0 7019032 0
[pid=29818/tid=29819] ppid=29816 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/29818/task/29819/stat : 29819 (java) R 29816 29816 28925 0 -1 4202560 6680 0 0 0 17 2 0 0 20 0 20 0 447725300 28904853504 10338 33554432000 4194304 4196468 140737047483136 140607776451760 140607772229014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29820] ppid=29816 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/29818/task/29820/stat : 29820 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 10338 33554432000 4194304 4196468 140737047483136 140607724837776 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29821] ppid=29816 vsize=28227396 memory=3619116741878875808 CPUtime=0 cores=0-7
/proc/29818/task/29821/stat : 29821 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 10338 33554432000 4194304 4196468 140737047483136 140607723784976 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29822] ppid=29816 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29818/task/29822/stat : 29822 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 10338 33554432000 4194304 4196468 140737047483136 140607722732688 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29823] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29823/stat : 29823 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 10338 33554432000 4194304 4196468 140737047483136 140607721679888 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29824] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29824/stat : 29824 (java) S 29816 29816 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 10338 33554432000 4194304 4196468 140737047483136 140607720626576 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29825] ppid=29816 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29818/task/29825/stat : 29825 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 10338 33554432000 4194304 4196468 140737047483136 140607719573776 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29826] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29826/stat : 29826 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 10338 33554432000 4194304 4196468 140737047483136 140607718521488 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29827] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29827/stat : 29827 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28904853504 10338 33554432000 4194304 4196468 140737047483136 140607717468688 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29828] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29828/stat : 29828 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725302 28904853504 10338 33554432000 4194304 4196468 140737047483136 140606821075568 140607772228226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29829] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29829/stat : 29829 (java) S 29816 29816 28925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447725303 28904853504 10338 33554432000 4194304 4196468 140737047483136 140606820021536 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29830] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29830/stat : 29830 (java) S 29816 29816 28925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447725303 28904853504 10338 33554432000 4194304 4196468 140737047483136 140606818969200 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29831] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29831/stat : 29831 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725306 28904853504 10338 33554432000 4194304 4196468 140737047483136 140606817917520 140607772235675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29832] ppid=29816 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/29818/task/29832/stat : 29832 (java) S 29816 29816 28925 0 -1 1077944384 533 0 0 0 2 0 0 0 20 0 20 0 447725306 28904853504 10338 33554432000 4194304 4196468 140737047483136 140606816864368 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29833] ppid=29816 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/29818/task/29833/stat : 29833 (java) S 29816 29816 28925 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 447725306 28904853504 10338 33554432000 4194304 4196468 140737047483136 140606815811568 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29834] ppid=29816 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29818/task/29834/stat : 29834 (java) S 29816 29816 28925 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 447725306 28904853504 10338 33554432000 4194304 4196468 140737047483136 140606814759280 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29835] ppid=29816 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/29818/task/29835/stat : 29835 (java) R 29816 29816 28925 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 20 0 447725306 28904853504 10338 33554432000 4194304 4196468 140737047483136 140606813701744 140607772229014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29836] ppid=29816 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29836/stat : 29836 (java) S 29816 29816 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447725306 28904853504 10338 33554432000 4194304 4196468 140737047483136 140606812654432 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29837] ppid=29816 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29818/task/29837/stat : 29837 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725306 28904853504 10338 33554432000 4194304 4196468 140737047483136 140606811601712 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42804 KiB

[startup+0.31097 s]*
/proc/loadavg: 8.20 8.26 8.23 2/211 29837
/proc/meminfo: memFree=30543952/32770688 swapFree=66961212/67108860
[pid=29816] ppid=29813 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29816/stat : 29816 (xcsp3-exec) S 29813 29816 28925 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447725299 115843072 363 33554432000 4194304 5098028 140732532666144 140732532664248 140409767694972 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33869824 140732532671351 140732532671593 140732532671593 140732532674506 0
/proc/29816/statm: 28282 363 304 221 0 87 0
[pid=29818] ppid=29816 vsize=28231652 memory=46968 CPUtime=0.52 cores=0-7
/proc/29818/stat : 29818 (java) S 29816 29816 28925 0 -1 1077944320 10558 0 0 0 47 5 0 0 20 0 20 0 447725299 28909211648 11742 33554432000 4194304 4196468 140737047483136 140737047465680 140607772217079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
/proc/29818/statm: 7057913 11742 3333 1 0 7019032 0
[pid=29818/tid=29819] ppid=29816 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/29818/task/29819/stat : 29819 (java) R 29816 29816 28925 0 -1 4202560 7606 0 0 0 27 3 0 0 20 0 20 0 447725300 28909211648 11742 33554432000 4194304 4196468 140737047483136 140607776438592 140607757911975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29820] ppid=29816 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29820/stat : 29820 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725301 28909211648 11742 33554432000 4194304 4196468 140737047483136 140607724837776 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29821] ppid=29816 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29821/stat : 29821 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28909211648 11742 33554432000 4194304 4196468 140737047483136 140607723784976 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29822] ppid=29816 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29822/stat : 29822 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725301 28909211648 11742 33554432000 4194304 4196468 140737047483136 140607722732688 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29823] ppid=29816 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29823/stat : 29823 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28909211648 11742 33554432000 4194304 4196468 140737047483136 140607721679888 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29824] ppid=29816 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/29818/task/29824/stat : 29824 (java) S 29816 29816 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447725301 28909211648 11742 33554432000 4194304 4196468 140737047483136 140607720626576 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29825] ppid=29816 vsize=28231652 memory=139956878144431 CPUtime=0 cores=0-7
/proc/29818/task/29825/stat : 29825 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28909211648 11742 33554432000 4194304 4196468 140737047483136 140607719573776 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29826] ppid=29816 vsize=28231652 memory=139956878146736 CPUtime=0 cores=0-7
/proc/29818/task/29826/stat : 29826 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725301 28909211648 11742 33554432000 4194304 4196468 140737047483136 140607718521488 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29827] ppid=29816 vsize=28231652 memory=139956878149040 CPUtime=0 cores=0-7
/proc/29818/task/29827/stat : 29827 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28909211648 11742 33554432000 4194304 4196468 140737047483136 140607717468688 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29828] ppid=29816 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29828/stat : 29828 (java) S 29816 29816 28925 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447725302 28909211648 11742 33554432000 4194304 4196468 140737047483136 140606821075568 140607772228226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29829] ppid=29816 vsize=28231652 memory=279913756305040 CPUtime=0 cores=0-7
/proc/29818/task/29829/stat : 29829 (java) S 29816 29816 28925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447725303 28909211648 11742 33554432000 4194304 4196468 140737047483136 140606820021536 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29830] ppid=29816 vsize=28231652 memory=279913756311952 CPUtime=0 cores=0-7
/proc/29818/task/29830/stat : 29830 (java) S 29816 29816 28925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447725303 28909211648 11742 33554432000 4194304 4196468 140737047483136 140606818969200 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29831] ppid=29816 vsize=28231652 memory=279913756253200 CPUtime=0 cores=0-7
/proc/29818/task/29831/stat : 29831 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725306 28909211648 11742 33554432000 4194304 4196468 140737047483136 140606817917520 140607772235675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29832] ppid=29816 vsize=28231652 memory=279913756325776 CPUtime=0.03 cores=0-7
/proc/29818/task/29832/stat : 29832 (java) S 29816 29816 28925 0 -1 1077944384 543 0 0 0 3 0 0 0 20 0 20 0 447725306 28909211648 11742 33554432000 4194304 4196468 140737047483136 140606816864368 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29833] ppid=29816 vsize=28231652 memory=279913756332688 CPUtime=0.02 cores=0-7
/proc/29818/task/29833/stat : 29833 (java) S 29816 29816 28925 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 20 0 447725306 28909211648 11742 33554432000 4194304 4196468 140737047483136 140606815811568 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29834] ppid=29816 vsize=28231652 memory=279913756330384 CPUtime=0.01 cores=0-7
/proc/29818/task/29834/stat : 29834 (java) S 29816 29816 28925 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 447725306 28909211648 11742 33554432000 4194304 4196468 140737047483136 140606814759280 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29835] ppid=29816 vsize=28231652 memory=279913756346544 CPUtime=0.12 cores=0-7
/proc/29818/task/29835/stat : 29835 (java) S 29816 29816 28925 0 -1 1077944384 820 0 0 0 12 0 0 0 20 0 20 0 447725306 28909211648 11742 33554432000 4194304 4196468 140737047483136 140606813706480 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29836] ppid=29816 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29836/stat : 29836 (java) S 29816 29816 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447725306 28909211648 11742 33554432000 4194304 4196468 140737047483136 140606812654432 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29837] ppid=29816 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/29818/task/29837/stat : 29837 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725306 28909211648 11742 33554432000 4194304 4196468 140737047483136 140606811601712 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48420 KiB

[startup+0.701043 s]
/proc/loadavg: 8.20 8.26 8.23 6/211 29837
/proc/meminfo: memFree=30523904/32770688 swapFree=66961212/67108860
[pid=29816] ppid=29813 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29816/stat : 29816 (xcsp3-exec) S 29813 29816 28925 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447725299 115843072 363 33554432000 4194304 5098028 140732532666144 140732532664248 140409767694972 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33869824 140732532671351 140732532671593 140732532671593 140732532674506 0
/proc/29816/statm: 28282 363 304 221 0 87 0
[pid=29818] ppid=29816 vsize=28233776 memory=97752 CPUtime=1.87 cores=0-7
/proc/29818/stat : 29818 (java) S 29816 29816 28925 0 -1 1077944320 15068 0 0 0 180 7 0 0 20 0 20 0 447725299 28911386624 24438 33554432000 4194304 4196468 140737047483136 140737047465680 140607772217079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
/proc/29818/statm: 7058444 24438 3448 1 0 7019544 0
[pid=29818/tid=29819] ppid=29816 vsize=28233776 memory=279913756704432 CPUtime=0.68 cores=0-7
/proc/29818/task/29819/stat : 29819 (java) R 29816 29816 28925 0 -1 4202560 8490 0 0 0 64 4 0 0 20 0 20 0 447725300 28911386624 24438 33554432000 4194304 4196468 140737047483136 140607776438896 140607758286081 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29820] ppid=29816 vsize=28233776 memory=139956878353264 CPUtime=0 cores=0-7
/proc/29818/task/29820/stat : 29820 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725301 28911386624 24438 33554432000 4194304 4196468 140737047483136 140607724837776 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29821] ppid=29816 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/29818/task/29821/stat : 29821 (java) S 29816 29816 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447725301 28911386624 24438 33554432000 4194304 4196468 140737047483136 140607723784976 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29822] ppid=29816 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/29818/task/29822/stat : 29822 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447725301 28911386624 24438 33554432000 4194304 4196468 140737047483136 140607722732688 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0

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

[pid=29818/tid=29961] ppid=29816 vsize=28769364 memory=4087676 CPUtime=1866.84 cores=0-7
/proc/29818/task/29961/stat : 29961 (java) R 29816 29816 28925 0 -1 4202560 7594 0 0 0 186677 7 0 0 20 0 28 0 447782530 29459828736 1021919 33554432000 4194304 4196468 140737047483136 140606793154016 140607391766968 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
Current children cumulated CPU time: 19420.6 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 4089128 KiB

[startup+2502.3 s]
/proc/loadavg: 8.12 8.34 8.31 9/221 30106
/proc/meminfo: memFree=26522132/32770688 swapFree=66961216/67108860
[pid=29816] ppid=29813 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29816/stat : 29816 (xcsp3-exec) S 29813 29816 28925 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447725299 115843072 363 33554432000 4194304 5098028 140732532666144 140732532664248 140409767694972 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33869824 140732532671351 140732532671593 140732532671593 140732532674506 0
/proc/29816/statm: 28282 363 304 221 0 87 0
[pid=29818] ppid=29816 vsize=28769364 memory=4059532 CPUtime=19899.1 cores=0-7
/proc/29818/stat : 29818 (java) S 29816 29816 28925 0 -1 1077944320 512066 0 0 0 1989016 898 0 0 20 0 28 0 447725299 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140737047465680 140607772217079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
/proc/29818/statm: 7192341 1014883 3557 1 0 7153441 0
[pid=29818/tid=29819] ppid=29816 vsize=28769364 memory=4069792 CPUtime=3.42 cores=0-7
/proc/29818/task/29819/stat : 29819 (java) S 29816 29816 28925 0 -1 1077944384 13599 0 0 0 330 12 0 0 20 0 28 0 447725300 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607776457856 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29820] ppid=29816 vsize=28769364 memory=4069780 CPUtime=3.52 cores=0-7
/proc/29818/task/29820/stat : 29820 (java) S 29816 29816 28925 0 -1 1077944384 9781 0 0 0 324 28 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607724837776 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29821] ppid=29816 vsize=28769364 memory=4069792 CPUtime=3.56 cores=0-7
/proc/29818/task/29821/stat : 29821 (java) S 29816 29816 28925 0 -1 1077944384 9192 0 0 0 328 28 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607723784976 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29822] ppid=29816 vsize=28769364 memory=4069792 CPUtime=3.58 cores=0-7
/proc/29818/task/29822/stat : 29822 (java) S 29816 29816 28925 0 -1 1077944384 9253 0 0 0 328 30 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607722732688 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29823] ppid=29816 vsize=28769364 memory=4069792 CPUtime=3.54 cores=0-7
/proc/29818/task/29823/stat : 29823 (java) S 29816 29816 28925 0 -1 1077944384 10650 0 0 0 328 26 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607721679888 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29824] ppid=29816 vsize=28769364 memory=4069792 CPUtime=3.61 cores=0-7
/proc/29818/task/29824/stat : 29824 (java) S 29816 29816 28925 0 -1 1077944384 10057 0 0 0 334 27 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607720626576 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29825] ppid=29816 vsize=28769364 memory=4059532 CPUtime=3.58 cores=0-7
/proc/29818/task/29825/stat : 29825 (java) S 29816 29816 28925 0 -1 1077944384 7402 0 0 0 329 29 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607719573776 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29826] ppid=29816 vsize=28769364 memory=0 CPUtime=3.58 cores=0-7
/proc/29818/task/29826/stat : 29826 (java) S 29816 29816 28925 0 -1 1077944384 8251 0 0 0 336 22 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607718521488 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29827] ppid=29816 vsize=28769364 memory=4069792 CPUtime=3.59 cores=0-7
/proc/29818/task/29827/stat : 29827 (java) S 29816 29816 28925 0 -1 1077944384 8564 0 0 0 336 23 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607717468688 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29828] ppid=29816 vsize=28769364 memory=1056 CPUtime=3.76 cores=0-7
/proc/29818/task/29828/stat : 29828 (java) S 29816 29816 28925 0 -1 1077944384 25418 0 0 0 360 16 0 0 20 0 28 0 447725302 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606821075568 140607772228226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29829] ppid=29816 vsize=28769364 memory=20263655707011 CPUtime=0 cores=0-7
/proc/29818/task/29829/stat : 29829 (java) S 29816 29816 28925 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 447725303 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606820021600 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29830] ppid=29816 vsize=28769364 memory=4087676 CPUtime=0 cores=0-7
/proc/29818/task/29830/stat : 29830 (java) S 29816 29816 28925 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 447725303 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606818969216 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29831] ppid=29816 vsize=28769364 memory=1452 CPUtime=0 cores=0-7
/proc/29818/task/29831/stat : 29831 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606817917520 140607772235675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29832] ppid=29816 vsize=28769364 memory=1452 CPUtime=5.06 cores=0-7
/proc/29818/task/29832/stat : 29832 (java) S 29816 29816 28925 0 -1 1077944384 35624 0 0 0 497 9 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606816864368 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29833] ppid=29816 vsize=28769364 memory=800 CPUtime=5.24 cores=0-7
/proc/29818/task/29833/stat : 29833 (java) S 29816 29816 28925 0 -1 1077944384 37903 0 0 0 517 7 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606815811568 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29834] ppid=29816 vsize=28769364 memory=1756 CPUtime=5 cores=0-7
/proc/29818/task/29834/stat : 29834 (java) S 29816 29816 28925 0 -1 1077944384 35733 0 0 0 493 7 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606814759280 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29835] ppid=29816 vsize=28769364 memory=1452 CPUtime=1.21 cores=0-7
/proc/29818/task/29835/stat : 29835 (java) S 29816 29816 28925 0 -1 1077944384 28329 0 0 0 117 4 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606813706480 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29836] ppid=29816 vsize=28769364 memory=1452 CPUtime=0 cores=0-7
/proc/29818/task/29836/stat : 29836 (java) S 29816 29816 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606812654432 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29837] ppid=29816 vsize=28769364 memory=4069792 CPUtime=0.93 cores=0-7
/proc/29818/task/29837/stat : 29837 (java) S 29816 29816 28925 0 -1 1077944384 6393 0 0 0 37 56 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606811601712 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29954] ppid=29816 vsize=28769364 memory=1452 CPUtime=1920.38 cores=0-7
/proc/29818/task/29954/stat : 29954 (java) R 29816 29816 28925 0 -1 4202560 6443 0 0 0 192027 11 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606794206744 140607391808501 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29955] ppid=29816 vsize=28769364 memory=1556 CPUtime=1913.14 cores=0-7
/proc/29818/task/29955/stat : 29955 (java) R 29816 29816 28925 0 -1 4202560 3949 0 0 0 191306 8 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606795260176 140607391808483 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29956] ppid=29816 vsize=28769364 memory=928 CPUtime=1924.96 cores=0-7
/proc/29818/task/29956/stat : 29956 (java) R 29816 29816 28925 0 -1 4202560 6703 0 0 0 192485 11 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606800523208 140607390982688 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29957] ppid=29816 vsize=28769364 memory=4069792 CPUtime=1926.49 cores=0-7
/proc/29818/task/29957/stat : 29957 (java) R 29816 29816 28925 0 -1 4202560 106026 0 0 0 192425 224 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606799472944 140607392890989 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29958] ppid=29816 vsize=28769364 memory=1452 CPUtime=1923.78 cores=0-7
/proc/29818/task/29958/stat : 29958 (java) R 29816 29816 28925 0 -1 4202560 5380 0 0 0 192370 8 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606796312776 140607391836421 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29959] ppid=29816 vsize=28769364 memory=1452 CPUtime=1918.12 cores=0-7
/proc/29818/task/29959/stat : 29959 (java) R 29816 29816 28925 0 -1 4202560 3606 0 0 0 191804 8 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606798417928 140607393819764 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29960] ppid=29816 vsize=28769364 memory=4069792 CPUtime=1923.06 cores=0-7
/proc/29818/task/29960/stat : 29960 (java) R 29816 29816 28925 0 -1 4202560 5698 0 0 0 192301 5 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606792101800 140607393229088 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29961] ppid=29816 vsize=28769364 memory=1452 CPUtime=1926.73 cores=0-7
/proc/29818/task/29961/stat : 29961 (java) R 29816 29816 28925 0 -1 4202560 7715 0 0 0 192666 7 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606793154440 140607391877095 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
Current children cumulated CPU time: 19899.1 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 4060984 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.09 8.32 8.30 9/220 30106
/proc/meminfo: memFree=26522780/32770688 swapFree=66961216/67108860
[pid=29816] ppid=29813 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29816/stat : 29816 (xcsp3-exec) S 29813 29816 28925 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447725299 115843072 363 33554432000 4194304 5098028 140732532666144 140732532664248 140409767694972 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33869824 140732532671351 140732532671593 140732532671593 140732532674506 0
/proc/29816/statm: 28282 363 304 221 0 87 0
[pid=29818] ppid=29816 vsize=28769364 memory=4059532 CPUtime=20040.4 cores=0-7
/proc/29818/stat : 29818 (java) S 29816 29816 28925 0 -1 1077944320 513141 0 0 0 2003103 939 0 0 20 0 28 0 447725299 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140737047465680 140607772217079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
/proc/29818/statm: 7192341 1014883 3557 1 0 7153441 0
[pid=29818/tid=29819] ppid=29816 vsize=28769364 memory=1398720917958146503 CPUtime=3.42 cores=0-7
/proc/29818/task/29819/stat : 29819 (java) S 29816 29816 28925 0 -1 1077944384 13599 0 0 0 330 12 0 0 20 0 28 0 447725300 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607776457856 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29820] ppid=29816 vsize=28769364 memory=796 CPUtime=3.52 cores=0-7
/proc/29818/task/29820/stat : 29820 (java) S 29816 29816 28925 0 -1 1077944384 9781 0 0 0 324 28 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607724837776 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29821] ppid=29816 vsize=28769364 memory=1444 CPUtime=3.56 cores=0-7
/proc/29818/task/29821/stat : 29821 (java) S 29816 29816 28925 0 -1 1077944384 9192 0 0 0 328 28 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607723784976 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29822] ppid=29816 vsize=28769364 memory=1984 CPUtime=3.58 cores=0-7
/proc/29818/task/29822/stat : 29822 (java) S 29816 29816 28925 0 -1 1077944384 9253 0 0 0 328 30 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607722732688 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29823] ppid=29816 vsize=28769364 memory=2424 CPUtime=3.54 cores=0-7
/proc/29818/task/29823/stat : 29823 (java) S 29816 29816 28925 0 -1 1077944384 10650 0 0 0 328 26 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607721679888 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29824] ppid=29816 vsize=28769364 memory=1760 CPUtime=3.61 cores=0-7
/proc/29818/task/29824/stat : 29824 (java) S 29816 29816 28925 0 -1 1077944384 10057 0 0 0 334 27 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607720626576 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29825] ppid=29816 vsize=28769364 memory=1452 CPUtime=3.58 cores=0-7
/proc/29818/task/29825/stat : 29825 (java) S 29816 29816 28925 0 -1 1077944384 7402 0 0 0 329 29 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607719573776 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29826] ppid=29816 vsize=28769364 memory=4059532 CPUtime=3.58 cores=0-7
/proc/29818/task/29826/stat : 29826 (java) S 29816 29816 28925 0 -1 1077944384 8251 0 0 0 336 22 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607718521488 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29827] ppid=29816 vsize=28769364 memory=800 CPUtime=3.59 cores=0-7
/proc/29818/task/29827/stat : 29827 (java) S 29816 29816 28925 0 -1 1077944384 8564 0 0 0 336 23 0 0 20 0 28 0 447725301 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140607717468688 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29828] ppid=29816 vsize=28769364 memory=1756 CPUtime=3.76 cores=0-7
/proc/29818/task/29828/stat : 29828 (java) S 29816 29816 28925 0 -1 1077944384 25418 0 0 0 360 16 0 0 20 0 28 0 447725302 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606821075568 140607772228226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29829] ppid=29816 vsize=28769364 memory=1808 CPUtime=0 cores=0-7
/proc/29818/task/29829/stat : 29829 (java) S 29816 29816 28925 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 447725303 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606820021600 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29830] ppid=29816 vsize=28769364 memory=920 CPUtime=0 cores=0-7
/proc/29818/task/29830/stat : 29830 (java) S 29816 29816 28925 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 447725303 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606818969216 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29831] ppid=29816 vsize=28769364 memory=1452 CPUtime=0 cores=0-7
/proc/29818/task/29831/stat : 29831 (java) S 29816 29816 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606817917520 140607772235675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29832] ppid=29816 vsize=28769364 memory=1452 CPUtime=5.06 cores=0-7
/proc/29818/task/29832/stat : 29832 (java) S 29816 29816 28925 0 -1 1077944384 35626 0 0 0 497 9 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606816864368 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29833] ppid=29816 vsize=28769364 memory=6791534058613427641 CPUtime=5.24 cores=0-7
/proc/29818/task/29833/stat : 29833 (java) S 29816 29816 28925 0 -1 1077944384 37905 0 0 0 517 7 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606815811568 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29834] ppid=29816 vsize=28769364 memory=1452 CPUtime=5 cores=0-7
/proc/29818/task/29834/stat : 29834 (java) S 29816 29816 28925 0 -1 1077944384 35735 0 0 0 493 7 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606814759280 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29835] ppid=29816 vsize=28769364 memory=4069792 CPUtime=1.21 cores=0-7
/proc/29818/task/29835/stat : 29835 (java) S 29816 29816 28925 0 -1 1077944384 28333 0 0 0 117 4 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606813706480 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29836] ppid=29816 vsize=28769364 memory=2832 CPUtime=0 cores=0-7
/proc/29818/task/29836/stat : 29836 (java) S 29816 29816 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606812654432 140607772227285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29837] ppid=29816 vsize=28769364 memory=1564 CPUtime=0.93 cores=0-7
/proc/29818/task/29837/stat : 29837 (java) S 29816 29816 28925 0 -1 1077944384 6410 0 0 0 37 56 0 0 20 0 28 0 447725306 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606811601712 140607772228226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29954] ppid=29816 vsize=28769364 memory=8560 CPUtime=1938.09 cores=0-7
/proc/29818/task/29954/stat : 29954 (java) R 29816 29816 28925 0 -1 4202560 6465 0 0 0 193798 11 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606794206744 140607390955440 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29955] ppid=29816 vsize=28769364 memory=14008 CPUtime=1930.85 cores=0-7
/proc/29818/task/29955/stat : 29955 (java) R 29816 29816 28925 0 -1 4202560 3984 0 0 0 193077 8 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606795260176 140607390872489 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29956] ppid=29816 vsize=28769364 memory=23248 CPUtime=1942.67 cores=0-7
/proc/29818/task/29956/stat : 29956 (java) R 29816 29816 28925 0 -1 4202560 6784 0 0 0 194256 11 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606800523208 140607391808474 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29957] ppid=29816 vsize=28769364 memory=14068 CPUtime=1944.21 cores=0-7
/proc/29818/task/29957/stat : 29957 (java) R 29816 29816 28925 0 -1 4202560 106776 0 0 0 194157 264 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606799472944 140607392890569 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29958] ppid=29816 vsize=28769364 memory=2120 CPUtime=1941.49 cores=0-7
/proc/29818/task/29958/stat : 29958 (java) R 29816 29816 28925 0 -1 4202560 5435 0 0 0 194141 8 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606796312776 140607390955914 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29959] ppid=29816 vsize=28769364 memory=496 CPUtime=1935.82 cores=0-7
/proc/29818/task/29959/stat : 29959 (java) R 29816 29816 28925 0 -1 4202560 3633 0 0 0 193574 8 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606798417928 140607390872430 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29960] ppid=29816 vsize=28769364 memory=1556 CPUtime=1940.38 cores=0-7
/proc/29818/task/29960/stat : 29960 (java) R 29816 29816 28925 0 -1 4202560 5732 0 0 0 194033 5 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606792101800 140607393219505 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
[pid=29818/tid=29961] ppid=29816 vsize=28769364 memory=928 CPUtime=1944.43 cores=0-7
/proc/29818/task/29961/stat : 29961 (java) R 29816 29816 28925 0 -1 4202560 7759 0 0 0 194436 7 0 0 20 0 28 0 447782530 29459828736 1014883 33554432000 4194304 4196468 140737047483136 140606793154440 140607393942050 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17514496 140737047487466 140737047487638 140737047487638 140737047490511 0
Current children cumulated CPU time: 20040.4 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 4060984 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 29816 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001305 s, system=0.001305 s

[startup+2520.11 s]
# the end of solver process 29818 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20031.7 s, system=9.41866 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2520.11
CPU time (s): 20041.1
CPU user time (s): 20031.7
CPU system time (s): 9.41866
CPU usage (%): 795.246
Max. virtual memory (cumulated for all children) (KiB): 28883236
Max. memory (cumulated for all children) (KiB): 4101640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20031.7
system time used= 9.41866
maximum resident set size= 4101256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 514174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66586
involuntary context switches= 221541


# summary of solver processes directly reported to runsolver:
#   pid: 29816,29818
#   total CPU time (s): 20041.1
#   total CPU user time (s): 20031.7
#   total CPU system time (s): 9.41866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.4758 second user time and 30.1338 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml
MD5SUM	edb7fc8f5d274005fc89ddd50225e87c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3757
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}]
Minimum variable degree	2
Maximum variable degree	23
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3757}]
Number of extensional constraints	0
Number of intensional constraints	3757
Distribution of constraint types	[{"type":"intension","count":3757}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4400008

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
