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	90.8967	24.1969
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 (15008 MiB free)
  memory of node 1: 16384 MiB (15681 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392998-1568320081/watcher-4392998-1568320081 -o /tmp/evaluation-result-4392998-1568320081/solver-4392998-1568320081 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1586307384 HOME/instance-4392998-1568320081.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
solver pid=16956, runsolver pid=16953
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 8.68 8.47 8.27 7/233 16972
/proc/meminfo: memFree=31408832/32770624 swapFree=66979536/67108860
[pid=16956] ppid=16953 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408270809 115843072 363 33554432000 4194304 5098028 140728821020128 140728821018232 139969315873404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30162944 140728821027706 140728821027949 140728821027949 140728821030858 0
/proc/16956/statm: 28282 363 304 221 0 87 0
[pid=16958] ppid=16956 vsize=15144768 memory=30200 CPUtime=0.13 cores=1,3,5,7
/proc/16958/stat : 16958 (java) S 16956 16956 6753 0 -1 1077944320 5978 0 0 0 12 1 0 0 20 0 15 0 408270809 15508242432 7550 33554432000 4194304 4196468 140721774048368 140721774030912 139652815089399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
/proc/16958/statm: 3786192 7550 3187 1 0 3748377 0
[pid=16958/tid=16959] ppid=16956 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/16958/task/16959/stat : 16959 (java) R 16956 16956 6753 0 -1 4202560 3853 0 0 0 8 1 0 0 20 0 15 0 408270809 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652819319920 139652815101334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16960] ppid=16956 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270810 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652743129488 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16961] ppid=16956 vsize=15144768 memory=140422047200896 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270810 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652742076688 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16962] ppid=16956 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270810 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652405521040 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16963] ppid=16956 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16963/stat : 16963 (java) S 16956 16956 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408270810 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652404468240 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16964] ppid=16956 vsize=15144768 memory=140422047200896 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16964/stat : 16964 (java) S 16956 16956 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408270811 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652350872176 139652815100546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16965] ppid=16956 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16965/stat : 16965 (java) S 16956 16956 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408270812 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652349818144 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16966] ppid=16956 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16966/stat : 16966 (java) S 16956 16956 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408270812 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652348765808 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16967] ppid=16956 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16967/stat : 16967 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270814 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652347714128 139652815107995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16968] ppid=16956 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16968/stat : 16968 (java) S 16956 16956 6753 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 408270814 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652346660976 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16969] ppid=16956 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 6753 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 408270814 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652345608176 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16970] ppid=16956 vsize=15144768 memory=140422047200896 CPUtime=0.02 cores=1,3,5,7
/proc/16958/task/16970/stat : 16970 (java) R 16956 16956 6753 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 408270814 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652344555888 139652815101334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16971] ppid=16956 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270814 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652343503328 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16972] ppid=16956 vsize=15144768 memory=140422047200896 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270815 15508242432 7550 33554432000 4194304 4196468 140721774048368 139652342451120 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31652 KiB

