2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	OPT	8	500.122	65.5956
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 (14366 MiB free)
  memory of node 1: 16384 MiB (13317 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297387-1532702252/watcher-4297387-1532702252 -o /tmp/evaluation-result-4297387-1532702252/solver-4297387-1532702252 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532694684-20048 --watchdog 2580 HOME/xcsp3-exec -seed 668873012 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297387-1532702252.xml 

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

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


[startup+0.101051 s]*
/proc/loadavg: 8.01 8.15 8.25 2/199 20824
/proc/meminfo: memFree=28332104/32770624 swapFree=67108860/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20803/stat : 20803 (xcsp3-exec) S 20800 20803 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87788424 115843072 364 33554432000 4194304 5098028 140737127257792 140737127255896 140577507205756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40497152 140737127265334 140737127265536 140737127265536 140737127268298 0
/proc/20803/statm: 28282 364 306 221 0 87 0
[pid=20805] ppid=20803 vsize=26104152 memory=27360 CPUtime=0.11 cores=0-7
/proc/20805/stat : 20805 (java) S 20803 20803 20021 0 -1 1077944320 5756 0 0 0 10 1 0 0 20 0 20 0 87788424 26730651648 6840 33554432000 4194304 4196468 140721087532224 140721087514768 139656403205879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
/proc/20805/statm: 6526038 6840 3005 1 0 6488315 0
[pid=20805/tid=20806] ppid=20803 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/20805/task/20806/stat : 20806 (java) R 20803 20803 20021 0 -1 4202560 3777 0 0 0 8 0 0 0 20 0 20 0 87788424 26730651648 6840 33554432000 4194304 4196468 140721087532224 139656407425136 139656403217814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20807] ppid=20803 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20805/task/20807/stat : 20807 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 6840 33554432000 4194304 4196468 140721087532224 139656366311952 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20808] ppid=20803 vsize=26104152 memory=139779457058432 CPUtime=0 cores=0-7
/proc/20805/task/20808/stat : 20808 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655960197776 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20809] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20809/stat : 20809 (java) S 20803 20803 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655959144720 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20810] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20810/stat : 20810 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655958092176 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20811] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20811/stat : 20811 (java) S 20803 20803 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655957040144 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20812] ppid=20803 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20805/task/20812/stat : 20812 (java) S 20803 20803 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655955987600 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20813] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20813/stat : 20813 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655954934544 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20814] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20814/stat : 20814 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655953882000 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20815] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20815/stat : 20815 (java) S 20803 20803 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87788427 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655798986992 139656403217026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20816] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20816/stat : 20816 (java) S 20803 20803 20021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87788427 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655797933216 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20817] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20817/stat : 20817 (java) S 20803 20803 20021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87788427 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655796880112 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20818] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20818/stat : 20818 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788430 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655795828688 139656403224475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20819] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20819/stat : 20819 (java) S 20803 20803 20021 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 87788430 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655794776816 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20820] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20820/stat : 20820 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87788430 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655793724272 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20821] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20821/stat : 20821 (java) S 20803 20803 20021 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 87788430 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655792671216 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20822] ppid=20803 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20805/task/20822/stat : 20822 (java) S 20803 20803 20021 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 20 0 87788430 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655791618672 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20823] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20823/stat : 20823 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87788430 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655790565856 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20824] ppid=20803 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20805/task/20824/stat : 20824 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788430 26730651648 6840 33554432000 4194304 4196468 140721087532224 139655789513392 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28816 KiB

