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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	SAT (TO)	12	20048.2	2520.1
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 (10740 MiB free)
  memory of node 1: 16384 MiB (15215 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394441-1568419463/watcher-4394441-1568419463 -o /tmp/evaluation-result-4394441-1568419463/solver-4394441-1568419463 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568412551-12997 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 80656897 HOME/instance-4394441-1568419463.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
Current StackSize limit: 8192 KiB

solver pid=14557, runsolver pid=14554

[startup+0.100131 s]*
/proc/loadavg: 7.80 7.68 7.20 4/211 14578
/proc/meminfo: memFree=26561760/32770624 swapFree=66977616/67108860
[pid=14557] ppid=14554 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14557/stat : 14557 (xcsp3-exec) S 14554 14557 12970 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418203575 115843072 363 33554432000 4194304 5098028 140729325460336 140729325458440 139814575846012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39833600 140729325466487 140729325466729 140729325466729 140729325469642 0
/proc/14557/statm: 28282 363 305 221 0 87 0
[pid=14559] ppid=14557 vsize=28227388 memory=29476 CPUtime=0.12 cores=0-7
/proc/14559/stat : 14559 (java) S 14557 14557 12970 0 -1 1077944320 5773 0 0 0 11 1 0 0 20 0 20 0 418203575 28904845312 7369 33554432000 4194304 4196468 140733193894928 140733193877472 140226791919351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
/proc/14559/statm: 7056847 7369 3159 1 0 7019032 0
[pid=14559/tid=14560] ppid=14557 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/14559/task/14560/stat : 14560 (java) R 14557 14557 12970 0 -1 4202560 3689 0 0 0 8 1 0 0 20 0 20 0 418203576 28904845312 7369 33554432000 4194304 4196468 140733193894928 140226796152240 140226791931286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14561] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14561/stat : 14561 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 7369 33554432000 4194304 4196468 140733193894928 140226744539408 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14562] ppid=14557 vsize=28227388 memory=140103867554934 CPUtime=0 cores=0-7
/proc/14559/task/14562/stat : 14562 (java) S 14557 14557 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 7369 33554432000 4194304 4196468 140733193894928 140226743486864 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14563] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14563/stat : 14563 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 7369 33554432000 4194304 4196468 140733193894928 140226742434320 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14564] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14564/stat : 14564 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 7369 33554432000 4194304 4196468 140733193894928 140226741381776 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14565] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14565/stat : 14565 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 7369 33554432000 4194304 4196468 140733193894928 140226740329232 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14566] ppid=14557 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14559/task/14566/stat : 14566 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 7369 33554432000 4194304 4196468 140733193894928 140226739276688 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14567] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14567/stat : 14567 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 7369 33554432000 4194304 4196468 140733193894928 140226738224144 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14568] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14568/stat : 14568 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 7369 33554432000 4194304 4196468 140733193894928 140226737171600 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14569] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14569/stat : 14569 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203578 28904845312 7369 33554432000 4194304 4196468 140733193894928 140225170860016 140226791930498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14570] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14570/stat : 14570 (java) S 14557 14557 12970 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418203578 28904845312 7369 33554432000 4194304 4196468 140733193894928 140225169806240 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14571] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14571/stat : 14571 (java) S 14557 14557 12970 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418203579 28904845312 7369 33554432000 4194304 4196468 140733193894928 140225168753648 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14572] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14572/stat : 14572 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203581 28904845312 7369 33554432000 4194304 4196468 140733193894928 140225167702224 140226791937947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14573] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14573/stat : 14573 (java) S 14557 14557 12970 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 20 0 418203581 28904845312 7369 33554432000 4194304 4196468 140733193894928 140225166649840 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14574] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14574/stat : 14574 (java) R 14557 14557 12970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 418203581 28904845312 7369 33554432000 4194304 4196468 140733193894928 140225165597296 140226775343181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14575] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14575/stat : 14575 (java) S 14557 14557 12970 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418203581 28904845312 7369 33554432000 4194304 4196468 140733193894928 140225164544752 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14576] ppid=14557 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/14559/task/14576/stat : 14576 (java) R 14557 14557 12970 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 418203581 28904845312 7369 33554432000 4194304 4196468 140733193894928 140225163492208 140226770686737 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14577] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14577/stat : 14577 (java) S 14557 14557 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203581 28904845312 7369 33554432000 4194304 4196468 140733193894928 140225162438880 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14578] ppid=14557 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14559/task/14578/stat : 14578 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203582 28904845312 7369 33554432000 4194304 4196468 140733193894928 140225161386416 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30928 KiB

