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 (15130 MiB free)
  memory of node 1: 16384 MiB (15595 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393948-1568438270/watcher-4393948-1568438270 -o /tmp/evaluation-result-4393948-1568438270/solver-4393948-1568438270 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568437491-14080 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1154027143 HOME/instance-4393948-1568438270.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=14496, runsolver pid=14493
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 8.11 8.03 8.10 2/212 14517
/proc/meminfo: memFree=31445764/32770624 swapFree=66982416/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 14053 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420089685 115843072 363 33554432000 4194304 5098028 140724589465280 140724589463384 140486620856956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8863744 140724589470581 140724589470825 140724589470825 140724589473738 0
/proc/14496/statm: 28282 363 304 221 0 87 0
[pid=14498] ppid=14496 vsize=28227388 memory=28768 CPUtime=0.12 cores=0-7
/proc/14498/stat : 14498 (java) S 14496 14496 14053 0 -1 1077944320 5672 0 0 0 11 1 0 0 20 0 20 0 420089685 28904845312 7192 33554432000 4194304 4196468 140732265414512 140732265397056 139845143953143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
/proc/14498/statm: 7056847 7192 3116 1 0 7019032 0
[pid=14498/tid=14499] ppid=14496 vsize=28227388 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/14498/task/14499/stat : 14499 (java) R 14496 14496 14053 0 -1 4202560 3618 0 0 0 8 1 0 0 20 0 20 0 420089686 28904845312 7192 33554432000 4194304 4196468 140732265414512 139845148180720 139845143965078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14500] ppid=14496 vsize=28227388 memory=732370297964518373 CPUtime=0 cores=0-7
/proc/14498/task/14500/stat : 14500 (java) S 14496 14496 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 7192 33554432000 4194304 4196468 140732265414512 139845096573840 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14501] ppid=14496 vsize=28227388 memory=140159627064960 CPUtime=0 cores=0-7
/proc/14498/task/14501/stat : 14501 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 7192 33554432000 4194304 4196468 140732265414512 139845095521040 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14502] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14502/stat : 14502 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 7192 33554432000 4194304 4196468 140732265414512 139845094468752 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14503] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14503/stat : 14503 (java) S 14496 14496 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 7192 33554432000 4194304 4196468 140732265414512 139845093415952 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14504] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14504/stat : 14504 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 7192 33554432000 4194304 4196468 140732265414512 139845092362640 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14505] ppid=14496 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14498/task/14505/stat : 14505 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 7192 33554432000 4194304 4196468 140732265414512 139845091309840 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14506] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14506/stat : 14506 (java) S 14496 14496 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 7192 33554432000 4194304 4196468 140732265414512 139845090257552 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14507] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14507/stat : 14507 (java) S 14496 14496 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 7192 33554432000 4194304 4196468 140732265414512 139845089204752 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14508] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14508/stat : 14508 (java) S 14496 14496 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420089688 28904845312 7192 33554432000 4194304 4196468 140732265414512 139843809438320 139845143964290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14509] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14509/stat : 14509 (java) S 14496 14496 14053 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420089688 28904845312 7192 33554432000 4194304 4196468 140732265414512 139843808384288 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14510] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14510/stat : 14510 (java) S 14496 14496 14053 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420089689 28904845312 7192 33554432000 4194304 4196468 140732265414512 139843807331952 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14511] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14511/stat : 14511 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089691 28904845312 7192 33554432000 4194304 4196468 140732265414512 139843806280272 139845143971739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14512] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14512/stat : 14512 (java) S 14496 14496 14053 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 420089691 28904845312 7192 33554432000 4194304 4196468 140732265414512 139843805227120 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14513] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14513/stat : 14513 (java) S 14496 14496 14053 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 420089691 28904845312 7192 33554432000 4194304 4196468 140732265414512 139843804174320 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14514] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14514/stat : 14514 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089691 28904845312 7192 33554432000 4194304 4196468 140732265414512 139843803122032 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14515] ppid=14496 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/14498/task/14515/stat : 14515 (java) R 14496 14496 14053 0 -1 4202560 319 0 0 0 1 0 0 0 20 0 20 0 420089691 28904845312 7192 33554432000 4194304 4196468 140732265414512 139843802069232 139845129091095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14516] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14516/stat : 14516 (java) S 14496 14496 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420089691 28904845312 7192 33554432000 4194304 4196468 140732265414512 139843801017184 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14517] ppid=14496 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14498/task/14517/stat : 14517 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089692 28904845312 7192 33554432000 4194304 4196468 140732265414512 139843732499248 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30220 KiB

