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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-06-14	SAT	62.7662	18.944
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 (10858 MiB free)
  memory of node 1: 16384 MiB (14103 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392999-1568320069/watcher-4392999-1568320069 -o /tmp/evaluation-result-4392999-1568320069/solver-4392999-1568320069 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1526824789 HOME/instance-4392999-1568320069.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=19602, runsolver pid=19599

[startup+0.101803 s]*
/proc/loadavg: 9.04 8.79 8.24 6/233 19618
/proc/meminfo: memFree=25544732/32770624 swapFree=66952812/67108860
[pid=19602] ppid=19599 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (xcsp3-exec) S 19599 19602 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948808 115843072 363 33554432000 4194304 5098028 140729229020240 140729229018344 140049035121276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12689408 140729229026170 140729229026413 140729229026413 140729229029322 0
/proc/19602/statm: 28282 363 304 221 0 87 0
[pid=19604] ppid=19602 vsize=15144768 memory=29032 CPUtime=0.13 cores=1,3,5,7
/proc/19604/stat : 19604 (java) S 19602 19602 11591 0 -1 1077944320 5718 0 0 0 12 1 0 0 20 0 15 0 407948808 15508242432 7258 33554432000 4194304 4196468 140731458863072 140731458845616 139747038514935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
/proc/19604/statm: 3786192 7258 3186 1 0 3748377 0
[pid=19604/tid=19605] ppid=19602 vsize=15144768 memory=7100839861464564850 CPUtime=0.09 cores=1,3,5,7
/proc/19604/task/19605/stat : 19605 (java) R 19602 19602 11591 0 -1 4202560 3579 0 0 0 9 0 0 0 20 0 15 0 407948809 15508242432 7258 33554432000 4194304 4196468 140731458863072 139747042745936 139747038526870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19606] ppid=19602 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19606/stat : 19606 (java) S 19602 19602 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948809 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746966555280 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19607] ppid=19602 vsize=15144768 memory=140259884795520 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19607/stat : 19607 (java) S 19602 19602 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948809 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746965502480 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19608] ppid=19602 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19608/stat : 19608 (java) S 19602 19602 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948809 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746964449680 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19609] ppid=19602 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19609/stat : 19609 (java) S 19602 19602 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948809 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746963396880 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19610] ppid=19602 vsize=15144768 memory=140259884795520 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19610/stat : 19610 (java) S 19602 19602 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948811 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746507074416 139747038526082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19611] ppid=19602 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19611/stat : 19611 (java) S 19602 19602 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407948811 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746506020384 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19612] ppid=19602 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19612/stat : 19612 (java) S 19602 19602 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407948811 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746504967536 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19613] ppid=19602 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19613/stat : 19613 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948814 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746503915856 139747038533531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19614] ppid=19602 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19614/stat : 19614 (java) R 19602 19602 11591 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 407948814 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746502863312 139747038525141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19615] ppid=19602 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19615/stat : 19615 (java) R 19602 19602 11591 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 15 0 407948814 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746501801920 139747017730864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19616] ppid=19602 vsize=15144768 memory=140259884795520 CPUtime=0.02 cores=1,3,5,7
/proc/19604/task/19616/stat : 19616 (java) R 19602 19602 11591 0 -1 4202560 380 0 0 0 2 0 0 0 20 0 15 0 407948814 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746500757616 139747022677344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19617] ppid=19602 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19617/stat : 19617 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948814 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746499705056 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19618] ppid=19602 vsize=15144768 memory=140259884795520 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19618/stat : 19618 (java) R 19602 19602 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948814 15508242432 7258 33554432000 4194304 4196468 140731458863072 139746498653360 139747038526082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30484 KiB