[startup+0.210462 s]*
/proc/loadavg: 8.01 8.15 8.25 2/199 20824
/proc/meminfo: memFree=28320868/32770624 swapFree=67108860/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20803/stat : 20803 (xcsp3-exec) S 20800 20803 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87788424 115843072 364 33554432000 4194304 5098028 140737127257792 140737127255896 140577507205756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40497152 140737127265334 140737127265536 140737127265536 140737127268298 0
/proc/20803/statm: 28282 364 306 221 0 87 0
[pid=20805] ppid=20803 vsize=26104152 memory=39424 CPUtime=0.33 cores=0-7
/proc/20805/stat : 20805 (java) S 20803 20803 20021 0 -1 1077944320 8519 0 0 0 31 2 0 0 20 0 20 0 87788424 26730651648 9856 33554432000 4194304 4196468 140721087532224 140721087514768 139656403205879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
/proc/20805/statm: 6526038 9856 3152 1 0 6488315 0
[pid=20805/tid=20806] ppid=20803 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20805/task/20806/stat : 20806 (java) R 20803 20803 20021 0 -1 4202560 5598 0 0 0 18 1 0 0 20 0 20 0 87788424 26730651648 9856 33554432000 4194304 4196468 140721087532224 139656407444192 139656039386151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20807] ppid=20803 vsize=26104152 memory=339 CPUtime=0 cores=0-7
/proc/20805/task/20807/stat : 20807 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 9856 33554432000 4194304 4196468 140721087532224 139656366311952 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20808] ppid=20803 vsize=26104152 memory=139779457560785 CPUtime=0 cores=0-7
/proc/20805/task/20808/stat : 20808 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655960197776 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20809] ppid=20803 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20805/task/20809/stat : 20809 (java) S 20803 20803 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655959144720 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20810] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20810/stat : 20810 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655958092176 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20811] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20811/stat : 20811 (java) S 20803 20803 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655957040144 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20812] ppid=20803 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20805/task/20812/stat : 20812 (java) S 20803 20803 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655955987600 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20813] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20813/stat : 20813 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655954934544 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20814] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20814/stat : 20814 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788425 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655953882000 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20815] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20815/stat : 20815 (java) S 20803 20803 20021 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87788427 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655798986992 139656403217026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20816] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20816/stat : 20816 (java) S 20803 20803 20021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87788427 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655797933216 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20817] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20817/stat : 20817 (java) S 20803 20803 20021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87788427 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655796880112 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20818] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20818/stat : 20818 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788430 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655795828688 139656403224475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20819] ppid=20803 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20805/task/20819/stat : 20819 (java) S 20803 20803 20021 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 20 0 87788430 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655794776816 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20820] ppid=20803 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20805/task/20820/stat : 20820 (java) S 20803 20803 20021 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 20 0 87788430 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655793724272 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20821] ppid=20803 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/20805/task/20821/stat : 20821 (java) S 20803 20803 20021 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 20 0 87788430 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655792671216 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20822] ppid=20803 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/20805/task/20822/stat : 20822 (java) S 20803 20803 20021 0 -1 1077944384 786 0 0 0 7 0 0 0 20 0 20 0 87788430 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655791618672 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20823] ppid=20803 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20823/stat : 20823 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87788430 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655790565856 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20824] ppid=20803 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20805/task/20824/stat : 20824 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788430 26730651648 9856 33554432000 4194304 4196468 140721087532224 139655789513392 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40880 KiB

