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-06-14 parallel	SAT (TO)	24	20034.1	2520.12
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 (14378 MiB free)
  memory of node 1: 16384 MiB (15171 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394046-1568419392/watcher-4394046-1568419392 -o /tmp/evaluation-result-4394046-1568419392/solver-4394046-1568419392 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1238357957 HOME/instance-4394046-1568419392.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=28009, runsolver pid=28006
Current StackSize limit: 8192 KiB


[startup+0.100189 s]*
/proc/loadavg: 6.88 7.84 6.21 2/218 28030
/proc/meminfo: memFree=30241756/32770624 swapFree=66916608/67108860
[pid=28009] ppid=28006 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28009/stat : 28009 (xcsp3-exec) S 28006 28009 24366 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418189732 115843072 363 33554432000 4194304 5098028 140728290407136 140728290405240 139841737564796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29638656 140728290411381 140728290411625 140728290411625 140728290414538 0
/proc/28009/statm: 28282 363 304 221 0 87 0
[pid=28011] ppid=28009 vsize=28227388 memory=28944 CPUtime=0.13 cores=0-7
/proc/28011/stat : 28011 (java) S 28009 28009 24366 0 -1 1077944320 5660 0 0 0 11 2 0 0 20 0 20 0 418189733 28904845312 7236 33554432000 4194304 4196468 140736127777888 140736127760432 140162616643319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
/proc/28011/statm: 7056847 7236 3186 1 0 7019032 0
[pid=28011/tid=28012] ppid=28009 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28011/task/28012/stat : 28012 (java) R 28009 28009 24366 0 -1 4202560 3600 0 0 0 8 1 0 0 20 0 20 0 418189733 28904845312 7236 33554432000 4194304 4196468 140736127777888 140162620865376 140162616664666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28013] ppid=28009 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28011/task/28013/stat : 28013 (java) S 28009 28009 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 7236 33554432000 4194304 4196468 140736127777888 140162569263888 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28014] ppid=28009 vsize=28227388 memory=140208076629632 CPUtime=0 cores=0-7
/proc/28011/task/28014/stat : 28014 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 7236 33554432000 4194304 4196468 140736127777888 140162568211344 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28015] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28015/stat : 28015 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 7236 33554432000 4194304 4196468 140736127777888 140162166021136 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28016] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28016/stat : 28016 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 7236 33554432000 4194304 4196468 140736127777888 140162164968592 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28017] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28017/stat : 28017 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 7236 33554432000 4194304 4196468 140736127777888 140162163915024 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28018] ppid=28009 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28011/task/28018/stat : 28018 (java) S 28009 28009 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 7236 33554432000 4194304 4196468 140736127777888 140162162862480 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28019] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28019/stat : 28019 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 7236 33554432000 4194304 4196468 140736127777888 140162161809936 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28020] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28020/stat : 28020 (java) S 28009 28009 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 7236 33554432000 4194304 4196468 140736127777888 140162160757392 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28021] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28021/stat : 28021 (java) S 28009 28009 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189735 28904845312 7236 33554432000 4194304 4196468 140736127777888 140161732983280 140162616654466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28022] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28022/stat : 28022 (java) S 28009 28009 24366 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418189736 28904845312 7236 33554432000 4194304 4196468 140736127777888 140161731929504 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28023] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28023/stat : 28023 (java) S 28009 28009 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418189736 28904845312 7236 33554432000 4194304 4196468 140736127777888 140161730876912 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28024] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28024/stat : 28024 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189738 28904845312 7236 33554432000 4194304 4196468 140736127777888 140161729825488 140162616661915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28025] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28025/stat : 28025 (java) S 28009 28009 24366 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 418189738 28904845312 7236 33554432000 4194304 4196468 140736127777888 140161728772080 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28026] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28026/stat : 28026 (java) S 28009 28009 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189738 28904845312 7236 33554432000 4194304 4196468 140736127777888 140161727719536 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28027] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28027/stat : 28027 (java) R 28009 28009 24366 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 20 0 418189738 28904845312 7236 33554432000 4194304 4196468 140736127777888 140161726666992 140162602309472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28028] ppid=28009 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/28011/task/28028/stat : 28028 (java) R 28009 28009 24366 0 -1 4202560 321 0 0 0 2 0 0 0 20 0 20 0 418189738 28904845312 7236 33554432000 4194304 4196468 140736127777888 140161725614448 140162596076384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28029] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28029/stat : 28029 (java) S 28009 28009 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189738 28904845312 7236 33554432000 4194304 4196468 140736127777888 140161724562144 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28030] ppid=28009 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28011/task/28030/stat : 28030 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189739 28904845312 7236 33554432000 4194304 4196468 140736127777888 140161723509680 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30396 KiB