[startup+0.212381 s]*
/proc/loadavg: 9.04 8.79 8.24 8/233 19618
/proc/meminfo: memFree=25531368/32770624 swapFree=66952812/67108860
[pid=19602] ppid=19599 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (xcsp3-exec) S 19599 19602 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948808 115843072 363 33554432000 4194304 5098028 140729229020240 140729229018344 140049035121276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12689408 140729229026170 140729229026413 140729229026413 140729229029322 0
/proc/19602/statm: 28282 363 304 221 0 87 0
[pid=19604] ppid=19602 vsize=15144768 memory=41140 CPUtime=0.34 cores=1,3,5,7
/proc/19604/stat : 19604 (java) S 19602 19602 11591 0 -1 1077944320 9476 0 0 0 31 3 0 0 20 0 15 0 407948808 15508242432 10285 33554432000 4194304 4196468 140731458863072 140731458845616 139747038514935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
/proc/19604/statm: 3786192 10285 3311 1 0 3748377 0
[pid=19604/tid=19605] ppid=19602 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/19604/task/19605/stat : 19605 (java) R 19602 19602 11591 0 -1 4202560 6621 0 0 0 18 2 0 0 20 0 15 0 407948809 15508242432 10285 33554432000 4194304 4196468 140731458863072 139747042749920 139747038526870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19606] ppid=19602 vsize=15144768 memory=13655 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19606/stat : 19606 (java) S 19602 19602 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948809 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746966555280 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19607] ppid=19602 vsize=15144768 memory=140259884813136 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19607/stat : 19607 (java) S 19602 19602 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948809 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746965502480 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19608] ppid=19602 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19608/stat : 19608 (java) S 19602 19602 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948809 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746964449680 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19609] ppid=19602 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19609/stat : 19609 (java) S 19602 19602 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948809 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746963396880 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19610] ppid=19602 vsize=15144768 memory=140259884795520 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19610/stat : 19610 (java) S 19602 19602 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407948811 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746507074416 139747038526082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19611] ppid=19602 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19611/stat : 19611 (java) S 19602 19602 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407948811 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746506020384 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19612] ppid=19602 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19612/stat : 19612 (java) S 19602 19602 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407948811 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746504967536 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19613] ppid=19602 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19613/stat : 19613 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948814 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746503915856 139747038533531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19614] ppid=19602 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/19604/task/19614/stat : 19614 (java) S 19602 19602 11591 0 -1 1077944384 543 0 0 0 3 0 0 0 20 0 15 0 407948814 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746502863216 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19615] ppid=19602 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/19604/task/19615/stat : 19615 (java) S 19602 19602 11591 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 15 0 407948814 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746501810416 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19616] ppid=19602 vsize=15144768 memory=140259884795520 CPUtime=0.08 cores=1,3,5,7
/proc/19604/task/19616/stat : 19616 (java) R 19602 19602 11591 0 -1 4202560 798 0 0 0 8 0 0 0 20 0 15 0 407948814 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746500757616 139747038536282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19617] ppid=19602 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19617/stat : 19617 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948814 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746499705056 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19618] ppid=19602 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19618/stat : 19618 (java) S 19602 19602 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948814 15508242432 10285 33554432000 4194304 4196468 140731458863072 139746498653360 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42592 KiB

[startup+0.318141 s]*
/proc/loadavg: 9.04 8.79 8.24 7/233 19618
/proc/meminfo: memFree=25524224/32770624 swapFree=66952812/67108860
[pid=19602] ppid=19599 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (xcsp3-exec) S 19599 19602 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948808 115843072 363 33554432000 4194304 5098028 140729229020240 140729229018344 140049035121276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12689408 140729229026170 140729229026413 140729229026413 140729229029322 0
/proc/19602/statm: 28282 363 304 221 0 87 0
[pid=19604] ppid=19602 vsize=15149024 memory=50688 CPUtime=0.54 cores=1,3,5,7
/proc/19604/stat : 19604 (java) S 19602 19602 11591 0 -1 1077944320 10987 0 0 0 50 4 0 0 20 0 15 0 407948808 15512600576 12672 33554432000 4194304 4196468 140731458863072 140731458845616 139747038514935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
/proc/19604/statm: 3787256 12672 3361 1 0 3748377 0
[pid=19604/tid=19605] ppid=19602 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/19604/task/19605/stat : 19605 (java) R 19602 19602 11591 0 -1 4202560 7903 0 0 0 27 3 0 0 20 0 15 0 407948809 15512600576 12672 33554432000 4194304 4196468 140731458863072 139747042751248 139747022595422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19606] ppid=19602 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19606/stat : 19606 (java) S 19602 19602 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948809 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746966555280 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19607] ppid=19602 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19607/stat : 19607 (java) S 19602 19602 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948809 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746965502480 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19608] ppid=19602 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19608/stat : 19608 (java) S 19602 19602 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948809 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746964449680 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19609] ppid=19602 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19609/stat : 19609 (java) S 19602 19602 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948809 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746963396880 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19610] ppid=19602 vsize=15149024 memory=-7305852742256935071 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19610/stat : 19610 (java) S 19602 19602 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407948811 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746507074416 139747038526082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19611] ppid=19602 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19611/stat : 19611 (java) S 19602 19602 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407948811 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746506020384 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19612] ppid=19602 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19612/stat : 19612 (java) S 19602 19602 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407948811 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746504967536 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19613] ppid=19602 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19613/stat : 19613 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948814 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746503915856 139747038533531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19614] ppid=19602 vsize=15149024 memory=7827413994055111515 CPUtime=0.06 cores=1,3,5,7
/proc/19604/task/19614/stat : 19614 (java) S 19602 19602 11591 0 -1 1077944384 663 0 0 0 6 0 0 0 20 0 15 0 407948814 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746502863216 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19615] ppid=19602 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/19604/task/19615/stat : 19615 (java) S 19602 19602 11591 0 -1 1077944384 232 0 0 0 3 0 0 0 20 0 15 0 407948814 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746501810416 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19616] ppid=19602 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/19604/task/19616/stat : 19616 (java) S 19602 19602 11591 0 -1 1077944384 886 0 0 0 12 0 0 0 20 0 15 0 407948814 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746500757616 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19617] ppid=19602 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19617/stat : 19617 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948814 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746499705056 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19618] ppid=19602 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19618/stat : 19618 (java) S 19602 19602 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948814 15512600576 12672 33554432000 4194304 4196468 140731458863072 139746498653360 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52140 KiB