[startup+0.211189 s]*
/proc/loadavg: 7.80 7.68 7.20 2/211 14578
/proc/meminfo: memFree=26548000/32770624 swapFree=66977616/67108860
[pid=14557] ppid=14554 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14557/stat : 14557 (xcsp3-exec) S 14554 14557 12970 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418203575 115843072 363 33554432000 4194304 5098028 140729325460336 140729325458440 139814575846012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39833600 140729325466487 140729325466729 140729325466729 140729325469642 0
/proc/14557/statm: 28282 363 305 221 0 87 0
[pid=14559] ppid=14557 vsize=28227388 memory=41036 CPUtime=0.34 cores=0-7
/proc/14559/stat : 14559 (java) S 14557 14557 12970 0 -1 1077944320 9518 0 0 0 31 3 0 0 20 0 20 0 418203575 28904845312 10259 33554432000 4194304 4196468 140733193894928 140733193877472 140226791919351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
/proc/14559/statm: 7056847 10259 3294 1 0 7019032 0
[pid=14559/tid=14560] ppid=14557 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14559/task/14560/stat : 14560 (java) R 14557 14557 12970 0 -1 4202560 6675 0 0 0 18 2 0 0 20 0 20 0 418203576 28904845312 10259 33554432000 4194304 4196468 140733193894928 140226796157168 140226775999838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14561] ppid=14557 vsize=28227388 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/14559/task/14561/stat : 14561 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 10259 33554432000 4194304 4196468 140733193894928 140226744539408 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14562] ppid=14557 vsize=28227388 memory=288370480019252864 CPUtime=0 cores=0-7
/proc/14559/task/14562/stat : 14562 (java) S 14557 14557 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 10259 33554432000 4194304 4196468 140733193894928 140226743486864 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14563] ppid=14557 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14559/task/14563/stat : 14563 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 10259 33554432000 4194304 4196468 140733193894928 140226742434320 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14564] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14564/stat : 14564 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 10259 33554432000 4194304 4196468 140733193894928 140226741381776 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14565] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14565/stat : 14565 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 10259 33554432000 4194304 4196468 140733193894928 140226740329232 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14566] ppid=14557 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14559/task/14566/stat : 14566 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 10259 33554432000 4194304 4196468 140733193894928 140226739276688 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14567] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14567/stat : 14567 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 10259 33554432000 4194304 4196468 140733193894928 140226738224144 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14568] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14568/stat : 14568 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28904845312 10259 33554432000 4194304 4196468 140733193894928 140226737171600 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14569] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14569/stat : 14569 (java) S 14557 14557 12970 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 418203578 28904845312 10259 33554432000 4194304 4196468 140733193894928 140225170860016 140226791930498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14570] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14570/stat : 14570 (java) S 14557 14557 12970 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418203578 28904845312 10259 33554432000 4194304 4196468 140733193894928 140225169806240 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14571] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14571/stat : 14571 (java) S 14557 14557 12970 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418203579 28904845312 10259 33554432000 4194304 4196468 140733193894928 140225168753648 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14572] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14572/stat : 14572 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203581 28904845312 10259 33554432000 4194304 4196468 140733193894928 140225167702224 140226791937947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14573] ppid=14557 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/14559/task/14573/stat : 14573 (java) S 14557 14557 12970 0 -1 1077944384 501 0 0 0 1 0 0 0 20 0 20 0 418203581 28904845312 10259 33554432000 4194304 4196468 140733193894928 140225166649840 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14574] ppid=14557 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/14559/task/14574/stat : 14574 (java) S 14557 14557 12970 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 20 0 418203581 28904845312 10259 33554432000 4194304 4196468 140733193894928 140225165597296 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14575] ppid=14557 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/14559/task/14575/stat : 14575 (java) S 14557 14557 12970 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 418203581 28904845312 10259 33554432000 4194304 4196468 140733193894928 140225164544752 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14576] ppid=14557 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/14559/task/14576/stat : 14576 (java) S 14557 14557 12970 0 -1 1077944384 755 0 0 0 7 0 0 0 20 0 20 0 418203581 28904845312 10259 33554432000 4194304 4196468 140733193894928 140225163492208 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14577] ppid=14557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14577/stat : 14577 (java) S 14557 14557 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203581 28904845312 10259 33554432000 4194304 4196468 140733193894928 140225162438880 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14578] ppid=14557 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14559/task/14578/stat : 14578 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203582 28904845312 10259 33554432000 4194304 4196468 140733193894928 140225161386416 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42488 KiB

