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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	OPT	4	15.152	4.90461
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 (14917 MiB free)
  memory of node 1: 16384 MiB (15692 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393244-1568313975/watcher-4393244-1568313975 -o /tmp/evaluation-result-4393244-1568313975/solver-4393244-1568313975 -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 1653123981 HOME/instance-4393244-1568313975.xml 

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

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

solver pid=9167, runsolver pid=9164

[startup+0.101401 s]*
/proc/loadavg: 8.00 7.76 6.27 6/233 9183
/proc/meminfo: memFree=31327896/32770624 swapFree=66979388/67108860
[pid=9167] ppid=9164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9167/stat : 9167 (xcsp3-exec) S 9164 9167 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407660224 115843072 363 33554432000 4194304 5098028 140733017950592 140733017948696 140293600916092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32595968 140733017953146 140733017953389 140733017953389 140733017956298 0
/proc/9167/statm: 28282 363 304 221 0 87 0
[pid=9169] ppid=9167 vsize=15144768 memory=29012 CPUtime=0.13 cores=1,3,5,7
/proc/9169/stat : 9169 (java) S 9167 9167 6753 0 -1 1077944320 5706 0 0 0 12 1 0 0 20 0 15 0 407660224 15508242432 7253 33554432000 4194304 4196468 140732052661488 140732052644032 139681240080119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
/proc/9169/statm: 3786192 7253 3150 1 0 3748377 0
[pid=9169/tid=9170] ppid=9167 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/9169/task/9170/stat : 9170 (java) R 9167 9167 6753 0 -1 4202560 3583 0 0 0 8 1 0 0 20 0 15 0 407660225 15508242432 7253 33554432000 4194304 4196468 140732052661488 139681244312296 139680876389829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9171] ppid=9167 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9171/stat : 9171 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660225 15508242432 7253 33554432000 4194304 4196468 140732052661488 139681196633104 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9172] ppid=9167 vsize=15144768 memory=139789020731008 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9172/stat : 9172 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660225 15508242432 7253 33554432000 4194304 4196468 140732052661488 139680831167632 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9173] ppid=9167 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9173/stat : 9173 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660225 15508242432 7253 33554432000 4194304 4196468 140732052661488 139680830114576 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9174] ppid=9167 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9174/stat : 9174 (java) S 9167 9167 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660225 15508242432 7253 33554432000 4194304 4196468 140732052661488 139680829062032 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9175] ppid=9167 vsize=15144768 memory=139789020731008 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9175/stat : 9175 (java) S 9167 9167 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660227 15508242432 7253 33554432000 4194304 4196468 140732052661488 139680113719536 139681240091266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9176] ppid=9167 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9176/stat : 9176 (java) S 9167 9167 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407660227 15508242432 7253 33554432000 4194304 4196468 140732052661488 139680112665760 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9177] ppid=9167 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9177/stat : 9177 (java) S 9167 9167 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407660227 15508242432 7253 33554432000 4194304 4196468 140732052661488 139680111612656 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9178] ppid=9167 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9178/stat : 9178 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660230 15508242432 7253 33554432000 4194304 4196468 140732052661488 139680110561232 139681240098715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9179] ppid=9167 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9179/stat : 9179 (java) R 9167 9167 6753 0 -1 4202560 334 0 0 0 0 0 0 0 20 0 15 0 407660230 15508242432 7253 33554432000 4194304 4196468 140732052661488 139680109509360 139681219269568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9180] ppid=9167 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9180/stat : 9180 (java) R 9167 9167 6753 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 407660230 15508242432 7253 33554432000 4194304 4196468 140732052661488 139680108456816 139681240091266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9181] ppid=9167 vsize=15144768 memory=139789020731008 CPUtime=0.02 cores=1,3,5,7
/proc/9169/task/9181/stat : 9181 (java) R 9167 9167 6753 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 407660230 15508242432 7253 33554432000 4194304 4196468 140732052661488 139680107403760 139681224160606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9182] ppid=9167 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9182/stat : 9182 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660230 15508242432 7253 33554432000 4194304 4196468 140732052661488 139680106351456 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9183] ppid=9167 vsize=15144768 memory=139789020731008 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9183/stat : 9183 (java) R 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660230 15508242432 7253 33554432000 4194304 4196468 140732052661488 139680105298480 139681240091266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30464 KiB

