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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	OPT	8	293.348	75.5381
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 (9403 MiB free)
  memory of node 1: 16384 MiB (12221 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394108-1568328564/watcher-4394108-1568328564 -o /tmp/evaluation-result-4394108-1568328564/solver-4394108-1568328564 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 985975339 HOME/instance-4394108-1568328564.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=20089, runsolver pid=20086

[startup+0.100123 s]*
/proc/loadavg: 7.87 7.27 4.60 6/227 20105
/proc/meminfo: memFree=22127852/32770624 swapFree=66939824/67108860
[pid=20089] ppid=20086 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20089/stat : 20089 (xcsp3-exec) S 20086 20089 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408771288 115843072 362 33554432000 4194304 5098028 140726049809152 140726049807256 140433065591420 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27725824 140726049813371 140726049813613 140726049813613 140726049816522 0
/proc/20089/statm: 28282 362 304 221 0 87 0
[pid=20091] ppid=20089 vsize=15144768 memory=29172 CPUtime=0.13 cores=0,2,4,6
/proc/20091/stat : 20091 (java) S 20089 20089 19528 0 -1 1077944320 5688 0 0 0 12 1 0 0 20 0 15 0 408771289 15508242432 7293 33554432000 4194304 4196468 140722068126720 140722068109264 139995138735863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
/proc/20091/statm: 3786192 7293 3155 1 0 3748377 0
[pid=20091/tid=20092] ppid=20089 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/20091/task/20092/stat : 20092 (java) R 20089 20089 19528 0 -1 4202560 3616 0 0 0 8 1 0 0 20 0 15 0 408771289 15508242432 7293 33554432000 4194304 4196468 140722068126720 139995142960272 139995130972990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20093] ppid=20089 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20093/stat : 20093 (java) S 20089 20089 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771290 15508242432 7293 33554432000 4194304 4196468 140722068126720 139995066776336 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20094] ppid=20089 vsize=15144768 memory=140204290340480 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20094/stat : 20094 (java) S 20089 20089 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771290 15508242432 7293 33554432000 4194304 4196468 140722068126720 139995065723792 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20095] ppid=20089 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20095/stat : 20095 (java) S 20089 20089 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771290 15508242432 7293 33554432000 4194304 4196468 140722068126720 139995064671248 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20096] ppid=20089 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20096/stat : 20096 (java) S 20089 20089 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771290 15508242432 7293 33554432000 4194304 4196468 140722068126720 139994727836816 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20097] ppid=20089 vsize=15144768 memory=140204290340480 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20097/stat : 20097 (java) S 20089 20089 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771291 15508242432 7293 33554432000 4194304 4196468 140722068126720 139994674587632 139995138747010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20098] ppid=20089 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20098/stat : 20098 (java) S 20089 20089 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408771292 15508242432 7293 33554432000 4194304 4196468 140722068126720 139994673533856 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20099] ppid=20089 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20099/stat : 20099 (java) S 20089 20089 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408771292 15508242432 7293 33554432000 4194304 4196468 140722068126720 139994672481264 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20100] ppid=20089 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20100/stat : 20100 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771294 15508242432 7293 33554432000 4194304 4196468 140722068126720 139994671429840 139995138754459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20101] ppid=20089 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20101/stat : 20101 (java) R 20089 20089 19528 0 -1 4202560 434 0 0 0 0 0 0 0 20 0 15 0 408771294 15508242432 7293 33554432000 4194304 4196468 140722068126720 139994670377456 139995122171601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20102] ppid=20089 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20102/stat : 20102 (java) R 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771294 15508242432 7293 33554432000 4194304 4196468 140722068126720 139994669324912 139995138747010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20103] ppid=20089 vsize=15144768 memory=140204290340480 CPUtime=0.02 cores=0,2,4,6
/proc/20091/task/20103/stat : 20103 (java) R 20089 20089 19528 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 408771294 15508242432 7293 33554432000 4194304 4196468 140722068126720 139994668272368 139995117218448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20104] ppid=20089 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20104/stat : 20104 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771294 15508242432 7293 33554432000 4194304 4196468 140722068126720 139994667220064 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20105] ppid=20089 vsize=15144768 memory=140204290340480 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20105/stat : 20105 (java) S 20089 20089 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771295 15508242432 7293 33554432000 4194304 4196468 140722068126720 139994666166576 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30620 KiB

