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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400508-1568694651/watcher-4400508-1568694651 -o /tmp/evaluation-result-4400508-1568694651/solver-4400508-1568694651 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568694456-7912 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1774415387 HOME/instance-4400508-1568694651.xml 

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

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


[startup+0.100142 s]*
/proc/loadavg: 8.01 3.87 2.00 7/234 11027
/proc/meminfo: memFree=30737556/32770624 swapFree=66988564/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445732892 115843072 362 33554432000 4194304 5098028 140730777808672 140730777806776 140616314503804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31391744 140730777809786 140730777810029 140730777810029 140730777812938 0
/proc/11011/statm: 28282 362 304 221 0 87 0
[pid=11013] ppid=11011 vsize=15144776 memory=26960 CPUtime=0.13 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 7881 0 -1 1077944320 5773 0 0 0 12 1 0 0 20 0 15 0 445732893 15508250624 6740 33554432000 4194304 4196468 140721697354400 140721697336944 140164344377079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
/proc/11013/statm: 3786194 6740 3121 1 0 3748377 0
[pid=11013/tid=11014] ppid=11011 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 7881 0 -1 4202560 3637 0 0 0 9 0 0 0 20 0 15 0 445732893 15508250624 6806 33554432000 4194304 4196468 140721697354400 140164348608400 140164328457566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11015] ppid=11011 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732894 15508250624 6806 33554432000 4194304 4196468 140721697354400 140163936872976 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11016] ppid=11011 vsize=15144776 memory=139651232429696 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732894 15508250624 6806 33554432000 4194304 4196468 140721697354400 140163935820432 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11017] ppid=11011 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732894 15508250624 6806 33554432000 4194304 4196468 140721697354400 140163934767376 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11018] ppid=11011 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445732894 15508250624 6806 33554432000 4194304 4196468 140721697354400 140163933714832 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11019] ppid=11011 vsize=15144776 memory=139651232429696 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445732895 15508250624 6806 33554432000 4194304 4196468 140721697354400 140163812993776 140164344388226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11020] ppid=11011 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445732896 15508250624 6806 33554432000 4194304 4196468 140721697354400 140163811940000 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11021] ppid=11011 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445732896 15508250624 6806 33554432000 4194304 4196468 140721697354400 140163810886896 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11022] ppid=11011 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445732898 15508250624 6806 33554432000 4194304 4196468 140721697354400 140163809835472 140164344395675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11023] ppid=11011 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) R 11011 11011 7881 0 -1 4202560 341 0 0 0 0 0 0 0 20 0 15 0 445732898 15508250624 6806 33554432000 4194304 4196468 140721697354400 140163808782576 140164329277313 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11024] ppid=11011 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) R 11011 11011 7881 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 445732898 15508250624 6872 33554432000 4194304 4196468 140721697354400 140163807730032 140164344388226 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11025] ppid=11011 vsize=15144776 memory=139651232429696 CPUtime=0.02 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) R 11011 11011 7881 0 -1 4202560 396 0 0 0 2 0 0 0 20 0 15 0 445732898 15508250624 6872 33554432000 4194304 4196468 140721697354400 140163806674512 140164337473915 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11026] ppid=11011 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445732898 15508250624 6872 33554432000 4194304 4196468 140721697354400 140163805624672 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11027] ppid=11011 vsize=15144776 memory=139651232429696 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732899 15508250624 6872 33554432000 4194304 4196468 140721697354400 140163804572720 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28408 KiB