[startup+0.700808 s]
/proc/loadavg: 9.04 8.79 8.24 7/233 19618
/proc/meminfo: memFree=25505592/32770624 swapFree=66952812/67108860
[pid=19602] ppid=19599 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (xcsp3-exec) S 19599 19602 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948808 115843072 363 33554432000 4194304 5098028 140729229020240 140729229018344 140049035121276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12689408 140729229026170 140729229026413 140729229026413 140729229029322 0
/proc/19602/statm: 28282 363 304 221 0 87 0
[pid=19604] ppid=19602 vsize=15151148 memory=95068 CPUtime=1.73 cores=1,3,5,7
/proc/19604/stat : 19604 (java) S 19602 19602 11591 0 -1 1077944320 14851 0 0 0 167 6 0 0 20 0 15 0 407948808 15514775552 23767 33554432000 4194304 4196468 140731458863072 140731458845616 139747038514935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
/proc/19604/statm: 3787787 23767 3442 1 0 3748889 0
[pid=19604/tid=19605] ppid=19602 vsize=15151148 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/19604/task/19605/stat : 19605 (java) R 19602 19602 11591 0 -1 4202560 8967 0 0 0 63 4 0 0 20 0 15 0 407948809 15514775552 23767 33554432000 4194304 4196468 140731458863072 139747042729632 139746647269872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19606] ppid=19602 vsize=15151148 memory=38044 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19606/stat : 19606 (java) S 19602 19602 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948809 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746966555280 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19607] ppid=19602 vsize=15151148 memory=992 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19607/stat : 19607 (java) S 19602 19602 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948809 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746965502480 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19608] ppid=19602 vsize=15151148 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19608/stat : 19608 (java) S 19602 19602 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948809 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746964449680 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19609] ppid=19602 vsize=15151148 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19609/stat : 19609 (java) S 19602 19602 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948809 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746963396880 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19610] ppid=19602 vsize=15151148 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19610/stat : 19610 (java) S 19602 19602 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407948811 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746507074416 139747038526082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19611] ppid=19602 vsize=15151148 memory=752 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19611/stat : 19611 (java) S 19602 19602 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407948811 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746506020384 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19612] ppid=19602 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19612/stat : 19612 (java) S 19602 19602 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407948811 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746504967536 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19613] ppid=19602 vsize=15151148 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19613/stat : 19613 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948814 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746503915856 139747038533531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19614] ppid=19602 vsize=15151148 memory=944 CPUtime=0.35 cores=1,3,5,7
/proc/19604/task/19614/stat : 19614 (java) S 19602 19602 11591 0 -1 1077944384 1462 0 0 0 35 0 0 0 20 0 15 0 407948814 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746502863216 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19615] ppid=19602 vsize=15151148 memory=4004 CPUtime=0.29 cores=1,3,5,7
/proc/19604/task/19615/stat : 19615 (java) R 19602 19602 11591 0 -1 4202560 1181 0 0 0 29 0 0 0 20 0 15 0 407948814 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746501810416 139747018963916 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19616] ppid=19602 vsize=15151148 memory=780 CPUtime=0.38 cores=1,3,5,7
/proc/19604/task/19616/stat : 19616 (java) S 19602 19602 11591 0 -1 1077944384 1934 0 0 0 38 0 0 0 20 0 15 0 407948814 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746500757616 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19617] ppid=19602 vsize=15151148 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19617/stat : 19617 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948814 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746499705056 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19618] ppid=19602 vsize=15151148 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19618/stat : 19618 (java) S 19602 19602 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948814 15514775552 23767 33554432000 4194304 4196468 140731458863072 139746498653360 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 96520 KiB