[startup+0.21062 s]*
/proc/loadavg: 8.00 7.76 6.27 6/233 9183
/proc/meminfo: memFree=31314268/32770624 swapFree=66979388/67108860
[pid=9167] ppid=9164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9167/stat : 9167 (xcsp3-exec) S 9164 9167 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407660224 115843072 363 33554432000 4194304 5098028 140733017950592 140733017948696 140293600916092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32595968 140733017953146 140733017953389 140733017953389 140733017956298 0
/proc/9167/statm: 28282 363 304 221 0 87 0
[pid=9169] ppid=9167 vsize=15144768 memory=40908 CPUtime=0.34 cores=1,3,5,7
/proc/9169/stat : 9169 (java) S 9167 9167 6753 0 -1 1077944320 9481 0 0 0 32 2 0 0 20 0 15 0 407660224 15508242432 10227 33554432000 4194304 4196468 140732052661488 140732052644032 139681240080119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
/proc/9169/statm: 3786192 10227 3289 1 0 3748377 0
[pid=9169/tid=9170] ppid=9167 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9169/task/9170/stat : 9170 (java) R 9167 9167 6753 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 15 0 407660225 15508242432 10227 33554432000 4194304 4196468 140732052661488 139681244315104 139681224160606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9171] ppid=9167 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9171/stat : 9171 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660225 15508242432 10227 33554432000 4194304 4196468 140732052661488 139681196633104 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9172] ppid=9167 vsize=15144768 memory=139789023876084 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9172/stat : 9172 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660225 15508242432 10227 33554432000 4194304 4196468 140732052661488 139680831167632 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9173] ppid=9167 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9173/stat : 9173 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660225 15508242432 10227 33554432000 4194304 4196468 140732052661488 139680830114576 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9174] ppid=9167 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9174/stat : 9174 (java) S 9167 9167 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660225 15508242432 10289 33554432000 4194304 4196468 140732052661488 139680829062032 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9175] ppid=9167 vsize=15144768 memory=139789020731008 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9175/stat : 9175 (java) S 9167 9167 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407660227 15508242432 10289 33554432000 4194304 4196468 140732052661488 139680113719536 139681240091266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9176] ppid=9167 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9176/stat : 9176 (java) S 9167 9167 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407660227 15508242432 10289 33554432000 4194304 4196468 140732052661488 139680112665760 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9177] ppid=9167 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9177/stat : 9177 (java) S 9167 9167 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407660227 15508242432 10289 33554432000 4194304 4196468 140732052661488 139680111612656 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9178] ppid=9167 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9178/stat : 9178 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660230 15508242432 10289 33554432000 4194304 4196468 140732052661488 139680110561232 139681240098715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9179] ppid=9167 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9169/task/9179/stat : 9179 (java) S 9167 9167 6753 0 -1 1077944384 441 0 0 0 3 0 0 0 20 0 15 0 407660230 15508242432 10289 33554432000 4194304 4196468 140732052661488 139680109509360 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9180] ppid=9167 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9169/task/9180/stat : 9180 (java) S 9167 9167 6753 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 15 0 407660230 15508242432 10289 33554432000 4194304 4196468 140732052661488 139680108456816 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9181] ppid=9167 vsize=15144768 memory=139789020731008 CPUtime=0.08 cores=1,3,5,7
/proc/9169/task/9181/stat : 9181 (java) S 9167 9167 6753 0 -1 1077944384 777 0 0 0 8 0 0 0 20 0 15 0 407660230 15508242432 10289 33554432000 4194304 4196468 140732052661488 139680107403760 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9182] ppid=9167 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9182/stat : 9182 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660230 15508242432 10289 33554432000 4194304 4196468 140732052661488 139680106351456 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9183] ppid=9167 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9183/stat : 9183 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660230 15508242432 10289 33554432000 4194304 4196468 140732052661488 139680105298480 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42360 KiB