[startup+0.210151 s]*
/proc/loadavg: 8.11 8.03 8.10 2/212 14517
/proc/meminfo: memFree=31431952/32770624 swapFree=66982416/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 14053 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420089685 115843072 363 33554432000 4194304 5098028 140724589465280 140724589463384 140486620856956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8863744 140724589470581 140724589470825 140724589470825 140724589473738 0
/proc/14496/statm: 28282 363 304 221 0 87 0
[pid=14498] ppid=14496 vsize=28227388 memory=41080 CPUtime=0.33 cores=0-7
/proc/14498/stat : 14498 (java) S 14496 14496 14053 0 -1 1077944320 9541 0 0 0 30 3 0 0 20 0 20 0 420089685 28904845312 10270 33554432000 4194304 4196468 140732265414512 140732265397056 139845143953143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
/proc/14498/statm: 7056847 10270 3295 1 0 7019032 0
[pid=14498/tid=14499] ppid=14496 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7
/proc/14498/task/14499/stat : 14499 (java) R 14496 14496 14053 0 -1 4202560 6625 0 0 0 17 2 0 0 20 0 20 0 420089686 28904845312 10270 33554432000 4194304 4196468 140732265414512 139845148182576 139845143975069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14500] ppid=14496 vsize=28227388 memory=732370297964518373 CPUtime=0 cores=0-7
/proc/14498/task/14500/stat : 14500 (java) S 14496 14496 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 10270 33554432000 4194304 4196468 140732265414512 139845096573840 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14501] ppid=14496 vsize=28227388 memory=140159627064960 CPUtime=0 cores=0-7
/proc/14498/task/14501/stat : 14501 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 10270 33554432000 4194304 4196468 140732265414512 139845095521040 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14502] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14502/stat : 14502 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 10270 33554432000 4194304 4196468 140732265414512 139845094468752 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14503] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14503/stat : 14503 (java) S 14496 14496 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 10270 33554432000 4194304 4196468 140732265414512 139845093415952 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14504] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14504/stat : 14504 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 10270 33554432000 4194304 4196468 140732265414512 139845092362640 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14505] ppid=14496 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14498/task/14505/stat : 14505 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 10270 33554432000 4194304 4196468 140732265414512 139845091309840 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14506] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14506/stat : 14506 (java) S 14496 14496 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 10270 33554432000 4194304 4196468 140732265414512 139845090257552 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14507] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14507/stat : 14507 (java) S 14496 14496 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420089686 28904845312 10270 33554432000 4194304 4196468 140732265414512 139845089204752 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14508] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14508/stat : 14508 (java) S 14496 14496 14053 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420089688 28904845312 10270 33554432000 4194304 4196468 140732265414512 139843809438320 139845143964290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14509] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14509/stat : 14509 (java) S 14496 14496 14053 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420089688 28904845312 10270 33554432000 4194304 4196468 140732265414512 139843808384288 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14510] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14510/stat : 14510 (java) S 14496 14496 14053 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420089689 28904845312 10270 33554432000 4194304 4196468 140732265414512 139843807331952 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14511] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14511/stat : 14511 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089691 28904845312 10270 33554432000 4194304 4196468 140732265414512 139843806280272 139845143971739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14512] ppid=14496 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/14498/task/14512/stat : 14512 (java) S 14496 14496 14053 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 20 0 420089691 28904845312 10270 33554432000 4194304 4196468 140732265414512 139843805227120 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14513] ppid=14496 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/14498/task/14513/stat : 14513 (java) S 14496 14496 14053 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 20 0 420089691 28904845312 10270 33554432000 4194304 4196468 140732265414512 139843804174320 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14514] ppid=14496 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/14498/task/14514/stat : 14514 (java) S 14496 14496 14053 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 420089691 28904845312 10270 33554432000 4194304 4196468 140732265414512 139843803122032 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14515] ppid=14496 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/14498/task/14515/stat : 14515 (java) S 14496 14496 14053 0 -1 1077944384 773 0 0 0 7 0 0 0 20 0 20 0 420089691 28904845312 10270 33554432000 4194304 4196468 140732265414512 139843802069232 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14516] ppid=14496 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14516/stat : 14516 (java) S 14496 14496 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420089691 28904845312 10270 33554432000 4194304 4196468 140732265414512 139843801017184 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14517] ppid=14496 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14498/task/14517/stat : 14517 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089692 28904845312 10270 33554432000 4194304 4196468 140732265414512 139843732499248 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42532 KiB