[startup+1.50215 s]
/proc/loadavg: 9.04 8.79 8.24 6/233 19618
/proc/meminfo: memFree=25162576/32770624 swapFree=66952812/67108860
[pid=19602] ppid=19599 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (xcsp3-exec) S 19599 19602 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948808 115843072 363 33554432000 4194304 5098028 140729229020240 140729229018344 140049035121276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12689408 140729229026170 140729229026413 140729229026413 140729229029322 0
/proc/19602/statm: 28282 363 304 221 0 87 0

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

/proc/19604/task/19605/stat : 19605 (java) S 19602 19602 11591 0 -1 1077944384 12446 0 0 0 488 12 0 0 20 0 19 0 407948809 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139747042755712 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19606] ppid=19602 vsize=15417404 memory=1904 CPUtime=7.92 cores=1,3,5,7
/proc/19604/task/19606/stat : 19606 (java) S 19602 19602 11591 0 -1 1077944384 13490 0 0 0 648 144 0 0 20 0 19 0 407948809 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746966555280 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19607] ppid=19602 vsize=15417404 memory=0 CPUtime=7.9 cores=1,3,5,7
/proc/19604/task/19607/stat : 19607 (java) S 19602 19602 11591 0 -1 1077944384 14442 0 0 0 650 140 0 0 20 0 19 0 407948809 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746965502480 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19608] ppid=19602 vsize=15417404 memory=112 CPUtime=7.93 cores=1,3,5,7
/proc/19604/task/19608/stat : 19608 (java) S 19602 19602 11591 0 -1 1077944384 14995 0 0 0 658 135 0 0 20 0 19 0 407948809 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746964449680 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19609] ppid=19602 vsize=15417404 memory=525 CPUtime=7.88 cores=1,3,5,7
/proc/19604/task/19609/stat : 19609 (java) S 19602 19602 11591 0 -1 1077944384 14237 0 0 0 646 142 0 0 20 0 19 0 407948809 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746963396880 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19610] ppid=19602 vsize=15417404 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/19604/task/19610/stat : 19610 (java) S 19602 19602 11591 0 -1 1077944384 8265 0 0 0 12 0 0 0 20 0 19 0 407948811 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746507074416 139747038526082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19611] ppid=19602 vsize=15417404 memory=6208108 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19611/stat : 19611 (java) S 19602 19602 11591 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 407948811 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746506020448 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19612] ppid=19602 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19612/stat : 19612 (java) S 19602 19602 11591 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 407948811 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746504967552 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19613] ppid=19602 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19613/stat : 19613 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407948814 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746503915856 139747038533531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19614] ppid=19602 vsize=15417404 memory=0 CPUtime=1.81 cores=1,3,5,7
/proc/19604/task/19614/stat : 19614 (java) S 19602 19602 11591 0 -1 1077944384 7306 0 0 0 180 1 0 0 20 0 19 0 407948814 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746502863216 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19615] ppid=19602 vsize=15417404 memory=167 CPUtime=1.71 cores=1,3,5,7
/proc/19604/task/19615/stat : 19615 (java) S 19602 19602 11591 0 -1 1077944384 5179 0 0 0 171 0 0 0 20 0 19 0 407948814 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746501810416 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19616] ppid=19602 vsize=15417404 memory=3612 CPUtime=0.6 cores=1,3,5,7
/proc/19604/task/19616/stat : 19616 (java) S 19602 19602 11591 0 -1 1077944384 2860 0 0 0 59 1 0 0 20 0 19 0 407948814 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746500757616 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19617] ppid=19602 vsize=15417404 memory=38044 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19617/stat : 19617 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407948814 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746499705056 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19618] ppid=19602 vsize=15417404 memory=992 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19618/stat : 19618 (java) S 19602 19602 11591 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 19 0 407948814 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746498653360 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19739] ppid=19602 vsize=15417404 memory=2044 CPUtime=4.37 cores=1,3,5,7
/proc/19604/task/19739/stat : 19739 (java) R 19602 19602 11591 0 -1 4202560 698 0 0 0 437 0 0 0 20 0 19 0 407950124 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746493729664 139746649915420 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19740] ppid=19602 vsize=15417404 memory=1324 CPUtime=4.52 cores=1,3,5,7
/proc/19604/task/19740/stat : 19740 (java) R 19602 19602 11591 0 -1 4202560 617 0 0 0 452 0 0 0 20 0 19 0 407950124 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746420353416 139746649757818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19741] ppid=19602 vsize=15417404 memory=11624 CPUtime=4.47 cores=1,3,5,7
/proc/19604/task/19741/stat : 19741 (java) R 19602 19602 11591 0 -1 4202560 1046 0 0 0 447 0 0 0 20 0 19 0 407950124 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746419298344 139746649913461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19742] ppid=19602 vsize=15417404 memory=6791534058613427641 CPUtime=4.45 cores=1,3,5,7
/proc/19604/task/19742/stat : 19742 (java) R 19602 19602 11591 0 -1 4202560 1237 0 0 0 445 0 0 0 20 0 19 0 407950124 15787421696 1552122 33554432000 4194304 4196468 140731458863072 139746418246024 139746649800801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
Current children cumulated CPU time: 58.84 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 6209940 KiB