[startup+0.210662 s]*
/proc/loadavg: 8.68 8.47 8.27 6/233 16972
/proc/meminfo: memFree=31396192/32770624 swapFree=66979536/67108860
[pid=16956] ppid=16953 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408270809 115843072 363 33554432000 4194304 5098028 140728821020128 140728821018232 139969315873404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30162944 140728821027706 140728821027949 140728821027949 140728821030858 0
/proc/16956/statm: 28282 363 304 221 0 87 0
[pid=16958] ppid=16956 vsize=15144768 memory=40360 CPUtime=0.35 cores=1,3,5,7
/proc/16958/stat : 16958 (java) S 16956 16956 6753 0 -1 1077944320 9363 0 0 0 32 3 0 0 20 0 15 0 408270809 15508242432 10090 33554432000 4194304 4196468 140721774048368 140721774030912 139652815089399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
/proc/16958/statm: 3786192 10090 3279 1 0 3748377 0
[pid=16958/tid=16959] ppid=16956 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16958/task/16959/stat : 16959 (java) R 16956 16956 6753 0 -1 4202560 6654 0 0 0 18 2 0 0 20 0 15 0 408270809 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652819322848 139652815111325 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16960] ppid=16956 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270810 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652743129488 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16961] ppid=16956 vsize=15144768 memory=140422047217522 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270810 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652742076688 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16962] ppid=16956 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270810 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652405521040 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16963] ppid=16956 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16963/stat : 16963 (java) S 16956 16956 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408270810 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652404468240 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16964] ppid=16956 vsize=15144768 memory=140422047200896 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16964/stat : 16964 (java) S 16956 16956 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408270811 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652350872176 139652815100546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16965] ppid=16956 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16965/stat : 16965 (java) S 16956 16956 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408270812 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652349818144 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16966] ppid=16956 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16966/stat : 16966 (java) S 16956 16956 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408270812 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652348765808 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16967] ppid=16956 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16967/stat : 16967 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270814 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652347714128 139652815107995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16968] ppid=16956 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16958/task/16968/stat : 16968 (java) S 16956 16956 6753 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 15 0 408270814 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652346660976 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16969] ppid=16956 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 6753 0 -1 1077944384 306 0 0 0 3 0 0 0 20 0 15 0 408270814 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652345608176 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16970] ppid=16956 vsize=15144768 memory=140422047200896 CPUtime=0.08 cores=1,3,5,7
/proc/16958/task/16970/stat : 16970 (java) S 16956 16956 6753 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 408270814 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652344555888 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16971] ppid=16956 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270814 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652343503328 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16972] ppid=16956 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270815 15508242432 10090 33554432000 4194304 4196468 140721774048368 139652342451120 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41812 KiB

[startup+0.31047 s]*
/proc/loadavg: 8.68 8.47 8.27 7/233 16972
/proc/meminfo: memFree=31388916/32770624 swapFree=66979536/67108860
[pid=16956] ppid=16953 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408270809 115843072 363 33554432000 4194304 5098028 140728821020128 140728821018232 139969315873404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30162944 140728821027706 140728821027949 140728821027949 140728821030858 0
/proc/16956/statm: 28282 363 304 221 0 87 0
[pid=16958] ppid=16956 vsize=15149024 memory=50180 CPUtime=0.53 cores=1,3,5,7
/proc/16958/stat : 16958 (java) S 16956 16956 6753 0 -1 1077944320 10908 0 0 0 50 3 0 0 20 0 15 0 408270809 15512600576 12545 33554432000 4194304 4196468 140721774048368 140721774030912 139652815089399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
/proc/16958/statm: 3787256 12545 3369 1 0 3748377 0
[pid=16958/tid=16959] ppid=16956 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/16958/task/16959/stat : 16959 (java) R 16956 16956 6753 0 -1 4202560 7845 0 0 0 27 3 0 0 20 0 15 0 408270809 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652819326416 139652799169886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16960] ppid=16956 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270810 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652743129488 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16961] ppid=16956 vsize=15149024 memory=3161056 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270810 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652742076688 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16962] ppid=16956 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270810 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652405521040 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16963] ppid=16956 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16963/stat : 16963 (java) S 16956 16956 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408270810 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652404468240 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16964] ppid=16956 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16964/stat : 16964 (java) S 16956 16956 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408270811 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652350872176 139652815100546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16965] ppid=16956 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16965/stat : 16965 (java) S 16956 16956 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408270812 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652349818144 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16966] ppid=16956 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16966/stat : 16966 (java) S 16956 16956 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408270812 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652348765808 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16967] ppid=16956 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16967/stat : 16967 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270814 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652347714128 139652815107995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16968] ppid=16956 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16958/task/16968/stat : 16968 (java) S 16956 16956 6753 0 -1 1077944384 384 0 0 0 3 0 0 0 20 0 15 0 408270814 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652346660976 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16969] ppid=16956 vsize=15149024 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 6753 0 -1 1077944384 447 0 0 0 6 0 0 0 20 0 15 0 408270814 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652345608176 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16970] ppid=16956 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16958/task/16970/stat : 16970 (java) S 16956 16956 6753 0 -1 1077944384 930 0 0 0 12 0 0 0 20 0 15 0 408270814 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652344555888 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16971] ppid=16956 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270814 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652343503328 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16972] ppid=16956 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270815 15512600576 12545 33554432000 4194304 4196468 140721774048368 139652342451120 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51632 KiB