[startup+0.210931 s]*
/proc/loadavg: 8.01 3.87 2.00 6/234 11027
/proc/meminfo: memFree=30724872/32770624 swapFree=66988564/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445732892 115843072 362 33554432000 4194304 5098028 140730777808672 140730777806776 140616314503804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31391744 140730777809786 140730777810029 140730777810029 140730777812938 0
/proc/11011/statm: 28282 362 304 221 0 87 0
[pid=11013] ppid=11011 vsize=15144776 memory=39244 CPUtime=0.34 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 7881 0 -1 1077944320 9528 0 0 0 31 3 0 0 20 0 15 0 445732893 15508250624 9811 33554432000 4194304 4196468 140721697354400 140721697336944 140164344377079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
/proc/11013/statm: 3786194 9811 3321 1 0 3748377 0
[pid=11013/tid=11014] ppid=11011 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 7881 0 -1 4202560 6630 0 0 0 18 2 0 0 20 0 15 0 445732893 15508250624 9811 33554432000 4194304 4196468 140721697354400 140164348606800 140164344389014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11015] ppid=11011 vsize=15144776 memory=8996 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732894 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163936872976 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11016] ppid=11011 vsize=15144776 memory=3545098387069990560 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732894 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163935820432 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11017] ppid=11011 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732894 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163934767376 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11018] ppid=11011 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445732894 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163933714832 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11019] ppid=11011 vsize=15144776 memory=139651232429696 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445732895 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163812993776 140164344388226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11020] ppid=11011 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445732896 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163811940000 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11021] ppid=11011 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445732896 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163810886896 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11022] ppid=11011 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445732898 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163809835472 140164344395675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11023] ppid=11011 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 7881 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 15 0 445732898 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163808782576 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11024] ppid=11011 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 7881 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 15 0 445732898 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163807730032 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11025] ppid=11011 vsize=15144776 memory=139651232429696 CPUtime=0.08 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) R 11011 11011 7881 0 -1 4202560 916 0 0 0 8 0 0 0 20 0 15 0 445732898 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163806676976 140164323353758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11026] ppid=11011 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445732898 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163805624672 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11027] ppid=11011 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732899 15508250624 9811 33554432000 4194304 4196468 140721697354400 140163804572720 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40692 KiB

[startup+0.310722 s]*
/proc/loadavg: 8.01 3.87 2.00 7/234 11027
/proc/meminfo: memFree=30719756/32770624 swapFree=66988564/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445732892 115843072 362 33554432000 4194304 5098028 140730777808672 140730777806776 140616314503804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31391744 140730777809786 140730777810029 140730777810029 140730777812938 0
/proc/11011/statm: 28282 362 304 221 0 87 0
[pid=11013] ppid=11011 vsize=15149032 memory=48396 CPUtime=0.52 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 7881 0 -1 1077944320 10970 0 0 0 49 3 0 0 20 0 15 0 445732893 15512608768 12099 33554432000 4194304 4196468 140721697354400 140721697336944 140164344377079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
/proc/11013/statm: 3787258 12099 3366 1 0 3748377 0
[pid=11013/tid=11014] ppid=11011 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 7881 0 -1 1077944384 7726 0 0 0 27 2 0 0 20 0 15 0 445732893 15512608768 12099 33554432000 4194304 4196468 140721697354400 140164348609504 140164344387285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11015] ppid=11011 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732894 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163936872976 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11016] ppid=11011 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732894 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163935820432 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11017] ppid=11011 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732894 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163934767376 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11018] ppid=11011 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445732894 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163933714832 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11019] ppid=11011 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445732895 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163812993776 140164344388226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11020] ppid=11011 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445732896 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163811940000 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11021] ppid=11011 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445732896 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163810886896 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11022] ppid=11011 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445732898 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163809835472 140164344395675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11023] ppid=11011 vsize=15149032 memory=4426089072227881875 CPUtime=0.04 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) R 11011 11011 7881 0 -1 4202560 583 0 0 0 4 0 0 0 20 0 15 0 445732898 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163808772688 140164325077376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11024] ppid=11011 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 7881 0 -1 1077944384 257 0 0 0 3 0 0 0 20 0 15 0 445732898 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163807730032 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11025] ppid=11011 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 7881 0 -1 1077944384 1131 0 0 0 13 0 0 0 20 0 15 0 445732898 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163806676976 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11026] ppid=11011 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445732898 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163805624672 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11027] ppid=11011 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732899 15512608768 12099 33554432000 4194304 4196468 140721697354400 140163804572720 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 49844 KiB