[startup+0.30951 s]*
/proc/loadavg: 8.11 8.03 8.10 4/212 14517
/proc/meminfo: memFree=31426248/32770624 swapFree=66982416/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 14053 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420089685 115843072 363 33554432000 4194304 5098028 140724589465280 140724589463384 140486620856956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8863744 140724589470581 140724589470825 140724589470825 140724589473738 0
/proc/14496/statm: 28282 363 304 221 0 87 0
[pid=14498] ppid=14496 vsize=28231644 memory=49712 CPUtime=0.53 cores=0-7
/proc/14498/stat : 14498 (java) S 14496 14496 14053 0 -1 1077944320 10834 0 0 0 49 4 0 0 20 0 20 0 420089685 28909203456 12428 33554432000 4194304 4196468 140732265414512 140732265397056 139845143953143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
/proc/14498/statm: 7057911 12428 3332 1 0 7019032 0
[pid=14498/tid=14499] ppid=14496 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/14498/task/14499/stat : 14499 (java) R 14496 14496 14053 0 -1 4202560 7725 0 0 0 27 3 0 0 20 0 20 0 420089686 28909203456 12472 33554432000 4194304 4196468 140732265414512 139845148184256 139845143975069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14500] ppid=14496 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14500/stat : 14500 (java) S 14496 14496 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420089686 28909203456 12472 33554432000 4194304 4196468 140732265414512 139845096573840 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14501] ppid=14496 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14501/stat : 14501 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28909203456 12472 33554432000 4194304 4196468 140732265414512 139845095521040 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14502] ppid=14496 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14502/stat : 14502 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28909203456 12472 33554432000 4194304 4196468 140732265414512 139845094468752 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14503] ppid=14496 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14503/stat : 14503 (java) S 14496 14496 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420089686 28909203456 12472 33554432000 4194304 4196468 140732265414512 139845093415952 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14504] ppid=14496 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14504/stat : 14504 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28909203456 12472 33554432000 4194304 4196468 140732265414512 139845092362640 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14505] ppid=14496 vsize=28231644 memory=140159479802543 CPUtime=0 cores=0-7
/proc/14498/task/14505/stat : 14505 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28909203456 12472 33554432000 4194304 4196468 140732265414512 139845091309840 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14506] ppid=14496 vsize=28231644 memory=140159479804848 CPUtime=0 cores=0-7
/proc/14498/task/14506/stat : 14506 (java) S 14496 14496 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420089686 28909203456 12472 33554432000 4194304 4196468 140732265414512 139845090257552 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14507] ppid=14496 vsize=28231644 memory=140159479807152 CPUtime=0 cores=0-7
/proc/14498/task/14507/stat : 14507 (java) S 14496 14496 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420089686 28909203456 12472 33554432000 4194304 4196468 140732265414512 139845089204752 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14508] ppid=14496 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14508/stat : 14508 (java) S 14496 14496 14053 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420089688 28909203456 12472 33554432000 4194304 4196468 140732265414512 139843809438320 139845143964290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14509] ppid=14496 vsize=28231644 memory=280318959628176 CPUtime=0 cores=0-7
/proc/14498/task/14509/stat : 14509 (java) S 14496 14496 14053 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420089688 28909203456 12472 33554432000 4194304 4196468 140732265414512 139843808384288 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14510] ppid=14496 vsize=28231644 memory=280318959625872 CPUtime=0 cores=0-7
/proc/14498/task/14510/stat : 14510 (java) S 14496 14496 14053 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420089689 28909203456 12472 33554432000 4194304 4196468 140732265414512 139843807331952 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14511] ppid=14496 vsize=28231644 memory=280318959632784 CPUtime=0 cores=0-7
/proc/14498/task/14511/stat : 14511 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089691 28909203456 12472 33554432000 4194304 4196468 140732265414512 139843806280272 139845143971739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14512] ppid=14496 vsize=28231644 memory=280318959574032 CPUtime=0.02 cores=0-7
/proc/14498/task/14512/stat : 14512 (java) R 14496 14496 14053 0 -1 4202560 507 0 0 0 2 0 0 0 20 0 20 0 420089691 28909203456 12472 33554432000 4194304 4196468 140732265414512 139843805217504 139845121605008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14513] ppid=14496 vsize=28231644 memory=280318959646608 CPUtime=0.03 cores=0-7
/proc/14498/task/14513/stat : 14513 (java) S 14496 14496 14053 0 -1 1077944384 373 0 0 0 3 0 0 0 20 0 20 0 420089691 28909203456 12472 33554432000 4194304 4196468 140732265414512 139843804174320 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14514] ppid=14496 vsize=28231644 memory=280318959653520 CPUtime=0.02 cores=0-7
/proc/14498/task/14514/stat : 14514 (java) S 14496 14496 14053 0 -1 1077944384 57 0 0 0 2 0 0 0 20 0 20 0 420089691 28909203456 12472 33554432000 4194304 4196468 140732265414512 139843803122032 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14515] ppid=14496 vsize=28231644 memory=280318959651216 CPUtime=0.12 cores=0-7
/proc/14498/task/14515/stat : 14515 (java) S 14496 14496 14053 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 20 0 420089691 28909203456 12472 33554432000 4194304 4196468 140732265414512 139843802069232 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14516] ppid=14496 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14516/stat : 14516 (java) S 14496 14496 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420089691 28909203456 12472 33554432000 4194304 4196468 140732265414512 139843801017184 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14517] ppid=14496 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/14498/task/14517/stat : 14517 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089692 28909203456 12472 33554432000 4194304 4196468 140732265414512 139843732499248 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51164 KiB

