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-09-24 parallel	OPT	4	20.4157	4.63186
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 (14033 MiB free)
  memory of node 1: 16384 MiB (10973 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407304-1569346624/watcher-4407304-1569346624 -o /var/tmp/evaluation-result-4407304-1569346624/solver-4407304-1569346624 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1438596231 HOME/instance-4407304-1569346624.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13153, runsolver pid=13150
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 7.31 8.03 8.12 2/211 13174
/proc/meminfo: memFree=25589256/32770624 swapFree=66997516/67108860
[pid=13153] ppid=13150 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13153/stat : 13153 (xcsp3-exec) S 13150 13153 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510600702 115843072 363 33554432000 4194304 5098028 140735811956672 140735811954776 139678963638908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140735811961687 140735811961946 140735811961946 140735811964870 0
/proc/13153/statm: 28282 363 304 221 0 87 0
[pid=13155] ppid=13153 vsize=28227396 memory=30692 CPUtime=0.12 cores=0-7
/proc/13155/stat : 13155 (java) S 13153 13153 9260 0 -1 1077944320 5650 0 0 0 11 1 0 0 20 0 20 0 510600702 28904853504 7673 33554432000 4194304 4196468 140722236453680 140722236436224 140520455474935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
/proc/13155/statm: 7056849 7673 3097 1 0 7019032 0
[pid=13155/tid=13156] ppid=13153 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13155/task/13156/stat : 13156 (java) R 13153 13153 9260 0 -1 4202560 3549 0 0 0 8 1 0 0 20 0 20 0 510600702 28904853504 7673 33554432000 4194304 4196468 140722236453680 140520459709216 140520455486870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13157] ppid=13153 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13155/task/13157/stat : 13157 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 7673 33554432000 4194304 4196468 140722236453680 140520408095504 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13158] ppid=13153 vsize=28227396 memory=140350183089792 CPUtime=0 cores=0-7
/proc/13155/task/13158/stat : 13158 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 7673 33554432000 4194304 4196468 140722236453680 140520407042960 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13159] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13159/stat : 13159 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 7673 33554432000 4194304 4196468 140722236453680 140520405990416 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13160] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13160/stat : 13160 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 7673 33554432000 4194304 4196468 140722236453680 140520404937872 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13161] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13161/stat : 13161 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 7673 33554432000 4194304 4196468 140722236453680 140520403884304 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13162] ppid=13153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13155/task/13162/stat : 13162 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 7673 33554432000 4194304 4196468 140722236453680 140520402831760 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13163] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13163/stat : 13163 (java) S 13153 13153 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 7673 33554432000 4194304 4196468 140722236453680 140520401779216 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13164] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13164/stat : 13164 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 7673 33554432000 4194304 4196468 140722236453680 140520400726672 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13165] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13165/stat : 13165 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600704 28904853504 7673 33554432000 4194304 4196468 140722236453680 140519638239728 140520455486082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13166] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13166/stat : 13166 (java) S 13153 13153 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510600705 28904853504 7673 33554432000 4194304 4196468 140722236453680 140519637185952 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13167] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13167/stat : 13167 (java) S 13153 13153 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510600705 28904853504 7673 33554432000 4194304 4196468 140722236453680 140519636133360 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13168] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13168/stat : 13168 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600707 28904853504 7673 33554432000 4194304 4196468 140722236453680 140519635081936 140520455493531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13169] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13169/stat : 13169 (java) S 13153 13153 9260 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 510600707 28904853504 7673 33554432000 4194304 4196468 140722236453680 140519634028528 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13170] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13170/stat : 13170 (java) R 13153 13153 9260 0 -1 4202560 126 0 0 0 0 0 0 0 20 0 20 0 510600708 28904853504 7673 33554432000 4194304 4196468 140722236453680 140519632967632 140520434623624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13171] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13171/stat : 13171 (java) S 13153 13153 9260 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 20 0 510600708 28904853504 7673 33554432000 4194304 4196468 140722236453680 140519631923440 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13172] ppid=13153 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/13155/task/13172/stat : 13172 (java) R 13153 13153 9260 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 510600708 28904853504 7673 33554432000 4194304 4196468 140722236453680 140519630870896 140520455486870 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13173] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13173/stat : 13173 (java) S 13153 13153 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600708 28904853504 7673 33554432000 4194304 4196468 140722236453680 140519629818592 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13174] ppid=13153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13155/task/13174/stat : 13174 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600708 28904853504 7673 33554432000 4194304 4196468 140722236453680 140519628766128 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 32144 KiB