[startup+0.700823 s]
/proc/loadavg: 8.01 3.87 2.00 9/234 11027
/proc/meminfo: memFree=30697448/32770624 swapFree=66988564/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445732892 115843072 362 33554432000 4194304 5098028 140730777808672 140730777806776 140616314503804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31391744 140730777809786 140730777810029 140730777810029 140730777812938 0
/proc/11011/statm: 28282 362 304 221 0 87 0
[pid=11013] ppid=11011 vsize=15151156 memory=100520 CPUtime=1.74 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 7881 0 -1 1077944320 14749 0 0 0 169 5 0 0 20 0 15 0 445732893 15514783744 25130 33554432000 4194304 4196468 140721697354400 140721697336944 140164344377079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
/proc/11013/statm: 3787789 25130 3446 1 0 3748889 0
[pid=11013/tid=11014] ppid=11011 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) R 11011 11011 7881 0 -1 4202560 8456 0 0 0 65 3 0 0 20 0 15 0 445732893 15514783744 25130 33554432000 4194304 4196468 140721697354400 140164348614672 140164344389014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11015] ppid=11011 vsize=15151156 memory=33 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732894 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163936872976 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11016] ppid=11011 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732894 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163935820432 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11017] ppid=11011 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732894 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163934767376 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11018] ppid=11011 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445732894 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163933714832 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11019] ppid=11011 vsize=15151156 memory=38660 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445732895 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163812993776 140164344388226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11020] ppid=11011 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445732896 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163811940000 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11021] ppid=11011 vsize=15151156 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445732896 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163810886896 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11022] ppid=11011 vsize=15151156 memory=1212 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445732898 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163809835472 140164344395675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11023] ppid=11011 vsize=15151156 memory=1060 CPUtime=0.35 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) R 11011 11011 7881 0 -1 4202560 1436 0 0 0 35 0 0 0 20 0 15 0 445732898 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163808770720 140164328770904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11024] ppid=11011 vsize=15151156 memory=740 CPUtime=0.35 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) R 11011 11011 7881 0 -1 4202560 1499 0 0 0 35 0 0 0 20 0 15 0 445732898 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163807717264 140164327875713 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11025] ppid=11011 vsize=15151156 memory=1228 CPUtime=0.33 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) R 11011 11011 7881 0 -1 1077944384 2052 0 0 0 33 0 0 0 20 0 15 0 445732898 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163806676976 140164344388226 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11026] ppid=11011 vsize=15151156 memory=9520 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445732898 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163805624672 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11027] ppid=11011 vsize=15151156 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445732899 15514783744 25130 33554432000 4194304 4196468 140721697354400 140163804572720 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101968 KiB

[startup+1.5012 s]
/proc/loadavg: 8.01 3.87 2.00 9/234 11027
/proc/meminfo: memFree=30615648/32770624 swapFree=66988564/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445732892 115843072 362 33554432000 4194304 5098028 140730777808672 140730777806776 140616314503804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31391744 140730777809786 140730777810029 140730777810029 140730777812938 0
/proc/11011/statm: 28282 362 304 221 0 87 0

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

/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 7881 0 -1 1077944384 501 0 0 0 2 2 0 0 20 0 19 0 445732899 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163804572720 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11055] ppid=11011 vsize=15417412 memory=1448 CPUtime=73.08 cores=0,2,4,6
/proc/11013/task/11055/stat : 11055 (java) R 11011 11011 7881 0 -1 4202560 656 0 0 0 7308 0 0 0 20 0 19 0 445741553 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163794299944 140163988156857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11056] ppid=11011 vsize=15417412 memory=656096 CPUtime=73.02 cores=0,2,4,6
/proc/11013/task/11056/stat : 11056 (java) R 11011 11011 7881 0 -1 4202560 2754 0 0 0 7302 0 0 0 20 0 19 0 445741553 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163793247584 140163988774827 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11057] ppid=11011 vsize=15417412 memory=6791534058613427641 CPUtime=72.86 cores=0,2,4,6
/proc/11013/task/11057/stat : 11057 (java) R 11011 11011 7881 0 -1 4202560 658 0 0 0 7286 0 0 0 20 0 19 0 445741553 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163792198288 140163988213782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11058] ppid=11011 vsize=15417412 memory=1540 CPUtime=72.9 cores=0,2,4,6
/proc/11013/task/11058/stat : 11058 (java) R 11011 11011 7881 0 -1 4202560 906 0 0 0 7290 0 0 0 20 0 19 0 445741553 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163795354056 140163988207766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
Current children cumulated CPU time: 635.26 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 655468 KiB