[startup+0.70097 s]
/proc/loadavg: 8.11 8.03 8.10 3/212 14517
/proc/meminfo: memFree=31402300/32770624 swapFree=66982416/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 14053 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420089685 115843072 363 33554432000 4194304 5098028 140724589465280 140724589463384 140486620856956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8863744 140724589470581 140724589470825 140724589470825 140724589473738 0
/proc/14496/statm: 28282 363 304 221 0 87 0
[pid=14498] ppid=14496 vsize=28233768 memory=113164 CPUtime=1.97 cores=0-7
/proc/14498/stat : 14498 (java) S 14496 14496 14053 0 -1 1077944320 16523 0 0 0 191 6 0 0 20 0 20 0 420089685 28911378432 28291 33554432000 4194304 4196468 140732265414512 140732265397056 139845143953143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
/proc/14498/statm: 7058442 28291 3450 1 0 7019544 0
[pid=14498/tid=14499] ppid=14496 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/14498/task/14499/stat : 14499 (java) R 14496 14496 14053 0 -1 4202560 8588 0 0 0 63 4 0 0 20 0 20 0 420089686 28911378432 28291 33554432000 4194304 4196468 140732265414512 139845148142256 139845127996773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14500] ppid=14496 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14500/stat : 14500 (java) S 14496 14496 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420089686 28911378432 28291 33554432000 4194304 4196468 140732265414512 139845096573840 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14501] ppid=14496 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14501/stat : 14501 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28911378432 28291 33554432000 4194304 4196468 140732265414512 139845095521040 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14502] ppid=14496 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14498/task/14502/stat : 14502 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420089686 28911378432 28291 33554432000 4194304 4196468 140732265414512 139845094468752 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0

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

[pid=14498/tid=14528] ppid=14496 vsize=28768328 memory=2120 CPUtime=166.98 cores=0-7
/proc/14498/task/14528/stat : 14528 (java) R 14496 14496 14053 0 -1 4202560 15352 0 0 0 16640 58 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843722473160 139844767039956 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14529] ppid=14496 vsize=28768328 memory=11976 CPUtime=167.76 cores=0-7
/proc/14498/task/14529/stat : 14529 (java) R 14496 14496 14053 0 -1 4202560 12860 0 0 0 16720 56 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843723525624 139844767958261 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14530] ppid=14496 vsize=28768328 memory=0 CPUtime=167.78 cores=0-7
/proc/14498/task/14530/stat : 14530 (java) R 14496 14496 14053 0 -1 4202560 1798 0 0 0 16777 1 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843720368744 139844764338689 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14531] ppid=14496 vsize=28768328 memory=804 CPUtime=166.04 cores=0-7
/proc/14498/task/14531/stat : 14531 (java) R 14496 14496 14053 0 -1 4202560 1796 0 0 0 16602 2 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843717212768 139844764338679 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14532] ppid=14496 vsize=28768328 memory=4096 CPUtime=167.45 cores=0-7
/proc/14498/task/14532/stat : 14532 (java) R 14496 14496 14053 0 -1 4202560 1326 0 0 0 16745 0 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843716157704 139844764019456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14533] ppid=14496 vsize=28768328 memory=1804 CPUtime=167.91 cores=0-7
/proc/14498/task/14533/stat : 14533 (java) R 14496 14496 14053 0 -1 4202560 2025 0 0 0 16787 4 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843721421368 139844763890087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
Current children cumulated CPU time: 1395.69 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2413924 KiB