[startup+0.211184 s]*
/proc/loadavg: 7.87 7.27 4.60 5/227 20105
/proc/meminfo: memFree=22114260/32770624 swapFree=66939824/67108860
[pid=20089] ppid=20086 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20089/stat : 20089 (xcsp3-exec) S 20086 20089 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408771288 115843072 362 33554432000 4194304 5098028 140726049809152 140726049807256 140433065591420 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27725824 140726049813371 140726049813613 140726049813613 140726049816522 0
/proc/20089/statm: 28282 362 304 221 0 87 0
[pid=20091] ppid=20089 vsize=15144768 memory=39996 CPUtime=0.34 cores=0,2,4,6
/proc/20091/stat : 20091 (java) S 20089 20089 19528 0 -1 1077944320 9285 0 0 0 31 3 0 0 20 0 15 0 408771289 15508242432 9999 33554432000 4194304 4196468 140722068126720 140722068109264 139995138735863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
/proc/20091/statm: 3786192 9999 3269 1 0 3748377 0
[pid=20091/tid=20092] ppid=20089 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/20091/task/20092/stat : 20092 (java) R 20089 20089 19528 0 -1 4202560 6571 0 0 0 18 2 0 0 20 0 15 0 408771289 15508242432 9999 33554432000 4194304 4196468 140722068126720 139995142967104 139995138747798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20093] ppid=20089 vsize=15144768 memory=11079 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20093/stat : 20093 (java) S 20089 20089 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771290 15508242432 9999 33554432000 4194304 4196468 140722068126720 139995066776336 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20094] ppid=20089 vsize=15144768 memory=3832618504109162528 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20094/stat : 20094 (java) S 20089 20089 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771290 15508242432 9999 33554432000 4194304 4196468 140722068126720 139995065723792 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20095] ppid=20089 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20095/stat : 20095 (java) S 20089 20089 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771290 15508242432 9999 33554432000 4194304 4196468 140722068126720 139995064671248 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20096] ppid=20089 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20096/stat : 20096 (java) S 20089 20089 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771290 15508242432 9999 33554432000 4194304 4196468 140722068126720 139994727836816 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20097] ppid=20089 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20097/stat : 20097 (java) S 20089 20089 19528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408771291 15508242432 9999 33554432000 4194304 4196468 140722068126720 139994674587632 139995138747010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20098] ppid=20089 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20098/stat : 20098 (java) S 20089 20089 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408771292 15508242432 9999 33554432000 4194304 4196468 140722068126720 139994673533856 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20099] ppid=20089 vsize=15144768 memory=140204290340480 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20099/stat : 20099 (java) S 20089 20089 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408771292 15508242432 9999 33554432000 4194304 4196468 140722068126720 139994672481264 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20100] ppid=20089 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20100/stat : 20100 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771294 15508242432 9999 33554432000 4194304 4196468 140722068126720 139994671429840 139995138754459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20101] ppid=20089 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20091/task/20101/stat : 20101 (java) S 20089 20089 19528 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 15 0 408771294 15508242432 9999 33554432000 4194304 4196468 140722068126720 139994670377456 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20102] ppid=20089 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/20091/task/20102/stat : 20102 (java) S 20089 20089 19528 0 -1 1077944384 128 0 0 0 3 0 0 0 20 0 15 0 408771294 15508242432 9999 33554432000 4194304 4196468 140722068126720 139994669324912 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20103] ppid=20089 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20091/task/20103/stat : 20103 (java) R 20089 20089 19528 0 -1 4202560 789 0 0 0 8 0 0 0 20 0 15 0 408771294 15508242432 9999 33554432000 4194304 4196468 140722068126720 139994668272368 139995117864259 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20104] ppid=20089 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20104/stat : 20104 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771294 15508242432 9999 33554432000 4194304 4196468 140722068126720 139994667220064 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20105] ppid=20089 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20105/stat : 20105 (java) S 20089 20089 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771295 15508242432 9999 33554432000 4194304 4196468 140722068126720 139994666166576 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41444 KiB