[startup+0.70163 s]
/proc/loadavg: 8.68 8.47 8.27 9/233 16972
/proc/meminfo: memFree=31365952/32770624 swapFree=66979536/67108860
[pid=16956] ppid=16953 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408270809 115843072 363 33554432000 4194304 5098028 140728821020128 140728821018232 139969315873404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30162944 140728821027706 140728821027949 140728821027949 140728821030858 0
/proc/16956/statm: 28282 363 304 221 0 87 0
[pid=16958] ppid=16956 vsize=15151148 memory=91556 CPUtime=1.69 cores=1,3,5,7
/proc/16958/stat : 16958 (java) S 16956 16956 6753 0 -1 1077944320 15050 0 0 0 164 5 0 0 20 0 15 0 408270809 15514775552 22889 33554432000 4194304 4196468 140721774048368 140721774030912 139652815089399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
/proc/16958/statm: 3787787 22889 3440 1 0 3748889 0
[pid=16958/tid=16959] ppid=16956 vsize=15151148 memory=1788988097793 CPUtime=0.68 cores=1,3,5,7
/proc/16958/task/16959/stat : 16959 (java) R 16956 16956 6753 0 -1 4202560 9074 0 0 0 65 3 0 0 20 0 15 0 408270809 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652819326664 139652422035200 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16960] ppid=16956 vsize=15151148 memory=512 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270810 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652743129488 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16961] ppid=16956 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270810 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652742076688 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16962] ppid=16956 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270810 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652405521040 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16963] ppid=16956 vsize=15151148 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16963/stat : 16963 (java) S 16956 16956 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408270810 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652404468240 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16964] ppid=16956 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16964/stat : 16964 (java) S 16956 16956 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408270811 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652350872176 139652815100546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16965] ppid=16956 vsize=15151148 memory=920 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16965/stat : 16965 (java) S 16956 16956 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408270812 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652349818144 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16966] ppid=16956 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16966/stat : 16966 (java) S 16956 16956 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408270812 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652348765808 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16967] ppid=16956 vsize=15151148 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16967/stat : 16967 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270814 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652347714128 139652815107995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16968] ppid=16956 vsize=15151148 memory=1764 CPUtime=0.3 cores=1,3,5,7
/proc/16958/task/16968/stat : 16968 (java) S 16956 16956 6753 0 -1 1077944384 1363 0 0 0 30 0 0 0 20 0 15 0 408270814 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652346660976 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16969] ppid=16956 vsize=15151148 memory=111632 CPUtime=0.3 cores=1,3,5,7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 6753 0 -1 1077944384 1281 0 0 0 30 0 0 0 20 0 15 0 408270814 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652345608176 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16970] ppid=16956 vsize=15151148 memory=804 CPUtime=0.39 cores=1,3,5,7
/proc/16958/task/16970/stat : 16970 (java) S 16956 16956 6753 0 -1 1077944384 2026 0 0 0 39 0 0 0 20 0 15 0 408270814 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652344555888 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16971] ppid=16956 vsize=15151148 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270814 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652343503328 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16972] ppid=16956 vsize=15151148 memory=924 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270815 15514775552 22889 33554432000 4194304 4196468 140721774048368 139652342451120 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 93008 KiB