[startup+0.213975 s]*
/proc/loadavg: 6.88 7.84 6.21 2/218 28030
/proc/meminfo: memFree=30227660/32770624 swapFree=66916608/67108860
[pid=28009] ppid=28006 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28009/stat : 28009 (xcsp3-exec) S 28006 28009 24366 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418189732 115843072 363 33554432000 4194304 5098028 140728290407136 140728290405240 139841737564796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29638656 140728290411381 140728290411625 140728290411625 140728290414538 0
/proc/28009/statm: 28282 363 304 221 0 87 0
[pid=28011] ppid=28009 vsize=28227388 memory=41036 CPUtime=0.34 cores=0-7
/proc/28011/stat : 28011 (java) S 28009 28009 24366 0 -1 1077944320 9561 0 0 0 31 3 0 0 20 0 20 0 418189733 28904845312 10259 33554432000 4194304 4196468 140736127777888 140736127760432 140162616643319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
/proc/28011/statm: 7056847 10259 3282 1 0 7019032 0
[pid=28011/tid=28012] ppid=28009 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28011/task/28012/stat : 28012 (java) R 28009 28009 24366 0 -1 4202560 6660 0 0 0 18 2 0 0 20 0 20 0 418189733 28904845312 10259 33554432000 4194304 4196468 140736127777888 140162620878304 140162616665245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28013] ppid=28009 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/28011/task/28013/stat : 28013 (java) S 28009 28009 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 10259 33554432000 4194304 4196468 140736127777888 140162569263888 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28014] ppid=28009 vsize=28227388 memory=140208076652869 CPUtime=0 cores=0-7
/proc/28011/task/28014/stat : 28014 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 10259 33554432000 4194304 4196468 140736127777888 140162568211344 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28015] ppid=28009 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28011/task/28015/stat : 28015 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 10259 33554432000 4194304 4196468 140736127777888 140162166021136 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28016] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28016/stat : 28016 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 10259 33554432000 4194304 4196468 140736127777888 140162164968592 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28017] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28017/stat : 28017 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 10259 33554432000 4194304 4196468 140736127777888 140162163915024 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28018] ppid=28009 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28011/task/28018/stat : 28018 (java) S 28009 28009 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 10259 33554432000 4194304 4196468 140736127777888 140162162862480 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28019] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28019/stat : 28019 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 10259 33554432000 4194304 4196468 140736127777888 140162161809936 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28020] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28020/stat : 28020 (java) S 28009 28009 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189734 28904845312 10322 33554432000 4194304 4196468 140736127777888 140162160757392 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28021] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28021/stat : 28021 (java) S 28009 28009 24366 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418189735 28904845312 10322 33554432000 4194304 4196468 140736127777888 140161732983280 140162616654466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28022] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28022/stat : 28022 (java) S 28009 28009 24366 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418189736 28904845312 10322 33554432000 4194304 4196468 140736127777888 140161731929504 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28023] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28023/stat : 28023 (java) S 28009 28009 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418189736 28904845312 10322 33554432000 4194304 4196468 140736127777888 140161730876912 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28024] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28024/stat : 28024 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189738 28904845312 10322 33554432000 4194304 4196468 140736127777888 140161729825488 140162616661915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28025] ppid=28009 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/28011/task/28025/stat : 28025 (java) S 28009 28009 24366 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 20 0 418189738 28904845312 10322 33554432000 4194304 4196468 140736127777888 140161728772080 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28026] ppid=28009 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/28011/task/28026/stat : 28026 (java) S 28009 28009 24366 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 20 0 418189738 28904845312 10322 33554432000 4194304 4196468 140736127777888 140161727719536 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28027] ppid=28009 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/28011/task/28027/stat : 28027 (java) S 28009 28009 24366 0 -1 1077944384 194 0 0 0 1 0 0 0 20 0 20 0 418189738 28904845312 10322 33554432000 4194304 4196468 140736127777888 140161726666992 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28028] ppid=28009 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/28011/task/28028/stat : 28028 (java) S 28009 28009 24366 0 -1 1077944384 783 0 0 0 8 0 0 0 20 0 20 0 418189738 28904845312 10322 33554432000 4194304 4196468 140736127777888 140161725614448 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28029] ppid=28009 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28029/stat : 28029 (java) S 28009 28009 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189738 28904845312 10322 33554432000 4194304 4196468 140736127777888 140161724562144 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28030] ppid=28009 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28011/task/28030/stat : 28030 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189739 28904845312 10322 33554432000 4194304 4196468 140736127777888 140161723509680 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42488 KiB