[startup+0.310171 s]*
/proc/loadavg: 7.80 7.68 7.20 4/211 14578
/proc/meminfo: memFree=26540988/32770624 swapFree=66977616/67108860
[pid=14557] ppid=14554 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14557/stat : 14557 (xcsp3-exec) S 14554 14557 12970 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418203575 115843072 363 33554432000 4194304 5098028 140729325460336 140729325458440 139814575846012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39833600 140729325466487 140729325466729 140729325466729 140729325469642 0
/proc/14557/statm: 28282 363 305 221 0 87 0
[pid=14559] ppid=14557 vsize=28231644 memory=49992 CPUtime=0.52 cores=0-7
/proc/14559/stat : 14559 (java) S 14557 14557 12970 0 -1 1077944320 10877 0 0 0 48 4 0 0 20 0 20 0 418203575 28909203456 12498 33554432000 4194304 4196468 140733193894928 140733193877472 140226791919351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
/proc/14559/statm: 7057911 12498 3351 1 0 7019032 0
[pid=14559/tid=14560] ppid=14557 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/14559/task/14560/stat : 14560 (java) R 14557 14557 12970 0 -1 4202560 7801 0 0 0 27 3 0 0 20 0 20 0 418203576 28909203456 12529 33554432000 4194304 4196468 140733193894928 140226796157272 140226775999838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14561] ppid=14557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14561/stat : 14561 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28909203456 12529 33554432000 4194304 4196468 140733193894928 140226744539408 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14562] ppid=14557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14562/stat : 14562 (java) S 14557 14557 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203577 28909203456 12529 33554432000 4194304 4196468 140733193894928 140226743486864 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14563] ppid=14557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14563/stat : 14563 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28909203456 12529 33554432000 4194304 4196468 140733193894928 140226742434320 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14564] ppid=14557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14564/stat : 14564 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203577 28909203456 12529 33554432000 4194304 4196468 140733193894928 140226741381776 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14565] ppid=14557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14565/stat : 14565 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28909203456 12529 33554432000 4194304 4196468 140733193894928 140226740329232 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14566] ppid=14557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14566/stat : 14566 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28909203456 12529 33554432000 4194304 4196468 140733193894928 140226739276688 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14567] ppid=14557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14567/stat : 14567 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203577 28909203456 12529 33554432000 4194304 4196468 140733193894928 140226738224144 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14568] ppid=14557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14568/stat : 14568 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28909203456 12529 33554432000 4194304 4196468 140733193894928 140226737171600 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14569] ppid=14557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14569/stat : 14569 (java) S 14557 14557 12970 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 418203578 28909203456 12529 33554432000 4194304 4196468 140733193894928 140225170860016 140226791930498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14570] ppid=14557 vsize=28231644 memory=280207424691584 CPUtime=0 cores=0-7
/proc/14559/task/14570/stat : 14570 (java) S 14557 14557 12970 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418203578 28909203456 12529 33554432000 4194304 4196468 140733193894928 140225169806240 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14571] ppid=14557 vsize=28231644 memory=280207424696192 CPUtime=0 cores=0-7
/proc/14559/task/14571/stat : 14571 (java) S 14557 14557 12970 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418203579 28909203456 12529 33554432000 4194304 4196468 140733193894928 140225168753648 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14572] ppid=14557 vsize=28231644 memory=280207424700800 CPUtime=0 cores=0-7
/proc/14559/task/14572/stat : 14572 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203581 28909203456 12529 33554432000 4194304 4196468 140733193894928 140225167702224 140226791937947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14573] ppid=14557 vsize=28231644 memory=280207424705408 CPUtime=0.03 cores=0-7
/proc/14559/task/14573/stat : 14573 (java) R 14557 14557 12970 0 -1 4202560 619 0 0 0 3 0 0 0 20 0 20 0 418203581 28909203456 12529 33554432000 4194304 4196468 140733193894928 140225166640224 140226777045315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14574] ppid=14557 vsize=28231644 memory=280207424710016 CPUtime=0.02 cores=0-7
/proc/14559/task/14574/stat : 14574 (java) S 14557 14557 12970 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 20 0 418203581 28909203456 12529 33554432000 4194304 4196468 140733193894928 140225165597296 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14575] ppid=14557 vsize=28231644 memory=280207424714624 CPUtime=0.02 cores=0-7
/proc/14559/task/14575/stat : 14575 (java) S 14557 14557 12970 0 -1 1077944384 70 0 0 0 2 0 0 0 20 0 20 0 418203581 28909203456 12529 33554432000 4194304 4196468 140733193894928 140225164544752 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14576] ppid=14557 vsize=28231644 memory=280207424719232 CPUtime=0.12 cores=0-7
/proc/14559/task/14576/stat : 14576 (java) S 14557 14557 12970 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 20 0 418203581 28909203456 12529 33554432000 4194304 4196468 140733193894928 140225163492208 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14577] ppid=14557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14577/stat : 14577 (java) S 14557 14557 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203581 28909203456 12529 33554432000 4194304 4196468 140733193894928 140225162438880 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14578] ppid=14557 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/14559/task/14578/stat : 14578 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203582 28909203456 12529 33554432000 4194304 4196468 140733193894928 140225161386416 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51444 KiB