[startup+177.602 s]
/proc/loadavg: 8.26 8.12 8.13 9/221 14551
/proc/meminfo: memFree=29055936/32770624 swapFree=66982432/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 14053 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420089685 115843072 363 33554432000 4194304 5098028 140724589465280 140724589463384 140486620856956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8863744 140724589470581 140724589470825 140724589470825 140724589473738 0
/proc/14496/statm: 28282 363 304 221 0 87 0
[pid=14498] ppid=14496 vsize=28768328 memory=2412472 CPUtime=1408.38 cores=0-7
/proc/14498/stat : 14498 (java) S 14496 14496 14053 0 -1 1077944320 125743 0 0 0 140575 263 0 0 20 0 28 0 420089685 29458767872 603118 33554432000 4194304 4196468 140732265414512 140732265397056 139845143953143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
/proc/14498/statm: 7192082 603118 3535 1 0 7153184 0
[pid=14498/tid=14499] ppid=14496 vsize=28768328 memory=1452 CPUtime=1.65 cores=0-7
/proc/14498/task/14499/stat : 14499 (java) S 14496 14496 14053 0 -1 1077944384 9843 0 0 0 158 7 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845148193920 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14500] ppid=14496 vsize=28768328 memory=6791534058613427641 CPUtime=0.36 cores=0-7
/proc/14498/task/14500/stat : 14500 (java) S 14496 14496 14053 0 -1 1077944384 2175 0 0 0 23 13 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845096573840 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14501] ppid=14496 vsize=28768328 memory=2412472 CPUtime=0.38 cores=0-7
/proc/14498/task/14501/stat : 14501 (java) S 14496 14496 14053 0 -1 1077944384 1980 0 0 0 24 14 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845095521040 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14502] ppid=14496 vsize=28768328 memory=4096 CPUtime=0.34 cores=0-7
/proc/14498/task/14502/stat : 14502 (java) S 14496 14496 14053 0 -1 1077944384 3193 0 0 0 22 12 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845094468752 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14503] ppid=14496 vsize=28768328 memory=3620 CPUtime=0.33 cores=0-7
/proc/14498/task/14503/stat : 14503 (java) S 14496 14496 14053 0 -1 1077944384 2027 0 0 0 20 13 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845093415952 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14504] ppid=14496 vsize=28768328 memory=21984 CPUtime=0.33 cores=0-7
/proc/14498/task/14504/stat : 14504 (java) S 14496 14496 14053 0 -1 1077944384 1936 0 0 0 22 11 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845092362640 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14505] ppid=14496 vsize=28768328 memory=1452 CPUtime=0.32 cores=0-7
/proc/14498/task/14505/stat : 14505 (java) S 14496 14496 14053 0 -1 1077944384 1066 0 0 0 20 12 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845091309840 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14506] ppid=14496 vsize=28768328 memory=2412472 CPUtime=0.32 cores=0-7
/proc/14498/task/14506/stat : 14506 (java) S 14496 14496 14053 0 -1 1077944384 1145 0 0 0 20 12 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845090257552 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14507] ppid=14496 vsize=28768328 memory=1692 CPUtime=0.37 cores=0-7
/proc/14498/task/14507/stat : 14507 (java) S 14496 14496 14053 0 -1 1077944384 666 0 0 0 23 14 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845089204752 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14508] ppid=14496 vsize=28768328 memory=1028 CPUtime=0.03 cores=0-7
/proc/14498/task/14508/stat : 14508 (java) S 14496 14496 14053 0 -1 1077944384 4729 0 0 0 3 0 0 0 20 0 28 0 420089688 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843809438320 139845143964290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14509] ppid=14496 vsize=28768328 memory=1060 CPUtime=0 cores=0-7
/proc/14498/task/14509/stat : 14509 (java) S 14496 14496 14053 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 420089688 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843808384352 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14510] ppid=14496 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/14498/task/14510/stat : 14510 (java) S 14496 14496 14053 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 420089689 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843807331968 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14511] ppid=14496 vsize=28768328 memory=7980 CPUtime=0 cores=0-7
/proc/14498/task/14511/stat : 14511 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420089691 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843806280272 139845143971739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14512] ppid=14496 vsize=28768328 memory=1164 CPUtime=3.67 cores=0-7
/proc/14498/task/14512/stat : 14512 (java) S 14496 14496 14053 0 -1 1077944384 12953 0 0 0 365 2 0 0 20 0 28 0 420089691 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843805227120 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14513] ppid=14496 vsize=28768328 memory=9580 CPUtime=3.57 cores=0-7
/proc/14498/task/14513/stat : 14513 (java) S 14496 14496 14053 0 -1 1077944384 10112 0 0 0 354 3 0 0 20 0 28 0 420089691 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843804174320 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14514] ppid=14496 vsize=28768328 memory=14008 CPUtime=3.39 cores=0-7
/proc/14498/task/14514/stat : 14514 (java) S 14496 14496 14053 0 -1 1077944384 12799 0 0 0 338 1 0 0 20 0 28 0 420089691 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843803122032 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14515] ppid=14496 vsize=28768328 memory=2120 CPUtime=1.12 cores=0-7
/proc/14498/task/14515/stat : 14515 (java) S 14496 14496 14053 0 -1 1077944384 15922 0 0 0 108 4 0 0 20 0 28 0 420089691 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843802069232 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14516] ppid=14496 vsize=28768328 memory=11976 CPUtime=0 cores=0-7
/proc/14498/task/14516/stat : 14516 (java) S 14496 14496 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420089691 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843801017184 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14517] ppid=14496 vsize=28768328 memory=7548 CPUtime=0.06 cores=0-7
/proc/14498/task/14517/stat : 14517 (java) S 14496 14496 14053 0 -1 1077944384 920 0 0 0 0 6 0 0 20 0 28 0 420089692 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843732499248 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14526] ppid=14496 vsize=28768328 memory=512 CPUtime=169.02 cores=0-7
/proc/14498/task/14526/stat : 14526 (java) R 14496 14496 14053 0 -1 4202560 1850 0 0 0 16901 1 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843718262104 139844764232439 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14527] ppid=14496 vsize=28768328 memory=1564 CPUtime=169.41 cores=0-7
/proc/14498/task/14527/stat : 14527 (java) R 14496 14496 14053 0 -1 4202560 1429 0 0 0 16940 1 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843719315600 139844764231206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14528] ppid=14496 vsize=28768328 memory=1328 CPUtime=168.57 cores=0-7
/proc/14498/task/14528/stat : 14528 (java) R 14496 14496 14053 0 -1 4202560 15878 0 0 0 16798 59 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843722473160 139844766966784 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14529] ppid=14496 vsize=28768328 memory=780 CPUtime=169.35 cores=0-7
/proc/14498/task/14529/stat : 14529 (java) R 14496 14496 14053 0 -1 4202560 13641 0 0 0 16878 57 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843723525624 139844767221383 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14530] ppid=14496 vsize=28768328 memory=4160 CPUtime=169.35 cores=0-7
/proc/14498/task/14530/stat : 14530 (java) R 14496 14496 14053 0 -1 4202560 1830 0 0 0 16934 1 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843720368744 139844764491648 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14531] ppid=14496 vsize=28768328 memory=1692 CPUtime=167.63 cores=0-7
/proc/14498/task/14531/stat : 14531 (java) R 14496 14496 14053 0 -1 4202560 1863 0 0 0 16761 2 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843717212768 139844764019793 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14532] ppid=14496 vsize=28768328 memory=1028 CPUtime=169.04 cores=0-7
/proc/14498/task/14532/stat : 14532 (java) R 14496 14496 14053 0 -1 4202560 1404 0 0 0 16904 0 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843716157704 139844763140173 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14533] ppid=14496 vsize=28768328 memory=1060 CPUtime=169.49 cores=0-7
/proc/14498/task/14533/stat : 14533 (java) R 14496 14496 14053 0 -1 4202560 2135 0 0 0 16945 4 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843721421368 139844768378589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
Current children cumulated CPU time: 1408.38 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2413924 KiB