[startup+0.311959 s]*
/proc/loadavg: 8.00 7.76 6.27 7/233 9183
/proc/meminfo: memFree=31306864/32770624 swapFree=66979388/67108860
[pid=9167] ppid=9164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9167/stat : 9167 (xcsp3-exec) S 9164 9167 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407660224 115843072 363 33554432000 4194304 5098028 140733017950592 140733017948696 140293600916092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32595968 140733017953146 140733017953389 140733017953389 140733017956298 0
/proc/9167/statm: 28282 363 304 221 0 87 0
[pid=9169] ppid=9167 vsize=15149024 memory=50360 CPUtime=0.53 cores=1,3,5,7
/proc/9169/stat : 9169 (java) S 9167 9167 6753 0 -1 1077944320 10927 0 0 0 50 3 0 0 20 0 15 0 407660224 15512600576 12590 33554432000 4194304 4196468 140732052661488 140732052644032 139681240080119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
/proc/9169/statm: 3787256 12590 3370 1 0 3748377 0
[pid=9169/tid=9170] ppid=9167 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/9169/task/9170/stat : 9170 (java) R 9167 9167 6753 0 -1 4202560 7857 0 0 0 28 2 0 0 20 0 15 0 407660225 15512600576 12590 33554432000 4194304 4196468 140732052661488 139681244311232 139681224160606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9171] ppid=9167 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9171/stat : 9171 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660225 15512600576 12590 33554432000 4194304 4196468 140732052661488 139681196633104 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9172] ppid=9167 vsize=15149024 memory=3005098 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9172/stat : 9172 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660225 15512600576 12590 33554432000 4194304 4196468 140732052661488 139680831167632 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9173] ppid=9167 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9173/stat : 9173 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660225 15512600576 12590 33554432000 4194304 4196468 140732052661488 139680830114576 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9174] ppid=9167 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9174/stat : 9174 (java) S 9167 9167 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660225 15512600576 12590 33554432000 4194304 4196468 140732052661488 139680829062032 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9175] ppid=9167 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9175/stat : 9175 (java) S 9167 9167 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407660227 15512600576 12590 33554432000 4194304 4196468 140732052661488 139680113719536 139681240091266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9176] ppid=9167 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9176/stat : 9176 (java) S 9167 9167 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407660227 15512600576 12590 33554432000 4194304 4196468 140732052661488 139680112665760 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9177] ppid=9167 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9177/stat : 9177 (java) S 9167 9167 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407660227 15512600576 12590 33554432000 4194304 4196468 140732052661488 139680111612656 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9178] ppid=9167 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9178/stat : 9178 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660230 15512600576 12590 33554432000 4194304 4196468 140732052661488 139680110561232 139681240098715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9179] ppid=9167 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9169/task/9179/stat : 9179 (java) S 9167 9167 6753 0 -1 1077944384 470 0 0 0 5 0 0 0 20 0 15 0 407660230 15512600576 12590 33554432000 4194304 4196468 140732052661488 139680109509360 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9180] ppid=9167 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9169/task/9180/stat : 9180 (java) S 9167 9167 6753 0 -1 1077944384 433 0 0 0 4 0 0 0 20 0 15 0 407660230 15512600576 12590 33554432000 4194304 4196468 140732052661488 139680108456816 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9181] ppid=9167 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9169/task/9181/stat : 9181 (java) S 9167 9167 6753 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 15 0 407660230 15512600576 12590 33554432000 4194304 4196468 140732052661488 139680107403760 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9182] ppid=9167 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9182/stat : 9182 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660230 15512600576 12590 33554432000 4194304 4196468 140732052661488 139680106351456 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9183] ppid=9167 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9183/stat : 9183 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660230 15512600576 12590 33554432000 4194304 4196468 140732052661488 139680105298480 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51812 KiB