[startup+0.701 s]
/proc/loadavg: 7.34 7.59 7.17 4/211 14578
/proc/meminfo: memFree=26521176/32770624 swapFree=66977616/67108860
[pid=14557] ppid=14554 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14557/stat : 14557 (xcsp3-exec) S 14554 14557 12970 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418203575 115843072 363 33554432000 4194304 5098028 140729325460336 140729325458440 139814575846012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39833600 140729325466487 140729325466729 140729325466729 140729325469642 0
/proc/14557/statm: 28282 363 305 221 0 87 0
[pid=14559] ppid=14557 vsize=28233768 memory=95312 CPUtime=1.81 cores=0-7
/proc/14559/stat : 14559 (java) S 14557 14557 12970 0 -1 1077944320 16066 0 0 0 173 8 0 0 20 0 20 0 418203575 28911378432 23828 33554432000 4194304 4196468 140733193894928 140733193877472 140226791919351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
/proc/14559/statm: 7058442 23828 3448 1 0 7019544 0
[pid=14559/tid=14560] ppid=14557 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7
/proc/14559/task/14560/stat : 14560 (java) R 14557 14557 12970 0 -1 4202560 9236 0 0 0 63 4 0 0 20 0 20 0 418203576 28911378432 23828 33554432000 4194304 4196468 140733193894928 140226796151440 140226408377546 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14561] ppid=14557 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14561/stat : 14561 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28911378432 23828 33554432000 4194304 4196468 140733193894928 140226744539408 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14562] ppid=14557 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14562/stat : 14562 (java) S 14557 14557 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203577 28911378432 23828 33554432000 4194304 4196468 140733193894928 140226743486864 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14563] ppid=14557 vsize=28233768 memory=1056 CPUtime=0 cores=0-7
/proc/14559/task/14563/stat : 14563 (java) S 14557 14557 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203577 28911378432 23828 33554432000 4194304 4196468 140733193894928 140226742434320 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0

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

[pid=14559/tid=14610] ppid=14557 vsize=28768328 memory=3812 CPUtime=2414.77 cores=0-7
/proc/14559/task/14610/stat : 14610 (java) R 14557 14557 12970 0 -1 4202560 170576 0 0 0 241066 411 0 0 20 0 28 0 418203780 29458767872 965766 33554432000 4194304 4196468 140733193894928 140225145868320 140226412354785 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
Current children cumulated CPU time: 19430.4 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3864516 KiB