[startup+1.5016 s]
/proc/loadavg: 8.68 8.47 8.27 7/233 16972
/proc/meminfo: memFree=31199208/32770624 swapFree=66979536/67108860
[pid=16956] ppid=16953 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408270809 115843072 363 33554432000 4194304 5098028 140728821020128 140728821018232 139969315873404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30162944 140728821027706 140728821027949 140728821027949 140728821030858 0
/proc/16956/statm: 28282 363 304 221 0 87 0

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

/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 6753 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 19 0 408270815 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652342451120 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16973] ppid=16956 vsize=15417404 memory=16103667185858293 CPUtime=18.55 cores=1,3,5,7
/proc/16958/task/16973/stat : 16973 (java) R 16956 16956 6753 0 -1 4202560 1903 0 0 0 1855 0 0 0 20 0 19 0 408271196 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652339696632 139652429204489 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16974] ppid=16956 vsize=15417404 memory=3472468717362301519 CPUtime=19.01 cores=1,3,5,7
/proc/16958/task/16974/stat : 16974 (java) R 16956 16956 6753 0 -1 4202560 1338 0 0 0 1901 0 0 0 20 0 19 0 408271196 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652264451160 139652429204435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16975] ppid=16956 vsize=15417404 memory=6655300316396806240 CPUtime=18.58 cores=1,3,5,7
/proc/16958/task/16975/stat : 16975 (java) R 16956 16956 6753 0 -1 4202560 2506 0 0 0 1858 0 0 0 20 0 19 0 408271196 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652263397736 139652429204489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16976] ppid=16956 vsize=15417404 memory=2996733 CPUtime=18.79 cores=1,3,5,7
/proc/16958/task/16976/stat : 16976 (java) R 16956 16956 6753 0 -1 4202560 1233 0 0 0 1879 0 0 0 20 0 19 0 408271196 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652262342424 139652429116725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
Current children cumulated CPU time: 88.07 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1505500 KiB