[startup+0.700954 s]
/proc/loadavg: 8.00 7.76 6.27 11/233 9183
/proc/meminfo: memFree=31286440/32770624 swapFree=66979388/67108860
[pid=9167] ppid=9164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9167/stat : 9167 (xcsp3-exec) S 9164 9167 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407660224 115843072 363 33554432000 4194304 5098028 140733017950592 140733017948696 140293600916092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32595968 140733017953146 140733017953389 140733017953389 140733017956298 0
/proc/9167/statm: 28282 363 304 221 0 87 0
[pid=9169] ppid=9167 vsize=15151148 memory=110960 CPUtime=1.73 cores=1,3,5,7
/proc/9169/stat : 9169 (java) S 9167 9167 6753 0 -1 1077944320 14302 0 0 0 169 4 0 0 20 0 15 0 407660224 15514775552 27740 33554432000 4194304 4196468 140732052661488 140732052644032 139681240080119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
/proc/9169/statm: 3787787 27740 3440 1 0 3748889 0
[pid=9169/tid=9170] ppid=9167 vsize=15151148 memory=1787310376193 CPUtime=0.68 cores=1,3,5,7
/proc/9169/task/9170/stat : 9170 (java) R 9167 9167 6753 0 -1 4202560 8368 0 0 0 65 3 0 0 20 0 15 0 407660225 15514775552 27740 33554432000 4194304 4196468 140732052661488 139681244314336 139680876200349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9171] ppid=9167 vsize=15151148 memory=512 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9171/stat : 9171 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660225 15514775552 27740 33554432000 4194304 4196468 140732052661488 139681196633104 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9172] ppid=9167 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9172/stat : 9172 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660225 15514775552 27740 33554432000 4194304 4196468 140732052661488 139680831167632 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9173] ppid=9167 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9173/stat : 9173 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660225 15514775552 27740 33554432000 4194304 4196468 140732052661488 139680830114576 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9174] ppid=9167 vsize=15151148 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9174/stat : 9174 (java) S 9167 9167 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660225 15514775552 27740 33554432000 4194304 4196468 140732052661488 139680829062032 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9175] ppid=9167 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9175/stat : 9175 (java) S 9167 9167 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407660227 15514775552 27740 33554432000 4194304 4196468 140732052661488 139680113719536 139681240091266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9176] ppid=9167 vsize=15151148 memory=920 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9176/stat : 9176 (java) S 9167 9167 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407660227 15514775552 27740 33554432000 4194304 4196468 140732052661488 139680112665760 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9177] ppid=9167 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9177/stat : 9177 (java) S 9167 9167 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407660227 15514775552 27740 33554432000 4194304 4196468 140732052661488 139680111612656 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9178] ppid=9167 vsize=15151148 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9178/stat : 9178 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660230 15514775552 27740 33554432000 4194304 4196468 140732052661488 139680110561232 139681240098715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9179] ppid=9167 vsize=15151148 memory=1764 CPUtime=0.36 cores=1,3,5,7
/proc/9169/task/9179/stat : 9179 (java) R 9167 9167 6753 0 -1 4202560 1404 0 0 0 36 0 0 0 20 0 15 0 407660230 15514775552 27740 33554432000 4194304 4196468 140732052661488 139680109509360 139681221602898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9180] ppid=9167 vsize=15151148 memory=111632 CPUtime=0.35 cores=1,3,5,7
/proc/9169/task/9180/stat : 9180 (java) R 9167 9167 6753 0 -1 4202560 1509 0 0 0 35 0 0 0 20 0 15 0 407660230 15514775552 27740 33554432000 4194304 4196468 140732052661488 139680108442696 139681221624839 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9181] ppid=9167 vsize=15151148 memory=804 CPUtime=0.31 cores=1,3,5,7
/proc/9169/task/9181/stat : 9181 (java) S 9167 9167 6753 0 -1 1077944384 1716 0 0 0 31 0 0 0 20 0 15 0 407660230 15514775552 27740 33554432000 4194304 4196468 140732052661488 139680107403760 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9182] ppid=9167 vsize=15151148 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9182/stat : 9182 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660230 15514775552 27740 33554432000 4194304 4196468 140732052661488 139680106351456 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9183] ppid=9167 vsize=15151148 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9183/stat : 9183 (java) S 9167 9167 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660230 15514775552 27740 33554432000 4194304 4196468 140732052661488 139680105298480 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 112412 KiB

[startup+1.50096 s]
/proc/loadavg: 8.00 7.76 6.27 8/233 9183
/proc/meminfo: memFree=31199488/32770624 swapFree=66979388/67108860
[pid=9167] ppid=9164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9167/stat : 9167 (xcsp3-exec) S 9164 9167 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407660224 115843072 363 33554432000 4194304 5098028 140733017950592 140733017948696 140293600916092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32595968 140733017953146 140733017953389 140733017953389 140733017956298 0
/proc/9167/statm: 28282 363 304 221 0 87 0

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