[startup+0.210569 s]*
/proc/loadavg: 7.31 8.03 8.12 3/211 13174
/proc/meminfo: memFree=25576044/32770624 swapFree=66997516/67108860
[pid=13153] ppid=13150 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13153/stat : 13153 (xcsp3-exec) S 13150 13153 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510600702 115843072 363 33554432000 4194304 5098028 140735811956672 140735811954776 139678963638908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140735811961687 140735811961946 140735811961946 140735811964870 0
/proc/13153/statm: 28282 363 304 221 0 87 0
[pid=13155] ppid=13153 vsize=28227396 memory=42604 CPUtime=0.33 cores=0-7
/proc/13155/stat : 13155 (java) S 13153 13153 9260 0 -1 1077944320 9478 0 0 0 30 3 0 0 20 0 20 0 510600702 28904853504 10651 33554432000 4194304 4196468 140722236453680 140722236436224 140520455474935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
/proc/13155/statm: 7056849 10651 3267 1 0 7019032 0
[pid=13155/tid=13156] ppid=13153 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13155/task/13156/stat : 13156 (java) R 13153 13153 9260 0 -1 4202560 6578 0 0 0 17 2 0 0 20 0 20 0 510600702 28904853504 10651 33554432000 4194304 4196468 140722236453680 140520459711984 140520439555422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13157] ppid=13153 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/13155/task/13157/stat : 13157 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 10651 33554432000 4194304 4196468 140722236453680 140520408095504 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13158] ppid=13153 vsize=28227396 memory=4049498950046230176 CPUtime=0 cores=0-7
/proc/13155/task/13158/stat : 13158 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 10717 33554432000 4194304 4196468 140722236453680 140520407042960 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13159] ppid=13153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13155/task/13159/stat : 13159 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 10717 33554432000 4194304 4196468 140722236453680 140520405990416 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13160] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13160/stat : 13160 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 10717 33554432000 4194304 4196468 140722236453680 140520404937872 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13161] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13161/stat : 13161 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 10717 33554432000 4194304 4196468 140722236453680 140520403884304 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13162] ppid=13153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13155/task/13162/stat : 13162 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 10717 33554432000 4194304 4196468 140722236453680 140520402831760 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13163] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13163/stat : 13163 (java) S 13153 13153 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 10717 33554432000 4194304 4196468 140722236453680 140520401779216 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13164] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13164/stat : 13164 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600703 28904853504 10717 33554432000 4194304 4196468 140722236453680 140520400726672 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13165] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13165/stat : 13165 (java) S 13153 13153 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510600704 28904853504 10717 33554432000 4194304 4196468 140722236453680 140519638239728 140520455486082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13166] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13166/stat : 13166 (java) S 13153 13153 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510600705 28904853504 10717 33554432000 4194304 4196468 140722236453680 140519637185952 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13167] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13167/stat : 13167 (java) S 13153 13153 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510600705 28904853504 10717 33554432000 4194304 4196468 140722236453680 140519636133360 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13168] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13168/stat : 13168 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600707 28904853504 10717 33554432000 4194304 4196468 140722236453680 140519635081936 140520455493531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13169] ppid=13153 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13155/task/13169/stat : 13169 (java) S 13153 13153 9260 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 20 0 510600707 28904853504 10717 33554432000 4194304 4196468 140722236453680 140519634028528 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13170] ppid=13153 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13155/task/13170/stat : 13170 (java) S 13153 13153 9260 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 20 0 510600708 28904853504 10717 33554432000 4194304 4196468 140722236453680 140519632975984 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13171] ppid=13153 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/13155/task/13171/stat : 13171 (java) S 13153 13153 9260 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 20 0 510600708 28904853504 10717 33554432000 4194304 4196468 140722236453680 140519631923440 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13172] ppid=13153 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/13155/task/13172/stat : 13172 (java) S 13153 13153 9260 0 -1 1077944384 726 0 0 0 8 0 0 0 20 0 20 0 510600708 28904853504 10717 33554432000 4194304 4196468 140722236453680 140519630870896 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13173] ppid=13153 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13173/stat : 13173 (java) S 13153 13153 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600708 28904853504 10717 33554432000 4194304 4196468 140722236453680 140519629818592 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13174] ppid=13153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13155/task/13174/stat : 13174 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600708 28904853504 10717 33554432000 4194304 4196468 140722236453680 140519628766128 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 44056 KiB