[startup+0.310933 s]*
/proc/loadavg: 6.88 7.84 6.21 4/218 28030
/proc/meminfo: memFree=30220648/32770624 swapFree=66916608/67108860
[pid=28009] ppid=28006 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28009/stat : 28009 (xcsp3-exec) S 28006 28009 24366 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418189732 115843072 363 33554432000 4194304 5098028 140728290407136 140728290405240 139841737564796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29638656 140728290411381 140728290411625 140728290411625 140728290414538 0
/proc/28009/statm: 28282 363 304 221 0 87 0
[pid=28011] ppid=28009 vsize=28231644 memory=50484 CPUtime=0.52 cores=0-7
/proc/28011/stat : 28011 (java) S 28009 28009 24366 0 -1 1077944320 10949 0 0 0 48 4 0 0 20 0 20 0 418189733 28909203456 12621 33554432000 4194304 4196468 140736127777888 140736127760432 140162616643319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
/proc/28011/statm: 7057911 12621 3357 1 0 7019032 0
[pid=28011/tid=28012] ppid=28009 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/28011/task/28012/stat : 28012 (java) R 28009 28009 24366 0 -1 4202560 7837 0 0 0 27 3 0 0 20 0 20 0 418189733 28909203456 12621 33554432000 4194304 4196468 140736127777888 140162620874432 140162600723806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28013] ppid=28009 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28013/stat : 28013 (java) S 28009 28009 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189734 28909203456 12621 33554432000 4194304 4196468 140736127777888 140162569263888 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28014] ppid=28009 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28014/stat : 28014 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28909203456 12621 33554432000 4194304 4196468 140736127777888 140162568211344 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28015] ppid=28009 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28015/stat : 28015 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28909203456 12621 33554432000 4194304 4196468 140736127777888 140162166021136 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28016] ppid=28009 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28016/stat : 28016 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28909203456 12621 33554432000 4194304 4196468 140736127777888 140162164968592 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28017] ppid=28009 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/28011/task/28017/stat : 28017 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28909203456 12621 33554432000 4194304 4196468 140736127777888 140162163915024 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28018] ppid=28009 vsize=28231644 memory=140207932404655 CPUtime=0 cores=0-7
/proc/28011/task/28018/stat : 28018 (java) S 28009 28009 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189734 28909203456 12621 33554432000 4194304 4196468 140736127777888 140162162862480 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28019] ppid=28009 vsize=28231644 memory=140207932406960 CPUtime=0 cores=0-7
/proc/28011/task/28019/stat : 28019 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28909203456 12621 33554432000 4194304 4196468 140736127777888 140162161809936 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28020] ppid=28009 vsize=28231644 memory=140207932409264 CPUtime=0 cores=0-7
/proc/28011/task/28020/stat : 28020 (java) S 28009 28009 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189734 28909203456 12621 33554432000 4194304 4196468 140736127777888 140162160757392 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28021] ppid=28009 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28021/stat : 28021 (java) S 28009 28009 24366 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418189735 28909203456 12621 33554432000 4194304 4196468 140736127777888 140161732983280 140162616654466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28022] ppid=28009 vsize=28231644 memory=280415864825488 CPUtime=0 cores=0-7
/proc/28011/task/28022/stat : 28022 (java) S 28009 28009 24366 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418189736 28909203456 12621 33554432000 4194304 4196468 140736127777888 140161731929504 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28023] ppid=28009 vsize=28231644 memory=280415864832400 CPUtime=0 cores=0-7
/proc/28011/task/28023/stat : 28023 (java) S 28009 28009 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418189736 28909203456 12621 33554432000 4194304 4196468 140736127777888 140161730876912 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28024] ppid=28009 vsize=28231644 memory=280415864773552 CPUtime=0 cores=0-7
/proc/28011/task/28024/stat : 28024 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189738 28909203456 12621 33554432000 4194304 4196468 140736127777888 140161729825488 140162616661915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28025] ppid=28009 vsize=28231644 memory=280415864846224 CPUtime=0.02 cores=0-7
/proc/28011/task/28025/stat : 28025 (java) S 28009 28009 24366 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 20 0 418189738 28909203456 12621 33554432000 4194304 4196468 140736127777888 140161728772080 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28026] ppid=28009 vsize=28231644 memory=280415864853136 CPUtime=0.04 cores=0-7
/proc/28011/task/28026/stat : 28026 (java) R 28009 28009 24366 0 -1 4202560 360 0 0 0 4 0 0 0 20 0 20 0 418189738 28909203456 12621 33554432000 4194304 4196468 140736127777888 140161727719536 140162593904576 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28027] ppid=28009 vsize=28231644 memory=280415864850832 CPUtime=0.01 cores=0-7
/proc/28011/task/28027/stat : 28027 (java) S 28009 28009 24366 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 20 0 418189738 28909203456 12621 33554432000 4194304 4196468 140736127777888 140161726666992 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28028] ppid=28009 vsize=28231644 memory=280415864866992 CPUtime=0.12 cores=0-7
/proc/28011/task/28028/stat : 28028 (java) S 28009 28009 24366 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 20 0 418189738 28909203456 12621 33554432000 4194304 4196468 140736127777888 140161725614448 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28029] ppid=28009 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28029/stat : 28029 (java) S 28009 28009 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418189738 28909203456 12621 33554432000 4194304 4196468 140736127777888 140161724562144 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28030] ppid=28009 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/28011/task/28030/stat : 28030 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189739 28909203456 12621 33554432000 4194304 4196468 140736127777888 140161723509680 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51936 KiB