[startup+3.20496 s]
/proc/loadavg: 8.08 7.78 6.28 11/237 9195
/proc/meminfo: memFree=30959948/32770624 swapFree=66979388/67108860
[pid=9167] ppid=9164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9167/stat : 9167 (xcsp3-exec) S 9164 9167 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407660224 115843072 363 33554432000 4194304 5098028 140733017950592 140733017948696 140293600916092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32595968 140733017953146 140733017953389 140733017953389 140733017956298 0
/proc/9167/statm: 28282 363 304 221 0 87 0
[pid=9169] ppid=9167 vsize=15420480 memory=400836 CPUtime=9.66 cores=1,3,5,7
/proc/9169/stat : 9169 (java) S 9167 9167 6753 0 -1 1077944320 32221 0 0 0 949 17 0 0 20 0 19 0 407660224 15790571520 100209 33554432000 4194304 4196468 140732052661488 140732052644032 139681240080119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
/proc/9169/statm: 3855120 100209 3530 1 0 3816222 0
[pid=9169/tid=9170] ppid=9167 vsize=15420480 memory=780 CPUtime=2.71 cores=1,3,5,7
/proc/9169/task/9170/stat : 9170 (java) S 9167 9167 6753 0 -1 1077944384 10843 0 0 0 265 6 0 0 20 0 19 0 407660225 15790571520 100209 33554432000 4194304 4196468 140732052661488 139681244320896 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9171] ppid=9167 vsize=15420480 memory=3360 CPUtime=0.05 cores=1,3,5,7
/proc/9169/task/9171/stat : 9171 (java) S 9167 9167 6753 0 -1 1077944384 165 0 0 0 4 1 0 0 20 0 19 0 407660225 15790571520 100209 33554432000 4194304 4196468 140732052661488 139681196633104 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9172] ppid=9167 vsize=15420480 memory=1692 CPUtime=0.05 cores=1,3,5,7
/proc/9169/task/9172/stat : 9172 (java) S 9167 9167 6753 0 -1 1077944384 585 0 0 0 4 1 0 0 20 0 19 0 407660225 15790571520 100209 33554432000 4194304 4196468 140732052661488 139680831167632 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9173] ppid=9167 vsize=15420480 memory=1028 CPUtime=0.08 cores=1,3,5,7
/proc/9169/task/9173/stat : 9173 (java) S 9167 9167 6753 0 -1 1077944384 275 0 0 0 7 1 0 0 20 0 19 0 407660225 15790571520 100209 33554432000 4194304 4196468 140732052661488 139680830114576 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9174] ppid=9167 vsize=15420480 memory=1060 CPUtime=0.04 cores=1,3,5,7
/proc/9169/task/9174/stat : 9174 (java) S 9167 9167 6753 0 -1 1077944384 161 0 0 0 3 1 0 0 20 0 19 0 407660225 15790571520 100209 33554432000 4194304 4196468 140732052661488 139680829062032 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9175] ppid=9167 vsize=15420480 memory=2828 CPUtime=0.01 cores=1,3,5,7
/proc/9169/task/9175/stat : 9175 (java) S 9167 9167 6753 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 19 0 407660227 15790571520 100209 33554432000 4194304 4196468 140732052661488 139680113719536 139681240091266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9176] ppid=9167 vsize=15420480 memory=756 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9176/stat : 9176 (java) S 9167 9167 6753 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 407660227 15790571520 100209 33554432000 4194304 4196468 140732052661488 139680112665824 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9177] ppid=9167 vsize=15420480 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9177/stat : 9177 (java) S 9167 9167 6753 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 407660227 15790571520 100209 33554432000 4194304 4196468 140732052661488 139680111612672 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9178] ppid=9167 vsize=15420480 memory=7968 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9178/stat : 9178 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660230 15790571520 100209 33554432000 4194304 4196468 140732052661488 139680110561232 139681240098715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9179] ppid=9167 vsize=15420480 memory=1164 CPUtime=2.6 cores=1,3,5,7
/proc/9169/task/9179/stat : 9179 (java) R 9167 9167 6753 0 -1 4202560 5863 0 0 0 260 0 0 0 20 0 19 0 407660230 15790571520 100209 33554432000 4194304 4196468 140732052661488 139680109495904 139681219916471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9180] ppid=9167 vsize=15420480 memory=250 CPUtime=2.55 cores=1,3,5,7
/proc/9169/task/9180/stat : 9180 (java) R 9167 9167 6753 0 -1 1077944384 6835 0 0 0 254 1 0 0 20 0 19 0 407660230 15790571520 100209 33554432000 4194304 4196468 140732052661488 139680108446736 139681240090325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9181] ppid=9167 vsize=15420480 memory=2 CPUtime=0.72 cores=1,3,5,7
/proc/9169/task/9181/stat : 9181 (java) R 9167 9167 6753 0 -1 4202560 5275 0 0 0 71 1 0 0 20 0 19 0 407660230 15790571520 100209 33554432000 4194304 4196468 140732052661488 139680107400696 139681218230861 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9182] ppid=9167 vsize=15420480 memory=2 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9182/stat : 9182 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660230 15790571520 100209 33554432000 4194304 4196468 140732052661488 139680106351456 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9183] ppid=9167 vsize=15420480 memory=6 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9183/stat : 9183 (java) S 9167 9167 6753 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 407660230 15790571520 100209 33554432000 4194304 4196468 140732052661488 139680105298480 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
Current children cumulated CPU time: 9.66 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 402288 KiB