[startup+160.801 s]
/proc/loadavg: 8.06 5.65 2.98 9/238 11064
/proc/meminfo: memFree=29338952/32770624 swapFree=66988564/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445732892 115843072 362 33554432000 4194304 5098028 140730777808672 140730777806776 140616314503804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31391744 140730777809786 140730777810029 140730777810029 140730777812938 0
/proc/11011/statm: 28282 362 304 221 0 87 0
[pid=11013] ppid=11011 vsize=15417412 memory=654020 CPUtime=638.41 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 7881 0 -1 1077944320 73796 0 0 0 63801 40 0 0 20 0 19 0 445732893 15787429888 163505 33554432000 4194304 4196468 140721697354400 140721697336944 140164344377079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
/proc/11013/statm: 3854353 163505 3542 1 0 3815453 0
[pid=11013/tid=11014] ppid=11011 vsize=15417412 memory=6791534058613427641 CPUtime=1.39 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) S 11011 11011 7881 0 -1 1077944384 11146 0 0 0 134 5 0 0 20 0 19 0 445732893 15787429888 163505 33554432000 4194304 4196468 140721697354400 140164348617856 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11015] ppid=11011 vsize=15417412 memory=7091593157566623338 CPUtime=0.16 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 7881 0 -1 1077944384 3708 0 0 0 11 5 0 0 20 0 19 0 445732894 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163936872976 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11016] ppid=11011 vsize=15417412 memory=7665806503792105838 CPUtime=0.16 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 7881 0 -1 1077944384 1220 0 0 0 11 5 0 0 20 0 19 0 445732894 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163935820432 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11017] ppid=11011 vsize=15417412 memory=6791534058613427641 CPUtime=0.16 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 7881 0 -1 1077944384 2545 0 0 0 11 5 0 0 20 0 19 0 445732894 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163934767376 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11018] ppid=11011 vsize=15417412 memory=3220 CPUtime=0.17 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 7881 0 -1 1077944384 3055 0 0 0 12 5 0 0 20 0 19 0 445732894 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163933714832 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11019] ppid=11011 vsize=15417412 memory=1448 CPUtime=0.04 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 7881 0 -1 1077944384 3051 0 0 0 3 1 0 0 20 0 19 0 445732895 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163812993776 140164344388226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11020] ppid=11011 vsize=15417412 memory=654020 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 7881 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445732896 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163811940064 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11021] ppid=11011 vsize=15417412 memory=1736 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 7881 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445732896 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163810886912 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11022] ppid=11011 vsize=15417412 memory=924 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445732898 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163809835472 140164344395675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11023] ppid=11011 vsize=15417412 memory=3804 CPUtime=2.66 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 7881 0 -1 1077944384 14719 0 0 0 265 1 0 0 20 0 19 0 445732898 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163808782576 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11024] ppid=11011 vsize=15417412 memory=1448 CPUtime=2.51 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 7881 0 -1 1077944384 12574 0 0 0 250 1 0 0 20 0 19 0 445732898 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163807730032 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11025] ppid=11011 vsize=15417412 memory=1448 CPUtime=0.83 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 7881 0 -1 1077944384 7664 0 0 0 82 1 0 0 20 0 19 0 445732898 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163806676976 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11026] ppid=11011 vsize=15417412 memory=654020 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445732898 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163805624672 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11027] ppid=11011 vsize=15417412 memory=772 CPUtime=0.04 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 7881 0 -1 1077944384 501 0 0 0 2 2 0 0 20 0 19 0 445732899 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163804572720 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11055] ppid=11011 vsize=15417412 memory=952 CPUtime=73.87 cores=0,2,4,6
/proc/11013/task/11055/stat : 11055 (java) R 11011 11011 7881 0 -1 4202560 656 0 0 0 7387 0 0 0 20 0 19 0 445741553 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163794299944 140163988157043 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11056] ppid=11011 vsize=15417412 memory=14008 CPUtime=73.81 cores=0,2,4,6
/proc/11013/task/11056/stat : 11056 (java) R 11011 11011 7881 0 -1 4202560 2754 0 0 0 7381 0 0 0 20 0 19 0 445741553 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163793247584 140163990785967 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11057] ppid=11011 vsize=15417412 memory=1448 CPUtime=73.65 cores=0,2,4,6
/proc/11013/task/11057/stat : 11057 (java) R 11011 11011 7881 0 -1 4202560 658 0 0 0 7365 0 0 0 20 0 19 0 445741553 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163792198288 140163982927288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11058] ppid=11011 vsize=15417412 memory=656096 CPUtime=73.69 cores=0,2,4,6
/proc/11013/task/11058/stat : 11058 (java) R 11011 11011 7881 0 -1 4202560 906 0 0 0 7369 0 0 0 20 0 19 0 445741553 15787429888 163505 33554432000 4194304 4196468 140721697354400 140163795354056 140163988207745 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
Current children cumulated CPU time: 638.41 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 655468 KiB