[startup+0.310479 s]*
/proc/loadavg: 8.01 8.15 8.25 4/199 20824
/proc/meminfo: memFree=28315284/32770624 swapFree=67108860/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20803/stat : 20803 (xcsp3-exec) S 20800 20803 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87788424 115843072 364 33554432000 4194304 5098028 140737127257792 140737127255896 140577507205756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40497152 140737127265334 140737127265536 140737127265536 140737127268298 0
/proc/20803/statm: 28282 364 306 221 0 87 0
[pid=20805] ppid=20803 vsize=26108408 memory=46112 CPUtime=0.51 cores=0-7
/proc/20805/stat : 20805 (java) S 20803 20803 20021 0 -1 1077944320 9344 0 0 0 48 3 0 0 20 0 20 0 87788424 26735009792 11528 33554432000 4194304 4196468 140721087532224 140721087514768 139656403205879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
/proc/20805/statm: 6527102 11528 3206 1 0 6488315 0
[pid=20805/tid=20806] ppid=20803 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20805/task/20806/stat : 20806 (java) R 20803 20803 20021 0 -1 4202560 6264 0 0 0 28 1 0 0 20 0 20 0 87788424 26735009792 11552 33554432000 4194304 4196468 140721087532224 139656407436992 139656387286366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20807] ppid=20803 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20807/stat : 20807 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788425 26735009792 11552 33554432000 4194304 4196468 140721087532224 139656366311952 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20808] ppid=20803 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20808/stat : 20808 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87788425 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655960197776 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20809] ppid=20803 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20809/stat : 20809 (java) S 20803 20803 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87788425 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655959144720 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20810] ppid=20803 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20810/stat : 20810 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87788425 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655958092176 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20811] ppid=20803 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/20805/task/20811/stat : 20811 (java) S 20803 20803 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87788425 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655957040144 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20812] ppid=20803 vsize=26108408 memory=139779308090287 CPUtime=0 cores=0-7
/proc/20805/task/20812/stat : 20812 (java) S 20803 20803 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87788425 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655955987600 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20813] ppid=20803 vsize=26108408 memory=139779308092592 CPUtime=0 cores=0-7
/proc/20805/task/20813/stat : 20813 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788425 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655954934544 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20814] ppid=20803 vsize=26108408 memory=139779308094896 CPUtime=0 cores=0-7
/proc/20805/task/20814/stat : 20814 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788425 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655953882000 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20815] ppid=20803 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20815/stat : 20815 (java) S 20803 20803 20021 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87788427 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655798986992 139656403217026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20816] ppid=20803 vsize=26108408 memory=279558616196752 CPUtime=0 cores=0-7
/proc/20805/task/20816/stat : 20816 (java) S 20803 20803 20021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87788427 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655797933216 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20817] ppid=20803 vsize=26108408 memory=279558616203664 CPUtime=0 cores=0-7
/proc/20805/task/20817/stat : 20817 (java) S 20803 20803 20021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87788427 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655796880112 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20818] ppid=20803 vsize=26108408 memory=279558616144944 CPUtime=0 cores=0-7
/proc/20805/task/20818/stat : 20818 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788430 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655795828688 139656403224475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20819] ppid=20803 vsize=26108408 memory=279558616217488 CPUtime=0.02 cores=0-7
/proc/20805/task/20819/stat : 20819 (java) S 20803 20803 20021 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 20 0 87788430 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655794776816 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20820] ppid=20803 vsize=26108408 memory=279558616224400 CPUtime=0.03 cores=0-7
/proc/20805/task/20820/stat : 20820 (java) R 20803 20803 20021 0 -1 4202560 207 0 0 0 3 0 0 0 20 0 20 0 87788430 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655793714656 139656383906176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20821] ppid=20803 vsize=26108408 memory=279558616222096 CPUtime=0.02 cores=0-7
/proc/20805/task/20821/stat : 20821 (java) S 20803 20803 20021 0 -1 1077944384 317 0 0 0 2 0 0 0 20 0 20 0 87788430 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655792671216 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20822] ppid=20803 vsize=26108408 memory=279558616238256 CPUtime=0.12 cores=0-7
/proc/20805/task/20822/stat : 20822 (java) S 20803 20803 20021 0 -1 1077944384 861 0 0 0 12 0 0 0 20 0 20 0 87788430 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655791618672 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20823] ppid=20803 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20823/stat : 20823 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87788430 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655790565856 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20824] ppid=20803 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/20805/task/20824/stat : 20824 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788430 26735009792 11618 33554432000 4194304 4196468 140721087532224 139655789513392 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47568 KiB

[startup+0.701024 s]
/proc/loadavg: 8.01 8.15 8.25 4/199 20824
/proc/meminfo: memFree=28293016/32770624 swapFree=67108860/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20803/stat : 20803 (xcsp3-exec) S 20800 20803 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87788424 115843072 364 33554432000 4194304 5098028 140737127257792 140737127255896 140577507205756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40497152 140737127265334 140737127265536 140737127265536 140737127268298 0
/proc/20803/statm: 28282 364 306 221 0 87 0
[pid=20805] ppid=20803 vsize=26110532 memory=119884 CPUtime=1.92 cores=0-7
/proc/20805/stat : 20805 (java) S 20803 20803 20021 0 -1 1077944320 13901 0 0 0 187 5 0 0 20 0 20 0 87788424 26737184768 29971 33554432000 4194304 4196468 140721087532224 140721087514768 139656403205879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
/proc/20805/statm: 6527633 29971 3353 1 0 6488827 0
[pid=20805/tid=20806] ppid=20803 vsize=26110532 memory=279558616596144 CPUtime=0.67 cores=0-7
/proc/20805/task/20806/stat : 20806 (java) R 20803 20803 20021 0 -1 4202560 6842 0 0 0 65 2 0 0 20 0 20 0 87788424 26737184768 29971 33554432000 4194304 4196468 140721087532224 139656407442128 139656039374780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20807] ppid=20803 vsize=26110532 memory=139779308299120 CPUtime=0 cores=0-7
/proc/20805/task/20807/stat : 20807 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87788425 26737184768 29971 33554432000 4194304 4196468 140721087532224 139656366311952 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20808] ppid=20803 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20808/stat : 20808 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87788425 26737184768 29971 33554432000 4194304 4196468 140721087532224 139655960197776 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20809] ppid=20803 vsize=26110532 memory=8496 CPUtime=0 cores=0-7
/proc/20805/task/20809/stat : 20809 (java) S 20803 20803 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87788425 26737184768 29971 33554432000 4194304 4196468 140721087532224 139655959144720 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0

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