[startup+178.402 s]
/proc/loadavg: 8.26 8.12 8.13 9/221 14551
/proc/meminfo: memFree=29055936/32770624 swapFree=66982432/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 14053 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420089685 115843072 363 33554432000 4194304 5098028 140724589465280 140724589463384 140486620856956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8863744 140724589470581 140724589470825 140724589470825 140724589473738 0
/proc/14496/statm: 28282 363 304 221 0 87 0
[pid=14498] ppid=14496 vsize=28768328 memory=2412472 CPUtime=1414.77 cores=0-7
/proc/14498/stat : 14498 (java) S 14496 14496 14053 0 -1 1077944320 126504 0 0 0 141213 264 0 0 20 0 28 0 420089685 29458767872 603118 33554432000 4194304 4196468 140732265414512 140732265397056 139845143953143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
/proc/14498/statm: 7192082 603118 3535 1 0 7153184 0
[pid=14498/tid=14499] ppid=14496 vsize=28768328 memory=6791534058613427641 CPUtime=1.65 cores=0-7
/proc/14498/task/14499/stat : 14499 (java) S 14496 14496 14053 0 -1 1077944384 9843 0 0 0 158 7 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845148193920 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14500] ppid=14496 vsize=28768328 memory=1452 CPUtime=0.36 cores=0-7
/proc/14498/task/14500/stat : 14500 (java) S 14496 14496 14053 0 -1 1077944384 2175 0 0 0 23 13 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845096573840 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14501] ppid=14496 vsize=28768328 memory=2412472 CPUtime=0.38 cores=0-7
/proc/14498/task/14501/stat : 14501 (java) S 14496 14496 14053 0 -1 1077944384 1980 0 0 0 24 14 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845095521040 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14502] ppid=14496 vsize=28768328 memory=2404 CPUtime=0.34 cores=0-7
/proc/14498/task/14502/stat : 14502 (java) S 14496 14496 14053 0 -1 1077944384 3193 0 0 0 22 12 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845094468752 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14503] ppid=14496 vsize=28768328 memory=7548 CPUtime=0.33 cores=0-7
/proc/14498/task/14503/stat : 14503 (java) S 14496 14496 14053 0 -1 1077944384 2027 0 0 0 20 13 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845093415952 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14504] ppid=14496 vsize=28768328 memory=512 CPUtime=0.33 cores=0-7
/proc/14498/task/14504/stat : 14504 (java) S 14496 14496 14053 0 -1 1077944384 1936 0 0 0 22 11 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845092362640 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14505] ppid=14496 vsize=28768328 memory=1564 CPUtime=0.32 cores=0-7
/proc/14498/task/14505/stat : 14505 (java) S 14496 14496 14053 0 -1 1077944384 1066 0 0 0 20 12 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845091309840 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14506] ppid=14496 vsize=28768328 memory=1452 CPUtime=0.32 cores=0-7
/proc/14498/task/14506/stat : 14506 (java) S 14496 14496 14053 0 -1 1077944384 1145 0 0 0 20 12 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845090257552 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14507] ppid=14496 vsize=28768328 memory=2412472 CPUtime=0.37 cores=0-7
/proc/14498/task/14507/stat : 14507 (java) S 14496 14496 14053 0 -1 1077944384 666 0 0 0 23 14 0 0 20 0 28 0 420089686 29458767872 603118 33554432000 4194304 4196468 140732265414512 139845089204752 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14508] ppid=14496 vsize=28768328 memory=1440 CPUtime=0.03 cores=0-7
/proc/14498/task/14508/stat : 14508 (java) S 14496 14496 14053 0 -1 1077944384 4729 0 0 0 3 0 0 0 20 0 28 0 420089688 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843809438320 139845143964290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14509] ppid=14496 vsize=28768328 memory=920 CPUtime=0 cores=0-7
/proc/14498/task/14509/stat : 14509 (java) S 14496 14496 14053 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 420089688 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843808384352 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14510] ppid=14496 vsize=28768328 memory=1984 CPUtime=0 cores=0-7
/proc/14498/task/14510/stat : 14510 (java) S 14496 14496 14053 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 420089689 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843807331968 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14511] ppid=14496 vsize=28768328 memory=2404 CPUtime=0 cores=0-7
/proc/14498/task/14511/stat : 14511 (java) S 14496 14496 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420089691 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843806280272 139845143971739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14512] ppid=14496 vsize=28768328 memory=1764 CPUtime=3.67 cores=0-7
/proc/14498/task/14512/stat : 14512 (java) S 14496 14496 14053 0 -1 1077944384 12953 0 0 0 365 2 0 0 20 0 28 0 420089691 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843805227120 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14513] ppid=14496 vsize=28768328 memory=2004 CPUtime=3.57 cores=0-7
/proc/14498/task/14513/stat : 14513 (java) S 14496 14496 14053 0 -1 1077944384 10112 0 0 0 354 3 0 0 20 0 28 0 420089691 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843804174320 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14514] ppid=14496 vsize=28768328 memory=984 CPUtime=3.39 cores=0-7
/proc/14498/task/14514/stat : 14514 (java) S 14496 14496 14053 0 -1 1077944384 12799 0 0 0 338 1 0 0 20 0 28 0 420089691 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843803122032 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14515] ppid=14496 vsize=28768328 memory=1328 CPUtime=1.12 cores=0-7
/proc/14498/task/14515/stat : 14515 (java) S 14496 14496 14053 0 -1 1077944384 15922 0 0 0 108 4 0 0 20 0 28 0 420089691 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843802069232 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14516] ppid=14496 vsize=28768328 memory=780 CPUtime=0 cores=0-7
/proc/14498/task/14516/stat : 14516 (java) S 14496 14496 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420089691 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843801017184 139845143963349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14517] ppid=14496 vsize=28768328 memory=4160 CPUtime=0.06 cores=0-7
/proc/14498/task/14517/stat : 14517 (java) S 14496 14496 14053 0 -1 1077944384 944 0 0 0 0 6 0 0 20 0 28 0 420089692 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843732499248 139845143964290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14526] ppid=14496 vsize=28768328 memory=1692 CPUtime=169.82 cores=0-7
/proc/14498/task/14526/stat : 14526 (java) R 14496 14496 14053 0 -1 4202560 1940 0 0 0 16981 1 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843718262104 139844763848216 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14527] ppid=14496 vsize=28768328 memory=1028 CPUtime=170.21 cores=0-7
/proc/14498/task/14527/stat : 14527 (java) R 14496 14496 14053 0 -1 4202560 1473 0 0 0 17020 1 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843719315600 139844764232486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14528] ppid=14496 vsize=28768328 memory=1060 CPUtime=169.37 cores=0-7
/proc/14498/task/14528/stat : 14528 (java) R 14496 14496 14053 0 -1 4202560 16168 0 0 0 16878 59 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843722473160 139844767041386 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14529] ppid=14496 vsize=28768328 memory=2828 CPUtime=170.15 cores=0-7
/proc/14498/task/14529/stat : 14529 (java) R 14496 14496 14053 0 -1 4202560 13803 0 0 0 16957 58 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843723525624 139844767183800 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14530] ppid=14496 vsize=28768328 memory=756 CPUtime=170.13 cores=0-7
/proc/14498/task/14530/stat : 14530 (java) R 14496 14496 14053 0 -1 4202560 1849 0 0 0 17012 1 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843720368744 139844764338693 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14531] ppid=14496 vsize=28768328 memory=1548 CPUtime=168.43 cores=0-7
/proc/14498/task/14531/stat : 14531 (java) R 14496 14496 14053 0 -1 4202560 1906 0 0 0 16841 2 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843717212768 139844764338698 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14532] ppid=14496 vsize=28768328 memory=7980 CPUtime=169.84 cores=0-7
/proc/14498/task/14532/stat : 14532 (java) R 14496 14496 14053 0 -1 4202560 1446 0 0 0 16984 0 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843716157704 139844763905561 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
[pid=14498/tid=14533] ppid=14496 vsize=28768328 memory=1164 CPUtime=170.29 cores=0-7
/proc/14498/task/14533/stat : 14533 (java) R 14496 14496 14053 0 -1 4202560 2182 0 0 0 17025 4 0 0 20 0 28 0 420090452 29458767872 603118 33554432000 4194304 4196468 140732265414512 139843721421368 139844763848422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38445056 140732265419754 140732265419926 140732265419926 140732265422799 0
Current children cumulated CPU time: 1414.77 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2413924 KiB

[startup+178.601 s]
/proc/loadavg: 8.26 8.12 8.13 9/221 14551
/proc/meminfo: memFree=29055936/32770624 swapFree=66982432/67108860
[pid=14496] ppid=14493 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14496/stat : 14496 (xcsp3-exec) S 14493 14496 14053 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420089685 115843072 363 33554432000 4194304 5098028 140724589465280 140724589463384 140486620856956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8863744 140724589470581 140724589470825 140724589470825 140724589473738 0
/proc/14496/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): 178.604
CPU time (s): 1416.24
CPU user time (s): 1413.58
CPU system time (s): 2.65913
CPU usage (%): 792.949
Max. virtual memory (cumulated for all children) (KiB): 28883348
Max. memory (cumulated for all children) (KiB): 2424700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1413.58
system time used= 2.65913
maximum resident set size= 2425296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128392
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9439
involuntary context switches= 17781


# summary of solver processes directly reported to runsolver:
#   pid: 14496
#   total CPU time (s): 1416.24
#   total CPU user time (s): 1413.58
#   total CPU system time (s): 2.65913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.87861 second user time and 1.75231 second system time

The end