[startup+161.201 s]
/proc/loadavg: 8.06 5.65 2.98 9/238 11064
/proc/meminfo: memFree=29338952/32770624 swapFree=66988564/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445732892 115843072 362 33554432000 4194304 5098028 140730777808672 140730777806776 140616314503804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31391744 140730777809786 140730777810029 140730777810029 140730777812938 0
/proc/11011/statm: 28282 362 304 221 0 87 0
[pid=11013] ppid=11011 vsize=15417412 memory=656068 CPUtime=640 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 7881 0 -1 1077944320 73802 0 0 0 63960 40 0 0 20 0 19 0 445732893 15787429888 164017 33554432000 4194304 4196468 140721697354400 140721697336944 140164344377079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
/proc/11013/statm: 3854353 164017 3542 1 0 3815453 0
[pid=11013/tid=11014] ppid=11011 vsize=15417412 memory=6942411325102840164 CPUtime=1.39 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) S 11011 11011 7881 0 -1 1077944384 11146 0 0 0 134 5 0 0 20 0 19 0 445732893 15787429888 164017 33554432000 4194304 4196468 140721697354400 140164348617856 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11015] ppid=11011 vsize=15417412 memory=5791726317272917849 CPUtime=0.16 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 7881 0 -1 1077944384 3709 0 0 0 11 5 0 0 20 0 19 0 445732894 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163936872976 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11016] ppid=11011 vsize=15417412 memory=5791726317272917849 CPUtime=0.16 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 7881 0 -1 1077944384 1221 0 0 0 11 5 0 0 20 0 19 0 445732894 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163935820432 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11017] ppid=11011 vsize=15417412 memory=5791726317272917849 CPUtime=0.16 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 7881 0 -1 1077944384 2546 0 0 0 11 5 0 0 20 0 19 0 445732894 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163934767376 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11018] ppid=11011 vsize=15417412 memory=6942411325102840164 CPUtime=0.17 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 7881 0 -1 1077944384 3057 0 0 0 12 5 0 0 20 0 19 0 445732894 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163933714832 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11019] ppid=11011 vsize=15417412 memory=8099531882097108048 CPUtime=0.04 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 7881 0 -1 1077944384 3051 0 0 0 3 1 0 0 20 0 19 0 445732895 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163812993776 140164344388226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11020] ppid=11011 vsize=15417412 memory=290763849282617370 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 7881 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445732896 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163811940064 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11021] ppid=11011 vsize=15417412 memory=303430231908417849 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 7881 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445732896 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163810886912 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11022] ppid=11011 vsize=15417412 memory=16104775267649398 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445732898 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163809835472 140164344395675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11023] ppid=11011 vsize=15417412 memory=0 CPUtime=2.66 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 7881 0 -1 1077944384 14719 0 0 0 265 1 0 0 20 0 19 0 445732898 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163808782576 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11024] ppid=11011 vsize=15417412 memory=4420 CPUtime=2.51 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 7881 0 -1 1077944384 12574 0 0 0 250 1 0 0 20 0 19 0 445732898 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163807730032 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11025] ppid=11011 vsize=15417412 memory=6628 CPUtime=0.83 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 7881 0 -1 1077944384 7664 0 0 0 82 1 0 0 20 0 19 0 445732898 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163806676976 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11026] ppid=11011 vsize=15417412 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445732898 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163805624672 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11027] ppid=11011 vsize=15417412 memory=11044 CPUtime=0.04 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 7881 0 -1 1077944384 501 0 0 0 2 2 0 0 20 0 19 0 445732899 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163804572720 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11055] ppid=11011 vsize=15417412 memory=13252 CPUtime=74.26 cores=0,2,4,6
/proc/11013/task/11055/stat : 11055 (java) R 11011 11011 7881 0 -1 4202560 656 0 0 0 7426 0 0 0 20 0 19 0 445741553 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163794299800 140163988272619 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11056] ppid=11011 vsize=15417412 memory=15460 CPUtime=74.19 cores=0,2,4,6
/proc/11013/task/11056/stat : 11056 (java) R 11011 11011 7881 0 -1 4202560 2754 0 0 0 7419 0 0 0 20 0 19 0 445741553 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163793247824 140163988774617 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11057] ppid=11011 vsize=15417412 memory=17668 CPUtime=74.04 cores=0,2,4,6
/proc/11013/task/11057/stat : 11057 (java) R 11011 11011 7881 0 -1 4202560 659 0 0 0 7404 0 0 0 20 0 19 0 445741553 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163792198400 140164329586920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11058] ppid=11011 vsize=15417412 memory=19876 CPUtime=74.09 cores=0,2,4,6
/proc/11013/task/11058/stat : 11058 (java) R 11011 11011 7881 0 -1 4202560 906 0 0 0 7409 0 0 0 20 0 19 0 445741553 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163795353920 140163988214001 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
Current children cumulated CPU time: 640 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 657516 KiB