[startup+4.00096 s]*
/proc/loadavg: 8.08 7.78 6.28 12/237 9211
/proc/meminfo: memFree=30960180/32770624 swapFree=66979388/67108860
[pid=9167] ppid=9164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9167/stat : 9167 (xcsp3-exec) S 9164 9167 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407660224 115843072 363 33554432000 4194304 5098028 140733017950592 140733017948696 140293600916092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32595968 140733017953146 140733017953389 140733017953389 140733017956298 0
/proc/9167/statm: 28282 363 304 221 0 87 0
[pid=9169] ppid=9167 vsize=15420480 memory=402076 CPUtime=12.87 cores=1,3,5,7
/proc/9169/stat : 9169 (java) S 9167 9167 6753 0 -1 1077944320 32711 0 0 0 1269 18 0 0 20 0 19 0 407660224 15790571520 100519 33554432000 4194304 4196468 140732052661488 140732052644032 139681240080119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
/proc/9169/statm: 3855120 100519 3534 1 0 3816222 0
[pid=9169/tid=9170] ppid=9167 vsize=15420480 memory=8317482817917895235 CPUtime=2.72 cores=1,3,5,7
/proc/9169/task/9170/stat : 9170 (java) S 9167 9167 6753 0 -1 1077944384 10843 0 0 0 266 6 0 0 20 0 19 0 407660225 15790571520 100519 33554432000 4194304 4196468 140732052661488 139681244320896 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9171] ppid=9167 vsize=15420480 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9169/task/9171/stat : 9171 (java) S 9167 9167 6753 0 -1 1077944384 165 0 0 0 4 1 0 0 20 0 19 0 407660225 15790571520 100519 33554432000 4194304 4196468 140732052661488 139681196633104 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9172] ppid=9167 vsize=15420480 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9169/task/9172/stat : 9172 (java) S 9167 9167 6753 0 -1 1077944384 585 0 0 0 4 1 0 0 20 0 19 0 407660225 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680831167632 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9173] ppid=9167 vsize=15420480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9169/task/9173/stat : 9173 (java) S 9167 9167 6753 0 -1 1077944384 275 0 0 0 7 1 0 0 20 0 19 0 407660225 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680830114576 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9174] ppid=9167 vsize=15420480 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9169/task/9174/stat : 9174 (java) S 9167 9167 6753 0 -1 1077944384 161 0 0 0 3 1 0 0 20 0 19 0 407660225 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680829062032 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9175] ppid=9167 vsize=15420480 memory=139788904829920 CPUtime=0.01 cores=1,3,5,7
/proc/9169/task/9175/stat : 9175 (java) S 9167 9167 6753 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 19 0 407660227 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680113719536 139681240091266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9176] ppid=9167 vsize=15420480 memory=93306879 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9176/stat : 9176 (java) S 9167 9167 6753 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 407660227 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680112665824 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9177] ppid=9167 vsize=15420480 memory=177 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9177/stat : 9177 (java) S 9167 9167 6753 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 407660227 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680111612672 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9178] ppid=9167 vsize=15420480 memory=293 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9178/stat : 9178 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660230 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680110561232 139681240098715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9179] ppid=9167 vsize=15420480 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/9169/task/9179/stat : 9179 (java) R 9167 9167 6753 0 -1 4202560 5926 0 0 0 306 1 0 0 20 0 19 0 407660230 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680109495456 139681224960352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9180] ppid=9167 vsize=15420480 memory=139788904597487 CPUtime=3 cores=1,3,5,7
/proc/9169/task/9180/stat : 9180 (java) R 9167 9167 6753 0 -1 4202560 6922 0 0 0 299 1 0 0 20 0 19 0 407660230 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680108449304 139681221599804 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9181] ppid=9167 vsize=15420480 memory=8098024594209939650 CPUtime=0.8 cores=1,3,5,7
/proc/9169/task/9181/stat : 9181 (java) S 9167 9167 6753 0 -1 1077944384 5398 0 0 0 79 1 0 0 20 0 19 0 407660230 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680107403760 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9182] ppid=9167 vsize=15420480 memory=4207609243431883529 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9182/stat : 9182 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660230 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680106351456 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9183] ppid=9167 vsize=15420480 memory=3184237709096699568 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9183/stat : 9183 (java) S 9167 9167 6753 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 407660230 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680105298480 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9208] ppid=9167 vsize=15420480 memory=3472328296227418159 CPUtime=0.6 cores=1,3,5,7
/proc/9169/task/9208/stat : 9208 (java) R 9167 9167 6753 0 -1 4202560 19 0 0 0 60 0 0 0 20 0 19 0 407660554 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680095272136 139680884237149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9209] ppid=9167 vsize=15420480 memory=3256252466276073452 CPUtime=0.51 cores=1,3,5,7
/proc/9169/task/9209/stat : 9209 (java) R 9167 9167 6753 0 -1 4202560 19 0 0 0 51 0 0 0 20 0 19 0 407660554 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680092114440 139680884090329 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9210] ppid=9167 vsize=15420480 memory=3833724587140987185 CPUtime=0.46 cores=1,3,5,7
/proc/9169/task/9210/stat : 9210 (java) R 9167 9167 6753 0 -1 4202560 17 0 0 0 46 0 0 0 20 0 19 0 407660554 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680096326056 139680884233701 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9211] ppid=9167 vsize=15420480 memory=-6871182801640143709 CPUtime=0.41 cores=1,3,5,7
/proc/9169/task/9211/stat : 9211 (java) R 9167 9167 6753 0 -1 4202560 24 0 0 0 41 0 0 0 20 0 19 0 407660554 15790571520 100519 33554432000 4194304 4196468 140732052661488 139680094220200 139680885271908 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
Current children cumulated CPU time: 12.87 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 403528 KiB