[startup+18.6008 s]
/proc/loadavg: 7.59 8.48 8.15 7/233 19955
/proc/meminfo: memFree=19564228/32770624 swapFree=66952812/67108860
[pid=19602] ppid=19599 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (xcsp3-exec) S 19599 19602 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948808 115843072 363 33554432000 4194304 5098028 140729229020240 140729229018344 140049035121276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12689408 140729229026170 140729229026413 140729229026413 140729229029322 0
/proc/19602/statm: 28282 363 304 221 0 87 0
[pid=19604] ppid=19602 vsize=15417404 memory=6209708 CPUtime=61.98 cores=1,3,5,7
/proc/19604/stat : 19604 (java) S 19602 19602 11591 0 -1 1077944320 105175 0 0 0 5616 582 0 0 20 0 19 0 407948808 15787421696 1552427 33554432000 4194304 4196468 140731458863072 140731458845616 139747038514935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
/proc/19604/statm: 3854351 1552427 3522 1 0 3815453 0
[pid=19604/tid=19605] ppid=19602 vsize=15417404 memory=1984 CPUtime=5 cores=1,3,5,7
/proc/19604/task/19605/stat : 19605 (java) S 19602 19602 11591 0 -1 1077944384 12446 0 0 0 488 12 0 0 20 0 19 0 407948809 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139747042755712 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19606] ppid=19602 vsize=15417404 memory=2492 CPUtime=7.92 cores=1,3,5,7
/proc/19604/task/19606/stat : 19606 (java) S 19602 19602 11591 0 -1 1077944384 13490 0 0 0 648 144 0 0 20 0 19 0 407948809 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746966555280 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19607] ppid=19602 vsize=15417404 memory=1764 CPUtime=7.9 cores=1,3,5,7
/proc/19604/task/19607/stat : 19607 (java) S 19602 19602 11591 0 -1 1077944384 14442 0 0 0 650 140 0 0 20 0 19 0 407948809 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746965502480 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19608] ppid=19602 vsize=15417404 memory=1452 CPUtime=7.93 cores=1,3,5,7
/proc/19604/task/19608/stat : 19608 (java) S 19602 19602 11591 0 -1 1077944384 14995 0 0 0 658 135 0 0 20 0 19 0 407948809 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746964449680 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19609] ppid=19602 vsize=15417404 memory=6208488 CPUtime=7.88 cores=1,3,5,7
/proc/19604/task/19609/stat : 19609 (java) S 19602 19602 11591 0 -1 1077944384 14237 0 0 0 646 142 0 0 20 0 19 0 407948809 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746963396880 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19610] ppid=19602 vsize=15417404 memory=2680 CPUtime=0.12 cores=1,3,5,7
/proc/19604/task/19610/stat : 19610 (java) S 19602 19602 11591 0 -1 1077944384 8310 0 0 0 12 0 0 0 20 0 19 0 407948811 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746507074416 139747038526082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19611] ppid=19602 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19611/stat : 19611 (java) S 19602 19602 11591 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 407948811 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746506020448 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19612] ppid=19602 vsize=15417404 memory=6207788 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19612/stat : 19612 (java) S 19602 19602 11591 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 407948811 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746504967552 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19613] ppid=19602 vsize=15417404 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19613/stat : 19613 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407948814 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746503915856 139747038533531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19614] ppid=19602 vsize=15417404 memory=1452 CPUtime=2.09 cores=1,3,5,7
/proc/19604/task/19614/stat : 19614 (java) R 19602 19602 11591 0 -1 4202560 9100 0 0 0 208 1 0 0 20 0 19 0 407948814 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746502863216 139747019150758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19615] ppid=19602 vsize=15417404 memory=6208488 CPUtime=2.01 cores=1,3,5,7
/proc/19604/task/19615/stat : 19615 (java) R 19602 19602 11591 0 -1 4202560 6932 0 0 0 201 0 0 0 20 0 19 0 407948814 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746501791824 139747021901619 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19616] ppid=19602 vsize=15417404 memory=4104 CPUtime=0.64 cores=1,3,5,7
/proc/19604/task/19616/stat : 19616 (java) S 19602 19602 11591 0 -1 1077944384 3177 0 0 0 63 1 0 0 20 0 19 0 407948814 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746500757616 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19617] ppid=19602 vsize=15417404 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19617/stat : 19617 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407948814 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746499705056 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19618] ppid=19602 vsize=15417404 memory=2680 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19618/stat : 19618 (java) S 19602 19602 11591 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 19 0 407948814 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746498653360 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19739] ppid=19602 vsize=15417404 memory=1452 CPUtime=4.95 cores=1,3,5,7
/proc/19604/task/19739/stat : 19739 (java) R 19602 19602 11591 0 -1 4202560 852 0 0 0 495 0 0 0 20 0 19 0 407950124 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746493729384 139746650095012 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19740] ppid=19602 vsize=15417404 memory=280519481726528 CPUtime=5.13 cores=1,3,5,7
/proc/19604/task/19740/stat : 19740 (java) R 19602 19602 11591 0 -1 4202560 1635 0 0 0 513 0 0 0 20 0 19 0 407950124 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746420351504 139746649985068 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19741] ppid=19602 vsize=15417404 memory=11624 CPUtime=5.15 cores=1,3,5,7
/proc/19604/task/19741/stat : 19741 (java) R 19602 19602 11591 0 -1 4202560 1823 0 0 0 515 0 0 0 20 0 19 0 407950124 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746419300616 139746649985207 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19742] ppid=19602 vsize=15417404 memory=752 CPUtime=5.11 cores=1,3,5,7
/proc/19604/task/19742/stat : 19742 (java) R 19602 19602 11591 0 -1 4202560 2083 0 0 0 511 0 0 0 20 0 19 0 407950124 15787421696 1552427 33554432000 4194304 4196468 140731458863072 139746418246184 139746649994969 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
Current children cumulated CPU time: 61.98 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 6211160 KiB