[startup+2502.3 s]
/proc/loadavg: 8.04 8.20 8.18 9/218 14822
/proc/meminfo: memFree=22737272/32770624 swapFree=66977616/67108860
[pid=14557] ppid=14554 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14557/stat : 14557 (xcsp3-exec) S 14554 14557 12970 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418203575 115843072 363 33554432000 4194304 5098028 140729325460336 140729325458440 139814575846012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39833600 140729325466487 140729325466729 140729325466729 140729325469642 0
/proc/14557/statm: 28282 363 305 221 0 87 0
[pid=14559] ppid=14557 vsize=28768328 memory=3844080 CPUtime=19906.6 cores=0-7
/proc/14559/stat : 14559 (java) S 14557 14557 12970 0 -1 1077944320 1320165 0 0 0 1988781 1875 0 0 20 0 28 0 418203575 29458767872 961020 33554432000 4194304 4196468 140733193894928 140733193877472 140226791919351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
/proc/14559/statm: 7192082 961020 3554 1 0 7153184 0
[pid=14559/tid=14560] ppid=14557 vsize=28768328 memory=3846132 CPUtime=1.51 cores=0-7
/proc/14559/task/14560/stat : 14560 (java) S 14557 14557 12970 0 -1 1077944384 10004 0 0 0 145 6 0 0 20 0 28 0 418203576 29458767872 961020 33554432000 4194304 4196468 140733193894928 140226796160128 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14561] ppid=14557 vsize=28768328 memory=3844080 CPUtime=12.13 cores=0-7
/proc/14559/task/14561/stat : 14561 (java) S 14557 14557 12970 0 -1 1077944384 43194 0 0 0 1142 71 0 0 20 0 28 0 418203577 29458767872 961020 33554432000 4194304 4196468 140733193894928 140226744539408 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14562] ppid=14557 vsize=28768328 memory=125189706772954 CPUtime=12.04 cores=0-7
/proc/14559/task/14562/stat : 14562 (java) S 14557 14557 12970 0 -1 1077944384 40062 0 0 0 1136 68 0 0 20 0 28 0 418203577 29458767872 961020 33554432000 4194304 4196468 140733193894928 140226743486864 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14563] ppid=14557 vsize=28768328 memory=3846132 CPUtime=12.11 cores=0-7
/proc/14559/task/14563/stat : 14563 (java) S 14557 14557 12970 0 -1 1077944384 40721 0 0 0 1146 65 0 0 20 0 28 0 418203577 29458767872 961020 33554432000 4194304 4196468 140733193894928 140226742434320 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14564] ppid=14557 vsize=28768328 memory=1452 CPUtime=12.08 cores=0-7
/proc/14559/task/14564/stat : 14564 (java) S 14557 14557 12970 0 -1 1077944384 36592 0 0 0 1141 67 0 0 20 0 28 0 418203577 29458767872 961020 33554432000 4194304 4196468 140733193894928 140226741381776 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14565] ppid=14557 vsize=28768328 memory=1452 CPUtime=12.06 cores=0-7
/proc/14559/task/14565/stat : 14565 (java) S 14557 14557 12970 0 -1 1077944384 41425 0 0 0 1139 67 0 0 20 0 28 0 418203577 29458767872 961020 33554432000 4194304 4196468 140733193894928 140226740329232 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14566] ppid=14557 vsize=28768328 memory=1452 CPUtime=12.09 cores=0-7
/proc/14559/task/14566/stat : 14566 (java) S 14557 14557 12970 0 -1 1077944384 39494 0 0 0 1140 69 0 0 20 0 28 0 418203577 29458767872 961020 33554432000 4194304 4196468 140733193894928 140226739276688 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14567] ppid=14557 vsize=28768328 memory=1452 CPUtime=12.04 cores=0-7
/proc/14559/task/14567/stat : 14567 (java) S 14557 14557 12970 0 -1 1077944384 44836 0 0 0 1136 68 0 0 20 0 28 0 418203577 29458767872 961020 33554432000 4194304 4196468 140733193894928 140226738224144 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14568] ppid=14557 vsize=28768328 memory=3846132 CPUtime=11.98 cores=0-7
/proc/14559/task/14568/stat : 14568 (java) S 14557 14557 12970 0 -1 1077944384 37733 0 0 0 1134 64 0 0 20 0 28 0 418203577 29458767872 961020 33554432000 4194304 4196468 140733193894928 140226737171600 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14569] ppid=14557 vsize=28768328 memory=3846132 CPUtime=3.09 cores=0-7
/proc/14559/task/14569/stat : 14569 (java) S 14557 14557 12970 0 -1 1077944384 186695 0 0 0 224 85 0 0 20 0 28 0 418203578 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225170860016 140226791930498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14570] ppid=14557 vsize=28768328 memory=916 CPUtime=0 cores=0-7
/proc/14559/task/14570/stat : 14570 (java) S 14557 14557 12970 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 418203578 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225169806304 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14571] ppid=14557 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14559/task/14571/stat : 14571 (java) S 14557 14557 12970 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 418203579 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225168753664 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14572] ppid=14557 vsize=28768328 memory=1874484790785 CPUtime=0 cores=0-7
/proc/14559/task/14572/stat : 14572 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418203581 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225167702224 140226791937947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14573] ppid=14557 vsize=28768328 memory=1452 CPUtime=3.94 cores=0-7
/proc/14559/task/14573/stat : 14573 (java) S 14557 14557 12970 0 -1 1077944384 27210 0 0 0 390 4 0 0 20 0 28 0 418203581 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225166649840 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14574] ppid=14557 vsize=28768328 memory=1452 CPUtime=4.19 cores=0-7
/proc/14559/task/14574/stat : 14574 (java) S 14557 14557 12970 0 -1 1077944384 23835 0 0 0 415 4 0 0 20 0 28 0 418203581 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225165597296 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14575] ppid=14557 vsize=28768328 memory=6791534058613427641 CPUtime=4.24 cores=0-7
/proc/14559/task/14575/stat : 14575 (java) S 14557 14557 12970 0 -1 1077944384 28095 0 0 0 420 4 0 0 20 0 28 0 418203581 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225164544752 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14576] ppid=14557 vsize=28768328 memory=1452 CPUtime=1.24 cores=0-7
/proc/14559/task/14576/stat : 14576 (java) S 14557 14557 12970 0 -1 1077944384 25184 0 0 0 118 6 0 0 20 0 28 0 418203581 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225163492208 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14577] ppid=14557 vsize=28768328 memory=3846132 CPUtime=0 cores=0-7
/proc/14559/task/14577/stat : 14577 (java) S 14557 14557 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418203581 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225162438880 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14578] ppid=14557 vsize=28768328 memory=1452 CPUtime=0.82 cores=0-7
/proc/14559/task/14578/stat : 14578 (java) S 14557 14557 12970 0 -1 1077944384 6693 0 0 0 23 59 0 0 20 0 28 0 418203582 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225161386416 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14603] ppid=14557 vsize=28768328 memory=924 CPUtime=2472.46 cores=0-7
/proc/14559/task/14603/stat : 14603 (java) R 14557 14557 12970 0 -1 4202560 126278 0 0 0 247102 144 0 0 20 0 28 0 418203779 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225143761288 140226407792598 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14604] ppid=14557 vsize=28768328 memory=1756 CPUtime=2474.54 cores=0-7
/proc/14559/task/14604/stat : 14604 (java) R 14557 14557 12970 0 -1 4202560 34212 0 0 0 247413 41 0 0 20 0 28 0 418203779 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225146924000 140226413846421 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14605] ppid=14557 vsize=28768328 memory=3846132 CPUtime=2470.68 cores=0-7
/proc/14559/task/14605/stat : 14605 (java) R 14557 14557 12970 0 -1 4202560 104754 0 0 0 246927 141 0 0 20 0 28 0 418203779 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225152176520 140226413576352 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14606] ppid=14557 vsize=28768328 memory=3616 CPUtime=2474.69 cores=0-7
/proc/14559/task/14606/stat : 14606 (java) R 14557 14557 12970 0 -1 4202560 68466 0 0 0 247346 123 0 0 20 0 28 0 418203779 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225144819896 140226411466719 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14607] ppid=14557 vsize=28768328 memory=1452 CPUtime=2471.95 cores=0-7
/proc/14559/task/14607/stat : 14607 (java) R 14557 14557 12970 0 -1 4202560 66459 0 0 0 247053 142 0 0 20 0 28 0 418203779 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225149030872 140226411466489 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14608] ppid=14557 vsize=28768328 memory=1452 CPUtime=2474.89 cores=0-7
/proc/14559/task/14608/stat : 14608 (java) R 14557 14557 12970 0 -1 4202560 77727 0 0 0 247312 177 0 0 20 0 28 0 418203779 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225147974392 140226414829054 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14609] ppid=14557 vsize=28768328 memory=1452 CPUtime=2475.16 cores=0-7
/proc/14559/task/14609/stat : 14609 (java) R 14557 14557 12970 0 -1 4202560 35902 0 0 0 247466 50 0 0 20 0 28 0 418203779 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225142713912 140226412354740 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14610] ppid=14557 vsize=28768328 memory=3846132 CPUtime=2474.18 cores=0-7
/proc/14559/task/14610/stat : 14610 (java) R 14557 14557 12970 0 -1 4202560 172500 0 0 0 247005 413 0 0 20 0 28 0 418203780 29458767872 961020 33554432000 4194304 4196468 140733193894928 140225145868000 140226411467197 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
Current children cumulated CPU time: 19906.6 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3845532 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.03 8.19 8.17 9/218 14822
/proc/meminfo: memFree=22752144/32770624 swapFree=66977616/67108860
[pid=14557] ppid=14554 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14557/stat : 14557 (xcsp3-exec) S 14554 14557 12970 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418203575 115843072 363 33554432000 4194304 5098028 140729325460336 140729325458440 139814575846012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39833600 140729325466487 140729325466729 140729325466729 140729325469642 0
/proc/14557/statm: 28282 363 305 221 0 87 0
[pid=14559] ppid=14557 vsize=28768328 memory=3829204 CPUtime=20047.5 cores=0-7
/proc/14559/stat : 14559 (java) S 14557 14557 12970 0 -1 1077944320 1320956 0 0 0 2002876 1877 0 0 20 0 28 0 418203575 29458767872 957301 33554432000 4194304 4196468 140733193894928 140733193877472 140226791919351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
/proc/14559/statm: 7192082 957301 3554 1 0 7153184 0
[pid=14559/tid=14560] ppid=14557 vsize=28768328 memory=1556 CPUtime=1.51 cores=0-7
/proc/14559/task/14560/stat : 14560 (java) S 14557 14557 12970 0 -1 1077944384 10004 0 0 0 145 6 0 0 20 0 28 0 418203576 29458767872 957301 33554432000 4194304 4196468 140733193894928 140226796160128 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14561] ppid=14557 vsize=28768328 memory=780 CPUtime=12.21 cores=0-7
/proc/14559/task/14561/stat : 14561 (java) S 14557 14557 12970 0 -1 1077944384 43480 0 0 0 1150 71 0 0 20 0 28 0 418203577 29458767872 957301 33554432000 4194304 4196468 140733193894928 140226744539408 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14562] ppid=14557 vsize=28768328 memory=3252 CPUtime=12.12 cores=0-7
/proc/14559/task/14562/stat : 14562 (java) S 14557 14557 12970 0 -1 1077944384 40082 0 0 0 1144 68 0 0 20 0 28 0 418203577 29458767872 957301 33554432000 4194304 4196468 140733193894928 140226743486864 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14563] ppid=14557 vsize=28768328 memory=8317482817917895235 CPUtime=12.2 cores=0-7
/proc/14559/task/14563/stat : 14563 (java) S 14557 14557 12970 0 -1 1077944384 40735 0 0 0 1155 65 0 0 20 0 28 0 418203577 29458767872 957301 33554432000 4194304 4196468 140733193894928 140226742434320 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14564] ppid=14557 vsize=28768328 memory=1564 CPUtime=12.17 cores=0-7
/proc/14559/task/14564/stat : 14564 (java) S 14557 14557 12970 0 -1 1077944384 36604 0 0 0 1150 67 0 0 20 0 28 0 418203577 29458767872 957301 33554432000 4194304 4196468 140733193894928 140226741381776 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14565] ppid=14557 vsize=28768328 memory=21680 CPUtime=12.14 cores=0-7
/proc/14559/task/14565/stat : 14565 (java) S 14557 14557 12970 0 -1 1077944384 41466 0 0 0 1147 67 0 0 20 0 28 0 418203577 29458767872 957301 33554432000 4194304 4196468 140733193894928 140226740329232 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14566] ppid=14557 vsize=28768328 memory=2120 CPUtime=12.18 cores=0-7
/proc/14559/task/14566/stat : 14566 (java) S 14557 14557 12970 0 -1 1077944384 39508 0 0 0 1149 69 0 0 20 0 28 0 418203577 29458767872 957301 33554432000 4194304 4196468 140733193894928 140226739276688 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14567] ppid=14557 vsize=28768328 memory=41080 CPUtime=12.12 cores=0-7
/proc/14559/task/14567/stat : 14567 (java) S 14557 14557 12970 0 -1 1077944384 44853 0 0 0 1144 68 0 0 20 0 28 0 418203577 29458767872 957301 33554432000 4194304 4196468 140733193894928 140226738224144 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14568] ppid=14557 vsize=28768328 memory=988 CPUtime=12.07 cores=0-7
/proc/14559/task/14568/stat : 14568 (java) S 14557 14557 12970 0 -1 1077944384 37755 0 0 0 1143 64 0 0 20 0 28 0 418203577 29458767872 957301 33554432000 4194304 4196468 140733193894928 140226737171600 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14569] ppid=14557 vsize=28768328 memory=2004 CPUtime=3.12 cores=0-7
/proc/14559/task/14569/stat : 14569 (java) S 14557 14557 12970 0 -1 1077944384 186732 0 0 0 226 86 0 0 20 0 28 0 418203578 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225170860016 140226791930498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14570] ppid=14557 vsize=28768328 memory=1428 CPUtime=0 cores=0-7
/proc/14559/task/14570/stat : 14570 (java) S 14557 14557 12970 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 418203578 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225169806304 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14571] ppid=14557 vsize=28768328 memory=1112 CPUtime=0 cores=0-7
/proc/14559/task/14571/stat : 14571 (java) S 14557 14557 12970 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 418203579 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225168753664 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14572] ppid=14557 vsize=28768328 memory=5972 CPUtime=0 cores=0-7
/proc/14559/task/14572/stat : 14572 (java) S 14557 14557 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418203581 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225167702224 140226791937947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14573] ppid=14557 vsize=28768328 memory=7552 CPUtime=3.94 cores=0-7
/proc/14559/task/14573/stat : 14573 (java) S 14557 14557 12970 0 -1 1077944384 27210 0 0 0 390 4 0 0 20 0 28 0 418203581 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225166649840 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14574] ppid=14557 vsize=28768328 memory=2832 CPUtime=4.19 cores=0-7
/proc/14559/task/14574/stat : 14574 (java) S 14557 14557 12970 0 -1 1077944384 23835 0 0 0 415 4 0 0 20 0 28 0 418203581 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225165597296 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14575] ppid=14557 vsize=28768328 memory=1084 CPUtime=4.24 cores=0-7
/proc/14559/task/14575/stat : 14575 (java) S 14557 14557 12970 0 -1 1077944384 28095 0 0 0 420 4 0 0 20 0 28 0 418203581 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225164544752 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14576] ppid=14557 vsize=28768328 memory=14012 CPUtime=1.24 cores=0-7
/proc/14559/task/14576/stat : 14576 (java) S 14557 14557 12970 0 -1 1077944384 25184 0 0 0 118 6 0 0 20 0 28 0 418203581 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225163492208 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14577] ppid=14557 vsize=28768328 memory=14048 CPUtime=0 cores=0-7
/proc/14559/task/14577/stat : 14577 (java) S 14557 14557 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418203581 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225162438880 140226791929557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14578] ppid=14557 vsize=28768328 memory=21680 CPUtime=0.84 cores=0-7
/proc/14559/task/14578/stat : 14578 (java) S 14557 14557 12970 0 -1 1077944384 6695 0 0 0 24 60 0 0 20 0 28 0 418203582 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225161386416 140226791930498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14603] ppid=14557 vsize=28768328 memory=2120 CPUtime=2490.01 cores=0-7
/proc/14559/task/14603/stat : 14603 (java) R 14557 14557 12970 0 -1 4202560 126339 0 0 0 248857 144 0 0 20 0 28 0 418203779 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225143764376 140226413576352 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14604] ppid=14557 vsize=28768328 memory=3616 CPUtime=2492.11 cores=0-7
/proc/14559/task/14604/stat : 14604 (java) R 14557 14557 12970 0 -1 4202560 34239 0 0 0 249170 41 0 0 20 0 28 0 418203779 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225146921192 140226413576352 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14605] ppid=14557 vsize=28768328 memory=41080 CPUtime=2488.25 cores=0-7
/proc/14559/task/14605/stat : 14605 (java) R 14557 14557 12970 0 -1 4202560 104843 0 0 0 248683 142 0 0 20 0 28 0 418203779 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225152176504 140226414699229 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14606] ppid=14557 vsize=28768328 memory=988 CPUtime=2492.26 cores=0-7
/proc/14559/task/14606/stat : 14606 (java) R 14557 14557 12970 0 -1 4202560 68485 0 0 0 249103 123 0 0 20 0 28 0 418203779 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225144819584 140226411466719 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14607] ppid=14557 vsize=28768328 memory=6791534058613427641 CPUtime=2489.5 cores=0-7
/proc/14559/task/14607/stat : 14607 (java) R 14557 14557 12970 0 -1 4202560 66495 0 0 0 248808 142 0 0 20 0 28 0 418203779 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225149026656 140226411466520 0 4 0 16800975 0 0 0 -1 7 0 0 26 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14608] ppid=14557 vsize=28768328 memory=8317482817917895235 CPUtime=2492.42 cores=0-7
/proc/14559/task/14608/stat : 14608 (java) R 14557 14557 12970 0 -1 4202560 77752 0 0 0 249065 177 0 0 20 0 28 0 418203779 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225147974832 140226413576378 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14609] ppid=14557 vsize=28768328 memory=0 CPUtime=2492.6 cores=0-7
/proc/14559/task/14609/stat : 14609 (java) R 14557 14557 12970 0 -1 4202560 35942 0 0 0 249209 51 0 0 20 0 28 0 418203779 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225142710120 140226412340450 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
[pid=14559/tid=14610] ppid=14557 vsize=28768328 memory=-7452431979323206951 CPUtime=2491.64 cores=0-7
/proc/14559/task/14610/stat : 14610 (java) R 14557 14557 12970 0 -1 4202560 172529 0 0 0 248751 413 0 0 20 0 28 0 418203780 29458767872 957301 33554432000 4194304 4196468 140733193894928 140225145868184 140226411466719 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 37457920 140733193896938 140733193897110 140733193897110 140733193899983 0
Current children cumulated CPU time: 20047.5 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3830656 KiB

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

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

[startup+2520.1 s]
# the end of solver process 14559 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20029.4 s, system=18.7966 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.1
CPU time (s): 20048.2
CPU user time (s): 20029.4
CPU system time (s): 18.7966
CPU usage (%): 795.529
Max. virtual memory (cumulated for all children) (KiB): 28883488
Max. memory (cumulated for all children) (KiB): 4755040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20029.4
system time used= 18.7966
maximum resident set size= 4756736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1321834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 175990
involuntary context switches= 218172


# summary of solver processes directly reported to runsolver:
#   pid: 14557,14559
#   total CPU time (s): 20048.2
#   total CPU user time (s): 20029.4
#   total CPU system time (s): 18.7966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.6746 second user time and 27.7432 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	26.8114
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4394441

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