[pid=20805/tid=20822] ppid=20803 vsize=26646120 memory=6791534058613427641 CPUtime=0.91 cores=0-7
/proc/20805/task/20822/stat : 20822 (java) S 20803 20803 20021 0 -1 1077944384 8347 0 0 0 88 3 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655791618672 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20823] ppid=20803 vsize=26646120 memory=1944 CPUtime=0 cores=0-7
/proc/20805/task/20823/stat : 20823 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655790565856 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20824] ppid=20803 vsize=26646120 memory=1416 CPUtime=0.02 cores=0-7
/proc/20805/task/20824/stat : 20824 (java) S 20803 20803 20021 0 -1 1077944384 957 0 0 0 0 2 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655789513392 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20905] ppid=20803 vsize=26646120 memory=4612 CPUtime=59.55 cores=0-7
/proc/20805/task/20905/stat : 20905 (java) R 20803 20803 20021 0 -1 4202560 429 0 0 0 5955 0 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655770209464 139656048256468 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20906] ppid=20803 vsize=26646120 memory=8496 CPUtime=59.16 cores=0-7
/proc/20805/task/20906/stat : 20906 (java) R 20803 20803 20021 0 -1 4202560 435 0 0 0 5916 0 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655773360104 139656048401178 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20907] ppid=20803 vsize=26646120 memory=1624 CPUtime=59.45 cores=0-7
/proc/20805/task/20907/stat : 20907 (java) R 20803 20803 20021 0 -1 4202560 7392 0 0 0 5905 40 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655776518200 139656049067715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20908] ppid=20803 vsize=26646120 memory=1200 CPUtime=59.21 cores=0-7
/proc/20805/task/20908/stat : 20908 (java) R 20803 20803 20021 0 -1 4202560 2489 0 0 0 5912 9 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655778624184 139656048441463 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20909] ppid=20803 vsize=26646120 memory=4872558044660077418 CPUtime=59.28 cores=0-7
/proc/20805/task/20909/stat : 20909 (java) R 20803 20803 20021 0 -1 4202560 8415 0 0 0 5889 39 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655777570888 139656048399795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20910] ppid=20803 vsize=26646120 memory=4872558044660077418 CPUtime=58.93 cores=0-7
/proc/20805/task/20910/stat : 20910 (java) R 20803 20803 20021 0 -1 4202560 312 0 0 0 5893 0 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655774413288 139656048401195 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20911] ppid=20803 vsize=26646120 memory=844 CPUtime=59.01 cores=0-7
/proc/20805/task/20911/stat : 20911 (java) R 20803 20803 20021 0 -1 4202560 1749 0 0 0 5892 9 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655779677968 139656048276144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20912] ppid=20803 vsize=26646120 memory=6791534058613427641 CPUtime=59.17 cores=0-7
/proc/20805/task/20912/stat : 20912 (java) R 20803 20803 20021 0 -1 4202560 1015 0 0 0 5915 2 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655780728528 139656047647759 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
Current children cumulated CPU time: 497.44 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 5387204 KiB

