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 (13106 MiB free)
memory of node 1: 16384 MiB (15375 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396161-1568399210/watcher-4396161-1568399210 -o /tmp/evaluation-result-4396161-1568399210/solver-4396161-1568399210 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568390158-11189 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2094078910 HOME/instance-4396161-1568399210.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13489, runsolver pid=13486
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 2.06 1.62 1.48 3/218 13546
/proc/meminfo: memFree=29156800/32770624 swapFree=66922372/67108860
[pid=13489] ppid=13486 vsize=9989820 memory=17608 CPUtime=0.08 cores=1,3,5,7
/proc/13489/stat : 13489 (java) S 13486 13489 8521 0 -1 1077944320 4625 13025 0 0 1 0 4 3 20 0 7 0 416177008 10229575680 4402 33554432000 4194304 4196468 140737151051360 140737151033904 140398285778679 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
/proc/13489/statm: 2497455 4402 1995 1 0 2485893 0
[pid=13489/tid=13542] ppid=13486 vsize=10055356 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/13489/task/13542/stat : 13542 (java) R 13486 13489 8521 0 -1 4202560 2462 13025 0 0 1 0 4 3 20 0 7 0 416177017 10296684544 4403 33554432000 4194304 4196468 140737151051360 140398257621776 140398269859166 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13543] ppid=13486 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13543/stat : 13543 (java) S 13486 13489 8521 0 -1 1077944384 2 13025 0 0 0 0 4 3 20 0 7 0 416177018 10296684544 4403 33554432000 4194304 4196468 140737151051360 140398290021392 140398285788885 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13544] ppid=13486 vsize=10055356 memory=3616868388995413664 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13544/stat : 13544 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 7 0 416177018 10296684544 4403 33554432000 4194304 4196468 140737151051360 140398188911760 140398285788885 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13545] ppid=13486 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13545/stat : 13545 (java) S 13486 13489 8521 0 -1 1077944384 2 13025 0 0 0 0 4 3 20 0 7 0 416177018 10296684544 4403 33554432000 4194304 4196468 140737151051360 140398187858704 140398285788885 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13546] ppid=13486 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13546/stat : 13546 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 7 0 416177018 10296684544 4403 33554432000 4194304 4196468 140737151051360 140397856549776 140398285788885 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13547] ppid=13486 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13547/stat : 13547 (java) S 13486 13489 8521 0 -1 1077944384 2 13025 0 0 0 0 4 3 20 0 7 0 416177019 10296684544 4403 33554432000 4194304 4196468 140737151051360 140397288118512 140398285789826 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9989820 KiB
Current children cumulated memory: 17608 KiB
[startup+0.20997 s]*
/proc/loadavg: 2.06 1.62 1.48 4/227 13555
/proc/meminfo: memFree=29140572/32770624 swapFree=66922372/67108860
[pid=13489] ppid=13486 vsize=10819808 memory=39532 CPUtime=0.26 cores=1,3,5,7
/proc/13489/stat : 13489 (java) S 13486 13489 8521 0 -1 1077944320 7234 13025 0 0 17 2 4 3 20 0 15 0 416177008 11079483392 9883 33554432000 4194304 4196468 140737151051360 140737151033904 140398285778679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
/proc/13489/statm: 2704952 9883 3168 1 0 2667149 0
[pid=13489/tid=13542] ppid=13486 vsize=10819972 memory=729618466009055537 CPUtime=0.19 cores=1,3,5,7
/proc/13489/task/13542/stat : 13542 (java) R 13486 13489 8521 0 -1 4202560 3780 13025 0 0 11 1 4 3 20 0 15 0 416177017 11079651328 9949 33554432000 4194304 4196468 140737151051360 140398257601840 140398278878526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13543] ppid=13486 vsize=10819972 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13543/stat : 13543 (java) S 13486 13489 8521 0 -1 1077944384 2 13025 0 0 0 0 4 3 20 0 15 0 416177018 11079651328 9949 33554432000 4194304 4196468 140737151051360 140398290021392 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13544] ppid=13486 vsize=10819972 memory=3616868388995413664 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13544/stat : 13544 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177018 11079651328 9949 33554432000 4194304 4196468 140737151051360 140398188911760 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13545] ppid=13486 vsize=10819972 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13545/stat : 13545 (java) S 13486 13489 8521 0 -1 1077944384 2 13025 0 0 0 0 4 3 20 0 15 0 416177018 11079651328 9949 33554432000 4194304 4196468 140737151051360 140398187858704 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13546] ppid=13486 vsize=10819972 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13546/stat : 13546 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177018 11079651328 9949 33554432000 4194304 4196468 140737151051360 140397856549776 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13547] ppid=13486 vsize=10819972 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13547/stat : 13547 (java) S 13486 13489 8521 0 -1 1077944384 2 13025 0 0 0 0 4 3 20 0 15 0 416177019 11079651328 9949 33554432000 4194304 4196468 140737151051360 140397288118512 140398285789826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13548] ppid=13486 vsize=10819972 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13548/stat : 13548 (java) S 13486 13489 8521 0 -1 1077944384 33 13025 0 0 0 0 4 3 20 0 15 0 416177020 11079651328 9949 33554432000 4194304 4196468 140737151051360 140397287064736 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13549] ppid=13486 vsize=10819972 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13549/stat : 13549 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177020 11079651328 9949 33554432000 4194304 4196468 140737151051360 140397179298544 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13550] ppid=13486 vsize=10819972 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13550/stat : 13550 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177022 11079651328 9949 33554432000 4194304 4196468 140737151051360 140396871899088 140398285797275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13551] ppid=13486 vsize=10819972 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13489/task/13551/stat : 13551 (java) S 13486 13489 8521 0 -1 1077944384 594 13025 0 0 1 0 4 3 20 0 15 0 416177022 11079651328 9949 33554432000 4194304 4196468 140737151051360 140397253507824 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13552] ppid=13486 vsize=10819972 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13552/stat : 13552 (java) S 13486 13489 8521 0 -1 1077944384 61 13025 0 0 0 0 4 3 20 0 15 0 416177023 11079651328 9949 33554432000 4194304 4196468 140737151051360 140397252455280 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13553] ppid=13486 vsize=10819972 memory=140122576467584 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13553/stat : 13553 (java) S 13486 13489 8521 0 -1 1077944384 613 13025 0 0 3 0 4 3 20 0 15 0 416177023 11079651328 9949 33554432000 4194304 4196468 140737151051360 140397251402224 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13554] ppid=13486 vsize=10819972 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13554/stat : 13554 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177023 11079651328 9949 33554432000 4194304 4196468 140737151051360 140396838341472 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13555] ppid=13486 vsize=10819972 memory=140122576467584 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13555/stat : 13555 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177023 11079651328 9949 33554432000 4194304 4196468 140737151051360 140397250349616 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819808 KiB
Current children cumulated memory: 39532 KiB
[startup+0.310494 s]*
/proc/loadavg: 2.06 1.62 1.48 3/227 13555
/proc/meminfo: memFree=29128012/32770624 swapFree=66922372/67108860
[pid=13489] ppid=13486 vsize=10820264 memory=48884 CPUtime=0.39 cores=1,3,5,7
/proc/13489/stat : 13489 (java) S 13486 13489 8521 0 -1 1077944320 10902 13025 0 0 29 3 4 3 20 0 15 0 416177008 11079950336 12221 33554432000 4194304 4196468 140737151051360 140737151033904 140398285778679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
/proc/13489/statm: 2705066 12221 3333 1 0 2667149 0
[pid=13489/tid=13542] ppid=13486 vsize=10820264 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/13489/task/13542/stat : 13542 (java) R 13486 13489 8521 0 -1 4202560 7358 13025 0 0 19 2 4 3 20 0 15 0 416177017 11079950336 12221 33554432000 4194304 4196468 140737151051360 140398257605280 140398285800605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13543] ppid=13486 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13543/stat : 13543 (java) S 13486 13489 8521 0 -1 1077944384 2 13025 0 0 0 0 4 3 20 0 15 0 416177018 11079950336 12221 33554432000 4194304 4196468 140737151051360 140398290021392 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13544] ppid=13486 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13544/stat : 13544 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177018 11079950336 12221 33554432000 4194304 4196468 140737151051360 140398188911760 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13545] ppid=13486 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13545/stat : 13545 (java) S 13486 13489 8521 0 -1 1077944384 2 13025 0 0 0 0 4 3 20 0 15 0 416177018 11079950336 12221 33554432000 4194304 4196468 140737151051360 140398187858704 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13546] ppid=13486 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13546/stat : 13546 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177018 11079950336 12221 33554432000 4194304 4196468 140737151051360 140397856549776 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13547] ppid=13486 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13547/stat : 13547 (java) S 13486 13489 8521 0 -1 1077944384 2 13025 0 0 0 0 4 3 20 0 15 0 416177019 11079950336 12221 33554432000 4194304 4196468 140737151051360 140397288118512 140398285789826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13548] ppid=13486 vsize=10820264 memory=140122576467583 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13548/stat : 13548 (java) S 13486 13489 8521 0 -1 1077944384 33 13025 0 0 0 0 4 3 20 0 15 0 416177020 11079950336 12221 33554432000 4194304 4196468 140737151051360 140397287064736 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13549] ppid=13486 vsize=10820264 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13549/stat : 13549 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177020 11079950336 12221 33554432000 4194304 4196468 140737151051360 140397179298544 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13550] ppid=13486 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13550/stat : 13550 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177022 11079950336 12221 33554432000 4194304 4196468 140737151051360 140396871899088 140398285797275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13551] ppid=13486 vsize=10820264 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13489/task/13551/stat : 13551 (java) S 13486 13489 8521 0 -1 1077944384 595 13025 0 0 2 0 4 3 20 0 15 0 416177022 11079950336 12221 33554432000 4194304 4196468 140737151051360 140397253507824 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13552] ppid=13486 vsize=10820264 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13489/task/13552/stat : 13552 (java) S 13486 13489 8521 0 -1 1077944384 70 13025 0 0 1 0 4 3 20 0 15 0 416177023 11079950336 12221 33554432000 4194304 4196468 140737151051360 140397252455280 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13553] ppid=13486 vsize=10820264 memory=140122576467584 CPUtime=0.12 cores=1,3,5,7
/proc/13489/task/13553/stat : 13553 (java) S 13486 13489 8521 0 -1 1077944384 621 13025 0 0 5 0 4 3 20 0 15 0 416177023 11079950336 12221 33554432000 4194304 4196468 140737151051360 140397251402224 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13554] ppid=13486 vsize=10820264 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13554/stat : 13554 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177023 11079950336 12221 33554432000 4194304 4196468 140737151051360 140396838341472 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13555] ppid=13486 vsize=10820264 memory=140122576467584 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13555/stat : 13555 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177023 11079950336 12221 33554432000 4194304 4196468 140737151051360 140397250349616 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820264 KiB
Current children cumulated memory: 48884 KiB
[startup+0.70066 s]
/proc/loadavg: 2.06 1.62 1.48 3/227 13555
/proc/meminfo: memFree=29112608/32770624 swapFree=66922372/67108860
[pid=13489] ppid=13486 vsize=10824360 memory=82080 CPUtime=1.15 cores=1,3,5,7
/proc/13489/stat : 13489 (java) S 13486 13489 8521 0 -1 1077944320 15374 13025 0 0 102 6 4 3 20 0 15 0 416177008 11084144640 20520 33554432000 4194304 4196468 140737151051360 140737151033904 140398285778679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
/proc/13489/statm: 2706090 20520 3501 1 0 2668173 0
[pid=13489/tid=13542] ppid=13486 vsize=10824360 memory=1044 CPUtime=0.67 cores=1,3,5,7
/proc/13489/task/13542/stat : 13542 (java) R 13486 13489 8521 0 -1 4202560 10553 13025 0 0 56 4 4 3 20 0 15 0 416177017 11084144640 20520 33554432000 4194304 4196468 140737151051360 140398257609024 140398285790614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13543] ppid=13486 vsize=10824360 memory=708 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13543/stat : 13543 (java) S 13486 13489 8521 0 -1 1077944384 2 13025 0 0 0 0 4 3 20 0 15 0 416177018 11084144640 20520 33554432000 4194304 4196468 140737151051360 140398290021392 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13544] ppid=13486 vsize=10824360 memory=7518026621751088998 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13544/stat : 13544 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177018 11084144640 20520 33554432000 4194304 4196468 140737151051360 140398188911760 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13545] ppid=13486 vsize=10824360 memory=7739276948477865063 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13545/stat : 13545 (java) S 13486 13489 8521 0 -1 1077944384 2 13025 0 0 0 0 4 3 20 0 15 0 416177018 11084144640 20520 33554432000 4194304 4196468 140737151051360 140398187858704 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13546] ppid=13486 vsize=10824360 memory=5787213827131598673 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13546/stat : 13546 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177018 11084144640 20520 33554432000 4194304 4196468 140737151051360 140397856549776 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13547] ppid=13486 vsize=10824360 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13547/stat : 13547 (java) S 13486 13489 8521 0 -1 1077944384 5 13025 0 0 0 0 4 3 20 0 15 0 416177019 11084144640 20520 33554432000 4194304 4196468 140737151051360 140397288118512 140398285789826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13548] ppid=13486 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13548/stat : 13548 (java) S 13486 13489 8521 0 -1 1077944384 33 13025 0 0 0 0 4 3 20 0 15 0 416177020 11084144640 20520 33554432000 4194304 4196468 140737151051360 140397287064736 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13549] ppid=13486 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13549/stat : 13549 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177020 11084144640 20520 33554432000 4194304 4196468 140737151051360 140397179298544 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13550] ppid=13486 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13550/stat : 13550 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177022 11084144640 20520 33554432000 4194304 4196468 140737151051360 140396871899088 140398285797275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13551] ppid=13486 vsize=10824360 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/13489/task/13551/stat : 13551 (java) S 13486 13489 8521 0 -1 1077944384 1050 13025 0 0 13 0 4 3 20 0 15 0 416177022 11084144640 20520 33554432000 4194304 4196468 140737151051360 140397253507824 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13552] ppid=13486 vsize=10824360 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/13489/task/13552/stat : 13552 (java) S 13486 13489 8521 0 -1 1077944384 619 13025 0 0 15 0 4 3 20 0 15 0 416177023 11084144640 20520 33554432000 4194304 4196468 140737151051360 140397252455280 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13553] ppid=13486 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/13489/task/13553/stat : 13553 (java) S 13486 13489 8521 0 -1 1077944384 891 13025 0 0 17 0 4 3 20 0 15 0 416177023 11084144640 20520 33554432000 4194304 4196468 140737151051360 140397251402224 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13554] ppid=13486 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13554/stat : 13554 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177023 11084144640 20520 33554432000 4194304 4196468 140737151051360 140396838341472 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13555] ppid=13486 vsize=10824360 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13555/stat : 13555 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177023 11084144640 20520 33554432000 4194304 4196468 140737151051360 140397250349616 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 82080 KiB
[startup+1.50231 s]
/proc/loadavg: 2.06 1.62 1.48 3/227 13555
/proc/meminfo: memFree=29070720/32770624 swapFree=66922372/67108860
[pid=13489] ppid=13486 vsize=10834676 memory=177996 CPUtime=2.64 cores=1,3,5,7
/proc/13489/stat : 13489 (java) S 13486 13489 8521 0 -1 1077944320 25444 13025 0 0 246 11 4 3 20 0 15 0 416177008 11094708224 44499 33554432000 4194304 4196468 140737151051360 140737151033904 140398285778679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
/proc/13489/statm: 2708669 44499 3583 1 0 2670733 0
[pid=13489/tid=13542] ppid=13486 vsize=10834676 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/13489/task/13542/stat : 13542 (java) R 13486 13489 8521 0 -1 4202560 16167 13025 0 0 130 6 4 3 20 0 15 0 416177017 11094708224 44499 33554432000 4194304 4196468 140737151051360 140398257596384 140397869252609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13543] ppid=13486 vsize=10834676 memory=4641357866151008618 CPUtime=0.08 cores=1,3,5,7
/proc/13489/task/13543/stat : 13543 (java) S 13486 13489 8521 0 -1 1077944384 68 13025 0 0 1 0 4 3 20 0 15 0 416177018 11094708224 44499 33554432000 4194304 4196468 140737151051360 140398290021392 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13544] ppid=13486 vsize=10834676 memory=280244871649760 CPUtime=0.08 cores=1,3,5,7
/proc/13489/task/13544/stat : 13544 (java) S 13486 13489 8521 0 -1 1077944384 89 13025 0 0 1 0 4 3 20 0 15 0 416177018 11094708224 44499 33554432000 4194304 4196468 140737151051360 140398188911760 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13545] ppid=13486 vsize=10834676 memory=198040942045592 CPUtime=0.08 cores=1,3,5,7
/proc/13489/task/13545/stat : 13545 (java) S 13486 13489 8521 0 -1 1077944384 312 13025 0 0 1 0 4 3 20 0 15 0 416177018 11094708224 44499 33554432000 4194304 4196468 140737151051360 140398187858704 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13546] ppid=13486 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13489/task/13546/stat : 13546 (java) S 13486 13489 8521 0 -1 1077944384 37 13025 0 0 1 0 4 3 20 0 15 0 416177018 11094708224 44499 33554432000 4194304 4196468 140737151051360 140397856549776 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13547] ppid=13486 vsize=10834676 memory=7589561143094186738 CPUtime=0.08 cores=1,3,5,7
/proc/13489/task/13547/stat : 13547 (java) S 13486 13489 8521 0 -1 1077944384 1486 13025 0 0 1 0 4 3 20 0 15 0 416177019 11094708224 44499 33554432000 4194304 4196468 140737151051360 140397288118512 140398285789826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13548] ppid=13486 vsize=10834676 memory=-8458152057954561420 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13548/stat : 13548 (java) S 13486 13489 8521 0 -1 1077944384 34 13025 0 0 0 0 4 3 20 0 15 0 416177020 11094708224 44499 33554432000 4194304 4196468 140737151051360 140397287064800 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13549] ppid=13486 vsize=10834676 memory=280244871296992 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13549/stat : 13549 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177020 11094708224 44499 33554432000 4194304 4196468 140737151051360 140397179298560 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13550] ppid=13486 vsize=10834676 memory=140122851810378 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13550/stat : 13550 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177022 11094708224 44499 33554432000 4194304 4196468 140737151051360 140396871899088 140398285797275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13551] ppid=13486 vsize=10834676 memory=280244871246264 CPUtime=0.4 cores=1,3,5,7
/proc/13489/task/13551/stat : 13551 (java) S 13486 13489 8521 0 -1 1077944384 1991 13025 0 0 33 0 4 3 20 0 15 0 416177022 11094708224 44499 33554432000 4194304 4196468 140737151051360 140397253507824 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13552] ppid=13486 vsize=10834676 memory=280244871260656 CPUtime=0.39 cores=1,3,5,7
/proc/13489/task/13552/stat : 13552 (java) S 13486 13489 8521 0 -1 1077944384 1149 13025 0 0 32 0 4 3 20 0 15 0 416177023 11094708224 44499 33554432000 4194304 4196468 140737151051360 140397252455280 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13553] ppid=13486 vsize=10834676 memory=280244871260656 CPUtime=0.49 cores=1,3,5,7
/proc/13489/task/13553/stat : 13553 (java) S 13486 13489 8521 0 -1 1077944384 1891 13025 0 0 42 0 4 3 20 0 15 0 416177023 11094708224 44499 33554432000 4194304 4196468 140737151051360 140397251402224 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13554] ppid=13486 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13554/stat : 13554 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177023 11094708224 44499 33554432000 4194304 4196468 140737151051360 140396838341472 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13555] ppid=13486 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13555/stat : 13555 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177023 11094708224 44499 33554432000 4194304 4196468 140737151051360 140397250349616 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
################
# More data... #
################
[startup+5.10582 s]
# the end of solver process 13489 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.901 s, system=0.287104 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20089 s]
/proc/loadavg: 2.06 1.63 1.48 5/227 13555
/proc/meminfo: memFree=28910496/32770624 swapFree=66922372/67108860
[pid=13489] ppid=13486 vsize=10846984 memory=263772 CPUtime=7.28 cores=1,3,5,7
/proc/13489/stat : 13489 (java) S 13486 13489 8521 0 -1 1077944320 42000 13025 0 0 703 18 4 3 20 0 15 0 416177008 11107311616 65943 33554432000 4194304 4196468 140737151051360 140737151033904 140398285778679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
/proc/13489/statm: 2711746 65943 3606 1 0 2673805 0
[pid=13489/tid=13542] ppid=13486 vsize=10846984 memory=5866611791061346647 CPUtime=3.07 cores=1,3,5,7
/proc/13489/task/13542/stat : 13542 (java) R 13486 13489 8521 0 -1 4202560 23508 13025 0 0 292 8 4 3 20 0 15 0 416177017 11107311616 65943 33554432000 4194304 4196468 140737151051360 140398257594528 140398271472177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13543] ppid=13486 vsize=10846984 memory=6370155173630722145 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13543/stat : 13543 (java) S 13486 13489 8521 0 -1 1077944384 82 13025 0 0 3 0 4 3 20 0 15 0 416177018 11107311616 65952 33554432000 4194304 4196468 140737151051360 140398290021392 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13544] ppid=13486 vsize=10846984 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13544/stat : 13544 (java) S 13486 13489 8521 0 -1 1077944384 111 13025 0 0 3 0 4 3 20 0 15 0 416177018 11107311616 65952 33554432000 4194304 4196468 140737151051360 140398188911760 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13545] ppid=13486 vsize=10846984 memory=8976414709404591081 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13545/stat : 13545 (java) S 13486 13489 8521 0 -1 1077944384 341 13025 0 0 3 0 4 3 20 0 15 0 416177018 11107311616 65952 33554432000 4194304 4196468 140737151051360 140398187858704 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13546] ppid=13486 vsize=10846984 memory=6944656592455359580 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13546/stat : 13546 (java) S 13486 13489 8521 0 -1 1077944384 65 13025 0 0 3 0 4 3 20 0 15 0 416177018 11107311616 65952 33554432000 4194304 4196468 140737151051360 140397856549776 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13547] ppid=13486 vsize=10846984 memory=6944652177228980320 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13547/stat : 13547 (java) S 13486 13489 8521 0 -1 1077944384 1989 13025 0 0 3 0 4 3 20 0 15 0 416177019 11107311616 65952 33554432000 4194304 4196468 140737151051360 140397288118512 140398285789826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13548] ppid=13486 vsize=10846984 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13548/stat : 13548 (java) S 13486 13489 8521 0 -1 1077944384 37 13025 0 0 0 0 4 3 20 0 15 0 416177020 11107311616 65952 33554432000 4194304 4196468 140737151051360 140397287064800 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13549] ppid=13486 vsize=10846984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13549/stat : 13549 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177020 11107311616 65952 33554432000 4194304 4196468 140737151051360 140397179298560 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13550] ppid=13486 vsize=10846984 memory=-7233780906022726806 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13550/stat : 13550 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177022 11107311616 65952 33554432000 4194304 4196468 140737151051360 140396871899088 140398285797275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13551] ppid=13486 vsize=10846984 memory=4206468019014099040 CPUtime=1.52 cores=1,3,5,7
/proc/13489/task/13551/stat : 13551 (java) R 13486 13489 8521 0 -1 4202560 5134 13025 0 0 144 1 4 3 20 0 15 0 416177022 11107311616 65952 33554432000 4194304 4196468 140737151051360 140397253485088 140398265046144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13552] ppid=13486 vsize=10846984 memory=-7522837415797432224 CPUtime=1.27 cores=1,3,5,7
/proc/13489/task/13552/stat : 13552 (java) S 13486 13489 8521 0 -1 1077944384 3022 13025 0 0 119 1 4 3 20 0 15 0 416177023 11107311616 65952 33554432000 4194304 4196468 140737151051360 140397252455280 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13553] ppid=13486 vsize=10846984 memory=-7233780906022726806 CPUtime=1.37 cores=1,3,5,7
/proc/13489/task/13553/stat : 13553 (java) S 13486 13489 8521 0 -1 1077944384 5496 13025 0 0 128 2 4 3 20 0 15 0 416177023 11107311616 65952 33554432000 4194304 4196468 140737151051360 140397251402224 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13554] ppid=13486 vsize=10846984 memory=7449886424874719608 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13554/stat : 13554 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177023 11107311616 65952 33554432000 4194304 4196468 140737151051360 140396838341472 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13555] ppid=13486 vsize=10846984 memory=1414355462422710185 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13555/stat : 13555 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177023 11107311616 65952 33554432000 4194304 4196468 140737151051360 140397250349616 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
Current children cumulated CPU time: 7.28 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 263772 KiB
[startup+4.00154 s]*
/proc/loadavg: 2.06 1.63 1.48 5/227 13555
/proc/meminfo: memFree=28900352/32770624 swapFree=66922372/67108860
[pid=13489] ppid=13486 vsize=10849044 memory=304240 CPUtime=9.94 cores=1,3,5,7
/proc/13489/stat : 13489 (java) S 13486 13489 8521 0 -1 1077944320 54022 13025 0 0 966 21 4 3 20 0 15 0 416177008 11109421056 76060 33554432000 4194304 4196468 140737151051360 140737151033904 140398285778679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
/proc/13489/statm: 2712261 76060 3614 1 0 2674317 0
[pid=13489/tid=13542] ppid=13486 vsize=10849044 memory=0 CPUtime=3.88 cores=1,3,5,7
/proc/13489/task/13542/stat : 13542 (java) R 13486 13489 8521 0 -1 4202560 26018 13025 0 0 371 10 4 3 20 0 15 0 416177017 11109421056 76060 33554432000 4194304 4196468 140737151051360 140398257609160 140397882381096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13543] ppid=13486 vsize=10849044 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13543/stat : 13543 (java) S 13486 13489 8521 0 -1 1077944384 82 13025 0 0 3 0 4 3 20 0 15 0 416177018 11109421056 76060 33554432000 4194304 4196468 140737151051360 140398290021392 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13544] ppid=13486 vsize=10849044 memory=3471342518897305264 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13544/stat : 13544 (java) S 13486 13489 8521 0 -1 1077944384 111 13025 0 0 3 0 4 3 20 0 15 0 416177018 11109421056 76060 33554432000 4194304 4196468 140737151051360 140398188911760 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13545] ppid=13486 vsize=10849044 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13545/stat : 13545 (java) S 13486 13489 8521 0 -1 1077944384 341 13025 0 0 3 0 4 3 20 0 15 0 416177018 11109421056 76060 33554432000 4194304 4196468 140737151051360 140398187858704 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13546] ppid=13486 vsize=10849044 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13546/stat : 13546 (java) S 13486 13489 8521 0 -1 1077944384 65 13025 0 0 3 0 4 3 20 0 15 0 416177018 11109421056 76060 33554432000 4194304 4196468 140737151051360 140397856549776 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13547] ppid=13486 vsize=10849044 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13547/stat : 13547 (java) S 13486 13489 8521 0 -1 1077944384 3011 13025 0 0 3 0 4 3 20 0 15 0 416177019 11109421056 76060 33554432000 4194304 4196468 140737151051360 140397288118512 140398285789826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13548] ppid=13486 vsize=10849044 memory=140122435704815 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13548/stat : 13548 (java) S 13486 13489 8521 0 -1 1077944384 37 13025 0 0 0 0 4 3 20 0 15 0 416177020 11109421056 76060 33554432000 4194304 4196468 140737151051360 140397287064800 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13549] ppid=13486 vsize=10849044 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13549/stat : 13549 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177020 11109421056 76060 33554432000 4194304 4196468 140737151051360 140397179298560 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13550] ppid=13486 vsize=10849044 memory=140122435808749 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13550/stat : 13550 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177022 11109421056 76060 33554432000 4194304 4196468 140737151051360 140396871899088 140398285797275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13551] ppid=13486 vsize=10849044 memory=0 CPUtime=2.33 cores=1,3,5,7
/proc/13489/task/13551/stat : 13551 (java) R 13486 13489 8521 0 -1 4202560 10256 13025 0 0 224 2 4 3 20 0 15 0 416177022 11109421056 76060 33554432000 4194304 4196468 140737151051360 140397253498480 140398269246710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13552] ppid=13486 vsize=10849044 memory=-1 CPUtime=2.03 cores=1,3,5,7
/proc/13489/task/13552/stat : 13552 (java) R 13486 13489 8521 0 -1 4202560 5227 13025 0 0 194 2 4 3 20 0 15 0 416177023 11109421056 76060 33554432000 4194304 4196468 140737151051360 140397252446112 140398269264725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13553] ppid=13486 vsize=10849044 memory=4026531854 CPUtime=1.68 cores=1,3,5,7
/proc/13489/task/13553/stat : 13553 (java) R 13486 13489 8521 0 -1 1077944384 6652 13025 0 0 158 3 4 3 20 0 15 0 416177023 11109421056 76060 33554432000 4194304 4196468 140737151051360 140397251402224 140398285789826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13554] ppid=13486 vsize=10849044 memory=10595 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13554/stat : 13554 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177023 11109421056 76060 33554432000 4194304 4196468 140737151051360 140396838341472 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13555] ppid=13486 vsize=10849044 memory=3545378142957418144 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13555/stat : 13555 (java) S 13486 13489 8521 0 -1 1077944384 5 13025 0 0 0 0 4 3 20 0 15 0 416177023 11109421056 76060 33554432000 4194304 4196468 140737151051360 140397250349616 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
Current children cumulated CPU time: 9.94 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 304240 KiB
[startup+4.80067 s]
/proc/loadavg: 2.06 1.63 1.48 5/227 13555
/proc/meminfo: memFree=28900352/32770624 swapFree=66922372/67108860
[pid=13489] ppid=13486 vsize=10849044 memory=342752 CPUtime=12.39 cores=1,3,5,7
/proc/13489/stat : 13489 (java) S 13486 13489 8521 0 -1 1077944320 55599 13025 0 0 1209 23 4 3 20 0 15 0 416177008 11109421056 85688 33554432000 4194304 4196468 140737151051360 140737151033904 140398285778679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
/proc/13489/statm: 2712261 85688 3619 1 0 2674317 0
[pid=13489/tid=13542] ppid=13486 vsize=10849044 memory=6944652177228980320 CPUtime=4.65 cores=1,3,5,7
/proc/13489/task/13542/stat : 13542 (java) R 13486 13489 8521 0 -1 4202560 26154 13025 0 0 447 11 4 3 20 0 15 0 416177017 11109421056 85688 33554432000 4194304 4196468 140737151051360 140398257609104 140397883621515 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13543] ppid=13486 vsize=10849044 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/13489/task/13543/stat : 13543 (java) S 13486 13489 8521 0 -1 1077944384 128 13025 0 0 3 1 4 3 20 0 15 0 416177018 11109421056 85688 33554432000 4194304 4196468 140737151051360 140398290021392 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13544] ppid=13486 vsize=10849044 memory=7809523229951467570 CPUtime=0.11 cores=1,3,5,7
/proc/13489/task/13544/stat : 13544 (java) S 13486 13489 8521 0 -1 1077944384 123 13025 0 0 3 1 4 3 20 0 15 0 416177018 11109421056 85688 33554432000 4194304 4196468 140737151051360 140398188911760 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13545] ppid=13486 vsize=10849044 memory=4638778398332895328 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13545/stat : 13545 (java) S 13486 13489 8521 0 -1 1077944384 360 13025 0 0 3 0 4 3 20 0 15 0 416177018 11109421056 85688 33554432000 4194304 4196468 140737151051360 140398187858704 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13546] ppid=13486 vsize=10849044 memory=-2746958450906831424 CPUtime=0.11 cores=1,3,5,7
/proc/13489/task/13546/stat : 13546 (java) S 13486 13489 8521 0 -1 1077944384 225 13025 0 0 4 0 4 3 20 0 15 0 416177018 11109421056 85688 33554432000 4194304 4196468 140737151051360 140397856549776 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13547] ppid=13486 vsize=10849044 memory=6944656592455360604 CPUtime=0.11 cores=1,3,5,7
/proc/13489/task/13547/stat : 13547 (java) S 13486 13489 8521 0 -1 1077944384 3039 13025 0 0 4 0 4 3 20 0 15 0 416177019 11109421056 85688 33554432000 4194304 4196468 140737151051360 140397288118512 140398285789826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13548] ppid=13486 vsize=10849044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13548/stat : 13548 (java) S 13486 13489 8521 0 -1 1077944384 39 13025 0 0 0 0 4 3 20 0 15 0 416177020 11109421056 85688 33554432000 4194304 4196468 140737151051360 140397287064864 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13549] ppid=13486 vsize=10849044 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13549/stat : 13549 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177020 11109421056 85688 33554432000 4194304 4196468 140737151051360 140397179298560 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13550] ppid=13486 vsize=10849044 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13550/stat : 13550 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177022 11109421056 85688 33554432000 4194304 4196468 140737151051360 140396871899088 140398285797275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13551] ppid=13486 vsize=10849044 memory=6944656592455097440 CPUtime=2.99 cores=1,3,5,7
/proc/13489/task/13551/stat : 13551 (java) R 13486 13489 8521 0 -1 4202560 10389 13025 0 0 290 2 4 3 20 0 15 0 416177022 11109421056 85688 33554432000 4194304 4196468 140737151051360 140397253496256 140398265615419 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13552] ppid=13486 vsize=10849044 memory=6943526294502006880 CPUtime=2.73 cores=1,3,5,7
/proc/13489/task/13552/stat : 13552 (java) R 13486 13489 8521 0 -1 4202560 5392 13025 0 0 264 2 4 3 20 0 15 0 416177023 11109421056 85688 33554432000 4194304 4196468 140737151051360 140397252445200 140398269264571 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13553] ppid=13486 vsize=10849044 memory=6944656592455097440 CPUtime=1.95 cores=1,3,5,7
/proc/13489/task/13553/stat : 13553 (java) S 13486 13489 8521 0 -1 1077944384 7527 13025 0 0 185 3 4 3 20 0 15 0 416177023 11109421056 85688 33554432000 4194304 4196468 140737151051360 140397251402224 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13554] ppid=13486 vsize=10849044 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13554/stat : 13554 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177023 11109421056 85688 33554432000 4194304 4196468 140737151051360 140396838341472 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13555] ppid=13486 vsize=10849044 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13555/stat : 13555 (java) S 13486 13489 8521 0 -1 1077944384 6 13025 0 0 0 0 4 3 20 0 15 0 416177023 11109421056 85688 33554432000 4194304 4196468 140737151051360 140397250349616 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
Current children cumulated CPU time: 12.39 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 342752 KiB
[startup+5.00069 s]*
/proc/loadavg: 2.06 1.63 1.48 3/227 13555
/proc/meminfo: memFree=28861160/32770624 swapFree=66922372/67108860
[pid=13489] ppid=13486 vsize=10849044 memory=343208 CPUtime=12.98 cores=1,3,5,7
/proc/13489/stat : 13489 (java) S 13486 13489 8521 0 -1 1077944320 55737 13025 0 0 1268 23 4 3 20 0 15 0 416177008 11109421056 85802 33554432000 4194304 4196468 140737151051360 140737151033904 140398285778679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
/proc/13489/statm: 2712261 85802 3619 1 0 2674317 0
[pid=13489/tid=13542] ppid=13486 vsize=10849044 memory=576567874760998942 CPUtime=4.86 cores=1,3,5,7
/proc/13489/task/13542/stat : 13542 (java) R 13486 13489 8521 0 -1 4202560 26154 13025 0 0 468 11 4 3 20 0 15 0 416177017 11109421056 85802 33554432000 4194304 4196468 140737151051360 140398257610800 140397884479888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13543] ppid=13486 vsize=10849044 memory=301 CPUtime=0.11 cores=1,3,5,7
/proc/13489/task/13543/stat : 13543 (java) S 13486 13489 8521 0 -1 1077944384 128 13025 0 0 3 1 4 3 20 0 15 0 416177018 11109421056 85802 33554432000 4194304 4196468 140737151051360 140398290021392 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13544] ppid=13486 vsize=10849044 memory=140122576477105 CPUtime=0.11 cores=1,3,5,7
/proc/13489/task/13544/stat : 13544 (java) S 13486 13489 8521 0 -1 1077944384 123 13025 0 0 3 1 4 3 20 0 15 0 416177018 11109421056 85802 33554432000 4194304 4196468 140737151051360 140398188911760 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13545] ppid=13486 vsize=10849044 memory=6944652177228980320 CPUtime=0.1 cores=1,3,5,7
/proc/13489/task/13545/stat : 13545 (java) S 13486 13489 8521 0 -1 1077944384 360 13025 0 0 3 0 4 3 20 0 15 0 416177018 11109421056 85802 33554432000 4194304 4196468 140737151051360 140398187858704 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13546] ppid=13486 vsize=10849044 memory=3472323898181169199 CPUtime=0.11 cores=1,3,5,7
/proc/13489/task/13546/stat : 13546 (java) S 13486 13489 8521 0 -1 1077944384 225 13025 0 0 4 0 4 3 20 0 15 0 416177018 11109421056 85802 33554432000 4194304 4196468 140737151051360 140397856549776 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13547] ppid=13486 vsize=10849044 memory=7589561125350386148 CPUtime=0.11 cores=1,3,5,7
/proc/13489/task/13547/stat : 13547 (java) S 13486 13489 8521 0 -1 1077944384 3039 13025 0 0 4 0 4 3 20 0 15 0 416177019 11109421056 85802 33554432000 4194304 4196468 140737151051360 140397288118512 140398285789826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13548] ppid=13486 vsize=10849044 memory=7589420999132590127 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13548/stat : 13548 (java) S 13486 13489 8521 0 -1 1077944384 39 13025 0 0 0 0 4 3 20 0 15 0 416177020 11109421056 85802 33554432000 4194304 4196468 140737151051360 140397287064864 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13549] ppid=13486 vsize=10849044 memory=-6876588462263607216 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13549/stat : 13549 (java) S 13486 13489 8521 0 -1 1077944384 1 13025 0 0 0 0 4 3 20 0 15 0 416177020 11109421056 85802 33554432000 4194304 4196468 140737151051360 140397179298560 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13550] ppid=13486 vsize=10849044 memory=-7812193691855986592 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13550/stat : 13550 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177022 11109421056 85802 33554432000 4194304 4196468 140737151051360 140396871899088 140398285797275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13551] ppid=13486 vsize=10849044 memory=0 CPUtime=3.16 cores=1,3,5,7
/proc/13489/task/13551/stat : 13551 (java) S 13486 13489 8521 0 -1 1077944384 10428 13025 0 0 307 2 4 3 20 0 15 0 416177022 11109421056 85802 33554432000 4194304 4196468 140737151051360 140397253507824 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13552] ppid=13486 vsize=10849044 memory=3472328296227418159 CPUtime=2.91 cores=1,3,5,7
/proc/13489/task/13552/stat : 13552 (java) R 13486 13489 8521 0 -1 4202560 5420 13025 0 0 282 2 4 3 20 0 15 0 416177023 11109421056 85802 33554432000 4194304 4196468 140737151051360 140397252455376 140398269689088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13553] ppid=13486 vsize=10849044 memory=3471342518897305264 CPUtime=1.98 cores=1,3,5,7
/proc/13489/task/13553/stat : 13553 (java) S 13486 13489 8521 0 -1 1077944384 7598 13025 0 0 188 3 4 3 20 0 15 0 416177023 11109421056 85802 33554432000 4194304 4196468 140737151051360 140397251402224 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13554] ppid=13486 vsize=10849044 memory=3472328296227418159 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13554/stat : 13554 (java) S 13486 13489 8521 0 -1 1077944384 3 13025 0 0 0 0 4 3 20 0 15 0 416177023 11109421056 85802 33554432000 4194304 4196468 140737151051360 140396838341472 140398285788885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
[pid=13489/tid=13555] ppid=13486 vsize=10849044 memory=3184238042652436144 CPUtime=0.07 cores=1,3,5,7
/proc/13489/task/13555/stat : 13555 (java) S 13486 13489 8521 0 -1 1077944384 6 13025 0 0 0 0 4 3 20 0 15 0 416177023 11109421056 85802 33554432000 4194304 4196468 140737151051360 140397250349616 140398285789826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17838080 140737151056623 140737151059141 140737151059141 140737151061967 0
Current children cumulated CPU time: 12.98 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 343208 KiB
Child status: 0
Real time (s): 5.10586
CPU time (s): 13.1881
CPU user time (s): 12.901
CPU system time (s): 0.287104
CPU usage (%): 258.293
Max. virtual memory (cumulated for all children) (KiB): 10851664
Max. memory (cumulated for all children) (KiB): 343208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.901
system time used= 0.287104
maximum resident set size= 345592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6842
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 13489
# total CPU time (s): 13.1881
# total CPU user time (s): 12.901
# total CPU system time (s): 0.287104
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057553 second user time and 0.090756 second system time
The end