[startup+0.311199 s]*
/proc/loadavg: 7.87 7.27 4.60 7/227 20105
/proc/meminfo: memFree=22096112/32770624 swapFree=66939824/67108860
[pid=20089] ppid=20086 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20089/stat : 20089 (xcsp3-exec) S 20086 20089 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408771288 115843072 362 33554432000 4194304 5098028 140726049809152 140726049807256 140433065591420 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27725824 140726049813371 140726049813613 140726049813613 140726049816522 0
/proc/20089/statm: 28282 362 304 221 0 87 0
[pid=20091] ppid=20089 vsize=15149024 memory=49792 CPUtime=0.53 cores=0,2,4,6
/proc/20091/stat : 20091 (java) S 20089 20089 19528 0 -1 1077944320 10731 0 0 0 49 4 0 0 20 0 15 0 408771289 15512600576 12448 33554432000 4194304 4196468 140722068126720 140722068109264 139995138735863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
/proc/20091/statm: 3787256 12448 3365 1 0 3748377 0
[pid=20091/tid=20092] ppid=20089 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/20091/task/20092/stat : 20092 (java) R 20089 20089 19528 0 -1 4202560 7704 0 0 0 27 3 0 0 20 0 15 0 408771289 15512600576 12448 33554432000 4194304 4196468 140722068126720 139995142966976 139995138757789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20093] ppid=20089 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20093/stat : 20093 (java) S 20089 20089 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771290 15512600576 12448 33554432000 4194304 4196468 140722068126720 139995066776336 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20094] ppid=20089 vsize=15149024 memory=3834029173232631840 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20094/stat : 20094 (java) S 20089 20089 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771290 15512600576 12448 33554432000 4194304 4196468 140722068126720 139995065723792 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20095] ppid=20089 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20095/stat : 20095 (java) S 20089 20089 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771290 15512600576 12448 33554432000 4194304 4196468 140722068126720 139995064671248 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20096] ppid=20089 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20096/stat : 20096 (java) S 20089 20089 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771290 15512600576 12448 33554432000 4194304 4196468 140722068126720 139994727836816 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20097] ppid=20089 vsize=15149024 memory=140204290340480 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20097/stat : 20097 (java) S 20089 20089 19528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408771291 15512600576 12448 33554432000 4194304 4196468 140722068126720 139994674587632 139995138747010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20098] ppid=20089 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20098/stat : 20098 (java) S 20089 20089 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408771292 15512600576 12448 33554432000 4194304 4196468 140722068126720 139994673533856 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20099] ppid=20089 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20099/stat : 20099 (java) S 20089 20089 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408771292 15512600576 12448 33554432000 4194304 4196468 140722068126720 139994672481264 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20100] ppid=20089 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20100/stat : 20100 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771294 15512600576 12448 33554432000 4194304 4196468 140722068126720 139994671429840 139995138754459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20101] ppid=20089 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20091/task/20101/stat : 20101 (java) R 20089 20089 19528 0 -1 4202560 623 0 0 0 4 0 0 0 20 0 15 0 408771294 15512600576 12448 33554432000 4194304 4196468 140722068126720 139994670358472 139995118429452 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20102] ppid=20089 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/20091/task/20102/stat : 20102 (java) S 20089 20089 19528 0 -1 1077944384 168 0 0 0 4 0 0 0 20 0 15 0 408771294 15512600576 12448 33554432000 4194304 4196468 140722068126720 139994669324912 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20103] ppid=20089 vsize=15149024 memory=140204290340480 CPUtime=0.12 cores=0,2,4,6
/proc/20091/task/20103/stat : 20103 (java) R 20089 20089 19528 0 -1 1077944384 931 0 0 0 12 0 0 0 20 0 15 0 408771294 15512600576 12448 33554432000 4194304 4196468 140722068126720 139994668272368 139995138747010 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20104] ppid=20089 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20104/stat : 20104 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771294 15512600576 12448 33554432000 4194304 4196468 140722068126720 139994667220064 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20105] ppid=20089 vsize=15149024 memory=140204290340480 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20105/stat : 20105 (java) S 20089 20089 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771295 15512600576 12448 33554432000 4194304 4196468 140722068126720 139994666166576 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51240 KiB