[startup+161.401 s]
/proc/loadavg: 8.06 5.65 2.98 9/238 11064
/proc/meminfo: memFree=29338952/32770624 swapFree=66988564/67108860
[pid=11011] ppid=11008 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11011/stat : 11011 (xcsp3-exec) S 11008 11011 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445732892 115843072 362 33554432000 4194304 5098028 140730777808672 140730777806776 140616314503804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31391744 140730777809786 140730777810029 140730777810029 140730777812938 0
/proc/11011/statm: 28282 362 304 221 0 87 0
[pid=11013] ppid=11011 vsize=15417412 memory=656068 CPUtime=640.79 cores=0,2,4,6
/proc/11013/stat : 11013 (java) S 11011 11011 7881 0 -1 1077944320 73802 0 0 0 64039 40 0 0 20 0 19 0 445732893 15787429888 164017 33554432000 4194304 4196468 140721697354400 140721697336944 140164344377079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
/proc/11013/statm: 3854353 164017 3542 1 0 3815453 0
[pid=11013/tid=11014] ppid=11011 vsize=15417412 memory=16104775267649398 CPUtime=1.39 cores=0,2,4,6
/proc/11013/task/11014/stat : 11014 (java) S 11011 11011 7881 0 -1 1077944384 11146 0 0 0 134 5 0 0 20 0 19 0 445732893 15787429888 164017 33554432000 4194304 4196468 140721697354400 140164348617856 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11015] ppid=11011 vsize=15417412 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/11013/task/11015/stat : 11015 (java) S 11011 11011 7881 0 -1 1077944384 3709 0 0 0 11 5 0 0 20 0 19 0 445732894 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163936872976 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11016] ppid=11011 vsize=15417412 memory=279302260130032 CPUtime=0.16 cores=0,2,4,6
/proc/11013/task/11016/stat : 11016 (java) S 11011 11011 7881 0 -1 1077944384 1221 0 0 0 11 5 0 0 20 0 19 0 445732894 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163935820432 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11017] ppid=11011 vsize=15417412 memory=279302260130032 CPUtime=0.16 cores=0,2,4,6
/proc/11013/task/11017/stat : 11017 (java) S 11011 11011 7881 0 -1 1077944384 2546 0 0 0 11 5 0 0 20 0 19 0 445732894 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163934767376 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11018] ppid=11011 vsize=15417412 memory=279302260130032 CPUtime=0.17 cores=0,2,4,6
/proc/11013/task/11018/stat : 11018 (java) S 11011 11011 7881 0 -1 1077944384 3057 0 0 0 12 5 0 0 20 0 19 0 445732894 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163933714832 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11019] ppid=11011 vsize=15417412 memory=279302260130032 CPUtime=0.04 cores=0,2,4,6
/proc/11013/task/11019/stat : 11019 (java) S 11011 11011 7881 0 -1 1077944384 3051 0 0 0 3 1 0 0 20 0 19 0 445732895 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163812993776 140164344388226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11020] ppid=11011 vsize=15417412 memory=279302260130032 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11020/stat : 11020 (java) S 11011 11011 7881 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445732896 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163811940064 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11021] ppid=11011 vsize=15417412 memory=279302260130032 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11021/stat : 11021 (java) S 11011 11011 7881 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445732896 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163810886912 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11022] ppid=11011 vsize=15417412 memory=279302260130032 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11022/stat : 11022 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445732898 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163809835472 140164344395675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11023] ppid=11011 vsize=15417412 memory=6944656592455359580 CPUtime=2.66 cores=0,2,4,6
/proc/11013/task/11023/stat : 11023 (java) S 11011 11011 7881 0 -1 1077944384 14719 0 0 0 265 1 0 0 20 0 19 0 445732898 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163808782576 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11024] ppid=11011 vsize=15417412 memory=288370015085011706 CPUtime=2.51 cores=0,2,4,6
/proc/11013/task/11024/stat : 11024 (java) S 11011 11011 7881 0 -1 1077944384 12574 0 0 0 250 1 0 0 20 0 19 0 445732898 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163807730032 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11025] ppid=11011 vsize=15417412 memory=14130043794247400 CPUtime=0.83 cores=0,2,4,6
/proc/11013/task/11025/stat : 11025 (java) S 11011 11011 7881 0 -1 1077944384 7664 0 0 0 82 1 0 0 20 0 19 0 445732898 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163806676976 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11026] ppid=11011 vsize=15417412 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/11013/task/11026/stat : 11026 (java) S 11011 11011 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445732898 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163805624672 140164344387285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11027] ppid=11011 vsize=15417412 memory=2832 CPUtime=0.04 cores=0,2,4,6
/proc/11013/task/11027/stat : 11027 (java) S 11011 11011 7881 0 -1 1077944384 501 0 0 0 2 2 0 0 20 0 19 0 445732899 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163804572720 140164344388226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11055] ppid=11011 vsize=15417412 memory=1540 CPUtime=74.46 cores=0,2,4,6
/proc/11013/task/11055/stat : 11055 (java) R 11011 11011 7881 0 -1 4202560 656 0 0 0 7446 0 0 0 20 0 19 0 445741553 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163794299800 140163988213761 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11056] ppid=11011 vsize=15417412 memory=1696 CPUtime=74.39 cores=0,2,4,6
/proc/11013/task/11056/stat : 11056 (java) R 11011 11011 7881 0 -1 4202560 2754 0 0 0 7439 0 0 0 20 0 19 0 445741553 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163793247712 140163988157469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11057] ppid=11011 vsize=15417412 memory=6032 CPUtime=74.24 cores=0,2,4,6
/proc/11013/task/11057/stat : 11057 (java) R 11011 11011 7881 0 -1 4202560 659 0 0 0 7424 0 0 0 20 0 19 0 445741553 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163792198400 140163988157222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
[pid=11013/tid=11058] ppid=11011 vsize=15417412 memory=772 CPUtime=74.29 cores=0,2,4,6
/proc/11013/task/11058/stat : 11058 (java) R 11011 11011 7881 0 -1 4202560 906 0 0 0 7429 0 0 0 20 0 19 0 445741553 15787429888 164017 33554432000 4194304 4196468 140721697354400 140163795354056 140164328754192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140721697362927 140721697363098 140721697363098 140721697365967 0
Current children cumulated CPU time: 640.79 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 657516 KiB

Child status: 0
Real time (s): 161.471
CPU time (s): 641.058
CPU user time (s): 640.638
CPU system time (s): 0.420212
CPU usage (%): 397.011
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 657544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 640.638
system time used= 0.420212
maximum resident set size= 666036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75343
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6695
involuntary context switches= 12689


# summary of solver processes directly reported to runsolver:
#   pid: 11011
#   total CPU time (s): 641.058
#   total CPU user time (s): 640.638
#   total CPU system time (s): 0.420212

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16914 second user time and 1.7274 second system time

The end