[startup+0.310363 s]*
/proc/loadavg: 7.31 8.03 8.12 5/211 13174
/proc/meminfo: memFree=25568028/32770624 swapFree=66997516/67108860
[pid=13153] ppid=13150 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13153/stat : 13153 (xcsp3-exec) S 13150 13153 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510600702 115843072 363 33554432000 4194304 5098028 140735811956672 140735811954776 139678963638908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140735811961687 140735811961946 140735811961946 140735811964870 0
/proc/13153/statm: 28282 363 304 221 0 87 0
[pid=13155] ppid=13153 vsize=28231652 memory=52216 CPUtime=0.52 cores=0-7
/proc/13155/stat : 13155 (java) S 13153 13153 9260 0 -1 1077944320 10883 0 0 0 48 4 0 0 20 0 20 0 510600702 28909211648 13054 33554432000 4194304 4196468 140722236453680 140722236436224 140520455474935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
/proc/13155/statm: 7057913 13054 3367 1 0 7019032 0
[pid=13155/tid=13156] ppid=13153 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/13155/task/13156/stat : 13156 (java) R 13153 13153 9260 0 -1 4202560 7767 0 0 0 27 3 0 0 20 0 20 0 510600702 28909211648 13119 33554432000 4194304 4196468 140722236453680 140520459706048 140520439555422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13157] ppid=13153 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13157/stat : 13157 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28909211648 13119 33554432000 4194304 4196468 140722236453680 140520408095504 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13158] ppid=13153 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13158/stat : 13158 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600703 28909211648 13119 33554432000 4194304 4196468 140722236453680 140520407042960 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13159] ppid=13153 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13159/stat : 13159 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28909211648 13124 33554432000 4194304 4196468 140722236453680 140520405990416 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13160] ppid=13153 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13160/stat : 13160 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600703 28909211648 13124 33554432000 4194304 4196468 140722236453680 140520404937872 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13161] ppid=13153 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/13155/task/13161/stat : 13161 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28909211648 13124 33554432000 4194304 4196468 140722236453680 140520403884304 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13162] ppid=13153 vsize=28231652 memory=140350068978607 CPUtime=0 cores=0-7
/proc/13155/task/13162/stat : 13162 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28909211648 13124 33554432000 4194304 4196468 140722236453680 140520402831760 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13163] ppid=13153 vsize=28231652 memory=140350068980912 CPUtime=0 cores=0-7
/proc/13155/task/13163/stat : 13163 (java) S 13153 13153 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600703 28909211648 13124 33554432000 4194304 4196468 140722236453680 140520401779216 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13164] ppid=13153 vsize=28231652 memory=140350068983216 CPUtime=0 cores=0-7
/proc/13155/task/13164/stat : 13164 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600703 28909211648 13124 33554432000 4194304 4196468 140722236453680 140520400726672 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13165] ppid=13153 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13165/stat : 13165 (java) S 13153 13153 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510600704 28909211648 13124 33554432000 4194304 4196468 140722236453680 140519638239728 140520455486082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13166] ppid=13153 vsize=28231652 memory=280700137973392 CPUtime=0 cores=0-7
/proc/13155/task/13166/stat : 13166 (java) S 13153 13153 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510600705 28909211648 13124 33554432000 4194304 4196468 140722236453680 140519637185952 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13167] ppid=13153 vsize=28231652 memory=280700137980304 CPUtime=0 cores=0-7
/proc/13155/task/13167/stat : 13167 (java) S 13153 13153 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510600705 28909211648 13124 33554432000 4194304 4196468 140722236453680 140519636133360 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13168] ppid=13153 vsize=28231652 memory=280700137921456 CPUtime=0 cores=0-7
/proc/13155/task/13168/stat : 13168 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600707 28909211648 13124 33554432000 4194304 4196468 140722236453680 140519635081936 140520455493531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13169] ppid=13153 vsize=28231652 memory=280700137994128 CPUtime=0.02 cores=0-7
/proc/13155/task/13169/stat : 13169 (java) S 13153 13153 9260 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 510600707 28909211648 13124 33554432000 4194304 4196468 140722236453680 140519634028528 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13170] ppid=13153 vsize=28231652 memory=280700138001040 CPUtime=0.01 cores=0-7
/proc/13155/task/13170/stat : 13170 (java) S 13153 13153 9260 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 510600708 28909211648 13124 33554432000 4194304 4196468 140722236453680 140519632975984 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13171] ppid=13153 vsize=28231652 memory=280700137998736 CPUtime=0.04 cores=0-7
/proc/13155/task/13171/stat : 13171 (java) R 13153 13153 9260 0 -1 4202560 430 0 0 0 4 0 0 0 20 0 20 0 510600708 28909211648 13124 33554432000 4194304 4196468 140722236453680 140519631909520 140520432736192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13172] ppid=13153 vsize=28231652 memory=280700138014896 CPUtime=0.12 cores=0-7
/proc/13155/task/13172/stat : 13172 (java) S 13153 13153 9260 0 -1 1077944384 823 0 0 0 12 0 0 0 20 0 20 0 510600708 28909211648 13124 33554432000 4194304 4196468 140722236453680 140519630870896 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13173] ppid=13153 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13173/stat : 13173 (java) S 13153 13153 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600708 28909211648 13124 33554432000 4194304 4196468 140722236453680 140519629818592 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13174] ppid=13153 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13155/task/13174/stat : 13174 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600708 28909211648 13124 33554432000 4194304 4196468 140722236453680 140519628766128 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 53668 KiB