[startup+4.40996 s]
/proc/loadavg: 8.08 7.78 6.28 12/237 9211
/proc/meminfo: memFree=30960180/32770624 swapFree=66979388/67108860
[pid=9167] ppid=9164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9167/stat : 9167 (xcsp3-exec) S 9164 9167 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407660224 115843072 363 33554432000 4194304 5098028 140733017950592 140733017948696 140293600916092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32595968 140733017953146 140733017953389 140733017953389 140733017956298 0
/proc/9167/statm: 28282 363 304 221 0 87 0
[pid=9169] ppid=9167 vsize=15420480 memory=402188 CPUtime=14.41 cores=1,3,5,7
/proc/9169/stat : 9169 (java) S 9167 9167 6753 0 -1 1077944320 32762 0 0 0 1423 18 0 0 20 0 19 0 407660224 15790571520 100547 33554432000 4194304 4196468 140732052661488 140732052644032 139681240080119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
/proc/9169/statm: 3855120 100547 3535 1 0 3816222 0
[pid=9169/tid=9170] ppid=9167 vsize=15420480 memory=0 CPUtime=2.72 cores=1,3,5,7
/proc/9169/task/9170/stat : 9170 (java) S 9167 9167 6753 0 -1 1077944384 10843 0 0 0 266 6 0 0 20 0 19 0 407660225 15790571520 100547 33554432000 4194304 4196468 140732052661488 139681244320896 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9171] ppid=9167 vsize=15420480 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9169/task/9171/stat : 9171 (java) S 9167 9167 6753 0 -1 1077944384 165 0 0 0 4 1 0 0 20 0 19 0 407660225 15790571520 100547 33554432000 4194304 4196468 140732052661488 139681196633104 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9172] ppid=9167 vsize=15420480 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9169/task/9172/stat : 9172 (java) S 9167 9167 6753 0 -1 1077944384 585 0 0 0 4 1 0 0 20 0 19 0 407660225 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680831167632 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9173] ppid=9167 vsize=15420480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9169/task/9173/stat : 9173 (java) S 9167 9167 6753 0 -1 1077944384 275 0 0 0 7 1 0 0 20 0 19 0 407660225 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680830114576 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9174] ppid=9167 vsize=15420480 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9169/task/9174/stat : 9174 (java) S 9167 9167 6753 0 -1 1077944384 161 0 0 0 3 1 0 0 20 0 19 0 407660225 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680829062032 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9175] ppid=9167 vsize=15420480 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9169/task/9175/stat : 9175 (java) S 9167 9167 6753 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 19 0 407660227 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680113719536 139681240091266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9176] ppid=9167 vsize=15420480 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9176/stat : 9176 (java) S 9167 9167 6753 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 407660227 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680112665824 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9177] ppid=9167 vsize=15420480 memory=288289965420426959 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9177/stat : 9177 (java) S 9167 9167 6753 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 407660227 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680111612672 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9178] ppid=9167 vsize=15420480 memory=-5921431000321636112 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9178/stat : 9178 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660230 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680110561232 139681240098715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9179] ppid=9167 vsize=15420480 memory=279577809125616 CPUtime=3.26 cores=1,3,5,7
/proc/9169/task/9179/stat : 9179 (java) R 9167 9167 6753 0 -1 4202560 5945 0 0 0 325 1 0 0 20 0 19 0 407660230 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680109509656 139681225199706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9180] ppid=9167 vsize=15420480 memory=7157737595251746410 CPUtime=3.12 cores=1,3,5,7
/proc/9169/task/9180/stat : 9180 (java) S 9167 9167 6753 0 -1 1077944384 6939 0 0 0 311 1 0 0 20 0 19 0 407660230 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680108456816 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9181] ppid=9167 vsize=15420480 memory=7518310248655972688 CPUtime=0.8 cores=1,3,5,7
/proc/9169/task/9181/stat : 9181 (java) R 9167 9167 6753 0 -1 1077944384 5412 0 0 0 79 1 0 0 20 0 19 0 407660230 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680107403760 139681240091266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9182] ppid=9167 vsize=15420480 memory=4639939496134862184 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9182/stat : 9182 (java) S 9167 9167 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660230 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680106351456 139681240090325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9183] ppid=9167 vsize=15420480 memory=5868285440897423532 CPUtime=0 cores=1,3,5,7
/proc/9169/task/9183/stat : 9183 (java) S 9167 9167 6753 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 407660230 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680105298480 139681240091266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9208] ppid=9167 vsize=15420480 memory=0 CPUtime=0.99 cores=1,3,5,7
/proc/9169/task/9208/stat : 9208 (java) R 9167 9167 6753 0 -1 4202560 19 0 0 0 99 0 0 0 20 0 19 0 407660554 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680095272584 139680884187304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9209] ppid=9167 vsize=15420480 memory=279577809815024 CPUtime=0.74 cores=1,3,5,7
/proc/9169/task/9209/stat : 9209 (java) R 9167 9167 6753 0 -1 4202560 19 0 0 0 74 0 0 0 20 0 19 0 407660554 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680092114376 139680884089547 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9210] ppid=9167 vsize=15420480 memory=8244797069091956839 CPUtime=0.76 cores=1,3,5,7
/proc/9169/task/9210/stat : 9210 (java) R 9167 9167 6753 0 -1 4202560 17 0 0 0 76 0 0 0 20 0 19 0 407660554 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680096326056 139680884233677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
[pid=9169/tid=9211] ppid=9167 vsize=15420480 memory=7667779049227774288 CPUtime=0.72 cores=1,3,5,7
/proc/9169/task/9211/stat : 9211 (java) R 9167 9167 6753 0 -1 4202560 24 0 0 0 72 0 0 0 20 0 19 0 407660554 15790571520 100547 33554432000 4194304 4196468 140732052661488 139680094222168 139680885522439 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19947520 140732052669423 140732052669594 140732052669594 140732052672463 0
Current children cumulated CPU time: 14.41 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 403640 KiB