[startup+65.401 s]
/proc/loadavg: 8.22 8.14 8.24 9/207 20912
/proc/meminfo: memFree=22967860/32770624 swapFree=67108860/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20803/stat : 20803 (xcsp3-exec) S 20800 20803 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87788424 115843072 364 33554432000 4194304 5098028 140737127257792 140737127255896 140577507205756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40497152 140737127265334 140737127265536 140737127265536 140737127268298 0
/proc/20803/statm: 28282 364 306 221 0 87 0
[pid=20805] ppid=20803 vsize=26646120 memory=5385748 CPUtime=499.05 cores=0-7
/proc/20805/stat : 20805 (java) S 20803 20803 20021 0 -1 1077944320 85509 0 0 0 49710 195 0 0 20 0 28 0 87788424 27285626880 1346437 33554432000 4194304 4196468 140721087532224 140721087514768 139656403205879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
/proc/20805/statm: 6661530 1346437 3442 1 0 6622724 0
[pid=20805/tid=20806] ppid=20803 vsize=26646120 memory=4112 CPUtime=3.19 cores=0-7
/proc/20805/task/20806/stat : 20806 (java) S 20803 20803 20021 0 -1 1077944384 9410 0 0 0 310 9 0 0 20 0 28 0 87788424 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139656407446656 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20807] ppid=20803 vsize=26646120 memory=1408 CPUtime=0.23 cores=0-7
/proc/20805/task/20807/stat : 20807 (java) S 20803 20803 20021 0 -1 1077944384 477 0 0 0 15 8 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139656366311952 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20808] ppid=20803 vsize=26646120 memory=3344 CPUtime=0.25 cores=0-7
/proc/20805/task/20808/stat : 20808 (java) S 20803 20803 20021 0 -1 1077944384 523 0 0 0 17 8 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655960197776 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20809] ppid=20803 vsize=26646120 memory=1456 CPUtime=0.24 cores=0-7
/proc/20805/task/20809/stat : 20809 (java) S 20803 20803 20021 0 -1 1077944384 345 0 0 0 16 8 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655959144720 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20810] ppid=20803 vsize=26646120 memory=4328584 CPUtime=0.24 cores=0-7
/proc/20805/task/20810/stat : 20810 (java) S 20803 20803 20021 0 -1 1077944384 768 0 0 0 17 7 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655958092176 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20811] ppid=20803 vsize=26646120 memory=1408 CPUtime=0.22 cores=0-7
/proc/20805/task/20811/stat : 20811 (java) S 20803 20803 20021 0 -1 1077944384 1327 0 0 0 15 7 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655957040144 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20812] ppid=20803 vsize=26646120 memory=3344 CPUtime=0.25 cores=0-7
/proc/20805/task/20812/stat : 20812 (java) S 20803 20803 20021 0 -1 1077944384 781 0 0 0 17 8 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655955987600 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20813] ppid=20803 vsize=26646120 memory=1456 CPUtime=0.23 cores=0-7
/proc/20805/task/20813/stat : 20813 (java) S 20803 20803 20021 0 -1 1077944384 622 0 0 0 15 8 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655954934544 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20814] ppid=20803 vsize=26646120 memory=288230574492221466 CPUtime=0.23 cores=0-7
/proc/20805/task/20814/stat : 20814 (java) S 20803 20803 20021 0 -1 1077944384 701 0 0 0 15 8 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655953882000 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20815] ppid=20803 vsize=26646120 memory=303430231908417850 CPUtime=0.03 cores=0-7
/proc/20805/task/20815/stat : 20815 (java) S 20803 20803 20021 0 -1 1077944384 3652 0 0 0 2 1 0 0 20 0 28 0 87788427 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655798986992 139656403217026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20816] ppid=20803 vsize=26646120 memory=15252670952770799 CPUtime=0 cores=0-7
/proc/20805/task/20816/stat : 20816 (java) S 20803 20803 20021 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 87788427 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655797933280 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20817] ppid=20803 vsize=26646120 memory=3344 CPUtime=0 cores=0-7
/proc/20805/task/20817/stat : 20817 (java) S 20803 20803 20021 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 87788427 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655796880128 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20818] ppid=20803 vsize=26646120 memory=1456 CPUtime=0 cores=0-7
/proc/20805/task/20818/stat : 20818 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655795828688 139656403224475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20819] ppid=20803 vsize=26646120 memory=5385748 CPUtime=3.12 cores=0-7
/proc/20805/task/20819/stat : 20819 (java) S 20803 20803 20021 0 -1 1077944384 10554 0 0 0 309 3 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655794776816 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20820] ppid=20803 vsize=26646120 memory=6791534058613427641 CPUtime=3.62 cores=0-7
/proc/20805/task/20820/stat : 20820 (java) S 20803 20803 20021 0 -1 1077944384 12338 0 0 0 359 3 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655793724272 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20821] ppid=20803 vsize=26646120 memory=4872558044660077418 CPUtime=3.41 cores=0-7
/proc/20805/task/20821/stat : 20821 (java) S 20803 20803 20021 0 -1 1077944384 9275 0 0 0 340 1 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655792671216 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20822] ppid=20803 vsize=26646120 memory=6655300316396806240 CPUtime=0.91 cores=0-7
/proc/20805/task/20822/stat : 20822 (java) S 20803 20803 20021 0 -1 1077944384 8347 0 0 0 88 3 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655791618672 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20823] ppid=20803 vsize=26646120 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/20805/task/20823/stat : 20823 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655790565856 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20824] ppid=20803 vsize=26646120 memory=6944656592455359580 CPUtime=0.02 cores=0-7
/proc/20805/task/20824/stat : 20824 (java) S 20803 20803 20021 0 -1 1077944384 957 0 0 0 0 2 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655789513392 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20905] ppid=20803 vsize=26646120 memory=6791534058613427641 CPUtime=59.75 cores=0-7
/proc/20805/task/20905/stat : 20905 (java) R 20803 20803 20021 0 -1 4202560 429 0 0 0 5975 0 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655770209464 139656048523341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20906] ppid=20803 vsize=26646120 memory=6944656592455359580 CPUtime=59.36 cores=0-7
/proc/20805/task/20906/stat : 20906 (java) R 20803 20803 20021 0 -1 4202560 435 0 0 0 5936 0 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655773360104 139656048399809 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20907] ppid=20803 vsize=26646120 memory=6935650410838380624 CPUtime=59.65 cores=0-7
/proc/20805/task/20907/stat : 20907 (java) R 20803 20803 20021 0 -1 4202560 7406 0 0 0 5925 40 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655776518200 139656049532899 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20908] ppid=20803 vsize=26646120 memory=4640467252704989264 CPUtime=59.4 cores=0-7
/proc/20805/task/20908/stat : 20908 (java) R 20803 20803 20021 0 -1 4202560 2497 0 0 0 5931 9 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655778624184 139656043222128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20909] ppid=20803 vsize=26646120 memory=1416 CPUtime=59.48 cores=0-7
/proc/20805/task/20909/stat : 20909 (java) R 20803 20803 20021 0 -1 4202560 8425 0 0 0 5909 39 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655777570888 139656049821455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20910] ppid=20803 vsize=26646120 memory=4612 CPUtime=59.13 cores=0-7
/proc/20805/task/20910/stat : 20910 (java) R 20803 20803 20021 0 -1 4202560 312 0 0 0 5913 0 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655774413288 139656049067715 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20911] ppid=20803 vsize=26646120 memory=6791534058613427641 CPUtime=59.21 cores=0-7
/proc/20805/task/20911/stat : 20911 (java) R 20803 20803 20021 0 -1 4202560 1760 0 0 0 5912 9 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655779677968 139656048441028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20912] ppid=20803 vsize=26646120 memory=5385748 CPUtime=59.37 cores=0-7
/proc/20805/task/20912/stat : 20912 (java) R 20803 20803 20021 0 -1 4202560 1020 0 0 0 5935 2 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655780728528 139656049067715 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
Current children cumulated CPU time: 499.05 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 5387204 KiB