[startup+0.700977 s]
/proc/loadavg: 7.31 8.03 8.12 4/211 13174
/proc/meminfo: memFree=25547624/32770624 swapFree=66997516/67108860
[pid=13153] ppid=13150 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13153/stat : 13153 (xcsp3-exec) S 13150 13153 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510600702 115843072 363 33554432000 4194304 5098028 140735811956672 140735811954776 139678963638908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140735811961687 140735811961946 140735811961946 140735811964870 0
/proc/13153/statm: 28282 363 304 221 0 87 0
[pid=13155] ppid=13153 vsize=28233776 memory=117040 CPUtime=1.95 cores=0-7
/proc/13155/stat : 13155 (java) S 13153 13153 9260 0 -1 1077944320 15353 0 0 0 189 6 0 0 20 0 20 0 510600702 28911386624 29260 33554432000 4194304 4196468 140722236453680 140722236436224 140520455474935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
/proc/13155/statm: 7058444 29260 3450 1 0 7019544 0
[pid=13155/tid=13156] ppid=13153 vsize=28233776 memory=280700138372784 CPUtime=0.67 cores=0-7
/proc/13155/task/13156/stat : 13156 (java) R 13153 13153 9260 0 -1 4202560 8306 0 0 0 64 3 0 0 20 0 20 0 510600702 28911386624 29260 33554432000 4194304 4196468 140722236453680 140520459710816 140520455496282 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13157] ppid=13153 vsize=28233776 memory=140350069187440 CPUtime=0 cores=0-7
/proc/13155/task/13157/stat : 13157 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28911386624 29260 33554432000 4194304 4196468 140722236453680 140520408095504 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13158] ppid=13153 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13158/stat : 13158 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600703 28911386624 29260 33554432000 4194304 4196468 140722236453680 140520407042960 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13159] ppid=13153 vsize=28233776 memory=6124 CPUtime=0 cores=0-7
/proc/13155/task/13159/stat : 13159 (java) S 13153 13153 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600703 28911386624 29260 33554432000 4194304 4196468 140722236453680 140520405990416 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0

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

[pid=13155/tid=13162] ppid=13153 vsize=28768336 memory=-7522837583129502606 CPUtime=0.08 cores=0-7
/proc/13155/task/13162/stat : 13162 (java) S 13153 13153 9260 0 -1 1077944384 303 0 0 0 5 3 0 0 20 0 28 0 510600703 29458776064 168081 33554432000 4194304 4196468 140722236453680 140520402831760 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13163] ppid=13153 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/13155/task/13163/stat : 13163 (java) S 13153 13153 9260 0 -1 1077944384 126 0 0 0 5 3 0 0 20 0 28 0 510600703 29458776064 168081 33554432000 4194304 4196468 140722236453680 140520401779216 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13164] ppid=13153 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/13155/task/13164/stat : 13164 (java) S 13153 13153 9260 0 -1 1077944384 511 0 0 0 6 2 0 0 20 0 28 0 510600703 29458776064 168081 33554432000 4194304 4196468 140722236453680 140520400726672 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13165] ppid=13153 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/13155/task/13165/stat : 13165 (java) S 13153 13153 9260 0 -1 1077944384 610 0 0 0 1 0 0 0 20 0 28 0 510600704 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519638239728 140520455486082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13166] ppid=13153 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13166/stat : 13166 (java) S 13153 13153 9260 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 510600705 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519637186016 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13167] ppid=13153 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13167/stat : 13167 (java) S 13153 13153 9260 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510600705 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519636133376 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13168] ppid=13153 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13168/stat : 13168 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510600707 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519635081936 140520455493531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13169] ppid=13153 vsize=28768336 memory=280700138379776 CPUtime=2.38 cores=0-7
/proc/13155/task/13169/stat : 13169 (java) R 13153 13153 9260 0 -1 4202560 6181 0 0 0 237 1 0 0 20 0 28 0 510600707 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519634014752 140520440599640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13170] ppid=13153 vsize=28768336 memory=7164493978206169708 CPUtime=2.24 cores=0-7
/proc/13155/task/13170/stat : 13170 (java) R 13153 13153 9260 0 -1 4202560 5177 0 0 0 223 1 0 0 20 0 28 0 510600708 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519632968472 140520433497913 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13171] ppid=13153 vsize=28768336 memory=7524499373940565353 CPUtime=2.31 cores=0-7
/proc/13155/task/13171/stat : 13171 (java) R 13153 13153 9260 0 -1 4202560 6477 0 0 0 231 0 0 0 20 0 28 0 510600708 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519631909984 140520437019169 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13172] ppid=13153 vsize=28768336 memory=7164210304172583270 CPUtime=0.81 cores=0-7
/proc/13155/task/13172/stat : 13172 (java) R 13153 13153 9260 0 -1 1077944384 5137 0 0 0 78 3 0 0 20 0 28 0 510600708 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519630870896 140520455486082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13173] ppid=13153 vsize=28768336 memory=7452158105936290926 CPUtime=0 cores=0-7
/proc/13155/task/13173/stat : 13173 (java) S 13153 13153 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510600708 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519629818592 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13174] ppid=13153 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13174/stat : 13174 (java) S 13153 13153 9260 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 510600708 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519628766128 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13209] ppid=13153 vsize=28768336 memory=0 CPUtime=0.18 cores=0-7
/proc/13155/task/13209/stat : 13209 (java) R 13153 13153 9260 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 28 0 510601084 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519619784600 140520082258437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13210] ppid=13153 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/13155/task/13210/stat : 13210 (java) R 13153 13153 9260 0 -1 4202560 16 0 0 0 9 0 0 0 20 0 28 0 510601084 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519612416760 140520082053370 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13211] ppid=13153 vsize=28768336 memory=0 CPUtime=0.18 cores=0-7
/proc/13155/task/13211/stat : 13211 (java) R 13153 13153 9260 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 28 0 510601084 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519618736160 140520080849898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13212] ppid=13153 vsize=28768336 memory=7100839861465685612 CPUtime=0.08 cores=0-7
/proc/13155/task/13212/stat : 13212 (java) R 13153 13153 9260 0 -1 4202560 17 0 0 0 8 0 0 0 20 0 28 0 510601084 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519615575736 140520082457710 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13213] ppid=13153 vsize=28768336 memory=6944656592455360608 CPUtime=0.18 cores=0-7
/proc/13155/task/13213/stat : 13213 (java) R 13153 13153 9260 0 -1 4202560 22 0 0 0 18 0 0 0 20 0 28 0 510601084 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519614523272 140520078441045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13214] ppid=13153 vsize=28768336 memory=-7965950325593906079 CPUtime=0.17 cores=0-7
/proc/13155/task/13214/stat : 13214 (java) R 13153 13153 9260 0 -1 4202560 17 0 0 0 17 0 0 0 20 0 28 0 510601084 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519613468952 140520081731474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13215] ppid=13153 vsize=28768336 memory=-7595718148655178334 CPUtime=0.08 cores=0-7
/proc/13155/task/13215/stat : 13215 (java) R 13153 13153 9260 0 -1 4202560 17 0 0 0 8 0 0 0 20 0 28 0 510601084 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519616627160 140520082064281 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13216] ppid=13153 vsize=28768336 memory=-7812193691855986592 CPUtime=0.1 cores=0-7
/proc/13155/task/13216/stat : 13216 (java) R 13153 13153 9260 0 -1 4202560 17 0 0 0 10 0 0 0 20 0 28 0 510601085 29458776064 168081 33554432000 4194304 4196468 140722236453680 140519617680456 140520080895884 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
Current children cumulated CPU time: 16.04 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 673776 KiB