[startup+18.8009 s]
/proc/loadavg: 7.59 8.48 8.15 7/233 19955
/proc/meminfo: memFree=19564228/32770624 swapFree=66952812/67108860
[pid=19602] ppid=19599 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (xcsp3-exec) S 19599 19602 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948808 115843072 363 33554432000 4194304 5098028 140729229020240 140729229018344 140049035121276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12689408 140729229026170 140729229026413 140729229026413 140729229029322 0
/proc/19602/statm: 28282 363 304 221 0 87 0
[pid=19604] ppid=19602 vsize=15417404 memory=6209928 CPUtime=62.73 cores=1,3,5,7
/proc/19604/stat : 19604 (java) S 19602 19602 11591 0 -1 1077944320 108198 0 0 0 5690 583 0 0 20 0 13 0 407948808 15787421696 1552482 33554432000 4194304 4196468 140731458863072 140731458845616 139747038514935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
/proc/19604/statm: 3854351 1552482 3527 1 0 3815453 0
[pid=19604/tid=19605] ppid=19602 vsize=15417404 memory=1452 CPUtime=5.01 cores=1,3,5,7
/proc/19604/task/19605/stat : 19605 (java) S 19602 19602 11591 0 -1 1077944384 12617 0 0 0 489 12 0 0 20 0 13 0 407948809 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139747042757776 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19606] ppid=19602 vsize=15417404 memory=6208488 CPUtime=7.92 cores=1,3,5,7
/proc/19604/task/19606/stat : 19606 (java) S 19602 19602 11591 0 -1 1077944384 13490 0 0 0 648 144 0 0 20 0 13 0 407948809 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746966555280 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19607] ppid=19602 vsize=15417404 memory=1452 CPUtime=7.9 cores=1,3,5,7
/proc/19604/task/19607/stat : 19607 (java) S 19602 19602 11591 0 -1 1077944384 14442 0 0 0 650 140 0 0 20 0 13 0 407948809 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746965502480 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19608] ppid=19602 vsize=15417404 memory=6208428 CPUtime=7.93 cores=1,3,5,7
/proc/19604/task/19608/stat : 19608 (java) S 19602 19602 11591 0 -1 1077944384 14995 0 0 0 658 135 0 0 20 0 13 0 407948809 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746964449680 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19609] ppid=19602 vsize=15417404 memory=1720 CPUtime=7.88 cores=1,3,5,7
/proc/19604/task/19609/stat : 19609 (java) S 19602 19602 11591 0 -1 1077944384 14237 0 0 0 646 142 0 0 20 0 13 0 407948809 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746963396880 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19610] ppid=19602 vsize=15417404 memory=288230574492221466 CPUtime=0.12 cores=1,3,5,7
/proc/19604/task/19610/stat : 19610 (java) S 19602 19602 11591 0 -1 1077944384 8318 0 0 0 12 0 0 0 20 0 13 0 407948811 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746507074624 139747038526082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19611] ppid=19602 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19611/stat : 19611 (java) S 19602 19602 11591 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 13 0 407948811 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746506020448 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19612] ppid=19602 vsize=15417404 memory=14135532779211192 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19612/stat : 19612 (java) S 19602 19602 11591 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 13 0 407948811 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746504967552 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19614] ppid=19602 vsize=15417404 memory=924 CPUtime=2.28 cores=1,3,5,7
/proc/19604/task/19614/stat : 19614 (java) S 19602 19602 11591 0 -1 1077944384 9277 0 0 0 227 1 0 0 20 0 13 0 407948814 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746502847728 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19615] ppid=19602 vsize=15417404 memory=1712 CPUtime=2.17 cores=1,3,5,7
/proc/19604/task/19615/stat : 19615 (java) S 19602 19602 11591 0 -1 1077944384 7161 0 0 0 217 0 0 0 20 0 13 0 407948814 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746501794928 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19616] ppid=19602 vsize=15417404 memory=812 CPUtime=0.65 cores=1,3,5,7
/proc/19604/task/19616/stat : 19616 (java) S 19602 19602 11591 0 -1 1077944384 3212 0 0 0 64 1 0 0 20 0 13 0 407948814 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746500757616 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19617] ppid=19602 vsize=15417404 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19617/stat : 19617 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 407948814 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746499705056 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
Current children cumulated CPU time: 62.73 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 6211380 KiB