[startup+23.6036 s]
/proc/loadavg: 8.43 8.42 8.26 9/237 16977
/proc/meminfo: memFree=29894672/32770624 swapFree=66979536/67108860
[pid=16956] ppid=16953 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408270809 115843072 363 33554432000 4194304 5098028 140728821020128 140728821018232 139969315873404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30162944 140728821027706 140728821027949 140728821027949 140728821030858 0
/proc/16956/statm: 28282 363 304 221 0 87 0
[pid=16958] ppid=16956 vsize=15417404 memory=1504048 CPUtime=89.68 cores=1,3,5,7
/proc/16958/stat : 16958 (java) S 16956 16956 6753 0 -1 1077944320 46319 0 0 0 8850 118 0 0 20 0 19 0 408270809 15787421696 376012 33554432000 4194304 4196468 140721774048368 140721774030912 139652815089399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
/proc/16958/statm: 3854351 376012 3539 1 0 3815453 0
[pid=16958/tid=16959] ppid=16956 vsize=15417404 memory=8547710663883855229 CPUtime=2.29 cores=1,3,5,7
/proc/16958/task/16959/stat : 16959 (java) S 16956 16956 6753 0 -1 1077944384 10471 0 0 0 219 10 0 0 20 0 19 0 408270809 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652819330176 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16960] ppid=16956 vsize=15417404 memory=7301579000720879208 CPUtime=1.46 cores=1,3,5,7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 6753 0 -1 1077944384 758 0 0 0 120 26 0 0 20 0 19 0 408270810 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652743129488 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16961] ppid=16956 vsize=15417404 memory=7523660549579893604 CPUtime=1.49 cores=1,3,5,7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 6753 0 -1 1077944384 930 0 0 0 122 27 0 0 20 0 19 0 408270810 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652742076688 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16962] ppid=16956 vsize=15417404 memory=780 CPUtime=1.44 cores=1,3,5,7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 6753 0 -1 1077944384 886 0 0 0 119 25 0 0 20 0 19 0 408270810 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652405521040 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16963] ppid=16956 vsize=15417404 memory=3360 CPUtime=1.38 cores=1,3,5,7
/proc/16958/task/16963/stat : 16963 (java) S 16956 16956 6753 0 -1 1077944384 643 0 0 0 115 23 0 0 20 0 19 0 408270810 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652404468240 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16964] ppid=16956 vsize=15417404 memory=1692 CPUtime=0.03 cores=1,3,5,7
/proc/16958/task/16964/stat : 16964 (java) S 16956 16956 6753 0 -1 1077944384 1529 0 0 0 3 0 0 0 20 0 19 0 408270811 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652350872176 139652815100546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16965] ppid=16956 vsize=15417404 memory=1028 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16965/stat : 16965 (java) S 16956 16956 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408270812 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652349818208 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16966] ppid=16956 vsize=15417404 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16966/stat : 16966 (java) S 16956 16956 6753 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 408270812 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652348765824 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16967] ppid=16956 vsize=15417404 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16967/stat : 16967 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270814 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652347714128 139652815107995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16968] ppid=16956 vsize=15417404 memory=756 CPUtime=2.28 cores=1,3,5,7
/proc/16958/task/16968/stat : 16968 (java) S 16956 16956 6753 0 -1 1077944384 9386 0 0 0 227 1 0 0 20 0 19 0 408270814 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652346660976 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16969] ppid=16956 vsize=15417404 memory=1548 CPUtime=2.05 cores=1,3,5,7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 6753 0 -1 1077944384 7650 0 0 0 204 1 0 0 20 0 19 0 408270814 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652345608176 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16970] ppid=16956 vsize=15417404 memory=7968 CPUtime=0.63 cores=1,3,5,7
/proc/16958/task/16970/stat : 16970 (java) S 16956 16956 6753 0 -1 1077944384 5395 0 0 0 62 1 0 0 20 0 19 0 408270814 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652344555888 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16971] ppid=16956 vsize=15417404 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270814 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652343503328 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16972] ppid=16956 vsize=15417404 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 6753 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 19 0 408270815 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652342451120 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16973] ppid=16956 vsize=15417404 memory=14008 CPUtime=18.95 cores=1,3,5,7
/proc/16958/task/16973/stat : 16973 (java) R 16956 16956 6753 0 -1 4202560 1909 0 0 0 1895 0 0 0 20 0 19 0 408271196 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652339696632 139652429204424 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16974] ppid=16956 vsize=15417404 memory=2120 CPUtime=19.41 cores=1,3,5,7
/proc/16958/task/16974/stat : 16974 (java) R 16956 16956 6753 0 -1 4202560 1345 0 0 0 1941 0 0 0 20 0 19 0 408271196 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652264451160 139652429116668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16975] ppid=16956 vsize=15417404 memory=11976 CPUtime=18.98 cores=1,3,5,7
/proc/16958/task/16975/stat : 16975 (java) R 16956 16956 6753 0 -1 4202560 2542 0 0 0 1898 0 0 0 20 0 19 0 408271196 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652263397736 139652429116447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16976] ppid=16956 vsize=15417404 memory=5768 CPUtime=19.19 cores=1,3,5,7
/proc/16958/task/16976/stat : 16976 (java) R 16956 16956 6753 0 -1 4202560 1240 0 0 0 1919 0 0 0 20 0 19 0 408271196 15787421696 376012 33554432000 4194304 4196468 140721774048368 139652262342424 139652429204428 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
Current children cumulated CPU time: 89.68 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1505500 KiB