[startup+0.701002 s]
/proc/loadavg: 6.88 7.84 6.21 5/218 28030
/proc/meminfo: memFree=30200528/32770624 swapFree=66916608/67108860
[pid=28009] ppid=28006 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28009/stat : 28009 (xcsp3-exec) S 28006 28009 24366 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418189732 115843072 363 33554432000 4194304 5098028 140728290407136 140728290405240 139841737564796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29638656 140728290411381 140728290411625 140728290411625 140728290414538 0
/proc/28009/statm: 28282 363 304 221 0 87 0
[pid=28011] ppid=28009 vsize=28233768 memory=117532 CPUtime=1.94 cores=0-7
/proc/28011/stat : 28011 (java) S 28009 28009 24366 0 -1 1077944320 14978 0 0 0 188 6 0 0 20 0 20 0 418189733 28911378432 29383 33554432000 4194304 4196468 140736127777888 140736127760432 140162616643319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
/proc/28011/statm: 7058442 29383 3449 1 0 7019544 0
[pid=28011/tid=28012] ppid=28009 vsize=28233768 memory=280415865224880 CPUtime=0.67 cores=0-7
/proc/28011/task/28012/stat : 28012 (java) R 28009 28009 24366 0 -1 4202560 8370 0 0 0 63 4 0 0 20 0 20 0 418189733 28911378432 29383 33554432000 4194304 4196468 140736127777888 140162620878752 140162616664666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28013] ppid=28009 vsize=28233768 memory=140207932613488 CPUtime=0 cores=0-7
/proc/28011/task/28013/stat : 28013 (java) S 28009 28009 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418189734 28911378432 29383 33554432000 4194304 4196468 140736127777888 140162569263888 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28014] ppid=28009 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/28011/task/28014/stat : 28014 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28911378432 29383 33554432000 4194304 4196468 140736127777888 140162568211344 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28015] ppid=28009 vsize=28233768 memory=5996 CPUtime=0 cores=0-7
/proc/28011/task/28015/stat : 28015 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418189734 28911378432 29383 33554432000 4194304 4196468 140736127777888 140162166021136 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0

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

[pid=28011/tid=28070] ppid=28009 vsize=28768328 memory=1452 CPUtime=2414.13 cores=0-7
/proc/28011/task/28070/stat : 28070 (java) R 28009 28009 24366 0 -1 4202560 56283 0 0 0 241236 177 0 0 20 0 28 0 418190110 29458767872 886806 33554432000 4194304 4196468 140736127777888 140161704833264 140162259461693 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
Current children cumulated CPU time: 19415.7 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3548676 KiB