[startup+0.700852 s]
/proc/loadavg: 7.87 7.27 4.60 8/227 20105
/proc/meminfo: memFree=22073632/32770624 swapFree=66939824/67108860
[pid=20089] ppid=20086 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20089/stat : 20089 (xcsp3-exec) S 20086 20089 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408771288 115843072 362 33554432000 4194304 5098028 140726049809152 140726049807256 140433065591420 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27725824 140726049813371 140726049813613 140726049813613 140726049816522 0
/proc/20089/statm: 28282 362 304 221 0 87 0
[pid=20091] ppid=20089 vsize=15151148 memory=113180 CPUtime=1.7 cores=0,2,4,6
/proc/20091/stat : 20091 (java) S 20089 20089 19528 0 -1 1077944320 13795 0 0 0 164 6 0 0 20 0 15 0 408771289 15514775552 28295 33554432000 4194304 4196468 140722068126720 140722068109264 139995138735863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
/proc/20091/statm: 3787787 28295 3442 1 0 3748889 0
[pid=20091/tid=20092] ppid=20089 vsize=15151148 memory=2116 CPUtime=0.67 cores=0,2,4,6
/proc/20091/task/20092/stat : 20092 (java) R 20089 20089 19528 0 -1 4202560 8283 0 0 0 63 4 0 0 20 0 15 0 408771289 15514775552 28295 33554432000 4194304 4196468 140722068126720 139995142970176 139994747326535 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20093] ppid=20089 vsize=15151148 memory=520 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20093/stat : 20093 (java) S 20089 20089 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771290 15514775552 28295 33554432000 4194304 4196468 140722068126720 139995066776336 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20094] ppid=20089 vsize=15151148 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20094/stat : 20094 (java) S 20089 20089 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771290 15514775552 28295 33554432000 4194304 4196468 140722068126720 139995065723792 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20095] ppid=20089 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20095/stat : 20095 (java) S 20089 20089 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771290 15514775552 28295 33554432000 4194304 4196468 140722068126720 139995064671248 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20096] ppid=20089 vsize=15151148 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20096/stat : 20096 (java) S 20089 20089 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771290 15514775552 28295 33554432000 4194304 4196468 140722068126720 139994727836816 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20097] ppid=20089 vsize=15151148 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20097/stat : 20097 (java) S 20089 20089 19528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408771291 15514775552 28295 33554432000 4194304 4196468 140722068126720 139994674587632 139995138747010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20098] ppid=20089 vsize=15151148 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20098/stat : 20098 (java) S 20089 20089 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408771292 15514775552 28295 33554432000 4194304 4196468 140722068126720 139994673533856 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20099] ppid=20089 vsize=15151148 memory=804 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20099/stat : 20099 (java) S 20089 20089 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408771292 15514775552 28295 33554432000 4194304 4196468 140722068126720 139994672481264 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20100] ppid=20089 vsize=15151148 memory=7086240636179272035 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20100/stat : 20100 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771294 15514775552 28295 33554432000 4194304 4196468 140722068126720 139994671429840 139995138754459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20101] ppid=20089 vsize=15151148 memory=7453282923444726100 CPUtime=0.35 cores=0,2,4,6
/proc/20091/task/20101/stat : 20101 (java) R 20089 20089 19528 0 -1 4202560 1432 0 0 0 35 0 0 0 20 0 15 0 408771294 15514775552 28295 33554432000 4194304 4196468 140722068126720 139994670377456 139995123657645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20102] ppid=20089 vsize=15151148 memory=5792825802846453857 CPUtime=0.35 cores=0,2,4,6
/proc/20091/task/20102/stat : 20102 (java) R 20089 20089 19528 0 -1 4202560 1006 0 0 0 35 0 0 0 20 0 15 0 408771294 15514775552 28295 33554432000 4194304 4196468 140722068126720 139994669312224 139995122703851 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20103] ppid=20089 vsize=15151148 memory=8514726395715219869 CPUtime=0.28 cores=0,2,4,6
/proc/20091/task/20103/stat : 20103 (java) R 20089 20089 19528 0 -1 1077944384 1766 0 0 0 28 0 0 0 20 0 15 0 408771294 15514775552 28295 33554432000 4194304 4196468 140722068126720 139994668272368 139995138747010 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20104] ppid=20089 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20104/stat : 20104 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771294 15514775552 28295 33554432000 4194304 4196468 140722068126720 139994667220064 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20105] ppid=20089 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20105/stat : 20105 (java) S 20089 20089 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771295 15514775552 28295 33554432000 4194304 4196468 140722068126720 139994666166576 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 114628 KiB

[startup+1.50099 s]
/proc/loadavg: 7.87 7.27 4.60 6/210 20108
/proc/meminfo: memFree=22183316/32770624 swapFree=66939824/67108860
[pid=20089] ppid=20086 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20089/stat : 20089 (xcsp3-exec) S 20086 20089 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408771288 115843072 362 33554432000 4194304 5098028 140726049809152 140726049807256 140433065591420 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27725824 140726049813371 140726049813613 140726049813613 140726049816522 0
/proc/20089/statm: 28282 362 304 221 0 87 0

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

/proc/20091/task/20105/stat : 20105 (java) S 20089 20089 19528 0 -1 1077944384 413 0 0 0 0 2 0 0 20 0 19 0 408771295 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994666166576 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20237] ppid=20089 vsize=15420480 memory=2580 CPUtime=67.37 cores=0,2,4,6
/proc/20091/task/20237/stat : 20237 (java) R 20089 20089 19528 0 -1 4202560 405 0 0 0 6737 0 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994582621320 139994753324535 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20238] ppid=20089 vsize=15420480 memory=1760 CPUtime=66.68 cores=0,2,4,6
/proc/20091/task/20238/stat : 20238 (java) R 20089 20089 19528 0 -1 4202560 3633 0 0 0 6656 12 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994585772392 139994748221976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20239] ppid=20089 vsize=15420480 memory=111636 CPUtime=66.5 cores=0,2,4,6
/proc/20091/task/20239/stat : 20239 (java) R 20089 20089 19528 0 -1 4202560 8756 0 0 0 6610 40 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994588932200 139994752805305 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20240] ppid=20089 vsize=15420480 memory=808 CPUtime=67.03 cores=0,2,4,6
/proc/20091/task/20240/stat : 20240 (java) R 20089 20089 19528 0 -1 4202560 893 0 0 0 6703 0 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994587876528 139994747289436 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
Current children cumulated CPU time: 288.77 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 3464464 KiB