[startup+4.80073 s]
/proc/loadavg: 8.08 7.78 6.28 12/237 9211
/proc/meminfo: memFree=30960180/32770624 swapFree=66979388/67108860
[pid=9167] ppid=9164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9167/stat : 9167 (xcsp3-exec) S 9164 9167 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407660224 115843072 363 33554432000 4194304 5098028 140733017950592 140733017948696 140293600916092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32595968 140733017953146 140733017953389 140733017953389 140733017956298 0
/proc/9167/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

[startup+4.90039 s]
/proc/loadavg: 8.08 7.78 6.28 12/237 9211
/proc/meminfo: memFree=30960180/32770624 swapFree=66979388/67108860
[pid=9167] ppid=9164 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9167/stat : 9167 (xcsp3-exec) S 9164 9167 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407660224 115843072 363 33554432000 4194304 5098028 140733017950592 140733017948696 140293600916092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32595968 140733017953146 140733017953389 140733017953389 140733017956298 0
/proc/9167/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 4.90461
CPU time (s): 15.152
CPU user time (s): 14.9555
CPU system time (s): 0.196422
CPU usage (%): 308.933
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 403756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.9555
system time used= 0.196422
maximum resident set size= 403300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2740
involuntary context switches= 609


# summary of solver processes directly reported to runsolver:
#   pid: 9167
#   total CPU time (s): 15.152
#   total CPU user time (s): 14.9555
#   total CPU system time (s): 0.196422

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051257 second user time and 0.091492 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05c.xml
MD5SUM	4c5949db6bfbca6a63c3d4670a37bb2f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	1.94048
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9803
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	28
Maximum variable degree	67
Distribution of variable degrees	[{"degree":28,"count":1},{"degree":29,"count":1},{"degree":31,"count":2},{"degree":32,"count":7},{"degree":33,"count":5},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":18},{"degree":37,"count":10},{"degree":38,"count":21},{"degree":39,"count":27},{"degree":40,"count":25},{"degree":41,"count":33},{"degree":42,"count":22},{"degree":43,"count":23},{"degree":44,"count":27},{"degree":45,"count":26},{"degree":46,"count":37},{"degree":47,"count":26},{"degree":48,"count":25},{"degree":49,"count":23},{"degree":50,"count":17},{"degree":51,"count":11},{"degree":52,"count":13},{"degree":53,"count":9},{"degree":54,"count":8},{"degree":55,"count":4},{"degree":56,"count":1},{"degree":57,"count":4},{"degree":58,"count":5},{"degree":60,"count":5},{"degree":61,"count":4},{"degree":63,"count":1},{"degree":66,"count":2},{"degree":67,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9803}]
Number of extensional constraints	0
Number of intensional constraints	9803
Distribution of constraint types	[{"type":"intension","count":9803}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4393244

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