[startup+18.9008 s]
/proc/loadavg: 7.59 8.48 8.15 7/233 19955
/proc/meminfo: memFree=19564228/32770624 swapFree=66952812/67108860
[pid=19602] ppid=19599 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19602/stat : 19602 (xcsp3-exec) S 19599 19602 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948808 115843072 363 33554432000 4194304 5098028 140729229020240 140729229018344 140049035121276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12689408 140729229026170 140729229026413 140729229026413 140729229029322 0
/proc/19602/statm: 28282 363 304 221 0 87 0
[pid=19604] ppid=19602 vsize=15417404 memory=6209928 CPUtime=62.73 cores=1,3,5,7
/proc/19604/stat : 19604 (java) S 19602 19602 11591 0 -1 1077944320 108208 0 0 0 5690 583 0 0 20 0 12 0 407948808 15787421696 1552482 33554432000 4194304 4196468 140731458863072 140731458845616 139747038514935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
/proc/19604/statm: 3854351 1552482 3527 1 0 3815453 0
[pid=19604/tid=19605] ppid=19602 vsize=15417404 memory=1452 CPUtime=5.01 cores=1,3,5,7
/proc/19604/task/19605/stat : 19605 (java) D 19602 19602 11591 0 -1 4202560 12624 0 0 0 489 12 0 0 20 0 12 0 407948809 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139747042757944 139747031200567 0 0 0 16800975 18446744072100613253 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19606] ppid=19602 vsize=15417404 memory=6209872 CPUtime=7.92 cores=1,3,5,7
/proc/19604/task/19606/stat : 19606 (java) S 19602 19602 11591 0 -1 1077944384 13490 0 0 0 648 144 0 0 20 0 12 0 407948809 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746966555280 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19607] ppid=19602 vsize=15417404 memory=790 CPUtime=7.9 cores=1,3,5,7
/proc/19604/task/19607/stat : 19607 (java) S 19602 19602 11591 0 -1 1077944384 14442 0 0 0 650 140 0 0 20 0 12 0 407948809 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746965502480 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19608] ppid=19602 vsize=15417404 memory=793 CPUtime=7.93 cores=1,3,5,7
/proc/19604/task/19608/stat : 19608 (java) S 19602 19602 11591 0 -1 1077944384 14995 0 0 0 658 135 0 0 20 0 12 0 407948809 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746964449680 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19609] ppid=19602 vsize=15417404 memory=1452 CPUtime=7.88 cores=1,3,5,7
/proc/19604/task/19609/stat : 19609 (java) S 19602 19602 11591 0 -1 1077944384 14237 0 0 0 646 142 0 0 20 0 12 0 407948809 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746963396880 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19611] ppid=19602 vsize=15417404 memory=793 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19611/stat : 19611 (java) S 19602 19602 11591 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 12 0 407948811 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746506020448 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19612] ppid=19602 vsize=15417404 memory=788 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19612/stat : 19612 (java) S 19602 19602 11591 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 12 0 407948811 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746504967552 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19614] ppid=19602 vsize=15417404 memory=12 CPUtime=2.28 cores=1,3,5,7
/proc/19604/task/19614/stat : 19614 (java) S 19602 19602 11591 0 -1 1077944384 9277 0 0 0 227 1 0 0 20 0 12 0 407948814 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746502847728 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19615] ppid=19602 vsize=15417404 memory=288230574492221466 CPUtime=2.17 cores=1,3,5,7
/proc/19604/task/19615/stat : 19615 (java) S 19602 19602 11591 0 -1 1077944384 7161 0 0 0 217 0 0 0 20 0 12 0 407948814 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746501794928 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19616] ppid=19602 vsize=15417404 memory=288230617509003574 CPUtime=0.65 cores=1,3,5,7
/proc/19604/task/19616/stat : 19616 (java) S 19602 19602 11591 0 -1 1077944384 3212 0 0 0 64 1 0 0 20 0 12 0 407948814 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746500757616 139747038526082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
[pid=19604/tid=19617] ppid=19602 vsize=15417404 memory=14135532779211192 CPUtime=0 cores=1,3,5,7
/proc/19604/task/19617/stat : 19617 (java) S 19602 19602 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 407948814 15787421696 1552482 33554432000 4194304 4196468 140731458863072 139746499705056 139747038525141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26210304 140731458864111 140731458864282 140731458864282 140731458867151 0
Current children cumulated CPU time: 62.73 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 6211380 KiB

Child status: 0
Real time (s): 18.944
CPU time (s): 62.7662
CPU user time (s): 56.9026
CPU system time (s): 5.86365
CPU usage (%): 331.325
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 6211380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.9026
system time used= 5.86365
maximum resident set size= 6210212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3715
involuntary context switches= 852


# summary of solver processes directly reported to runsolver:
#   pid: 19602
#   total CPU time (s): 62.7662
#   total CPU user time (s): 56.9026
#   total CPU system time (s): 5.86365

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.140498 second user time and 0.252639 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr4-m1296-04.xml
MD5SUM	bed822053ada34bca9e942ef4238d644
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.308784
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2408
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":777}]
Minimum variable degree	2
Maximum variable degree	14
Distribution of variable degrees	[{"degree":2,"count":35},{"degree":3,"count":82},{"degree":4,"count":123},{"degree":6,"count":120},{"degree":7,"count":123},{"degree":8,"count":122},{"degree":9,"count":86},{"degree":10,"count":51},{"degree":11,"count":23},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":537},{"arity":2,"count":1870},{"arity":777,"count":1}]
Number of extensional constraints	2407
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2407},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4392999

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