[startup+74.501 s]
/proc/loadavg: 8.50 7.61 4.91 9/237 20821
/proc/meminfo: memFree=16617940/32770624 swapFree=66939824/67108860
[pid=20089] ppid=20086 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20089/stat : 20089 (xcsp3-exec) S 20086 20089 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408771288 115843072 362 33554432000 4194304 5098028 140726049809152 140726049807256 140433065591420 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27725824 140726049813371 140726049813613 140726049813613 140726049816522 0
/proc/20089/statm: 28282 362 304 221 0 87 0
[pid=20091] ppid=20089 vsize=15420480 memory=3463016 CPUtime=291.96 cores=0,2,4,6
/proc/20091/stat : 20091 (java) S 20089 20089 19528 0 -1 1077944320 77558 0 0 0 29103 93 0 0 20 0 19 0 408771289 15790571520 865754 33554432000 4194304 4196468 140722068126720 140722068109264 139995138735863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
/proc/20091/statm: 3855120 865754 3526 1 0 3816222 0
[pid=20091/tid=20092] ppid=20089 vsize=15420480 memory=2008 CPUtime=2.66 cores=0,2,4,6
/proc/20091/task/20092/stat : 20092 (java) S 20089 20089 19528 0 -1 1077944384 10958 0 0 0 258 8 0 0 20 0 19 0 408771289 15790571520 865754 33554432000 4194304 4196468 140722068126720 139995142976640 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20093] ppid=20089 vsize=15420480 memory=1436 CPUtime=0.24 cores=0,2,4,6
/proc/20091/task/20093/stat : 20093 (java) S 20089 20089 19528 0 -1 1077944384 1175 0 0 0 18 6 0 0 20 0 19 0 408771290 15790571520 865754 33554432000 4194304 4196468 140722068126720 139995066776336 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20094] ppid=20089 vsize=15420480 memory=4164 CPUtime=0.19 cores=0,2,4,6
/proc/20091/task/20094/stat : 20094 (java) S 20089 20089 19528 0 -1 1077944384 391 0 0 0 14 5 0 0 20 0 19 0 408771290 15790571520 865754 33554432000 4194304 4196468 140722068126720 139995065723792 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20095] ppid=20089 vsize=15420480 memory=1448 CPUtime=0.22 cores=0,2,4,6
/proc/20091/task/20095/stat : 20095 (java) S 20089 20089 19528 0 -1 1077944384 1283 0 0 0 17 5 0 0 20 0 19 0 408771290 15790571520 865754 33554432000 4194304 4196468 140722068126720 139995064671248 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20096] ppid=20089 vsize=15420480 memory=3463016 CPUtime=0.2 cores=0,2,4,6
/proc/20091/task/20096/stat : 20096 (java) S 20089 20089 19528 0 -1 1077944384 805 0 0 0 15 5 0 0 20 0 19 0 408771290 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994727836816 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20097] ppid=20089 vsize=15420480 memory=3688 CPUtime=0.02 cores=0,2,4,6
/proc/20091/task/20097/stat : 20097 (java) S 20089 20089 19528 0 -1 1077944384 3035 0 0 0 2 0 0 0 20 0 19 0 408771291 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994674587632 139995138747010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20098] ppid=20089 vsize=15420480 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20098/stat : 20098 (java) S 20089 20089 19528 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 408771292 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994673533920 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20099] ppid=20089 vsize=15420480 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20099/stat : 20099 (java) S 20089 20089 19528 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 408771292 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994672481280 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20100] ppid=20089 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20100/stat : 20100 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994671429840 139995138754459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20101] ppid=20089 vsize=15420480 memory=1929 CPUtime=5.61 cores=0,2,4,6
/proc/20091/task/20101/stat : 20101 (java) S 20089 20089 19528 0 -1 1077944384 17308 0 0 0 560 1 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994670377456 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20102] ppid=20089 vsize=15420480 memory=0 CPUtime=5.56 cores=0,2,4,6
/proc/20091/task/20102/stat : 20102 (java) S 20089 20089 19528 0 -1 1077944384 15404 0 0 0 555 1 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994669324912 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20103] ppid=20089 vsize=15420480 memory=92 CPUtime=0.96 cores=0,2,4,6
/proc/20091/task/20103/stat : 20103 (java) S 20089 20089 19528 0 -1 1077944384 10669 0 0 0 94 2 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994668272368 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20104] ppid=20089 vsize=15420480 memory=544 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20104/stat : 20104 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994667220064 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20105] ppid=20089 vsize=15420480 memory=2 CPUtime=0.02 cores=0,2,4,6
/proc/20091/task/20105/stat : 20105 (java) S 20089 20089 19528 0 -1 1077944384 413 0 0 0 0 2 0 0 20 0 19 0 408771295 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994666166576 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20237] ppid=20089 vsize=15420480 memory=1906 CPUtime=68.17 cores=0,2,4,6
/proc/20091/task/20237/stat : 20237 (java) R 20089 20089 19528 0 -1 4202560 405 0 0 0 6817 0 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994582621320 139994748221345 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20238] ppid=20089 vsize=15420480 memory=4080 CPUtime=67.48 cores=0,2,4,6
/proc/20091/task/20238/stat : 20238 (java) R 20089 20089 19528 0 -1 4202560 3639 0 0 0 6736 12 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994585772392 139994749671324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20239] ppid=20089 vsize=15420480 memory=2896 CPUtime=67.3 cores=0,2,4,6
/proc/20091/task/20239/stat : 20239 (java) R 20089 20089 19528 0 -1 4202560 8796 0 0 0 6690 40 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994588932200 139994748221377 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20240] ppid=20089 vsize=15420480 memory=1448 CPUtime=67.81 cores=0,2,4,6
/proc/20091/task/20240/stat : 20240 (java) R 20089 20089 19528 0 -1 4202560 894 0 0 0 6781 0 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994587876528 139994747289381 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
Current children cumulated CPU time: 291.96 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 3464464 KiB