[startup+65.502 s]
/proc/loadavg: 8.22 8.14 8.24 9/207 20912
/proc/meminfo: memFree=22967860/32770624 swapFree=67108860/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20803/stat : 20803 (xcsp3-exec) S 20800 20803 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87788424 115843072 364 33554432000 4194304 5098028 140737127257792 140737127255896 140577507205756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40497152 140737127265334 140737127265536 140737127265536 140737127268298 0
/proc/20803/statm: 28282 364 306 221 0 87 0
[pid=20805] ppid=20803 vsize=26646120 memory=5385748 CPUtime=499.86 cores=0-7
/proc/20805/stat : 20805 (java) S 20803 20803 20021 0 -1 1077944320 85525 0 0 0 49791 195 0 0 20 0 28 0 87788424 27285626880 1346437 33554432000 4194304 4196468 140721087532224 140721087514768 139656403205879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
/proc/20805/statm: 6661530 1346437 3442 1 0 6622724 0
[pid=20805/tid=20806] ppid=20803 vsize=26646120 memory=1456 CPUtime=3.19 cores=0-7
/proc/20805/task/20806/stat : 20806 (java) S 20803 20803 20021 0 -1 1077944384 9410 0 0 0 310 9 0 0 20 0 28 0 87788424 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139656407446656 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20807] ppid=20803 vsize=26646120 memory=279558616296296 CPUtime=0.23 cores=0-7
/proc/20805/task/20807/stat : 20807 (java) S 20803 20803 20021 0 -1 1077944384 477 0 0 0 15 8 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139656366311952 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20808] ppid=20803 vsize=26646120 memory=25 CPUtime=0.25 cores=0-7
/proc/20805/task/20808/stat : 20808 (java) S 20803 20803 20021 0 -1 1077944384 523 0 0 0 17 8 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655960197776 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20809] ppid=20803 vsize=26646120 memory=23 CPUtime=0.24 cores=0-7
/proc/20805/task/20809/stat : 20809 (java) S 20803 20803 20021 0 -1 1077944384 345 0 0 0 16 8 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655959144720 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20810] ppid=20803 vsize=26646120 memory=2268496 CPUtime=0.24 cores=0-7
/proc/20805/task/20810/stat : 20810 (java) S 20803 20803 20021 0 -1 1077944384 768 0 0 0 17 7 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655958092176 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20811] ppid=20803 vsize=26646120 memory=1381300 CPUtime=0.22 cores=0-7
/proc/20805/task/20811/stat : 20811 (java) S 20803 20803 20021 0 -1 1077944384 1327 0 0 0 15 7 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655957040144 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20812] ppid=20803 vsize=26646120 memory=4028 CPUtime=0.25 cores=0-7
/proc/20805/task/20812/stat : 20812 (java) S 20803 20803 20021 0 -1 1077944384 781 0 0 0 17 8 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655955987600 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20813] ppid=20803 vsize=26646120 memory=25568 CPUtime=0.23 cores=0-7
/proc/20805/task/20813/stat : 20813 (java) S 20803 20803 20021 0 -1 1077944384 622 0 0 0 15 8 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655954934544 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20814] ppid=20803 vsize=26646120 memory=1456 CPUtime=0.23 cores=0-7
/proc/20805/task/20814/stat : 20814 (java) S 20803 20803 20021 0 -1 1077944384 701 0 0 0 15 8 0 0 20 0 28 0 87788425 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655953882000 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20815] ppid=20803 vsize=26646120 memory=5182600 CPUtime=0.03 cores=0-7
/proc/20805/task/20815/stat : 20815 (java) S 20803 20803 20021 0 -1 1077944384 3652 0 0 0 2 1 0 0 20 0 28 0 87788427 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655798986992 139656403217026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20816] ppid=20803 vsize=26646120 memory=1456 CPUtime=0 cores=0-7
/proc/20805/task/20816/stat : 20816 (java) S 20803 20803 20021 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 87788427 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655797933280 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20817] ppid=20803 vsize=26646120 memory=4028 CPUtime=0 cores=0-7
/proc/20805/task/20817/stat : 20817 (java) S 20803 20803 20021 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 87788427 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655796880128 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20818] ppid=20803 vsize=26646120 memory=1456 CPUtime=0 cores=0-7
/proc/20805/task/20818/stat : 20818 (java) S 20803 20803 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655795828688 139656403224475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20819] ppid=20803 vsize=26646120 memory=1456 CPUtime=3.12 cores=0-7
/proc/20805/task/20819/stat : 20819 (java) S 20803 20803 20021 0 -1 1077944384 10554 0 0 0 309 3 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655794776816 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20820] ppid=20803 vsize=26646120 memory=1456 CPUtime=3.62 cores=0-7
/proc/20805/task/20820/stat : 20820 (java) S 20803 20803 20021 0 -1 1077944384 12338 0 0 0 359 3 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655793724272 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20821] ppid=20803 vsize=26646120 memory=5385748 CPUtime=3.41 cores=0-7
/proc/20805/task/20821/stat : 20821 (java) S 20803 20803 20021 0 -1 1077944384 9275 0 0 0 340 1 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655792671216 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20822] ppid=20803 vsize=26646120 memory=279558617630144 CPUtime=0.91 cores=0-7
/proc/20805/task/20822/stat : 20822 (java) S 20803 20803 20021 0 -1 1077944384 8347 0 0 0 88 3 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655791618672 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20823] ppid=20803 vsize=26646120 memory=0 CPUtime=0 cores=0-7
/proc/20805/task/20823/stat : 20823 (java) S 20803 20803 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655790565856 139656403216085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20824] ppid=20803 vsize=26646120 memory=0 CPUtime=0.02 cores=0-7
/proc/20805/task/20824/stat : 20824 (java) S 20803 20803 20021 0 -1 1077944384 957 0 0 0 0 2 0 0 20 0 28 0 87788430 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655789513392 139656403217026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20905] ppid=20803 vsize=26646120 memory=5385748 CPUtime=59.85 cores=0-7
/proc/20805/task/20905/stat : 20905 (java) R 20803 20803 20021 0 -1 4202560 429 0 0 0 5985 0 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655770209464 139656049977596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20906] ppid=20803 vsize=26646120 memory=1456 CPUtime=59.46 cores=0-7
/proc/20805/task/20906/stat : 20906 (java) R 20803 20803 20021 0 -1 4202560 435 0 0 0 5946 0 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655773360104 139656049067724 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20907] ppid=20803 vsize=26646120 memory=5385748 CPUtime=59.75 cores=0-7
/proc/20805/task/20907/stat : 20907 (java) R 20803 20803 20021 0 -1 4202560 7413 0 0 0 5935 40 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655776518200 139656040367911 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20908] ppid=20803 vsize=26646120 memory=2424 CPUtime=59.51 cores=0-7
/proc/20805/task/20908/stat : 20908 (java) R 20803 20803 20021 0 -1 4202560 2498 0 0 0 5942 9 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655778624184 139656048441089 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20909] ppid=20803 vsize=26646120 memory=1456 CPUtime=59.59 cores=0-7
/proc/20805/task/20909/stat : 20909 (java) R 20803 20803 20021 0 -1 4202560 8432 0 0 0 5920 39 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655777570888 139656048400022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20910] ppid=20803 vsize=26646120 memory=5385748 CPUtime=59.23 cores=0-7
/proc/20805/task/20910/stat : 20910 (java) R 20803 20803 20021 0 -1 4202560 312 0 0 0 5923 0 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655774413288 139656048512697 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20911] ppid=20803 vsize=26646120 memory=2200 CPUtime=59.31 cores=0-7
/proc/20805/task/20911/stat : 20911 (java) R 20803 20803 20021 0 -1 4202560 1760 0 0 0 5922 9 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655779677968 139656048440946 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
[pid=20805/tid=20912] ppid=20803 vsize=26646120 memory=8148 CPUtime=59.47 cores=0-7
/proc/20805/task/20912/stat : 20912 (java) R 20803 20803 20021 0 -1 4202560 1021 0 0 0 5945 2 0 0 20 0 28 0 87788962 27285626880 1346437 33554432000 4194304 4196468 140721087532224 139655780728528 139656048847299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8785920 140721087534209 140721087534381 140721087534381 140721087537103 0
Current children cumulated CPU time: 499.86 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 5387204 KiB

Child status: 0
Real time (s): 65.5956
CPU time (s): 500.122
CPU user time (s): 498.142
CPU system time (s): 1.98023
CPU usage (%): 762.432
Max. virtual memory (cumulated for all children) (KiB): 26759248
Max. memory (cumulated for all children) (KiB): 5387204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 498.142
system time used= 1.98023
maximum resident set size= 5387400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7740
involuntary context switches= 5780


# summary of solver processes directly reported to runsolver:
#   pid: 20803
#   total CPU time (s): 500.122
#   total CPU user time (s): 498.142
#   total CPU system time (s): 1.98023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.607577 second user time and 0.72238 second system time

The end
Name	GraphColoring/ GraphColoring-5-fullins-4_c18.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	500.122
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 4297387

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
