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 (12925 MiB free)
memory of node 1: 16384 MiB (15023 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400352-1568695904/watcher-4400352-1568695904 -o /tmp/evaluation-result-4400352-1568695904/solver-4400352-1568695904 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568694456-7913 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 679269717 HOME/instance-4400352-1568695904.xml
running on 4 cores: 1,3,5,7
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=13292, runsolver pid=13289
Current StackSize limit: 8192 KiB
[startup+0.10131 s]*
/proc/loadavg: 8.07 8.49 6.85 8/234 13308
/proc/meminfo: memFree=28603200/32770624 swapFree=66988580/67108860
[pid=13292] ppid=13289 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13292/stat : 13292 (xcsp3-exec) S 13289 13292 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445858160 115843072 363 33554432000 4194304 5098028 140727615997184 140727615995288 139754182558332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25731072 140727616004987 140727616005229 140727616005229 140727616008138 0
/proc/13292/statm: 28282 363 304 221 0 87 0
[pid=13294] ppid=13292 vsize=15144776 memory=29012 CPUtime=0.13 cores=1,3,5,7
/proc/13294/stat : 13294 (java) S 13292 13292 7881 0 -1 1077944320 5709 0 0 0 12 1 0 0 20 0 15 0 445858160 15508250624 7253 33554432000 4194304 4196468 140733698455152 140733698437696 140456718262007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
/proc/13294/statm: 3786194 7253 3148 1 0 3748377 0
[pid=13294/tid=13295] ppid=13292 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=1,3,5,7
/proc/13294/task/13295/stat : 13295 (java) R 13292 13292 7881 0 -1 4202560 3574 0 0 0 8 1 0 0 20 0 15 0 445858160 15508250624 7253 33554432000 4194304 4196468 140733698455152 140456722491184 140456718273942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13296] ppid=13292 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13296/stat : 13296 (java) S 13292 13292 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445858161 15508250624 7253 33554432000 4194304 4196468 140733698455152 140456646302096 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13297] ppid=13292 vsize=15144776 memory=140127373960832 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13297/stat : 13297 (java) S 13292 13292 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445858161 15508250624 7253 33554432000 4194304 4196468 140733698455152 140456645249296 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13298] ppid=13292 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13298/stat : 13298 (java) S 13292 13292 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445858161 15508250624 7253 33554432000 4194304 4196468 140733698455152 140456644197008 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13299] ppid=13292 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13299/stat : 13299 (java) S 13292 13292 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445858161 15508250624 7253 33554432000 4194304 4196468 140733698455152 140456643144208 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13300] ppid=13292 vsize=15144776 memory=140127373960832 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13300/stat : 13300 (java) S 13292 13292 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445858162 15508250624 7253 33554432000 4194304 4196468 140733698455152 140455860632176 140456718273154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13301] ppid=13292 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13301/stat : 13301 (java) S 13292 13292 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445858163 15508250624 7253 33554432000 4194304 4196468 140733698455152 140455859578144 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13302] ppid=13292 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13302/stat : 13302 (java) S 13292 13292 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445858163 15508250624 7253 33554432000 4194304 4196468 140733698455152 140455858525808 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13303] ppid=13292 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13303/stat : 13303 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445858165 15508250624 7253 33554432000 4194304 4196468 140733698455152 140455857474128 140456718280603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13304] ppid=13292 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13304/stat : 13304 (java) S 13292 13292 7881 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 445858165 15508250624 7253 33554432000 4194304 4196468 140733698455152 140455856420976 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13305] ppid=13292 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13305/stat : 13305 (java) S 13292 13292 7881 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 445858165 15508250624 7253 33554432000 4194304 4196468 140733698455152 140455855368176 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13306] ppid=13292 vsize=15144776 memory=140127373960832 CPUtime=0.02 cores=1,3,5,7
/proc/13294/task/13306/stat : 13306 (java) R 13292 13292 7881 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 445858165 15508250624 7253 33554432000 4194304 4196468 140733698455152 140455854315888 140456702342494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13307] ppid=13292 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13307/stat : 13307 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445858166 15508250624 7253 33554432000 4194304 4196468 140733698455152 140455853263328 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13308] ppid=13292 vsize=15144776 memory=140127373960832 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13308/stat : 13308 (java) S 13292 13292 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445858166 15508250624 7253 33554432000 4194304 4196468 140733698455152 140455852211120 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30464 KiB
[startup+0.210831 s]*
/proc/loadavg: 8.07 8.49 6.85 7/234 13308
/proc/meminfo: memFree=28590332/32770624 swapFree=66988580/67108860
[pid=13292] ppid=13289 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13292/stat : 13292 (xcsp3-exec) S 13289 13292 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445858160 115843072 363 33554432000 4194304 5098028 140727615997184 140727615995288 139754182558332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25731072 140727616004987 140727616005229 140727616005229 140727616008138 0
/proc/13292/statm: 28282 363 304 221 0 87 0
[pid=13294] ppid=13292 vsize=15144776 memory=40676 CPUtime=0.34 cores=1,3,5,7
/proc/13294/stat : 13294 (java) S 13292 13292 7881 0 -1 1077944320 9348 0 0 0 31 3 0 0 20 0 15 0 445858160 15508250624 10169 33554432000 4194304 4196468 140733698455152 140733698437696 140456718262007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
/proc/13294/statm: 3786194 10169 3322 1 0 3748377 0
[pid=13294/tid=13295] ppid=13292 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/13294/task/13295/stat : 13295 (java) R 13292 13292 7881 0 -1 4202560 6590 0 0 0 18 2 0 0 20 0 15 0 445858160 15508250624 10169 33554432000 4194304 4196468 140733698455152 140456722499072 140456702342494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13296] ppid=13292 vsize=15144776 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13296/stat : 13296 (java) S 13292 13292 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445858161 15508250624 10169 33554432000 4194304 4196468 140733698455152 140456646302096 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13297] ppid=13292 vsize=15144776 memory=140127373974030 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13297/stat : 13297 (java) S 13292 13292 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445858161 15508250624 10169 33554432000 4194304 4196468 140733698455152 140456645249296 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13298] ppid=13292 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13298/stat : 13298 (java) S 13292 13292 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445858161 15508250624 10169 33554432000 4194304 4196468 140733698455152 140456644197008 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13299] ppid=13292 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13299/stat : 13299 (java) S 13292 13292 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445858161 15508250624 10169 33554432000 4194304 4196468 140733698455152 140456643144208 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13300] ppid=13292 vsize=15144776 memory=140127373960832 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13300/stat : 13300 (java) S 13292 13292 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445858162 15508250624 10169 33554432000 4194304 4196468 140733698455152 140455860632176 140456718273154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13301] ppid=13292 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13301/stat : 13301 (java) S 13292 13292 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445858163 15508250624 10169 33554432000 4194304 4196468 140733698455152 140455859578144 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13302] ppid=13292 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13302/stat : 13302 (java) S 13292 13292 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445858163 15508250624 10169 33554432000 4194304 4196468 140733698455152 140455858525808 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13303] ppid=13292 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13303/stat : 13303 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445858165 15508250624 10169 33554432000 4194304 4196468 140733698455152 140455857474128 140456718280603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13304] ppid=13292 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13294/task/13304/stat : 13304 (java) S 13292 13292 7881 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 15 0 445858165 15508250624 10169 33554432000 4194304 4196468 140733698455152 140455856420976 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13305] ppid=13292 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13294/task/13305/stat : 13305 (java) S 13292 13292 7881 0 -1 1077944384 170 0 0 0 3 0 0 0 20 0 15 0 445858165 15508250624 10169 33554432000 4194304 4196468 140733698455152 140455855368176 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13306] ppid=13292 vsize=15144776 memory=140127373960832 CPUtime=0.08 cores=1,3,5,7
/proc/13294/task/13306/stat : 13306 (java) S 13292 13292 7881 0 -1 1077944384 815 0 0 0 8 0 0 0 20 0 15 0 445858165 15508250624 10169 33554432000 4194304 4196468 140733698455152 140455854315888 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13307] ppid=13292 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13307/stat : 13307 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445858166 15508250624 10169 33554432000 4194304 4196468 140733698455152 140455853263328 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13308] ppid=13292 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13308/stat : 13308 (java) S 13292 13292 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445858166 15508250624 10169 33554432000 4194304 4196468 140733698455152 140455852211120 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42128 KiB
[startup+0.318965 s]*
/proc/loadavg: 8.07 8.49 6.85 7/234 13308
/proc/meminfo: memFree=28582180/32770624 swapFree=66988580/67108860
[pid=13292] ppid=13289 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13292/stat : 13292 (xcsp3-exec) S 13289 13292 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445858160 115843072 363 33554432000 4194304 5098028 140727615997184 140727615995288 139754182558332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25731072 140727616004987 140727616005229 140727616005229 140727616008138 0
/proc/13292/statm: 28282 363 304 221 0 87 0
[pid=13294] ppid=13292 vsize=15149032 memory=50632 CPUtime=0.55 cores=1,3,5,7
/proc/13294/stat : 13294 (java) S 13292 13292 7881 0 -1 1077944320 10946 0 0 0 51 4 0 0 20 0 15 0 445858160 15512608768 12658 33554432000 4194304 4196468 140733698455152 140733698437696 140456718262007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
/proc/13294/statm: 3787258 12658 3358 1 0 3748377 0
[pid=13294/tid=13295] ppid=13292 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/13294/task/13295/stat : 13295 (java) R 13292 13292 7881 0 -1 4202560 7864 0 0 0 27 3 0 0 20 0 15 0 445858160 15512608768 12666 33554432000 4194304 4196468 140733698455152 140456722496848 140456718283933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13296] ppid=13292 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13296/stat : 13296 (java) S 13292 13292 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445858161 15512608768 12666 33554432000 4194304 4196468 140733698455152 140456646302096 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13297] ppid=13292 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13297/stat : 13297 (java) S 13292 13292 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445858161 15512608768 12666 33554432000 4194304 4196468 140733698455152 140456645249296 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13298] ppid=13292 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13298/stat : 13298 (java) S 13292 13292 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445858161 15512608768 12666 33554432000 4194304 4196468 140733698455152 140456644197008 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13299] ppid=13292 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13299/stat : 13299 (java) S 13292 13292 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445858161 15512608768 12666 33554432000 4194304 4196468 140733698455152 140456643144208 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13300] ppid=13292 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13300/stat : 13300 (java) S 13292 13292 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445858162 15512608768 12666 33554432000 4194304 4196468 140733698455152 140455860632176 140456718273154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13301] ppid=13292 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13301/stat : 13301 (java) S 13292 13292 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445858163 15512608768 12666 33554432000 4194304 4196468 140733698455152 140455859578144 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13302] ppid=13292 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13302/stat : 13302 (java) S 13292 13292 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445858163 15512608768 12666 33554432000 4194304 4196468 140733698455152 140455858525808 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13303] ppid=13292 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13303/stat : 13303 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445858165 15512608768 12666 33554432000 4194304 4196468 140733698455152 140455857474128 140456718280603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13304] ppid=13292 vsize=15149032 memory=4426089072227881875 CPUtime=0.03 cores=1,3,5,7
/proc/13294/task/13304/stat : 13304 (java) S 13292 13292 7881 0 -1 1077944384 486 0 0 0 3 0 0 0 20 0 15 0 445858165 15512608768 12666 33554432000 4194304 4196468 140733698455152 140455856420976 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13305] ppid=13292 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/13294/task/13305/stat : 13305 (java) S 13292 13292 7881 0 -1 1077944384 314 0 0 0 6 0 0 0 20 0 15 0 445858165 15512608768 12666 33554432000 4194304 4196468 140733698455152 140455855368176 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13306] ppid=13292 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/13294/task/13306/stat : 13306 (java) S 13292 13292 7881 0 -1 1077944384 990 0 0 0 12 0 0 0 20 0 15 0 445858165 15512608768 12666 33554432000 4194304 4196468 140733698455152 140455854315888 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13307] ppid=13292 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13307/stat : 13307 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445858166 15512608768 12666 33554432000 4194304 4196468 140733698455152 140455853263328 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13308] ppid=13292 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13308/stat : 13308 (java) S 13292 13292 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445858166 15512608768 12666 33554432000 4194304 4196468 140733698455152 140455852211120 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52084 KiB
[startup+0.707981 s]
/proc/loadavg: 8.07 8.49 6.85 9/234 13308
/proc/meminfo: memFree=28567844/32770624 swapFree=66988580/67108860
[pid=13292] ppid=13289 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13292/stat : 13292 (xcsp3-exec) S 13289 13292 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445858160 115843072 363 33554432000 4194304 5098028 140727615997184 140727615995288 139754182558332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25731072 140727616004987 140727616005229 140727616005229 140727616008138 0
/proc/13292/statm: 28282 363 304 221 0 87 0
[pid=13294] ppid=13292 vsize=15151156 memory=197940 CPUtime=1.72 cores=1,3,5,7
/proc/13294/stat : 13294 (java) S 13292 13292 7881 0 -1 1077944320 15084 0 0 0 163 9 0 0 20 0 15 0 445858160 15514783744 49485 33554432000 4194304 4196468 140733698455152 140733698437696 140456718262007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
/proc/13294/statm: 3787789 49485 3456 1 0 3748889 0
[pid=13294/tid=13295] ppid=13292 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/13294/task/13295/stat : 13295 (java) S 13292 13292 7881 0 -1 1077944384 9161 0 0 0 62 5 0 0 20 0 15 0 445858160 15514783744 49485 33554432000 4194304 4196468 140733698455152 140456722498496 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13296] ppid=13292 vsize=15151156 memory=33 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13296/stat : 13296 (java) R 13292 13292 7881 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 15 0 445858161 15514783744 49485 33554432000 4194304 4196468 140733698455152 140456646302096 140456703289890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13297] ppid=13292 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13297/stat : 13297 (java) R 13292 13292 7881 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 445858161 15514783744 49485 33554432000 4194304 4196468 140733698455152 140456645249296 140456703289890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13298] ppid=13292 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13298/stat : 13298 (java) R 13292 13292 7881 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 15 0 445858161 15514783744 49485 33554432000 4194304 4196468 140733698455152 140456644196896 140456711368543 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13299] ppid=13292 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13299/stat : 13299 (java) R 13292 13292 7881 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 15 0 445858161 15514783744 49485 33554432000 4194304 4196468 140733698455152 140456643144208 140456711367689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13300] ppid=13292 vsize=15151156 memory=38676 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13300/stat : 13300 (java) S 13292 13292 7881 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 445858162 15514783744 49485 33554432000 4194304 4196468 140733698455152 140455860630688 140456718272213 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13301] ppid=13292 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13301/stat : 13301 (java) S 13292 13292 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445858163 15514783744 49485 33554432000 4194304 4196468 140733698455152 140455859578144 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13302] ppid=13292 vsize=15151156 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13302/stat : 13302 (java) S 13292 13292 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445858163 15514783744 49485 33554432000 4194304 4196468 140733698455152 140455858525808 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13303] ppid=13292 vsize=15151156 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13303/stat : 13303 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445858165 15514783744 49485 33554432000 4194304 4196468 140733698455152 140455857474128 140456718280603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13304] ppid=13292 vsize=15151156 memory=1060 CPUtime=0.29 cores=1,3,5,7
/proc/13294/task/13304/stat : 13304 (java) S 13292 13292 7881 0 -1 1077944384 1362 0 0 0 29 0 0 0 20 0 15 0 445858165 15514783744 49485 33554432000 4194304 4196468 140733698455152 140455856412256 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13305] ppid=13292 vsize=15151156 memory=740 CPUtime=0.28 cores=1,3,5,7
/proc/13294/task/13305/stat : 13305 (java) R 13292 13292 7881 0 -1 4202560 1183 0 0 0 28 0 0 0 20 0 15 0 445858165 15514783744 49485 33554432000 4194304 4196468 140733698455152 140455855354200 140456703385568 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13306] ppid=13292 vsize=15151156 memory=1228 CPUtime=0.41 cores=1,3,5,7
/proc/13294/task/13306/stat : 13306 (java) S 13292 13292 7881 0 -1 1077944384 2008 0 0 0 40 1 0 0 20 0 15 0 445858165 15514783744 49485 33554432000 4194304 4196468 140733698455152 140455854313392 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13307] ppid=13292 vsize=15151156 memory=9520 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13307/stat : 13307 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445858166 15514783744 49485 33554432000 4194304 4196468 140733698455152 140455853263328 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13308] ppid=13292 vsize=15151156 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13308/stat : 13308 (java) S 13292 13292 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445858166 15514783744 49485 33554432000 4194304 4196468 140733698455152 140455852211120 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 199392 KiB
[startup+1.50097 s]
/proc/loadavg: 8.07 8.49 6.85 11/238 13312
/proc/meminfo: memFree=28201092/32770624 swapFree=66988580/67108860
[pid=13292] ppid=13289 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13292/stat : 13292 (xcsp3-exec) S 13289 13292 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445858160 115843072 363 33554432000 4194304 5098028 140727615997184 140727615995288 139754182558332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25731072 140727616004987 140727616005229 140727616005229 140727616008138 0
/proc/13292/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/13292/stat : 13292 (xcsp3-exec) S 13289 13292 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445858160 115843072 363 33554432000 4194304 5098028 140727615997184 140727615995288 139754182558332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25731072 140727616004987 140727616005229 140727616005229 140727616008138 0
/proc/13292/statm: 28282 363 304 221 0 87 0
[pid=13294] ppid=13292 vsize=15620180 memory=585852 CPUtime=11.24 cores=1,3,5,7
/proc/13294/stat : 13294 (java) S 13292 13292 7881 0 -1 1077944320 22360 0 0 0 1081 43 0 0 20 0 19 0 445858160 15995064320 146463 33554432000 4194304 4196468 140733698455152 140733698437696 140456718262007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
/proc/13294/statm: 3905045 146463 3533 1 0 3866145 0
[pid=13294/tid=13295] ppid=13292 vsize=15620180 memory=6656426216303648864 CPUtime=0.82 cores=1,3,5,7
/proc/13294/task/13295/stat : 13295 (java) S 13292 13292 7881 0 -1 1077944384 9270 0 0 0 76 6 0 0 20 0 19 0 445858160 15995064320 146463 33554432000 4194304 4196468 140733698455152 140456722502784 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13296] ppid=13292 vsize=15620180 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/13294/task/13296/stat : 13296 (java) S 13292 13292 7881 0 -1 1077944384 203 0 0 0 33 8 0 0 20 0 19 0 445858161 15995064320 146463 33554432000 4194304 4196468 140733698455152 140456646302096 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13297] ppid=13292 vsize=15620180 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/13294/task/13297/stat : 13297 (java) S 13292 13292 7881 0 -1 1077944384 161 0 0 0 31 8 0 0 20 0 19 0 445858161 15995064320 146463 33554432000 4194304 4196468 140733698455152 140456645249296 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13298] ppid=13292 vsize=15620180 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/13294/task/13298/stat : 13298 (java) S 13292 13292 7881 0 -1 1077944384 238 0 0 0 31 7 0 0 20 0 19 0 445858161 15995064320 146463 33554432000 4194304 4196468 140733698455152 140456644197008 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13299] ppid=13292 vsize=15620180 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/13294/task/13299/stat : 13299 (java) S 13292 13292 7881 0 -1 1077944384 247 0 0 0 32 8 0 0 20 0 19 0 445858161 15995064320 146463 33554432000 4194304 4196468 140733698455152 140456643144208 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13300] ppid=13292 vsize=15620180 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13294/task/13300/stat : 13300 (java) S 13292 13292 7881 0 -1 1077944384 433 0 0 0 1 0 0 0 20 0 19 0 445858162 15995064320 146463 33554432000 4194304 4196468 140733698455152 140455860632176 140456718273154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13301] ppid=13292 vsize=15620180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13301/stat : 13301 (java) S 13292 13292 7881 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445858163 15995064320 146463 33554432000 4194304 4196468 140733698455152 140455859578208 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13302] ppid=13292 vsize=15620180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13302/stat : 13302 (java) S 13292 13292 7881 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445858163 15995064320 146463 33554432000 4194304 4196468 140733698455152 140455858525824 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13303] ppid=13292 vsize=15620180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13303/stat : 13303 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445858165 15995064320 146463 33554432000 4194304 4196468 140733698455152 140455857474128 140456718280603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13304] ppid=13292 vsize=15620180 memory=11 CPUtime=1.66 cores=1,3,5,7
/proc/13294/task/13304/stat : 13304 (java) S 13292 13292 7881 0 -1 1077944384 2558 0 0 0 166 0 0 0 20 0 19 0 445858165 15995064320 146463 33554432000 4194304 4196468 140733698455152 140455856420976 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13305] ppid=13292 vsize=15620180 memory=1439 CPUtime=1.62 cores=1,3,5,7
/proc/13294/task/13305/stat : 13305 (java) S 13292 13292 7881 0 -1 1077944384 2059 0 0 0 162 0 0 0 20 0 19 0 445858165 15995064320 146463 33554432000 4194304 4196468 140733698455152 140455855368176 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13306] ppid=13292 vsize=15620180 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/13294/task/13306/stat : 13306 (java) S 13292 13292 7881 0 -1 1077944384 2764 0 0 0 71 1 0 0 20 0 19 0 445858165 15995064320 146463 33554432000 4194304 4196468 140733698455152 140455854315888 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13307] ppid=13292 vsize=15620180 memory=30603 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13307/stat : 13307 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445858166 15995064320 146463 33554432000 4194304 4196468 140733698455152 140455853263328 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13308] ppid=13292 vsize=15620180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13308/stat : 13308 (java) S 13292 13292 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445858166 15995064320 146463 33554432000 4194304 4196468 140733698455152 140455852211120 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
Current children cumulated CPU time: 11.24 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 587304 KiB
[startup+4.80097 s]
/proc/loadavg: 8.07 8.49 6.85 9/238 13508
/proc/meminfo: memFree=28032588/32770624 swapFree=66988580/67108860
[pid=13292] ppid=13289 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13292/stat : 13292 (xcsp3-exec) S 13289 13292 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445858160 115843072 363 33554432000 4194304 5098028 140727615997184 140727615995288 139754182558332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25731072 140727616004987 140727616005229 140727616005229 140727616008138 0
/proc/13292/statm: 28282 363 304 221 0 87 0
[pid=13294] ppid=13292 vsize=15620180 memory=604864 CPUtime=17.02 cores=1,3,5,7
/proc/13294/stat : 13294 (java) S 13292 13292 7881 0 -1 1077944320 26109 0 0 0 1657 45 0 0 20 0 19 0 445858160 15995064320 151216 33554432000 4194304 4196468 140733698455152 140733698437696 140456718262007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
/proc/13294/statm: 3905045 151216 3534 1 0 3866145 0
[pid=13294/tid=13295] ppid=13292 vsize=15620180 memory=6791534058613427641 CPUtime=0.83 cores=1,3,5,7
/proc/13294/task/13295/stat : 13295 (java) S 13292 13292 7881 0 -1 1077944384 9393 0 0 0 77 6 0 0 20 0 19 0 445858160 15995064320 151216 33554432000 4194304 4196468 140733698455152 140456722502784 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13296] ppid=13292 vsize=15620180 memory=38676 CPUtime=0.41 cores=1,3,5,7
/proc/13294/task/13296/stat : 13296 (java) S 13292 13292 7881 0 -1 1077944384 203 0 0 0 33 8 0 0 20 0 19 0 445858161 15995064320 151216 33554432000 4194304 4196468 140733698455152 140456646302096 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13297] ppid=13292 vsize=15620180 memory=984 CPUtime=0.39 cores=1,3,5,7
/proc/13294/task/13297/stat : 13297 (java) S 13292 13292 7881 0 -1 1077944384 161 0 0 0 31 8 0 0 20 0 19 0 445858161 15995064320 151216 33554432000 4194304 4196468 140733698455152 140456645249296 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13298] ppid=13292 vsize=15620180 memory=2004 CPUtime=0.38 cores=1,3,5,7
/proc/13294/task/13298/stat : 13298 (java) S 13292 13292 7881 0 -1 1077944384 238 0 0 0 31 7 0 0 20 0 19 0 445858161 15995064320 151216 33554432000 4194304 4196468 140733698455152 140456644197008 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13299] ppid=13292 vsize=15620180 memory=1212 CPUtime=0.4 cores=1,3,5,7
/proc/13294/task/13299/stat : 13299 (java) S 13292 13292 7881 0 -1 1077944384 247 0 0 0 32 8 0 0 20 0 19 0 445858161 15995064320 151216 33554432000 4194304 4196468 140733698455152 140456643144208 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13300] ppid=13292 vsize=15620180 memory=1060 CPUtime=0.01 cores=1,3,5,7
/proc/13294/task/13300/stat : 13300 (java) S 13292 13292 7881 0 -1 1077944384 633 0 0 0 1 0 0 0 20 0 19 0 445858162 15995064320 151216 33554432000 4194304 4196468 140733698455152 140455860632176 140456718273154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13301] ppid=13292 vsize=15620180 memory=740 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13301/stat : 13301 (java) S 13292 13292 7881 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445858163 15995064320 151216 33554432000 4194304 4196468 140733698455152 140455859578208 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13302] ppid=13292 vsize=15620180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13302/stat : 13302 (java) S 13292 13292 7881 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445858163 15995064320 151216 33554432000 4194304 4196468 140733698455152 140455858525824 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13303] ppid=13292 vsize=15620180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13303/stat : 13303 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445858165 15995064320 151216 33554432000 4194304 4196468 140733698455152 140455857474128 140456718280603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13304] ppid=13292 vsize=15620180 memory=9216 CPUtime=1.74 cores=1,3,5,7
/proc/13294/task/13304/stat : 13304 (java) R 13292 13292 7881 0 -1 4202560 3163 0 0 0 174 0 0 0 20 0 19 0 445858165 15995064320 151216 33554432000 4194304 4196468 140733698455152 140455856421272 140456710597035 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13305] ppid=13292 vsize=15620180 memory=21813 CPUtime=1.74 cores=1,3,5,7
/proc/13294/task/13305/stat : 13305 (java) S 13292 13292 7881 0 -1 1077944384 3151 0 0 0 174 0 0 0 20 0 19 0 445858165 15995064320 151216 33554432000 4194304 4196468 140733698455152 140455855368176 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13306] ppid=13292 vsize=15620180 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/13294/task/13306/stat : 13306 (java) S 13292 13292 7881 0 -1 1077944384 3121 0 0 0 73 1 0 0 20 0 19 0 445858165 15995064320 151216 33554432000 4194304 4196468 140733698455152 140455854315888 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13307] ppid=13292 vsize=15620180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13307/stat : 13307 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445858166 15995064320 151216 33554432000 4194304 4196468 140733698455152 140455853263328 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13308] ppid=13292 vsize=15620180 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13308/stat : 13308 (java) S 13292 13292 7881 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 445858166 15995064320 151216 33554432000 4194304 4196468 140733698455152 140455852211120 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
Current children cumulated CPU time: 17.02 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 606316 KiB
[startup+5.20097 s]
/proc/loadavg: 8.14 8.50 6.86 12/238 13524
/proc/meminfo: memFree=28019052/32770624 swapFree=66988580/67108860
[pid=13292] ppid=13289 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13292/stat : 13292 (xcsp3-exec) S 13289 13292 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445858160 115843072 363 33554432000 4194304 5098028 140727615997184 140727615995288 139754182558332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25731072 140727616004987 140727616005229 140727616005229 140727616008138 0
/proc/13292/statm: 28282 363 304 221 0 87 0
[pid=13294] ppid=13292 vsize=15620180 memory=604924 CPUtime=18.52 cores=1,3,5,7
/proc/13294/stat : 13294 (java) S 13292 13292 7881 0 -1 1077944320 26954 0 0 0 1806 46 0 0 20 0 19 0 445858160 15995064320 151231 33554432000 4194304 4196468 140733698455152 140733698437696 140456718262007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
/proc/13294/statm: 3905045 151231 3534 1 0 3866145 0
[pid=13294/tid=13295] ppid=13292 vsize=15620180 memory=-1891255765032775953 CPUtime=0.83 cores=1,3,5,7
/proc/13294/task/13295/stat : 13295 (java) S 13292 13292 7881 0 -1 1077944384 9396 0 0 0 77 6 0 0 20 0 19 0 445858160 15995064320 151231 33554432000 4194304 4196468 140733698455152 140456722502784 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13296] ppid=13292 vsize=15620180 memory=6944656592455359580 CPUtime=0.41 cores=1,3,5,7
/proc/13294/task/13296/stat : 13296 (java) S 13292 13292 7881 0 -1 1077944384 203 0 0 0 33 8 0 0 20 0 19 0 445858161 15995064320 151231 33554432000 4194304 4196468 140733698455152 140456646302096 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13297] ppid=13292 vsize=15620180 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/13294/task/13297/stat : 13297 (java) S 13292 13292 7881 0 -1 1077944384 161 0 0 0 31 8 0 0 20 0 19 0 445858161 15995064320 151231 33554432000 4194304 4196468 140733698455152 140456645249296 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13298] ppid=13292 vsize=15620180 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/13294/task/13298/stat : 13298 (java) S 13292 13292 7881 0 -1 1077944384 238 0 0 0 31 7 0 0 20 0 19 0 445858161 15995064320 151231 33554432000 4194304 4196468 140733698455152 140456644197008 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13299] ppid=13292 vsize=15620180 memory=9796 CPUtime=0.4 cores=1,3,5,7
/proc/13294/task/13299/stat : 13299 (java) S 13292 13292 7881 0 -1 1077944384 247 0 0 0 32 8 0 0 20 0 19 0 445858161 15995064320 151231 33554432000 4194304 4196468 140733698455152 140456643144208 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13300] ppid=13292 vsize=15620180 memory=6944656425123094137 CPUtime=0.02 cores=1,3,5,7
/proc/13294/task/13300/stat : 13300 (java) S 13292 13292 7881 0 -1 1077944384 633 0 0 0 2 0 0 0 20 0 19 0 445858162 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455860632176 140456718273154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13301] ppid=13292 vsize=15620180 memory=-3123010188551861097 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13301/stat : 13301 (java) S 13292 13292 7881 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445858163 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455859578208 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13302] ppid=13292 vsize=15620180 memory=7681421203011431829 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13302/stat : 13302 (java) S 13292 13292 7881 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445858163 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455858525824 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13303] ppid=13292 vsize=15620180 memory=6944656592385698452 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13303/stat : 13303 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445858165 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455857474128 140456718280603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13304] ppid=13292 vsize=15620180 memory=6655300316396806240 CPUtime=1.77 cores=1,3,5,7
/proc/13294/task/13304/stat : 13304 (java) S 13292 13292 7881 0 -1 1077944384 3224 0 0 0 177 0 0 0 20 0 19 0 445858165 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455856420976 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13305] ppid=13292 vsize=15620180 memory=6655300316396806240 CPUtime=1.8 cores=1,3,5,7
/proc/13294/task/13305/stat : 13305 (java) S 13292 13292 7881 0 -1 1077944384 3428 0 0 0 180 0 0 0 20 0 19 0 445858165 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455855368176 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13306] ppid=13292 vsize=15620180 memory=590024333707077100 CPUtime=0.74 cores=1,3,5,7
/proc/13294/task/13306/stat : 13306 (java) S 13292 13292 7881 0 -1 1077944384 3376 0 0 0 73 1 0 0 20 0 19 0 445858165 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455854315888 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13307] ppid=13292 vsize=15620180 memory=288289974007383170 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13307/stat : 13307 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445858166 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455853263328 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13308] ppid=13292 vsize=15620180 memory=7922084361248631139 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13308/stat : 13308 (java) S 13292 13292 7881 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 19 0 445858166 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455852211120 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
Current children cumulated CPU time: 18.52 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 606376 KiB
[startup+5.40097 s]
/proc/loadavg: 8.14 8.50 6.86 12/238 13524
/proc/meminfo: memFree=28019052/32770624 swapFree=66988580/67108860
[pid=13292] ppid=13289 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13292/stat : 13292 (xcsp3-exec) S 13289 13292 7881 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445858160 115843072 363 33554432000 4194304 5098028 140727615997184 140727615995288 139754182558332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25731072 140727616004987 140727616005229 140727616005229 140727616008138 0
/proc/13292/statm: 28282 363 304 221 0 87 0
[pid=13294] ppid=13292 vsize=15620180 memory=604924 CPUtime=19.32 cores=1,3,5,7
/proc/13294/stat : 13294 (java) S 13292 13292 7881 0 -1 1077944320 26958 0 0 0 1886 46 0 0 20 0 19 0 445858160 15995064320 151231 33554432000 4194304 4196468 140733698455152 140733698437696 140456718262007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
/proc/13294/statm: 3905045 151231 3534 1 0 3866145 0
[pid=13294/tid=13295] ppid=13292 vsize=15620180 memory=5571041044932417637 CPUtime=0.83 cores=1,3,5,7
/proc/13294/task/13295/stat : 13295 (java) S 13292 13292 7881 0 -1 1077944384 9396 0 0 0 77 6 0 0 20 0 19 0 445858160 15995064320 151231 33554432000 4194304 4196468 140733698455152 140456722502784 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13296] ppid=13292 vsize=15620180 memory=7011348500760777560 CPUtime=0.41 cores=1,3,5,7
/proc/13294/task/13296/stat : 13296 (java) S 13292 13292 7881 0 -1 1077944384 203 0 0 0 33 8 0 0 20 0 19 0 445858161 15995064320 151231 33554432000 4194304 4196468 140733698455152 140456646302096 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13297] ppid=13292 vsize=15620180 memory=7011348500760777048 CPUtime=0.39 cores=1,3,5,7
/proc/13294/task/13297/stat : 13297 (java) S 13292 13292 7881 0 -1 1077944384 161 0 0 0 31 8 0 0 20 0 19 0 445858161 15995064320 151231 33554432000 4194304 4196468 140733698455152 140456645249296 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13298] ppid=13292 vsize=15620180 memory=7523642983265759077 CPUtime=0.38 cores=1,3,5,7
/proc/13294/task/13298/stat : 13298 (java) S 13292 13292 7881 0 -1 1077944384 238 0 0 0 31 7 0 0 20 0 19 0 445858161 15995064320 151231 33554432000 4194304 4196468 140733698455152 140456644197008 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13299] ppid=13292 vsize=15620180 memory=-9181546050914066336 CPUtime=0.4 cores=1,3,5,7
/proc/13294/task/13299/stat : 13299 (java) S 13292 13292 7881 0 -1 1077944384 247 0 0 0 32 8 0 0 20 0 19 0 445858161 15995064320 151231 33554432000 4194304 4196468 140733698455152 140456643144208 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13300] ppid=13292 vsize=15620180 memory=4206468019014099040 CPUtime=0.02 cores=1,3,5,7
/proc/13294/task/13300/stat : 13300 (java) S 13292 13292 7881 0 -1 1077944384 633 0 0 0 2 0 0 0 20 0 19 0 445858162 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455860632176 140456718273154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13301] ppid=13292 vsize=15620180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13301/stat : 13301 (java) S 13292 13292 7881 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445858163 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455859578208 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13302] ppid=13292 vsize=15620180 memory=1399051139730258233 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13302/stat : 13302 (java) S 13292 13292 7881 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445858163 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455858525824 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13303] ppid=13292 vsize=15620180 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13303/stat : 13303 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445858165 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455857474128 140456718280603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13304] ppid=13292 vsize=15620180 memory=0 CPUtime=1.77 cores=1,3,5,7
/proc/13294/task/13304/stat : 13304 (java) S 13292 13292 7881 0 -1 1077944384 3224 0 0 0 177 0 0 0 20 0 19 0 445858165 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455856420976 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13305] ppid=13292 vsize=15620180 memory=0 CPUtime=1.8 cores=1,3,5,7
/proc/13294/task/13305/stat : 13305 (java) S 13292 13292 7881 0 -1 1077944384 3428 0 0 0 180 0 0 0 20 0 19 0 445858165 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455855368176 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13306] ppid=13292 vsize=15620180 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/13294/task/13306/stat : 13306 (java) S 13292 13292 7881 0 -1 1077944384 3376 0 0 0 73 1 0 0 20 0 19 0 445858165 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455854315888 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13307] ppid=13292 vsize=15620180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13307/stat : 13307 (java) S 13292 13292 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445858166 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455853263328 140456718272213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
[pid=13294/tid=13308] ppid=13292 vsize=15620180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13294/task/13308/stat : 13308 (java) S 13292 13292 7881 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 19 0 445858166 15995064320 151231 33554432000 4194304 4196468 140733698455152 140455852211120 140456718273154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140733698458607 140733698458778 140733698458778 140733698461647 0
Current children cumulated CPU time: 19.32 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 606376 KiB
Child status: 0
Real time (s): 5.47736
CPU time (s): 19.5473
CPU user time (s): 19.072
CPU system time (s): 0.475237
CPU usage (%): 356.874
Max. virtual memory (cumulated for all children) (KiB): 15733308
Max. memory (cumulated for all children) (KiB): 606376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.072
system time used= 0.475237
maximum resident set size= 607512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27747
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3573
involuntary context switches= 645
# summary of solver processes directly reported to runsolver:
# pid: 13292
# total CPU time (s): 19.5473
# total CPU user time (s): 19.072
# total CPU system time (s): 0.475237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056345 second user time and 0.105497 second system time
The end