[startup+75.301 s]
/proc/loadavg: 8.62 7.65 4.94 6/237 20821
/proc/meminfo: memFree=16617444/32770624 swapFree=66939824/67108860
[pid=20089] ppid=20086 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20089/stat : 20089 (xcsp3-exec) S 20086 20089 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408771288 115843072 362 33554432000 4194304 5098028 140726049809152 140726049807256 140433065591420 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27725824 140726049813371 140726049813613 140726049813613 140726049816522 0
/proc/20089/statm: 28282 362 304 221 0 87 0
[pid=20091] ppid=20089 vsize=15420480 memory=3463016 CPUtime=293.1 cores=0,2,4,6
/proc/20091/stat : 20091 (java) S 20089 20089 19528 0 -1 1077944320 77597 0 0 0 29217 93 0 0 20 0 19 0 408771289 15790571520 865754 33554432000 4194304 4196468 140722068126720 140722068109264 139995138735863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
/proc/20091/statm: 3855120 865754 3526 1 0 3816222 0
[pid=20091/tid=20092] ppid=20089 vsize=15420480 memory=4164 CPUtime=2.66 cores=0,2,4,6
/proc/20091/task/20092/stat : 20092 (java) S 20089 20089 19528 0 -1 1077944384 10958 0 0 0 258 8 0 0 20 0 19 0 408771289 15790571520 865754 33554432000 4194304 4196468 140722068126720 139995142976640 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20093] ppid=20089 vsize=15420480 memory=1448 CPUtime=0.24 cores=0,2,4,6
/proc/20091/task/20093/stat : 20093 (java) S 20089 20089 19528 0 -1 1077944384 1175 0 0 0 18 6 0 0 20 0 19 0 408771290 15790571520 865754 33554432000 4194304 4196468 140722068126720 139995066776336 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20094] ppid=20089 vsize=15420480 memory=1448 CPUtime=0.19 cores=0,2,4,6
/proc/20091/task/20094/stat : 20094 (java) S 20089 20089 19528 0 -1 1077944384 391 0 0 0 14 5 0 0 20 0 19 0 408771290 15790571520 865754 33554432000 4194304 4196468 140722068126720 139995065723792 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20095] ppid=20089 vsize=15420480 memory=3463016 CPUtime=0.22 cores=0,2,4,6
/proc/20091/task/20095/stat : 20095 (java) S 20089 20089 19528 0 -1 1077944384 1283 0 0 0 17 5 0 0 20 0 19 0 408771290 15790571520 865754 33554432000 4194304 4196468 140722068126720 139995064671248 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20096] ppid=20089 vsize=15420480 memory=1412 CPUtime=0.2 cores=0,2,4,6
/proc/20091/task/20096/stat : 20096 (java) S 20089 20089 19528 0 -1 1077944384 805 0 0 0 15 5 0 0 20 0 19 0 408771290 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994727836816 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20097] ppid=20089 vsize=15420480 memory=2968 CPUtime=0.02 cores=0,2,4,6
/proc/20091/task/20097/stat : 20097 (java) S 20089 20089 19528 0 -1 1077944384 3035 0 0 0 2 0 0 0 20 0 19 0 408771291 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994674587632 139995138747010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20098] ppid=20089 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20098/stat : 20098 (java) S 20089 20089 19528 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 408771292 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994673533920 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20099] ppid=20089 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20099/stat : 20099 (java) S 20089 20089 19528 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 408771292 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994672481280 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20100] ppid=20089 vsize=15420480 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20100/stat : 20100 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994671429840 139995138754459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20101] ppid=20089 vsize=15420480 memory=38216 CPUtime=5.61 cores=0,2,4,6
/proc/20091/task/20101/stat : 20101 (java) S 20089 20089 19528 0 -1 1077944384 17308 0 0 0 560 1 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994670377456 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20102] ppid=20089 vsize=15420480 memory=988 CPUtime=5.56 cores=0,2,4,6
/proc/20091/task/20102/stat : 20102 (java) S 20089 20089 19528 0 -1 1077944384 15404 0 0 0 555 1 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994669324912 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20103] ppid=20089 vsize=15420480 memory=2008 CPUtime=0.96 cores=0,2,4,6
/proc/20091/task/20103/stat : 20103 (java) S 20089 20089 19528 0 -1 1077944384 10669 0 0 0 94 2 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994668272368 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20104] ppid=20089 vsize=15420480 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20104/stat : 20104 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994667220064 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20105] ppid=20089 vsize=15420480 memory=4164 CPUtime=0.02 cores=0,2,4,6
/proc/20091/task/20105/stat : 20105 (java) S 20089 20089 19528 0 -1 1077944384 413 0 0 0 0 2 0 0 20 0 19 0 408771295 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994666166576 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20237] ppid=20089 vsize=15420480 memory=1548 CPUtime=68.26 cores=0,2,4,6
/proc/20091/task/20237/stat : 20237 (java) S 20089 20089 19528 0 -1 1077944384 425 0 0 0 6826 0 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994582626176 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20238] ppid=20089 vsize=15420480 memory=1608 CPUtime=67.57 cores=0,2,4,6
/proc/20091/task/20238/stat : 20238 (java) S 20089 20089 19528 0 -1 1077944384 3650 0 0 0 6745 12 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994585777616 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20239] ppid=20089 vsize=15420480 memory=7980 CPUtime=67.47 cores=0,2,4,6
/proc/20091/task/20239/stat : 20239 (java) S 20089 20089 19528 0 -1 1077944384 8804 0 0 0 6707 40 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994588935760 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20240] ppid=20089 vsize=15420480 memory=9580 CPUtime=68.61 cores=0,2,4,6
/proc/20091/task/20240/stat : 20240 (java) R 20089 20089 19528 0 -1 4202560 894 0 0 0 6861 0 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994587876528 139994747289318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
Current children cumulated CPU time: 293.1 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 3464464 KiB