[startup+4.40559 s]
/proc/loadavg: 7.69 8.09 8.14 13/220 13216
/proc/meminfo: memFree=24948360/32770624 swapFree=66997516/67108860
[pid=13153] ppid=13150 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13153/stat : 13153 (xcsp3-exec) S 13150 13153 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510600702 115843072 363 33554432000 4194304 5098028 140735811956672 140735811954776 139678963638908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140735811961687 140735811961946 140735811961946 140735811964870 0
/proc/13153/statm: 28282 363 304 221 0 87 0
[pid=13155] ppid=13153 vsize=28768336 memory=672900 CPUtime=19.17 cores=0-7
/proc/13155/stat : 13155 (java) S 13153 13153 9260 0 -1 1077944320 38979 0 0 0 1873 44 0 0 20 0 28 0 510600702 29458776064 168225 33554432000 4194304 4196468 140722236453680 140722236436224 140520455474935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
/proc/13155/statm: 7192084 168225 3537 1 0 7153184 0
[pid=13155/tid=13156] ppid=13153 vsize=28768336 memory=58676970785514 CPUtime=2.92 cores=0-7
/proc/13155/task/13156/stat : 13156 (java) S 13153 13153 9260 0 -1 1077944384 11185 0 0 0 281 11 0 0 20 0 28 0 510600702 29458776064 168225 33554432000 4194304 4196468 140722236453680 140520459715712 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13157] ppid=13153 vsize=28768336 memory=58676970785258 CPUtime=0.07 cores=0-7
/proc/13155/task/13157/stat : 13157 (java) S 13153 13153 9260 0 -1 1077944384 142 0 0 0 5 2 0 0 20 0 28 0 510600703 29458776064 168225 33554432000 4194304 4196468 140722236453680 140520408095504 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13158] ppid=13153 vsize=28768336 memory=58676970785258 CPUtime=0.06 cores=0-7
/proc/13155/task/13158/stat : 13158 (java) S 13153 13153 9260 0 -1 1077944384 133 0 0 0 4 2 0 0 20 0 28 0 510600703 29458776064 168225 33554432000 4194304 4196468 140722236453680 140520407042960 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13159] ppid=13153 vsize=28768336 memory=58676970783722 CPUtime=0.08 cores=0-7
/proc/13155/task/13159/stat : 13159 (java) S 13153 13153 9260 0 -1 1077944384 139 0 0 0 5 3 0 0 20 0 28 0 510600703 29458776064 168225 33554432000 4194304 4196468 140722236453680 140520405990416 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13160] ppid=13153 vsize=28768336 memory=140354478057087 CPUtime=0.09 cores=0-7
/proc/13155/task/13160/stat : 13160 (java) S 13153 13153 9260 0 -1 1077944384 187 0 0 0 6 3 0 0 20 0 28 0 510600703 29458776064 168225 33554432000 4194304 4196468 140722236453680 140520404937872 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13161] ppid=13153 vsize=28768336 memory=-7812736537705029536 CPUtime=0.08 cores=0-7
/proc/13155/task/13161/stat : 13161 (java) S 13153 13153 9260 0 -1 1077944384 119 0 0 0 5 3 0 0 20 0 28 0 510600703 29458776064 168225 33554432000 4194304 4196468 140722236453680 140520403884304 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13162] ppid=13153 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/13155/task/13162/stat : 13162 (java) S 13153 13153 9260 0 -1 1077944384 303 0 0 0 5 3 0 0 20 0 28 0 510600703 29458776064 168225 33554432000 4194304 4196468 140722236453680 140520402831760 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13163] ppid=13153 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/13155/task/13163/stat : 13163 (java) S 13153 13153 9260 0 -1 1077944384 126 0 0 0 5 3 0 0 20 0 28 0 510600703 29458776064 168225 33554432000 4194304 4196468 140722236453680 140520401779216 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13164] ppid=13153 vsize=28768336 memory=26804 CPUtime=0.08 cores=0-7
/proc/13155/task/13164/stat : 13164 (java) S 13153 13153 9260 0 -1 1077944384 511 0 0 0 6 2 0 0 20 0 28 0 510600703 29458776064 168225 33554432000 4194304 4196468 140722236453680 140520400726672 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13165] ppid=13153 vsize=28768336 memory=2129082 CPUtime=0.01 cores=0-7
/proc/13155/task/13165/stat : 13165 (java) S 13153 13153 9260 0 -1 1077944384 610 0 0 0 1 0 0 0 20 0 28 0 510600704 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519638239728 140520455486082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13166] ppid=13153 vsize=28768336 memory=2140475 CPUtime=0 cores=0-7
/proc/13155/task/13166/stat : 13166 (java) S 13153 13153 9260 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 510600705 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519637186016 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13167] ppid=13153 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13167/stat : 13167 (java) S 13153 13153 9260 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510600705 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519636133376 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13168] ppid=13153 vsize=28768336 memory=4711481268592201808 CPUtime=0 cores=0-7
/proc/13155/task/13168/stat : 13168 (java) S 13153 13153 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510600707 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519635081936 140520455493531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13169] ppid=13153 vsize=28768336 memory=-6586668835053300886 CPUtime=2.6 cores=0-7
/proc/13155/task/13169/stat : 13169 (java) R 13153 13153 9260 0 -1 4202560 6202 0 0 0 259 1 0 0 20 0 28 0 510600707 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519634021016 140520438998350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13170] ppid=13153 vsize=28768336 memory=0 CPUtime=2.43 cores=0-7
/proc/13155/task/13170/stat : 13170 (java) R 13153 13153 9260 0 -1 4202560 5257 0 0 0 242 1 0 0 20 0 28 0 510600708 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519632967232 140520438885945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13171] ppid=13153 vsize=28768336 memory=280700137767152 CPUtime=2.5 cores=0-7
/proc/13155/task/13171/stat : 13171 (java) R 13153 13153 9260 0 -1 4202560 6517 0 0 0 250 0 0 0 20 0 28 0 510600708 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519631909984 140520440584710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13172] ppid=13153 vsize=28768336 memory=7883944108235712103 CPUtime=0.84 cores=0-7
/proc/13155/task/13172/stat : 13172 (java) D 13153 13153 9260 0 -1 4202560 5182 0 0 0 81 3 0 0 20 0 28 0 510600708 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519630868072 140520448192087 0 4 0 16800975 18446744071582151463 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13173] ppid=13153 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/13155/task/13173/stat : 13173 (java) S 13153 13153 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510600708 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519629818592 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13174] ppid=13153 vsize=28768336 memory=671368 CPUtime=0 cores=0-7
/proc/13155/task/13174/stat : 13174 (java) S 13153 13153 9260 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 510600708 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519628766128 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13209] ppid=13153 vsize=28768336 memory=988 CPUtime=0.51 cores=0-7
/proc/13155/task/13209/stat : 13209 (java) R 13153 13153 9260 0 -1 4202560 19 0 0 0 51 0 0 0 20 0 28 0 510601084 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519619784616 140520081550168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13210] ppid=13153 vsize=28768336 memory=3628 CPUtime=0.38 cores=0-7
/proc/13155/task/13210/stat : 13210 (java) R 13153 13153 9260 0 -1 4202560 20 0 0 0 38 0 0 0 20 0 28 0 510601084 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519612416744 140520081550168 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13211] ppid=13153 vsize=28768336 memory=2828 CPUtime=0.54 cores=0-7
/proc/13155/task/13211/stat : 13211 (java) R 13153 13153 9260 0 -1 4202560 18 0 0 0 54 0 0 0 20 0 28 0 510601084 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519618733816 140520081675803 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13212] ppid=13153 vsize=28768336 memory=1048 CPUtime=0.42 cores=0-7
/proc/13155/task/13212/stat : 13212 (java) R 13153 13153 9260 0 -1 4202560 18 0 0 0 42 0 0 0 20 0 28 0 510601084 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519615575864 140520082612928 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13213] ppid=13153 vsize=28768336 memory=6124 CPUtime=0.44 cores=0-7
/proc/13155/task/13213/stat : 13213 (java) R 13153 13153 9260 0 -1 4202560 24 0 0 0 44 0 0 0 20 0 28 0 510601084 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519614521128 140520080895673 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13214] ppid=13153 vsize=28768336 memory=612 CPUtime=0.51 cores=0-7
/proc/13155/task/13214/stat : 13214 (java) R 13153 13153 9260 0 -1 4202560 17 0 0 0 51 0 0 0 20 0 28 0 510601084 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519613468648 140520080895824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13215] ppid=13153 vsize=28768336 memory=1220 CPUtime=0.27 cores=0-7
/proc/13155/task/13215/stat : 13215 (java) D 13153 13153 9260 0 -1 4202560 20 0 0 0 27 0 0 0 20 0 28 0 510601084 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519616626936 140520081606566 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 1 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13216] ppid=13153 vsize=28768336 memory=0 CPUtime=0.47 cores=0-7
/proc/13155/task/13216/stat : 13216 (java) R 13153 13153 9260 0 -1 4202560 20 0 0 0 47 0 0 0 20 0 28 0 510601085 29458776064 168225 33554432000 4194304 4196468 140722236453680 140519617681080 140520082231948 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
Current children cumulated CPU time: 19.17 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 674352 KiB