[startup+24.0016 s]*
/proc/loadavg: 8.39 8.42 8.25 6/237 16977
/proc/meminfo: memFree=29894796/32770624 swapFree=66979536/67108860
[pid=16956] ppid=16953 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408270809 115843072 363 33554432000 4194304 5098028 140728821020128 140728821018232 139969315873404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30162944 140728821027706 140728821027949 140728821027949 140728821030858 0
/proc/16956/statm: 28282 363 304 221 0 87 0
[pid=16958] ppid=16956 vsize=15417404 memory=1504096 CPUtime=90.71 cores=1,3,5,7
/proc/16958/stat : 16958 (java) S 16956 16956 6753 0 -1 1077944320 47996 0 0 0 8952 119 0 0 20 0 19 0 408270809 15787421696 376024 33554432000 4194304 4196468 140721774048368 140721774030912 139652815089399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
/proc/16958/statm: 3854351 376024 3539 1 0 3815453 0
[pid=16958/tid=16959] ppid=16956 vsize=15417404 memory=8317482817917895235 CPUtime=2.29 cores=1,3,5,7
/proc/16958/task/16959/stat : 16959 (java) S 16956 16956 6753 0 -1 1077944384 10471 0 0 0 219 10 0 0 20 0 19 0 408270809 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652819330176 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16960] ppid=16956 vsize=15417404 memory=4126316290023845779 CPUtime=1.46 cores=1,3,5,7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 6753 0 -1 1077944384 758 0 0 0 120 26 0 0 20 0 19 0 408270810 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652743129488 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16961] ppid=16956 vsize=15417404 memory=3360 CPUtime=1.49 cores=1,3,5,7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 6753 0 -1 1077944384 930 0 0 0 122 27 0 0 20 0 19 0 408270810 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652742076688 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16962] ppid=16956 vsize=15417404 memory=1692 CPUtime=1.44 cores=1,3,5,7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 6753 0 -1 1077944384 886 0 0 0 119 25 0 0 20 0 19 0 408270810 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652405521040 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16963] ppid=16956 vsize=15417404 memory=1028 CPUtime=1.38 cores=1,3,5,7
/proc/16958/task/16963/stat : 16963 (java) S 16956 16956 6753 0 -1 1077944384 643 0 0 0 115 23 0 0 20 0 19 0 408270810 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652404468240 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16964] ppid=16956 vsize=15417404 memory=1060 CPUtime=0.03 cores=1,3,5,7
/proc/16958/task/16964/stat : 16964 (java) S 16956 16956 6753 0 -1 1077944384 1529 0 0 0 3 0 0 0 20 0 19 0 408270811 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652350872176 139652815100546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16965] ppid=16956 vsize=15417404 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16965/stat : 16965 (java) S 16956 16956 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408270812 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652349818208 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16966] ppid=16956 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16966/stat : 16966 (java) S 16956 16956 6753 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 408270812 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652348765824 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16967] ppid=16956 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16967/stat : 16967 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270814 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652347714128 139652815107995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16968] ppid=16956 vsize=15417404 memory=0 CPUtime=2.32 cores=1,3,5,7
/proc/16958/task/16968/stat : 16968 (java) S 16956 16956 6753 0 -1 1077944384 10048 0 0 0 231 1 0 0 20 0 19 0 408270814 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652346660976 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16969] ppid=16956 vsize=15417404 memory=0 CPUtime=2.08 cores=1,3,5,7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 6753 0 -1 1077944384 8494 0 0 0 207 1 0 0 20 0 19 0 408270814 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652345608176 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16970] ppid=16956 vsize=15417404 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/16958/task/16970/stat : 16970 (java) S 16956 16956 6753 0 -1 1077944384 5478 0 0 0 62 1 0 0 20 0 19 0 408270814 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652344555888 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16971] ppid=16956 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270814 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652343503328 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16972] ppid=16956 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 6753 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 19 0 408270815 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652342451120 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16973] ppid=16956 vsize=15417404 memory=6933690296315519121 CPUtime=19.35 cores=1,3,5,7
/proc/16958/task/16973/stat : 16973 (java) R 16956 16956 6753 0 -1 4202560 1913 0 0 0 1935 0 0 0 20 0 19 0 408271196 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652339696632 139652429204515 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16974] ppid=16956 vsize=15417404 memory=6944613755361064352 CPUtime=19.77 cores=1,3,5,7
/proc/16958/task/16974/stat : 16974 (java) S 16956 16956 6753 0 -1 1077944384 1348 0 0 0 1977 0 0 0 20 0 19 0 408271196 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652264453712 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16975] ppid=16956 vsize=15417404 memory=6944613755361064352 CPUtime=19.04 cores=1,3,5,7
/proc/16958/task/16975/stat : 16975 (java) S 16956 16956 6753 0 -1 1077944384 2619 0 0 0 1904 0 0 0 20 0 19 0 408271196 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652263400912 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16976] ppid=16956 vsize=15417404 memory=-6876588461455810464 CPUtime=19.32 cores=1,3,5,7
/proc/16958/task/16976/stat : 16976 (java) S 16956 16956 6753 0 -1 1077944384 1244 0 0 0 1932 0 0 0 20 0 19 0 408271196 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652262347600 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
Current children cumulated CPU time: 90.71 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1505548 KiB