[startup+75.501 s]
/proc/loadavg: 8.62 7.65 4.94 6/237 20821
/proc/meminfo: memFree=16617444/32770624 swapFree=66939824/67108860
[pid=20089] ppid=20086 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20089/stat : 20089 (xcsp3-exec) S 20086 20089 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408771288 115843072 362 33554432000 4194304 5098028 140726049809152 140726049807256 140433065591420 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27725824 140726049813371 140726049813613 140726049813613 140726049816522 0
/proc/20089/statm: 28282 362 304 221 0 87 0
[pid=20091] ppid=20089 vsize=15420480 memory=3463016 CPUtime=293.3 cores=0,2,4,6
/proc/20091/stat : 20091 (java) S 20089 20089 19528 0 -1 1077944320 77597 0 0 0 29237 93 0 0 20 0 19 0 408771289 15790571520 865754 33554432000 4194304 4196468 140722068126720 140722068109264 139995138735863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
/proc/20091/statm: 3855120 865754 3526 1 0 3816222 0
[pid=20091/tid=20092] ppid=20089 vsize=15420480 memory=2832 CPUtime=2.66 cores=0,2,4,6
/proc/20091/task/20092/stat : 20092 (java) S 20089 20089 19528 0 -1 1077944384 10958 0 0 0 258 8 0 0 20 0 19 0 408771289 15790571520 865754 33554432000 4194304 4196468 140722068126720 139995142976640 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20093] ppid=20089 vsize=15420480 memory=668 CPUtime=0.24 cores=0,2,4,6
/proc/20091/task/20093/stat : 20093 (java) S 20089 20089 19528 0 -1 1077944384 1175 0 0 0 18 6 0 0 20 0 19 0 408771290 15790571520 865754 33554432000 4194304 4196468 140722068126720 139995066776336 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20094] ppid=20089 vsize=15420480 memory=1232 CPUtime=0.19 cores=0,2,4,6
/proc/20091/task/20094/stat : 20094 (java) S 20089 20089 19528 0 -1 1077944384 391 0 0 0 14 5 0 0 20 0 19 0 408771290 15790571520 865754 33554432000 4194304 4196468 140722068126720 139995065723792 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20095] ppid=20089 vsize=15420480 memory=1064 CPUtime=0.22 cores=0,2,4,6
/proc/20091/task/20095/stat : 20095 (java) S 20089 20089 19528 0 -1 1077944384 1283 0 0 0 17 5 0 0 20 0 19 0 408771290 15790571520 865754 33554432000 4194304 4196468 140722068126720 139995064671248 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20096] ppid=20089 vsize=15420480 memory=14008 CPUtime=0.2 cores=0,2,4,6
/proc/20091/task/20096/stat : 20096 (java) S 20089 20089 19528 0 -1 1077944384 805 0 0 0 15 5 0 0 20 0 19 0 408771290 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994727836816 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20097] ppid=20089 vsize=15420480 memory=21116 CPUtime=0.02 cores=0,2,4,6
/proc/20091/task/20097/stat : 20097 (java) S 20089 20089 19528 0 -1 1077944384 3035 0 0 0 2 0 0 0 20 0 19 0 408771291 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994674587632 139995138747010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20098] ppid=20089 vsize=15420480 memory=14056 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20098/stat : 20098 (java) S 20089 20089 19528 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 408771292 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994673533920 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20099] ppid=20089 vsize=15420480 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20099/stat : 20099 (java) S 20089 20089 19528 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 408771292 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994672481280 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20100] ppid=20089 vsize=15420480 memory=520 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20100/stat : 20100 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994671429840 139995138754459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20101] ppid=20089 vsize=15420480 memory=1560 CPUtime=5.61 cores=0,2,4,6
/proc/20091/task/20101/stat : 20101 (java) S 20089 20089 19528 0 -1 1077944384 17308 0 0 0 560 1 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994670377456 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20102] ppid=20089 vsize=15420480 memory=2832 CPUtime=5.56 cores=0,2,4,6
/proc/20091/task/20102/stat : 20102 (java) S 20089 20089 19528 0 -1 1077944384 15404 0 0 0 555 1 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994669324912 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20103] ppid=20089 vsize=15420480 memory=668 CPUtime=0.96 cores=0,2,4,6
/proc/20091/task/20103/stat : 20103 (java) S 20089 20089 19528 0 -1 1077944384 10669 0 0 0 94 2 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994668272368 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20104] ppid=20089 vsize=15420480 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/20091/task/20104/stat : 20104 (java) S 20089 20089 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771294 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994667220064 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20105] ppid=20089 vsize=15420480 memory=1064 CPUtime=0.02 cores=0,2,4,6
/proc/20091/task/20105/stat : 20105 (java) S 20089 20089 19528 0 -1 1077944384 413 0 0 0 0 2 0 0 20 0 19 0 408771295 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994666166576 139995138747010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20237] ppid=20089 vsize=15420480 memory=14008 CPUtime=68.26 cores=0,2,4,6
/proc/20091/task/20237/stat : 20237 (java) S 20089 20089 19528 0 -1 1077944384 425 0 0 0 6826 0 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994582626176 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20238] ppid=20089 vsize=15420480 memory=21116 CPUtime=67.57 cores=0,2,4,6
/proc/20091/task/20238/stat : 20238 (java) S 20089 20089 19528 0 -1 1077944384 3650 0 0 0 6745 12 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994585777616 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20239] ppid=20089 vsize=15420480 memory=14056 CPUtime=67.47 cores=0,2,4,6
/proc/20091/task/20239/stat : 20239 (java) S 20089 20089 19528 0 -1 1077944384 8804 0 0 0 6707 40 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994588935760 139995138746069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
[pid=20091/tid=20240] ppid=20089 vsize=15420480 memory=2116 CPUtime=68.81 cores=0,2,4,6
/proc/20091/task/20240/stat : 20240 (java) R 20089 20089 19528 0 -1 4202560 894 0 0 0 6881 0 0 0 20 0 19 0 408771843 15790571520 865754 33554432000 4194304 4196468 140722068126720 139994587876528 139994747289318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140722068128751 140722068128922 140722068128922 140722068131791 0
Current children cumulated CPU time: 293.3 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 3464464 KiB

Child status: 0
Real time (s): 75.5381
CPU time (s): 293.348
CPU user time (s): 292.394
CPU system time (s): 0.954284
CPU usage (%): 388.345
Max. virtual memory (cumulated for all children) (KiB): 15535560
Max. memory (cumulated for all children) (KiB): 3464464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 292.394
system time used= 0.954284
maximum resident set size= 3463060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78501
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5275
involuntary context switches= 4626


# summary of solver processes directly reported to runsolver:
#   pid: 20089
#   total CPU time (s): 293.348
#   total CPU user time (s): 292.394
#   total CPU system time (s): 0.954284

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.493689 second user time and 0.905895 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	75.1369
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4394108

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