[startup+4.60105 s]
/proc/loadavg: 7.69 8.09 8.14 13/220 13216
/proc/meminfo: memFree=24948360/32770624 swapFree=66997516/67108860
[pid=13153] ppid=13150 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13153/stat : 13153 (xcsp3-exec) S 13150 13153 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510600702 115843072 363 33554432000 4194304 5098028 140735811956672 140735811954776 139678963638908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38318080 140735811961687 140735811961946 140735811961946 140735811964870 0
/proc/13153/statm: 28282 363 304 221 0 87 0
[pid=13155] ppid=13153 vsize=28768336 memory=721392 CPUtime=20.39 cores=0-7
/proc/13155/stat : 13155 (java) S 13153 13153 9260 0 -1 1077944320 41884 0 0 0 1989 50 0 0 20 0 18 0 510600702 29458776064 180348 33554432000 4194304 4196468 140722236453680 140722236436224 140520455474935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
/proc/13155/statm: 7192084 180348 3537 1 0 7153184 0
[pid=13155/tid=13156] ppid=13153 vsize=28768336 memory=5792308972955194213 CPUtime=2.92 cores=0-7
/proc/13155/task/13156/stat : 13156 (java) S 13153 13153 9260 0 -1 1077944384 11197 0 0 0 281 11 0 0 20 0 18 0 510600702 29458776064 180348 33554432000 4194304 4196468 140722236453680 140520459717776 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13157] ppid=13153 vsize=28768336 memory=5792308972955194213 CPUtime=0.09 cores=0-7
/proc/13155/task/13157/stat : 13157 (java) S 13153 13153 9260 0 -1 1077944384 166 0 0 0 6 3 0 0 20 0 18 0 510600703 29458776064 180348 33554432000 4194304 4196468 140722236453680 140520408095504 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13158] ppid=13153 vsize=28768336 memory=1452 CPUtime=0.08 cores=0-7
/proc/13155/task/13158/stat : 13158 (java) S 13153 13153 9260 0 -1 1077944384 144 0 0 0 6 2 0 0 20 0 18 0 510600703 29458776064 180348 33554432000 4194304 4196468 140722236453680 140520407042960 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13159] ppid=13153 vsize=28768336 memory=670916 CPUtime=0.09 cores=0-7
/proc/13155/task/13159/stat : 13159 (java) S 13153 13153 9260 0 -1 1077944384 150 0 0 0 6 3 0 0 20 0 18 0 510600703 29458776064 180348 33554432000 4194304 4196468 140722236453680 140520405990416 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13160] ppid=13153 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7
/proc/13155/task/13160/stat : 13160 (java) S 13153 13153 9260 0 -1 1077944384 206 0 0 0 7 3 0 0 20 0 18 0 510600703 29458776064 180348 33554432000 4194304 4196468 140722236453680 140520404937872 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13161] ppid=13153 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/13155/task/13161/stat : 13161 (java) S 13153 13153 9260 0 -1 1077944384 135 0 0 0 6 3 0 0 20 0 18 0 510600703 29458776064 180348 33554432000 4194304 4196468 140722236453680 140520403884304 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13162] ppid=13153 vsize=28768336 memory=0 CPUtime=0.11 cores=0-7
/proc/13155/task/13162/stat : 13162 (java) S 13153 13153 9260 0 -1 1077944384 329 0 0 0 7 4 0 0 20 0 18 0 510600703 29458776064 180348 33554432000 4194304 4196468 140722236453680 140520402831760 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13163] ppid=13153 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/13155/task/13163/stat : 13163 (java) S 13153 13153 9260 0 -1 1077944384 137 0 0 0 6 3 0 0 20 0 18 0 510600703 29458776064 180348 33554432000 4194304 4196468 140722236453680 140520401779216 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13164] ppid=13153 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7
/proc/13155/task/13164/stat : 13164 (java) S 13153 13153 9260 0 -1 1077944384 531 0 0 0 7 3 0 0 20 0 18 0 510600703 29458776064 180348 33554432000 4194304 4196468 140722236453680 140520400726672 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13165] ppid=13153 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/13155/task/13165/stat : 13165 (java) S 13153 13153 9260 0 -1 1077944384 617 0 0 0 1 0 0 0 20 0 18 0 510600704 29458776064 180348 33554432000 4194304 4196468 140722236453680 140519638239936 140520455486082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13166] ppid=13153 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13166/stat : 13166 (java) S 13153 13153 9260 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 18 0 510600705 29458776064 180348 33554432000 4194304 4196468 140722236453680 140519637186016 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13167] ppid=13153 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/13155/task/13167/stat : 13167 (java) S 13153 13153 9260 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 18 0 510600705 29458776064 180414 33554432000 4194304 4196468 140722236453680 140519636133376 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13169] ppid=13153 vsize=28768336 memory=6005096466059455591 CPUtime=2.73 cores=0-7
/proc/13155/task/13169/stat : 13169 (java) R 13153 13153 9260 0 -1 4202560 7910 0 0 0 271 2 0 0 20 0 18 0 510600707 29458776064 180414 33554432000 4194304 4196468 140722236453680 140519634014408 140520437019896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13170] ppid=13153 vsize=28768336 memory=7444825561389879400 CPUtime=2.59 cores=0-7
/proc/13155/task/13170/stat : 13170 (java) S 13153 13153 9260 0 -1 1077944384 5421 0 0 0 258 1 0 0 20 0 18 0 510600708 29458776064 180414 33554432000 4194304 4196468 140722236453680 140519632960496 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13171] ppid=13153 vsize=28768336 memory=7453291779315296872 CPUtime=2.62 cores=0-7
/proc/13155/task/13171/stat : 13171 (java) S 13153 13153 9260 0 -1 1077944384 7079 0 0 0 261 1 0 0 20 0 18 0 510600708 29458776064 180414 33554432000 4194304 4196468 140722236453680 140519631907952 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13172] ppid=13153 vsize=28768336 memory=140350183089792 CPUtime=0.84 cores=0-7
/proc/13155/task/13172/stat : 13172 (java) S 13153 13153 9260 0 -1 1077944384 5203 0 0 0 81 3 0 0 20 0 18 0 510600708 29458776064 180414 33554432000 4194304 4196468 140722236453680 140519630870896 140520455486082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
[pid=13155/tid=13173] ppid=13153 vsize=28768336 memory=280700138771328 CPUtime=0 cores=0-7
/proc/13155/task/13173/stat : 13173 (java) S 13153 13153 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 510600708 29458776064 180414 33554432000 4194304 4196468 140722236453680 140519629818592 140520455485141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140722236457948 140722236458123 140722236458123 140722236461007 0
Current children cumulated CPU time: 20.39 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 722844 KiB

Child status: 0
Real time (s): 4.63186
CPU time (s): 20.4157
CPU user time (s): 19.8963
CPU system time (s): 0.519394
CPU usage (%): 440.767
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 722844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.8963
system time used= 0.519394
maximum resident set size= 722896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42546
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4631
involuntary context switches= 450


# summary of solver processes directly reported to runsolver:
#   pid: 13153
#   total CPU time (s): 20.4157
#   total CPU user time (s): 19.8963
#   total CPU system time (s): 0.519394

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064214 second user time and 0.083893 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.93663
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 4407304

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