[startup+2502.3 s]
/proc/loadavg: 8.40 8.37 8.21 9/226 28270
/proc/meminfo: memFree=26761288/32770624 swapFree=66916616/67108860
[pid=28009] ppid=28006 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28009/stat : 28009 (xcsp3-exec) S 28006 28009 24366 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418189732 115843072 363 33554432000 4194304 5098028 140728290407136 140728290405240 139841737564796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29638656 140728290411381 140728290411625 140728290411625 140728290414538 0
/proc/28009/statm: 28282 363 304 221 0 87 0
[pid=28011] ppid=28009 vsize=28768328 memory=3500540 CPUtime=19893.1 cores=0-7
/proc/28011/stat : 28011 (java) S 28009 28009 24366 0 -1 1077944320 1346372 0 0 0 1987763 1550 0 0 20 0 28 0 418189733 29458767872 875135 33554432000 4194304 4196468 140736127777888 140736127760432 140162616643319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
/proc/28011/statm: 7192082 875135 3563 1 0 7153184 0
[pid=28011/tid=28012] ppid=28009 vsize=28768328 memory=3500540 CPUtime=2.68 cores=0-7
/proc/28011/task/28012/stat : 28012 (java) S 28009 28009 24366 0 -1 1077944384 11641 0 0 0 256 12 0 0 20 0 28 0 418189733 29458767872 875135 33554432000 4194304 4196468 140736127777888 140162620884096 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28013] ppid=28009 vsize=28768328 memory=3502080 CPUtime=10.91 cores=0-7
/proc/28011/task/28013/stat : 28013 (java) S 28009 28009 24366 0 -1 1077944384 45004 0 0 0 1029 62 0 0 20 0 28 0 418189734 29458767872 875135 33554432000 4194304 4196468 140736127777888 140162569263888 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28014] ppid=28009 vsize=28768328 memory=3507720 CPUtime=10.9 cores=0-7
/proc/28011/task/28014/stat : 28014 (java) S 28009 28009 24366 0 -1 1077944384 54941 0 0 0 1031 59 0 0 20 0 28 0 418189734 29458767872 875135 33554432000 4194304 4196468 140736127777888 140162568211344 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28015] ppid=28009 vsize=28768328 memory=3514904 CPUtime=10.99 cores=0-7
/proc/28011/task/28015/stat : 28015 (java) S 28009 28009 24366 0 -1 1077944384 53327 0 0 0 1035 64 0 0 20 0 28 0 418189734 29458767872 875135 33554432000 4194304 4196468 140736127777888 140162166021136 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28016] ppid=28009 vsize=28768328 memory=3502080 CPUtime=10.95 cores=0-7
/proc/28011/task/28016/stat : 28016 (java) S 28009 28009 24366 0 -1 1077944384 51514 0 0 0 1029 66 0 0 20 0 28 0 418189734 29458767872 875135 33554432000 4194304 4196468 140736127777888 140162164968592 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28017] ppid=28009 vsize=28768328 memory=3500540 CPUtime=10.91 cores=0-7
/proc/28011/task/28017/stat : 28017 (java) S 28009 28009 24366 0 -1 1077944384 50621 0 0 0 1026 65 0 0 20 0 28 0 418189734 29458767872 875135 33554432000 4194304 4196468 140736127777888 140162163915024 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28018] ppid=28009 vsize=28768328 memory=3500540 CPUtime=10.9 cores=0-7
/proc/28011/task/28018/stat : 28018 (java) S 28009 28009 24366 0 -1 1077944384 53180 0 0 0 1024 66 0 0 20 0 28 0 418189734 29458767872 875135 33554432000 4194304 4196468 140736127777888 140162162862480 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28019] ppid=28009 vsize=28768328 memory=3628 CPUtime=10.89 cores=0-7
/proc/28011/task/28019/stat : 28019 (java) S 28009 28009 24366 0 -1 1077944384 54466 0 0 0 1026 63 0 0 20 0 28 0 418189734 29458767872 875135 33554432000 4194304 4196468 140736127777888 140162161809936 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28020] ppid=28009 vsize=28768328 memory=3500540 CPUtime=10.96 cores=0-7
/proc/28011/task/28020/stat : 28020 (java) S 28009 28009 24366 0 -1 1077944384 54195 0 0 0 1036 60 0 0 20 0 28 0 418189734 29458767872 875135 33554432000 4194304 4196468 140736127777888 140162160757392 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28021] ppid=28009 vsize=28768328 memory=-3622645143214314312 CPUtime=3.52 cores=0-7
/proc/28011/task/28021/stat : 28021 (java) S 28009 28009 24366 0 -1 1077944384 223282 0 0 0 245 107 0 0 20 0 28 0 418189735 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161732983280 140162616654466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28022] ppid=28009 vsize=28768328 memory=1460 CPUtime=0 cores=0-7
/proc/28011/task/28022/stat : 28022 (java) S 28009 28009 24366 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 418189736 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161731929568 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28023] ppid=28009 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/28011/task/28023/stat : 28023 (java) S 28009 28009 24366 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 418189736 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161730876928 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28024] ppid=28009 vsize=28768328 memory=3500540 CPUtime=0 cores=0-7
/proc/28011/task/28024/stat : 28024 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418189738 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161729825488 140162616661915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28025] ppid=28009 vsize=28768328 memory=1452 CPUtime=5.32 cores=0-7
/proc/28011/task/28025/stat : 28025 (java) S 28009 28009 24366 0 -1 1077944384 24489 0 0 0 528 4 0 0 20 0 28 0 418189738 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161728772080 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28026] ppid=28009 vsize=28768328 memory=1452 CPUtime=5.3 cores=0-7
/proc/28011/task/28026/stat : 28026 (java) S 28009 28009 24366 0 -1 1077944384 39374 0 0 0 525 5 0 0 20 0 28 0 418189738 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161727719536 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28027] ppid=28009 vsize=28768328 memory=1452 CPUtime=5.78 cores=0-7
/proc/28011/task/28027/stat : 28027 (java) S 28009 28009 24366 0 -1 1077944384 42706 0 0 0 571 7 0 0 20 0 28 0 418189738 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161726666992 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28028] ppid=28009 vsize=28768328 memory=3502080 CPUtime=1.34 cores=0-7
/proc/28011/task/28028/stat : 28028 (java) S 28009 28009 24366 0 -1 1077944384 32384 0 0 0 128 6 0 0 20 0 28 0 418189738 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161725614448 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28029] ppid=28009 vsize=28768328 memory=1764 CPUtime=0 cores=0-7
/proc/28011/task/28029/stat : 28029 (java) S 28009 28009 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418189738 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161724562144 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28030] ppid=28009 vsize=28768328 memory=3520548 CPUtime=1 cores=0-7
/proc/28011/task/28030/stat : 28030 (java) S 28009 28009 24366 0 -1 1077944384 10224 0 0 0 62 38 0 0 20 0 28 0 418189739 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161723509680 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28063] ppid=28009 vsize=28768328 memory=1452 CPUtime=2472.37 cores=0-7
/proc/28011/task/28063/stat : 28063 (java) R 28009 28009 24366 0 -1 4202560 55887 0 0 0 247196 41 0 0 20 0 28 0 418190109 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161710099672 140162258436777 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28064] ppid=28009 vsize=28768328 memory=1452 CPUtime=2470.96 cores=0-7
/proc/28011/task/28064/stat : 28064 (java) R 28009 28009 24366 0 -1 4202560 28102 0 0 0 247083 13 0 0 20 0 28 0 418190109 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161711153512 140162258436693 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28065] ppid=28009 vsize=28768328 memory=1452 CPUtime=2472.41 cores=0-7
/proc/28011/task/28065/stat : 28065 (java) R 28009 28009 24366 0 -1 4202560 130719 0 0 0 247090 151 0 0 20 0 28 0 418190109 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161706938000 140162249073947 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28066] ppid=28009 vsize=28768328 memory=3504132 CPUtime=2473.73 cores=0-7
/proc/28011/task/28066/stat : 28066 (java) R 28009 28009 24366 0 -1 4202560 81918 0 0 0 247112 261 0 0 20 0 28 0 418190109 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161707991368 140162258436240 0 4 0 16800975 0 0 0 -1 6 0 0 32 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28067] ppid=28009 vsize=28768328 memory=1452 CPUtime=2469.05 cores=0-7
/proc/28011/task/28067/stat : 28067 (java) R 28009 28009 24366 0 -1 4202560 33803 0 0 0 246850 55 0 0 20 0 28 0 418190109 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161712201768 140162258358898 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28068] ppid=28009 vsize=28768328 memory=3628 CPUtime=2472.88 cores=0-7
/proc/28011/task/28068/stat : 28068 (java) R 28009 28009 24366 0 -1 4202560 43507 0 0 0 247203 85 0 0 20 0 28 0 418190109 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161709046512 140162256262683 0 4 0 16800975 0 0 0 -1 2 0 0 26 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28069] ppid=28009 vsize=28768328 memory=39720 CPUtime=2472.12 cores=0-7
/proc/28011/task/28069/stat : 28069 (java) R 28009 28009 24366 0 -1 4202560 111914 0 0 0 247086 126 0 0 20 0 28 0 418190109 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161705884968 140162258930668 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28070] ppid=28009 vsize=28768328 memory=992 CPUtime=2473.56 cores=0-7
/proc/28011/task/28070/stat : 28070 (java) R 28009 28009 24366 0 -1 4202560 56947 0 0 0 247174 182 0 0 20 0 28 0 418190110 29458767872 875135 33554432000 4194304 4196468 140736127777888 140161704837224 140162256262647 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
Current children cumulated CPU time: 19893.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3501992 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.50 8.40 8.22 9/226 28271
/proc/meminfo: memFree=26776572/32770624 swapFree=66916616/67108860
[pid=28009] ppid=28006 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28009/stat : 28009 (xcsp3-exec) S 28006 28009 24366 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418189732 115843072 363 33554432000 4194304 5098028 140728290407136 140728290405240 139841737564796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29638656 140728290411381 140728290411625 140728290411625 140728290414538 0
/proc/28009/statm: 28282 363 304 221 0 87 0
[pid=28011] ppid=28009 vsize=28768328 memory=3485664 CPUtime=20033.4 cores=0-7
/proc/28011/stat : 28011 (java) S 28009 28009 24366 0 -1 1077944320 1353112 0 0 0 2001786 1556 0 0 20 0 28 0 418189733 29458767872 871416 33554432000 4194304 4196468 140736127777888 140736127760432 140162616643319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
/proc/28011/statm: 7192082 871416 3563 1 0 7153184 0
[pid=28011/tid=28012] ppid=28009 vsize=28768328 memory=1052 CPUtime=2.68 cores=0-7
/proc/28011/task/28012/stat : 28012 (java) S 28009 28009 24366 0 -1 1077944384 11641 0 0 0 256 12 0 0 20 0 28 0 418189733 29458767872 871416 33554432000 4194304 4196468 140736127777888 140162620884096 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28013] ppid=28009 vsize=28768328 memory=5996 CPUtime=10.97 cores=0-7
/proc/28011/task/28013/stat : 28013 (java) S 28009 28009 24366 0 -1 1077944384 45456 0 0 0 1035 62 0 0 20 0 28 0 418189734 29458767872 871416 33554432000 4194304 4196468 140736127777888 140162569263888 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28014] ppid=28009 vsize=28768328 memory=4872558044660077418 CPUtime=10.97 cores=0-7
/proc/28011/task/28014/stat : 28014 (java) S 28009 28009 24366 0 -1 1077944384 55361 0 0 0 1037 60 0 0 20 0 28 0 418189734 29458767872 871416 33554432000 4194304 4196468 140736127777888 140162568211344 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28015] ppid=28009 vsize=28768328 memory=1296 CPUtime=11.04 cores=0-7
/proc/28011/task/28015/stat : 28015 (java) S 28009 28009 24366 0 -1 1077944384 53725 0 0 0 1040 64 0 0 20 0 28 0 418189734 29458767872 871416 33554432000 4194304 4196468 140736127777888 140162166021136 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28016] ppid=28009 vsize=28768328 memory=1452 CPUtime=11.01 cores=0-7
/proc/28011/task/28016/stat : 28016 (java) S 28009 28009 24366 0 -1 1077944384 51901 0 0 0 1035 66 0 0 20 0 28 0 418189734 29458767872 871416 33554432000 4194304 4196468 140736127777888 140162164968592 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28017] ppid=28009 vsize=28768328 memory=1156 CPUtime=10.96 cores=0-7
/proc/28011/task/28017/stat : 28017 (java) S 28009 28009 24366 0 -1 1077944384 50866 0 0 0 1031 65 0 0 20 0 28 0 418189734 29458767872 871416 33554432000 4194304 4196468 140736127777888 140162163915024 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28018] ppid=28009 vsize=28768328 memory=944 CPUtime=10.97 cores=0-7
/proc/28011/task/28018/stat : 28018 (java) S 28009 28009 24366 0 -1 1077944384 53358 0 0 0 1030 67 0 0 20 0 28 0 418189734 29458767872 871416 33554432000 4194304 4196468 140736127777888 140162162862480 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28019] ppid=28009 vsize=28768328 memory=1552 CPUtime=10.95 cores=0-7
/proc/28011/task/28019/stat : 28019 (java) S 28009 28009 24366 0 -1 1077944384 54861 0 0 0 1032 63 0 0 20 0 28 0 418189734 29458767872 871416 33554432000 4194304 4196468 140736127777888 140162161809936 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28020] ppid=28009 vsize=28768328 memory=1052 CPUtime=11.03 cores=0-7
/proc/28011/task/28020/stat : 28020 (java) S 28009 28009 24366 0 -1 1077944384 54676 0 0 0 1042 61 0 0 20 0 28 0 418189734 29458767872 871416 33554432000 4194304 4196468 140736127777888 140162160757392 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28021] ppid=28009 vsize=28768328 memory=5996 CPUtime=3.56 cores=0-7
/proc/28011/task/28021/stat : 28021 (java) S 28009 28009 24366 0 -1 1077944384 223881 0 0 0 248 108 0 0 20 0 28 0 418189735 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161732983280 140162616654466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28022] ppid=28009 vsize=28768328 memory=8300 CPUtime=0 cores=0-7
/proc/28011/task/28022/stat : 28022 (java) S 28009 28009 24366 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 418189736 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161731929568 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28023] ppid=28009 vsize=28768328 memory=776 CPUtime=0 cores=0-7
/proc/28011/task/28023/stat : 28023 (java) S 28009 28009 24366 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 418189736 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161730876928 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28024] ppid=28009 vsize=28768328 memory=14012 CPUtime=0 cores=0-7
/proc/28011/task/28024/stat : 28024 (java) S 28009 28009 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418189738 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161729825488 140162616661915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28025] ppid=28009 vsize=28768328 memory=20624 CPUtime=5.32 cores=0-7
/proc/28011/task/28025/stat : 28025 (java) S 28009 28009 24366 0 -1 1077944384 24493 0 0 0 528 4 0 0 20 0 28 0 418189738 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161728772080 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28026] ppid=28009 vsize=28768328 memory=6791534058613427641 CPUtime=5.3 cores=0-7
/proc/28011/task/28026/stat : 28026 (java) S 28009 28009 24366 0 -1 1077944384 39378 0 0 0 525 5 0 0 20 0 28 0 418189738 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161727719536 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28027] ppid=28009 vsize=28768328 memory=12036 CPUtime=5.78 cores=0-7
/proc/28011/task/28027/stat : 28027 (java) S 28009 28009 24366 0 -1 1077944384 42713 0 0 0 571 7 0 0 20 0 28 0 418189738 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161726666992 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28028] ppid=28009 vsize=28768328 memory=2116 CPUtime=1.34 cores=0-7
/proc/28011/task/28028/stat : 28028 (java) S 28009 28009 24366 0 -1 1077944384 32388 0 0 0 128 6 0 0 20 0 28 0 418189738 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161725614448 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28029] ppid=28009 vsize=28768328 memory=500 CPUtime=0 cores=0-7
/proc/28011/task/28029/stat : 28029 (java) S 28009 28009 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418189738 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161724562144 140162616653525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28030] ppid=28009 vsize=28768328 memory=1556 CPUtime=1 cores=0-7
/proc/28011/task/28030/stat : 28030 (java) S 28009 28009 24366 0 -1 1077944384 10278 0 0 0 62 38 0 0 20 0 28 0 418189739 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161723509680 140162616654466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28063] ppid=28009 vsize=28768328 memory=928 CPUtime=2489.93 cores=0-7
/proc/28011/task/28063/stat : 28063 (java) R 28009 28009 24366 0 -1 4202560 56352 0 0 0 248952 41 0 0 20 0 28 0 418190109 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161710096152 140162257415261 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28064] ppid=28009 vsize=28768328 memory=1460 CPUtime=2488.41 cores=0-7
/proc/28011/task/28064/stat : 28064 (java) R 28009 28009 24366 0 -1 4202560 28316 0 0 0 248828 13 0 0 20 0 28 0 418190109 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161711150152 140162258358898 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28065] ppid=28009 vsize=28768328 memory=916 CPUtime=2489.72 cores=0-7
/proc/28011/task/28065/stat : 28065 (java) R 28009 28009 24366 0 -1 4202560 130893 0 0 0 248821 151 0 0 20 0 28 0 418190109 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161706938000 140162249073947 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28066] ppid=28009 vsize=28768328 memory=1444 CPUtime=2491.28 cores=0-7
/proc/28011/task/28066/stat : 28066 (java) R 28009 28009 24366 0 -1 4202560 82163 0 0 0 248867 261 0 0 20 0 28 0 418190109 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161707991368 140162258358898 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28067] ppid=28009 vsize=28768328 memory=1984 CPUtime=2486.59 cores=0-7
/proc/28011/task/28067/stat : 28067 (java) R 28009 28009 24366 0 -1 4202560 34003 0 0 0 248604 55 0 0 20 0 28 0 418190109 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161712201768 140162256262748 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28068] ppid=28009 vsize=28768328 memory=2528 CPUtime=2490.44 cores=0-7
/proc/28011/task/28068/stat : 28068 (java) R 28009 28009 24366 0 -1 4202560 43849 0 0 0 248958 86 0 0 20 0 28 0 418190109 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161709043976 140162256263021 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28069] ppid=28009 vsize=28768328 memory=1764 CPUtime=2489.65 cores=0-7
/proc/28011/task/28069/stat : 28069 (java) R 28009 28009 24366 0 -1 4202560 112426 0 0 0 248838 127 0 0 20 0 28 0 418190109 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161705884824 140162256934971 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
[pid=28011/tid=28070] ppid=28009 vsize=28768328 memory=111632 CPUtime=2490.84 cores=0-7
/proc/28011/task/28070/stat : 28070 (java) R 28009 28009 24366 0 -1 4202560 57907 0 0 0 248900 184 0 0 20 0 28 0 418190110 29458767872 871416 33554432000 4194304 4196468 140736127777888 140161704836016 140162261320148 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 15613952 140736127779818 140736127779990 140736127779990 140736127782863 0
Current children cumulated CPU time: 20033.4 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3487116 KiB

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

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