[startup+24.1105 s]
/proc/loadavg: 8.39 8.42 8.25 6/237 16977
/proc/meminfo: memFree=29894796/32770624 swapFree=66979536/67108860
[pid=16956] ppid=16953 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408270809 115843072 363 33554432000 4194304 5098028 140728821020128 140728821018232 139969315873404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30162944 140728821027706 140728821027949 140728821027949 140728821030858 0
/proc/16956/statm: 28282 363 304 221 0 87 0
[pid=16958] ppid=16956 vsize=15417404 memory=1504096 CPUtime=90.81 cores=1,3,5,7
/proc/16958/stat : 16958 (java) S 16956 16956 6753 0 -1 1077944320 47996 0 0 0 8962 119 0 0 20 0 19 0 408270809 15787421696 376024 33554432000 4194304 4196468 140721774048368 140721774030912 139652815089399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
/proc/16958/statm: 3854351 376024 3539 1 0 3815453 0
[pid=16958/tid=16959] ppid=16956 vsize=15417404 memory=1452 CPUtime=2.29 cores=1,3,5,7
/proc/16958/task/16959/stat : 16959 (java) S 16956 16956 6753 0 -1 1077944384 10471 0 0 0 219 10 0 0 20 0 19 0 408270809 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652819330176 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16960] ppid=16956 vsize=15417404 memory=1504048 CPUtime=1.46 cores=1,3,5,7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 6753 0 -1 1077944384 758 0 0 0 120 26 0 0 20 0 19 0 408270810 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652743129488 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16961] ppid=16956 vsize=15417404 memory=0 CPUtime=1.49 cores=1,3,5,7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 6753 0 -1 1077944384 930 0 0 0 122 27 0 0 20 0 19 0 408270810 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652742076688 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16962] ppid=16956 vsize=15417404 memory=1452 CPUtime=1.44 cores=1,3,5,7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 6753 0 -1 1077944384 886 0 0 0 119 25 0 0 20 0 19 0 408270810 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652405521040 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16963] ppid=16956 vsize=15417404 memory=1502172 CPUtime=1.38 cores=1,3,5,7
/proc/16958/task/16963/stat : 16963 (java) S 16956 16956 6753 0 -1 1077944384 643 0 0 0 115 23 0 0 20 0 19 0 408270810 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652404468240 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16964] ppid=16956 vsize=15417404 memory=303430223234596890 CPUtime=0.03 cores=1,3,5,7
/proc/16958/task/16964/stat : 16964 (java) S 16956 16956 6753 0 -1 1077944384 1529 0 0 0 3 0 0 0 20 0 19 0 408270811 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652350872176 139652815100546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16965] ppid=16956 vsize=15417404 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16965/stat : 16965 (java) S 16956 16956 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408270812 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652349818208 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16966] ppid=16956 vsize=15417404 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16966/stat : 16966 (java) S 16956 16956 6753 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 408270812 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652348765824 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16967] ppid=16956 vsize=15417404 memory=16884 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16967/stat : 16967 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270814 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652347714128 139652815107995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16968] ppid=16956 vsize=15417404 memory=15479062137908 CPUtime=2.32 cores=1,3,5,7
/proc/16958/task/16968/stat : 16968 (java) S 16956 16956 6753 0 -1 1077944384 10048 0 0 0 231 1 0 0 20 0 19 0 408270814 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652346660976 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16969] ppid=16956 vsize=15417404 memory=140421942567920 CPUtime=2.08 cores=1,3,5,7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 6753 0 -1 1077944384 8494 0 0 0 207 1 0 0 20 0 19 0 408270814 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652345608176 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16970] ppid=16956 vsize=15417404 memory=1452 CPUtime=0.63 cores=1,3,5,7
/proc/16958/task/16970/stat : 16970 (java) S 16956 16956 6753 0 -1 1077944384 5478 0 0 0 62 1 0 0 20 0 19 0 408270814 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652344555888 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16971] ppid=16956 vsize=15417404 memory=164 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270814 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652343503328 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16972] ppid=16956 vsize=15417404 memory=280843885303064 CPUtime=0 cores=1,3,5,7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 6753 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 19 0 408270815 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652342451120 139652815100546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16973] ppid=16956 vsize=15417404 memory=6299524763604051045 CPUtime=19.45 cores=1,3,5,7
/proc/16958/task/16973/stat : 16973 (java) R 16956 16956 6753 0 -1 4202560 1913 0 0 0 1945 0 0 0 20 0 19 0 408271196 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652339696632 139652429204428 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16974] ppid=16956 vsize=15417404 memory=56 CPUtime=19.77 cores=1,3,5,7
/proc/16958/task/16974/stat : 16974 (java) S 16956 16956 6753 0 -1 1077944384 1348 0 0 0 1977 0 0 0 20 0 19 0 408271196 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652264453712 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16975] ppid=16956 vsize=15417404 memory=7682475212697334586 CPUtime=19.04 cores=1,3,5,7
/proc/16958/task/16975/stat : 16975 (java) S 16956 16956 6753 0 -1 1077944384 2619 0 0 0 1904 0 0 0 20 0 19 0 408271196 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652263400912 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
[pid=16958/tid=16976] ppid=16956 vsize=15417404 memory=1399103955520229747 CPUtime=19.32 cores=1,3,5,7
/proc/16958/task/16976/stat : 16976 (java) S 16956 16956 6753 0 -1 1077944384 1244 0 0 0 1932 0 0 0 20 0 19 0 408271196 15787421696 376024 33554432000 4194304 4196468 140721774048368 139652262347600 139652815099605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26378240 140721774052335 140721774052506 140721774052506 140721774055375 0
Current children cumulated CPU time: 90.81 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1505548 KiB

Child status: 0
Real time (s): 24.1969
CPU time (s): 90.8967
CPU user time (s): 89.6927
CPU system time (s): 1.20396
CPU usage (%): 375.654
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 1506404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.6927
system time used= 1.20396
maximum resident set size= 1504952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49407
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3242
involuntary context switches= 2154


# summary of solver processes directly reported to runsolver:
#   pid: 16956
#   total CPU time (s): 90.8967
#   total CPU user time (s): 89.6927
#   total CPU system time (s): 1.20396

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.175161 second user time and 0.313767 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-SF/ Subisomorphism-B-08.xml
MD5SUM	47da5ea68f3d94e6d7990d40a1ef4aa5
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.530623
Satisfiable
(Un)Satisfiability was proved
Number of variables	540
Number of constraints	1676
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":540}]
Minimum variable degree	3
Maximum variable degree	10
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":19},{"degree":5,"count":89},{"degree":6,"count":212},{"degree":8,"count":110},{"degree":9,"count":71},{"degree":10,"count":35}]
Minimum constraint arity	1
Maximum constraint arity	540
Distribution of constraint arities	[{"arity":1,"count":216},{"arity":2,"count":1459},{"arity":540,"count":1}]
Number of extensional constraints	1675
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1675},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4392998

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