[startup+2520.12 s]
# the end of solver process 28011 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20018.6 s, system=15.5871 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.12
CPU time (s): 20034.1
CPU user time (s): 20018.6
CPU system time (s): 15.5871
CPU usage (%): 794.968
Max. virtual memory (cumulated for all children) (KiB): 28883448
Max. memory (cumulated for all children) (KiB): 3964076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20018.6
system time used= 15.5871
maximum resident set size= 3962624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1355104
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205827
involuntary context switches= 250748


# summary of solver processes directly reported to runsolver:
#   pid: 28009,28011
#   total CPU time (s): 20034.1
#   total CPU user time (s): 20018.6
#   total CPU system time (s): 15.5871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.123 second user time and 30.8141 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml
MD5SUM	395c447fdc403b125102e151795ddb76
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	24
Best CPU time to get the best result obtained on this benchmark	29.6788
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	8260
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	3
Maximum variable degree	129
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":9},{"degree":5,"count":12},{"degree":6,"count":13},{"degree":7,"count":7},{"degree":8,"count":10},{"degree":9,"count":2},{"degree":10,"count":8},{"degree":11,"count":3},{"degree":12,"count":4},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":7},{"degree":20,"count":13},{"degree":21,"count":10},{"degree":22,"count":8},{"degree":23,"count":4},{"degree":24,"count":2},{"degree":25,"count":11},{"degree":26,"count":11},{"degree":27,"count":3},"...",{"degree":72,"count":1}, {"degree":73,"count":1}, {"degree":74,"count":1}, {"degree":75,"count":1}, {"degree":76,"count":3}, {"degree":77,"count":7}, {"degree":78,"count":4}, {"degree":79,"count":6}, {"degree":81,"count":1}, {"degree":82,"count":1}, {"degree":83,"count":2}, {"degree":84,"count":1}, {"degree":85,"count":2}, {"degree":86,"count":1}, {"degree":87,"count":2}, {"degree":89,"count":1}, {"degree":90,"count":2}, {"degree":91,"count":1}, {"degree":92,"count":1}, {"degree":93,"count":1}, {"degree":96,"count":1}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":107,"count":1}, {"degree":129,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":8260}]
Number of extensional constraints	0
Number of intensional constraints	8260
Distribution of constraint types	[{"type":"intension","count":8260}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4394046

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
