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 (10311 MiB free)
memory of node 1: 16384 MiB (5508 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304764-1534149396/watcher-4304764-1534149396 -o /tmp/evaluation-result-4304764-1534149396/solver-4304764-1534149396 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534136980-8317 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1911315027 -superng HOME/instance-4304764-1534149396.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=10818, runsolver pid=10815
[startup+0.100427 s]*
/proc/loadavg: 1.48 1.33 1.33 3/203 10872
/proc/meminfo: memFree=16194888/32770624 swapFree=67108844/67108860
[pid=10818] ppid=10815 vsize=10005480 memory=18324 CPUtime=0.1 cores=0,2,4,6
/proc/10818/stat : 10818 (java) S 10815 10818 7925 0 -1 1077944320 4212 13284 0 0 1 1 5 3 20 0 6 0 232502751 10245611520 4581 33554432000 4194304 4196468 140737088824976 140737088807520 139713300651767 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
/proc/10818/statm: 2501370 4581 1930 1 0 2489808 0
[pid=10818/tid=10871] ppid=10815 vsize=10005480 memory=4279135703980081295 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10871/stat : 10871 (java) R 10815 10818 7925 0 -1 4202560 2020 13284 0 0 0 0 5 3 20 0 6 0 232502761 10245611520 4581 33554432000 4194304 4196468 140737088824976 139713272488528 139713300673693 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10872] ppid=10815 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10872/stat : 10872 (java) S 10815 10818 7925 0 -1 1077944384 2 13284 0 0 0 0 5 3 20 0 6 0 232502762 10245611520 4581 33554432000 4194304 4196468 140737088824976 139713304894352 139713300661973 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10873] ppid=10815 vsize=10005480 memory=140087150237312 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10873/stat : 10873 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 6 0 232502762 10245611520 4581 33554432000 4194304 4196468 140737088824976 139713159613200 139713300661973 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10874] ppid=10815 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10874/stat : 10874 (java) S 10815 10818 7925 0 -1 1077944384 2 13284 0 0 0 0 5 3 20 0 6 0 232502762 10245611520 4581 33554432000 4194304 4196468 140737088824976 139713158560912 139713300661973 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10875] ppid=10815 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10875/stat : 10875 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 6 0 232502762 10245611520 4581 33554432000 4194304 4196468 140737088824976 139713157508112 139713300661973 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18324 KiB
[startup+0.210132 s]*
/proc/loadavg: 1.48 1.33 1.33 3/215 10884
/proc/meminfo: memFree=16169572/32770624 swapFree=67108844/67108860
[pid=10818] ppid=10815 vsize=10982744 memory=42864 CPUtime=0.25 cores=0,2,4,6
/proc/10818/stat : 10818 (java) S 10815 10818 7925 0 -1 1077944320 6946 13284 0 0 16 1 5 3 20 0 15 0 232502751 11246329856 10716 33554432000 4194304 4196468 140737088824976 140737088807520 139713300651767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
/proc/10818/statm: 2745686 10716 2945 1 0 2708109 0
[pid=10818/tid=10871] ppid=10815 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/10818/task/10871/stat : 10871 (java) R 10815 10818 7925 0 -1 4202560 3510 13284 0 0 10 1 5 3 20 0 15 0 232502761 11246329856 10716 33554432000 4194304 4196468 140737088824976 139713272447808 139713280927474 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10872] ppid=10815 vsize=10982744 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10872/stat : 10872 (java) S 10815 10818 7925 0 -1 1077944384 2 13284 0 0 0 0 5 3 20 0 15 0 232502762 11246329856 10782 33554432000 4194304 4196468 140737088824976 139713304894352 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10873] ppid=10815 vsize=10982744 memory=140087151501488 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10873/stat : 10873 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502762 11246329856 10782 33554432000 4194304 4196468 140737088824976 139713159613200 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10874] ppid=10815 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10874/stat : 10874 (java) S 10815 10818 7925 0 -1 1077944384 2 13284 0 0 0 0 5 3 20 0 15 0 232502762 11246329856 10782 33554432000 4194304 4196468 140737088824976 139713158560912 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10875] ppid=10815 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10875/stat : 10875 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502762 11246329856 10782 33554432000 4194304 4196468 140737088824976 139713157508112 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10876] ppid=10815 vsize=10982744 memory=140087150237312 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10876/stat : 10876 (java) S 10815 10818 7925 0 -1 1077944384 2 13284 0 0 0 0 5 3 20 0 15 0 232502763 11246329856 10782 33554432000 4194304 4196468 140737088824976 139712726521968 139713300662914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10877] ppid=10815 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10877/stat : 10877 (java) S 10815 10818 7925 0 -1 1077944384 13 13284 0 0 0 0 5 3 20 0 15 0 232502764 11246329856 10782 33554432000 4194304 4196468 140737088824976 139712078537504 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10878] ppid=10815 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10878/stat : 10878 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502764 11246329856 10782 33554432000 4194304 4196468 140737088824976 139711930688624 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10879] ppid=10815 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10879/stat : 10879 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502766 11246329856 10782 33554432000 4194304 4196468 140737088824976 139711623288912 139713300670363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10880] ppid=10815 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10818/task/10880/stat : 10880 (java) S 10815 10818 7925 0 -1 1077944384 359 13284 0 0 1 0 5 3 20 0 15 0 232502766 11246329856 10782 33554432000 4194304 4196468 140737088824976 139712725469808 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10881] ppid=10815 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10881/stat : 10881 (java) S 10815 10818 7925 0 -1 1077944384 255 13284 0 0 0 0 5 3 20 0 15 0 232502766 11246329856 10782 33554432000 4194304 4196468 140737088824976 139712724417008 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10882] ppid=10815 vsize=10982744 memory=140087150237312 CPUtime=0.11 cores=0,2,4,6
/proc/10818/task/10882/stat : 10882 (java) S 10815 10818 7925 0 -1 1077944384 614 13284 0 0 3 0 5 3 20 0 15 0 232502766 11246329856 10782 33554432000 4194304 4196468 140737088824976 139712723364720 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10883] ppid=10815 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10883/stat : 10883 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502767 11246329856 10848 33554432000 4194304 4196468 140737088824976 139711192493024 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10884] ppid=10815 vsize=10982744 memory=140087150237312 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10884/stat : 10884 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502767 11246329856 10848 33554432000 4194304 4196468 140737088824976 139712722311600 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42864 KiB
[startup+0.310189 s]*
/proc/loadavg: 1.48 1.33 1.33 3/215 10884
/proc/meminfo: memFree=16156704/32770624 swapFree=67108844/67108860
[pid=10818] ppid=10815 vsize=10983192 memory=56508 CPUtime=0.39 cores=0,2,4,6
/proc/10818/stat : 10818 (java) S 10815 10818 7925 0 -1 1077944320 10221 13284 0 0 28 3 5 3 20 0 15 0 232502751 11246788608 14127 33554432000 4194304 4196468 140737088824976 140737088807520 139713300651767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
/proc/10818/statm: 2745798 14127 3064 1 0 2708109 0
[pid=10818/tid=10871] ppid=10815 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/10818/task/10871/stat : 10871 (java) R 10815 10818 7925 0 -1 4202560 6803 13284 0 0 19 2 5 3 20 0 15 0 232502761 11246788608 14193 33554432000 4194304 4196468 140737088824976 139713272463776 139713284732254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10872] ppid=10815 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10872/stat : 10872 (java) S 10815 10818 7925 0 -1 1077944384 2 13284 0 0 0 0 5 3 20 0 15 0 232502762 11246788608 14193 33554432000 4194304 4196468 140737088824976 139713304894352 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10873] ppid=10815 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10873/stat : 10873 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502762 11246788608 14193 33554432000 4194304 4196468 140737088824976 139713159613200 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10874] ppid=10815 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10874/stat : 10874 (java) S 10815 10818 7925 0 -1 1077944384 2 13284 0 0 0 0 5 3 20 0 15 0 232502762 11246788608 14193 33554432000 4194304 4196468 140737088824976 139713158560912 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10875] ppid=10815 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10875/stat : 10875 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502762 11246788608 14193 33554432000 4194304 4196468 140737088824976 139713157508112 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10876] ppid=10815 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10876/stat : 10876 (java) S 10815 10818 7925 0 -1 1077944384 2 13284 0 0 0 0 5 3 20 0 15 0 232502763 11246788608 14193 33554432000 4194304 4196468 140737088824976 139712726521968 139713300662914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10877] ppid=10815 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10877/stat : 10877 (java) S 10815 10818 7925 0 -1 1077944384 13 13284 0 0 0 0 5 3 20 0 15 0 232502764 11246788608 14193 33554432000 4194304 4196468 140737088824976 139712078537504 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10878] ppid=10815 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10878/stat : 10878 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502764 11246788608 14193 33554432000 4194304 4196468 140737088824976 139711930688624 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10879] ppid=10815 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10879/stat : 10879 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502766 11246788608 14193 33554432000 4194304 4196468 140737088824976 139711623288912 139713300670363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10880] ppid=10815 vsize=10983192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/10818/task/10880/stat : 10880 (java) S 10815 10818 7925 0 -1 1077944384 360 13284 0 0 2 0 5 3 20 0 15 0 232502766 11246788608 14193 33554432000 4194304 4196468 140737088824976 139712725469808 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10881] ppid=10815 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10818/task/10881/stat : 10881 (java) S 10815 10818 7925 0 -1 1077944384 255 13284 0 0 1 0 5 3 20 0 15 0 232502766 11246788608 14193 33554432000 4194304 4196468 140737088824976 139712724417008 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10882] ppid=10815 vsize=10983192 memory=140087150237312 CPUtime=0.12 cores=0,2,4,6
/proc/10818/task/10882/stat : 10882 (java) S 10815 10818 7925 0 -1 1077944384 624 13284 0 0 4 0 5 3 20 0 15 0 232502766 11246788608 14193 33554432000 4194304 4196468 140737088824976 139712723364720 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10883] ppid=10815 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10883/stat : 10883 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502767 11246788608 14193 33554432000 4194304 4196468 140737088824976 139711192493024 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10884] ppid=10815 vsize=10983192 memory=140087150237312 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10884/stat : 10884 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502767 11246788608 14193 33554432000 4194304 4196468 140737088824976 139712722311600 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56508 KiB
[startup+0.700745 s]
/proc/loadavg: 1.48 1.33 1.33 3/215 10884
/proc/meminfo: memFree=16145912/32770624 swapFree=67108844/67108860
[pid=10818] ppid=10815 vsize=10983192 memory=89052 CPUtime=0.99 cores=0,2,4,6
/proc/10818/stat : 10818 (java) S 10815 10818 7925 0 -1 1077944320 16410 13284 0 0 87 4 5 3 20 0 15 0 232502751 11246788608 22263 33554432000 4194304 4196468 140737088824976 140737088807520 139713300651767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
/proc/10818/statm: 2745798 22263 3238 1 0 2708109 0
[pid=10818/tid=10871] ppid=10815 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/10818/task/10871/stat : 10871 (java) R 10815 10818 7925 0 -1 4202560 11935 13284 0 0 55 3 5 3 20 0 15 0 232502761 11246788608 22263 33554432000 4194304 4196468 140737088824976 139713272490064 139713280927105 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10872] ppid=10815 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10872/stat : 10872 (java) S 10815 10818 7925 0 -1 1077944384 2 13284 0 0 0 0 5 3 20 0 15 0 232502762 11246788608 22263 33554432000 4194304 4196468 140737088824976 139713304894352 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10873] ppid=10815 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10873/stat : 10873 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502762 11246788608 22263 33554432000 4194304 4196468 140737088824976 139713159613200 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10874] ppid=10815 vsize=10983192 memory=140087002280720 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10874/stat : 10874 (java) S 10815 10818 7925 0 -1 1077944384 2 13284 0 0 0 0 5 3 20 0 15 0 232502762 11246788608 22263 33554432000 4194304 4196468 140737088824976 139713158560912 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10875] ppid=10815 vsize=10983192 memory=140088948294228 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10875/stat : 10875 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502762 11246788608 22263 33554432000 4194304 4196468 140737088824976 139713157508112 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10876] ppid=10815 vsize=10983192 memory=5784 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10876/stat : 10876 (java) S 10815 10818 7925 0 -1 1077944384 5 13284 0 0 0 0 5 3 20 0 15 0 232502763 11246788608 22263 33554432000 4194304 4196468 140737088824976 139712726521968 139713300662914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10877] ppid=10815 vsize=10983192 memory=7662705889289527641 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10877/stat : 10877 (java) S 10815 10818 7925 0 -1 1077944384 13 13284 0 0 0 0 5 3 20 0 15 0 232502764 11246788608 22263 33554432000 4194304 4196468 140737088824976 139712078537504 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10878] ppid=10815 vsize=10983192 memory=6082220498109623144 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10878/stat : 10878 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502764 11246788608 22263 33554432000 4194304 4196468 140737088824976 139711930688624 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10879] ppid=10815 vsize=10983192 memory=12708 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10879/stat : 10879 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502766 11246788608 22263 33554432000 4194304 4196468 140737088824976 139711623288912 139713300670363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10880] ppid=10815 vsize=10983192 memory=34740 CPUtime=0.18 cores=0,2,4,6
/proc/10818/task/10880/stat : 10880 (java) S 10815 10818 7925 0 -1 1077944384 933 13284 0 0 10 0 5 3 20 0 15 0 232502766 11246788608 22263 33554432000 4194304 4196468 140737088824976 139712725469808 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10881] ppid=10815 vsize=10983192 memory=2324 CPUtime=0.15 cores=0,2,4,6
/proc/10818/task/10881/stat : 10881 (java) S 10815 10818 7925 0 -1 1077944384 641 13284 0 0 7 0 5 3 20 0 15 0 232502766 11246788608 22263 33554432000 4194304 4196468 140737088824976 139712724417008 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10882] ppid=10815 vsize=10983192 memory=1584 CPUtime=0.21 cores=0,2,4,6
/proc/10818/task/10882/stat : 10882 (java) S 10815 10818 7925 0 -1 1077944384 678 13284 0 0 13 0 5 3 20 0 15 0 232502766 11246788608 22263 33554432000 4194304 4196468 140737088824976 139712723364720 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10883] ppid=10815 vsize=10983192 memory=496 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10883/stat : 10883 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502767 11246788608 22263 33554432000 4194304 4196468 140737088824976 139711192493024 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10884] ppid=10815 vsize=10983192 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10884/stat : 10884 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502767 11246788608 22263 33554432000 4194304 4196468 140737088824976 139712722311600 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89052 KiB
[startup+1.5011 s]
/proc/loadavg: 1.48 1.33 1.33 3/215 10884
/proc/meminfo: memFree=16103860/32770624 swapFree=67108844/67108860
[pid=10818] ppid=10815 vsize=10991948 memory=240752 CPUtime=3.17 cores=0,2,4,6
/proc/10818/stat : 10818 (java) S 10815 10818 7925 0 -1 1077944320 22187 13284 0 0 299 10 5 3 20 0 15 0 232502751 11255754752 60188 33554432000 4194304 4196468 140737088824976 140737088807520 139713300651767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
/proc/10818/statm: 2747987 60188 3482 1 0 2709645 0
[pid=10818/tid=10871] ppid=10815 vsize=10991948 memory=65804 CPUtime=1.44 cores=0,2,4,6
/proc/10818/task/10871/stat : 10871 (java) R 10815 10818 7925 0 -1 4202560 14522 13284 0 0 130 6 5 3 20 0 15 0 232502761 11255754752 60188 33554432000 4194304 4196468 140737088824976 139713272485968 139712824471451 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10872] ppid=10815 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10872/stat : 10872 (java) S 10815 10818 7925 0 -1 1077944384 197 13284 0 0 0 0 5 3 20 0 15 0 232502762 11255754752 60188 33554432000 4194304 4196468 140737088824976 139713304894352 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10873] ppid=10815 vsize=10991948 memory=280174004592800 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10873/stat : 10873 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502762 11255754752 60188 33554432000 4194304 4196468 140737088824976 139713159613200 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10874] ppid=10815 vsize=10991948 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10818/task/10874/stat : 10874 (java) S 10815 10818 7925 0 -1 1077944384 101 13284 0 0 1 0 5 3 20 0 15 0 232502762 11255754752 60188 33554432000 4194304 4196468 140737088824976 139713158560912 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10875] ppid=10815 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10875/stat : 10875 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502762 11255754752 60188 33554432000 4194304 4196468 140737088824976 139713157508112 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10876] ppid=10815 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10876/stat : 10876 (java) S 10815 10818 7925 0 -1 1077944384 88 13284 0 0 0 0 5 3 20 0 15 0 232502763 11255754752 60188 33554432000 4194304 4196468 140737088824976 139712726521968 139713300662914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10877] ppid=10815 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10877/stat : 10877 (java) S 10815 10818 7925 0 -1 1077944384 13 13284 0 0 0 0 5 3 20 0 15 0 232502764 11255754752 60188 33554432000 4194304 4196468 140737088824976 139712078537504 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10878] ppid=10815 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10878/stat : 10878 (java) S 10815 10818 7925 0 -1 1077944384 2 13284 0 0 0 0 5 3 20 0 15 0 232502764 11255754752 60188 33554432000 4194304 4196468 140737088824976 139711930688624 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10879] ppid=10815 vsize=10991948 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10879/stat : 10879 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502766 11255754752 60188 33554432000 4194304 4196468 140737088824976 139711623288912 139713300670363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10880] ppid=10815 vsize=10991948 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/10818/task/10880/stat : 10880 (java) R 10815 10818 7925 0 -1 4202560 2144 13284 0 0 60 0 5 3 20 0 15 0 232502766 11255754752 60188 33554432000 4194304 4196468 140737088824976 139712725454880 139713285762368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10881] ppid=10815 vsize=10991948 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/10818/task/10881/stat : 10881 (java) R 10815 10818 7925 0 -1 4202560 1455 13284 0 0 56 0 5 3 20 0 15 0 232502766 11255754752 60188 33554432000 4194304 4196468 140737088824976 139712724403032 139713282196395 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10882] ppid=10815 vsize=10991948 memory=6791534058613427641 CPUtime=0.55 cores=0,2,4,6
/proc/10818/task/10882/stat : 10882 (java) S 10815 10818 7925 0 -1 1077944384 1461 13284 0 0 46 1 5 3 20 0 15 0 232502766 11255754752 60188 33554432000 4194304 4196468 140737088824976 139712723364720 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10883] ppid=10815 vsize=10991948 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10883/stat : 10883 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502767 11255754752 60188 33554432000 4194304 4196468 140737088824976 139711192493024 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10884] ppid=10815 vsize=10991948 memory=280174004837248 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10884/stat : 10884 (java) S 10815 10818 7925 0 -1 1077944384 1 13284 0 0 0 0 5 3 20 0 15 0 232502767 11255754752 60188 33554432000 4194304 4196468 140737088824976 139712722311600 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/10818/task/10871/stat : 10871 (java) R 10815 10818 7925 0 -1 4202560 275819 13284 0 0 236763 90 5 3 20 0 15 0 232502761 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139713272486912 139712843491721 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10872] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.83 cores=0,2,4,6
/proc/10818/task/10872/stat : 10872 (java) S 10815 10818 7925 0 -1 1077944384 29508 13284 0 0 1235 40 5 3 20 0 15 0 232502762 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139713304894352 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10873] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.76 cores=0,2,4,6
/proc/10818/task/10873/stat : 10873 (java) S 10815 10818 7925 0 -1 1077944384 34761 13284 0 0 1229 39 5 3 20 0 15 0 232502762 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139713159613200 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10874] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.83 cores=0,2,4,6
/proc/10818/task/10874/stat : 10874 (java) S 10815 10818 7925 0 -1 1077944384 24176 13284 0 0 1233 42 5 3 20 0 15 0 232502762 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139713158560912 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10875] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.79 cores=0,2,4,6
/proc/10818/task/10875/stat : 10875 (java) S 10815 10818 7925 0 -1 1077944384 34795 13284 0 0 1231 40 5 3 20 0 15 0 232502762 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139713157508112 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10876] ppid=10815 vsize=11016544 memory=4069668 CPUtime=0.69 cores=0,2,4,6
/proc/10818/task/10876/stat : 10876 (java) S 10815 10818 7925 0 -1 1077944384 44466 13284 0 0 52 9 5 3 20 0 15 0 232502763 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139712726521968 139713300662914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10877] ppid=10815 vsize=11016544 memory=1268 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10877/stat : 10877 (java) S 10815 10818 7925 0 -1 1077944384 17 13284 0 0 0 0 5 3 20 0 15 0 232502764 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139712078537632 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10878] ppid=10815 vsize=11016544 memory=4069668 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10878/stat : 10878 (java) S 10815 10818 7925 0 -1 1077944384 8 13284 0 0 0 0 5 3 20 0 15 0 232502764 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139711930688800 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10879] ppid=10815 vsize=11016544 memory=4069668 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10879/stat : 10879 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502766 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139711623288912 139713300670363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10880] ppid=10815 vsize=11016544 memory=4069668 CPUtime=16.89 cores=0,2,4,6
/proc/10818/task/10880/stat : 10880 (java) S 10815 10818 7925 0 -1 1077944384 46752 13284 0 0 1673 8 5 3 20 0 15 0 232502766 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139712725469808 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10881] ppid=10815 vsize=11016544 memory=804 CPUtime=15.79 cores=0,2,4,6
/proc/10818/task/10881/stat : 10881 (java) S 10815 10818 7925 0 -1 1077944384 50511 13284 0 0 1562 9 5 3 20 0 15 0 232502766 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139712724417008 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10882] ppid=10815 vsize=11016544 memory=4140 CPUtime=4.64 cores=0,2,4,6
/proc/10818/task/10882/stat : 10882 (java) S 10815 10818 7925 0 -1 1077944384 46829 13284 0 0 447 9 5 3 20 0 15 0 232502766 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139712723364720 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10883] ppid=10815 vsize=11016544 memory=63100 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10883/stat : 10883 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502767 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139711192493024 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10884] ppid=10815 vsize=11016544 memory=6791534058613427641 CPUtime=1.45 cores=0,2,4,6
/proc/10818/task/10884/stat : 10884 (java) S 10815 10818 7925 0 -1 1077944384 2118 13284 0 0 68 69 5 3 20 0 15 0 232502767 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139712722311600 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
Current children cumulated CPU time: 2458.69 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4069668 KiB
[startup+2442.3 s]
/proc/loadavg: 1.82 1.87 1.79 5/215 11106
/proc/meminfo: memFree=12688136/32770624 swapFree=67108844/67108860
[pid=10818] ppid=10815 vsize=11016544 memory=4069668 CPUtime=2518.82 cores=0,2,4,6
/proc/10818/stat : 10818 (java) S 10815 10818 7925 0 -1 1077944320 599848 13284 0 0 251532 342 5 3 20 0 15 0 232502751 11280941056 1017417 33554432000 4194304 4196468 140737088824976 140737088807520 139713300651767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
/proc/10818/statm: 2754136 1017417 3541 1 0 2715789 0
[pid=10818/tid=10871] ppid=10815 vsize=11016544 memory=2324 CPUtime=2428.55 cores=0,2,4,6
/proc/10818/task/10871/stat : 10871 (java) R 10815 10818 7925 0 -1 4202560 280586 13284 0 0 242756 91 5 3 20 0 15 0 232502761 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139713272486016 139712839244592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10872] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.87 cores=0,2,4,6
/proc/10818/task/10872/stat : 10872 (java) S 10815 10818 7925 0 -1 1077944384 29558 13284 0 0 1239 40 5 3 20 0 15 0 232502762 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139713304894352 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10873] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.81 cores=0,2,4,6
/proc/10818/task/10873/stat : 10873 (java) S 10815 10818 7925 0 -1 1077944384 36258 13284 0 0 1233 40 5 3 20 0 15 0 232502762 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139713159613200 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10874] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.87 cores=0,2,4,6
/proc/10818/task/10874/stat : 10874 (java) S 10815 10818 7925 0 -1 1077944384 24437 13284 0 0 1237 42 5 3 20 0 15 0 232502762 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139713158560912 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10875] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.82 cores=0,2,4,6
/proc/10818/task/10875/stat : 10875 (java) S 10815 10818 7925 0 -1 1077944384 35753 13284 0 0 1234 40 5 3 20 0 15 0 232502762 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139713157508112 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10876] ppid=10815 vsize=11016544 memory=4069668 CPUtime=0.7 cores=0,2,4,6
/proc/10818/task/10876/stat : 10876 (java) S 10815 10818 7925 0 -1 1077944384 44783 13284 0 0 53 9 5 3 20 0 15 0 232502763 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139712726521968 139713300662914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10877] ppid=10815 vsize=11016544 memory=4069668 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10877/stat : 10877 (java) S 10815 10818 7925 0 -1 1077944384 17 13284 0 0 0 0 5 3 20 0 15 0 232502764 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139712078537632 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10878] ppid=10815 vsize=11016544 memory=4069668 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10878/stat : 10878 (java) S 10815 10818 7925 0 -1 1077944384 8 13284 0 0 0 0 5 3 20 0 15 0 232502764 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139711930688800 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10879] ppid=10815 vsize=11016544 memory=2724 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10879/stat : 10879 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502766 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139711623288912 139713300670363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10880] ppid=10815 vsize=11016544 memory=4069668 CPUtime=16.89 cores=0,2,4,6
/proc/10818/task/10880/stat : 10880 (java) S 10815 10818 7925 0 -1 1077944384 46759 13284 0 0 1673 8 5 3 20 0 15 0 232502766 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139712725469808 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10881] ppid=10815 vsize=11016544 memory=1584 CPUtime=15.79 cores=0,2,4,6
/proc/10818/task/10881/stat : 10881 (java) S 10815 10818 7925 0 -1 1077944384 50515 13284 0 0 1562 9 5 3 20 0 15 0 232502766 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139712724417008 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10882] ppid=10815 vsize=11016544 memory=496 CPUtime=4.64 cores=0,2,4,6
/proc/10818/task/10882/stat : 10882 (java) S 10815 10818 7925 0 -1 1077944384 46833 13284 0 0 447 9 5 3 20 0 15 0 232502766 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139712723364720 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10883] ppid=10815 vsize=11016544 memory=4069668 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10883/stat : 10883 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502767 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139711192493024 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10884] ppid=10815 vsize=11016544 memory=4069668 CPUtime=1.49 cores=0,2,4,6
/proc/10818/task/10884/stat : 10884 (java) S 10815 10818 7925 0 -1 1077944384 2144 13284 0 0 70 71 5 3 20 0 15 0 232502767 11280941056 1017417 33554432000 4194304 4196468 140737088824976 139712722311600 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
Current children cumulated CPU time: 2518.82 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4069668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2443.5 s]
/proc/loadavg: 1.83 1.87 1.79 3/215 11106
/proc/meminfo: memFree=12579224/32770624 swapFree=67108844/67108860
[pid=10818] ppid=10815 vsize=11016544 memory=4069676 CPUtime=2520.03 cores=0,2,4,6
/proc/10818/stat : 10818 (java) S 10815 10818 7925 0 -1 1077944320 599963 13284 0 0 251653 342 5 3 20 0 15 0 232502751 11280941056 1017419 33554432000 4194304 4196468 140737088824976 140737088807520 139713300651767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
/proc/10818/statm: 2754136 1017419 3541 1 0 2715789 0
[pid=10818/tid=10871] ppid=10815 vsize=11016544 memory=4069668 CPUtime=2429.75 cores=0,2,4,6
/proc/10818/task/10871/stat : 10871 (java) R 10815 10818 7925 0 -1 4202560 280648 13284 0 0 242876 91 5 3 20 0 15 0 232502761 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139713272485904 139712843595594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10872] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.87 cores=0,2,4,6
/proc/10818/task/10872/stat : 10872 (java) S 10815 10818 7925 0 -1 1077944384 29569 13284 0 0 1239 40 5 3 20 0 15 0 232502762 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139713304894352 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10873] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.81 cores=0,2,4,6
/proc/10818/task/10873/stat : 10873 (java) S 10815 10818 7925 0 -1 1077944384 36266 13284 0 0 1233 40 5 3 20 0 15 0 232502762 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139713159613200 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10874] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.87 cores=0,2,4,6
/proc/10818/task/10874/stat : 10874 (java) S 10815 10818 7925 0 -1 1077944384 24461 13284 0 0 1237 42 5 3 20 0 15 0 232502762 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139713158560912 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10875] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.83 cores=0,2,4,6
/proc/10818/task/10875/stat : 10875 (java) S 10815 10818 7925 0 -1 1077944384 35761 13284 0 0 1235 40 5 3 20 0 15 0 232502762 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139713157508112 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10876] ppid=10815 vsize=11016544 memory=4069668 CPUtime=0.7 cores=0,2,4,6
/proc/10818/task/10876/stat : 10876 (java) S 10815 10818 7925 0 -1 1077944384 44785 13284 0 0 53 9 5 3 20 0 15 0 232502763 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139712726521968 139713300662914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10877] ppid=10815 vsize=11016544 memory=4069676 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10877/stat : 10877 (java) S 10815 10818 7925 0 -1 1077944384 17 13284 0 0 0 0 5 3 20 0 15 0 232502764 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139712078537632 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10878] ppid=10815 vsize=11016544 memory=4069676 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10878/stat : 10878 (java) S 10815 10818 7925 0 -1 1077944384 8 13284 0 0 0 0 5 3 20 0 15 0 232502764 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139711930688800 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10879] ppid=10815 vsize=11016544 memory=2724 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10879/stat : 10879 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502766 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139711623288912 139713300670363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10880] ppid=10815 vsize=11016544 memory=4069668 CPUtime=16.89 cores=0,2,4,6
/proc/10818/task/10880/stat : 10880 (java) S 10815 10818 7925 0 -1 1077944384 46759 13284 0 0 1673 8 5 3 20 0 15 0 232502766 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139712725469808 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10881] ppid=10815 vsize=11016544 memory=1584 CPUtime=15.79 cores=0,2,4,6
/proc/10818/task/10881/stat : 10881 (java) S 10815 10818 7925 0 -1 1077944384 50515 13284 0 0 1562 9 5 3 20 0 15 0 232502766 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139712724417008 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10882] ppid=10815 vsize=11016544 memory=496 CPUtime=4.64 cores=0,2,4,6
/proc/10818/task/10882/stat : 10882 (java) S 10815 10818 7925 0 -1 1077944384 46833 13284 0 0 447 9 5 3 20 0 15 0 232502766 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139712723364720 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10883] ppid=10815 vsize=11016544 memory=4069668 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10883/stat : 10883 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502767 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139711192493024 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10884] ppid=10815 vsize=11016544 memory=2188 CPUtime=1.49 cores=0,2,4,6
/proc/10818/task/10884/stat : 10884 (java) S 10815 10818 7925 0 -1 1077944384 2144 13284 0 0 70 71 5 3 20 0 15 0 232502767 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139712722311600 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4069676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2443.55 s]
# the end of solver process 10818 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.61 s, system=3.5017 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2443.5 s]
/proc/loadavg: 1.83 1.87 1.79 3/215 11106
/proc/meminfo: memFree=12579224/32770624 swapFree=67108844/67108860
[pid=10818] ppid=10815 vsize=11016544 memory=4069676 CPUtime=2520.03 cores=0,2,4,6
/proc/10818/stat : 10818 (java) S 10815 10818 7925 0 -1 1077944320 599963 13284 0 0 251653 342 5 3 20 0 15 0 232502751 11280941056 1017419 33554432000 4194304 4196468 140737088824976 140737088807520 139713300651767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
/proc/10818/statm: 2754136 1017419 3541 1 0 2715789 0
[pid=10818/tid=10871] ppid=10815 vsize=11016544 memory=4069668 CPUtime=2429.75 cores=0,2,4,6
/proc/10818/task/10871/stat : 10871 (java) R 10815 10818 7925 0 -1 4202560 280648 13284 0 0 242876 91 5 3 20 0 15 0 232502761 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139713272485904 139712843595594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10872] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.87 cores=0,2,4,6
/proc/10818/task/10872/stat : 10872 (java) S 10815 10818 7925 0 -1 1077944384 29569 13284 0 0 1239 40 5 3 20 0 15 0 232502762 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139713304894352 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10873] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.81 cores=0,2,4,6
/proc/10818/task/10873/stat : 10873 (java) S 10815 10818 7925 0 -1 1077944384 36266 13284 0 0 1233 40 5 3 20 0 15 0 232502762 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139713159613200 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10874] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.87 cores=0,2,4,6
/proc/10818/task/10874/stat : 10874 (java) S 10815 10818 7925 0 -1 1077944384 24461 13284 0 0 1237 42 5 3 20 0 15 0 232502762 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139713158560912 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10875] ppid=10815 vsize=11016544 memory=4069668 CPUtime=12.83 cores=0,2,4,6
/proc/10818/task/10875/stat : 10875 (java) S 10815 10818 7925 0 -1 1077944384 35761 13284 0 0 1235 40 5 3 20 0 15 0 232502762 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139713157508112 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10876] ppid=10815 vsize=11016544 memory=4069668 CPUtime=0.7 cores=0,2,4,6
/proc/10818/task/10876/stat : 10876 (java) S 10815 10818 7925 0 -1 1077944384 44785 13284 0 0 53 9 5 3 20 0 15 0 232502763 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139712726521968 139713300662914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10877] ppid=10815 vsize=11016544 memory=4069676 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10877/stat : 10877 (java) S 10815 10818 7925 0 -1 1077944384 17 13284 0 0 0 0 5 3 20 0 15 0 232502764 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139712078537632 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10878] ppid=10815 vsize=11016544 memory=4069676 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10878/stat : 10878 (java) S 10815 10818 7925 0 -1 1077944384 8 13284 0 0 0 0 5 3 20 0 15 0 232502764 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139711930688800 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10879] ppid=10815 vsize=11016544 memory=2724 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10879/stat : 10879 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502766 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139711623288912 139713300670363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10880] ppid=10815 vsize=11016544 memory=4069668 CPUtime=16.89 cores=0,2,4,6
/proc/10818/task/10880/stat : 10880 (java) S 10815 10818 7925 0 -1 1077944384 46759 13284 0 0 1673 8 5 3 20 0 15 0 232502766 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139712725469808 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10881] ppid=10815 vsize=11016544 memory=1584 CPUtime=15.79 cores=0,2,4,6
/proc/10818/task/10881/stat : 10881 (java) S 10815 10818 7925 0 -1 1077944384 50515 13284 0 0 1562 9 5 3 20 0 15 0 232502766 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139712724417008 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10882] ppid=10815 vsize=11016544 memory=496 CPUtime=4.64 cores=0,2,4,6
/proc/10818/task/10882/stat : 10882 (java) S 10815 10818 7925 0 -1 1077944384 46833 13284 0 0 447 9 5 3 20 0 15 0 232502766 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139712723364720 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10883] ppid=10815 vsize=11016544 memory=4069668 CPUtime=0.08 cores=0,2,4,6
/proc/10818/task/10883/stat : 10883 (java) S 10815 10818 7925 0 -1 1077944384 3 13284 0 0 0 0 5 3 20 0 15 0 232502767 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139711192493024 139713300661973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
[pid=10818/tid=10884] ppid=10815 vsize=11016544 memory=2188 CPUtime=1.49 cores=0,2,4,6
/proc/10818/task/10884/stat : 10884 (java) S 10815 10818 7925 0 -1 1077944384 2144 13284 0 0 70 71 5 3 20 0 15 0 232502767 11280941056 1017419 33554432000 4194304 4196468 140737088824976 139712722311600 139713300662914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21913600 140737088825955 140737088828764 140737088828764 140737088831439 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4069676 KiB
Child status: 143
Real time (s): 2443.55
CPU time (s): 2520.11
CPU user time (s): 2516.61
CPU system time (s): 3.5017
CPU usage (%): 103.133
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 4094152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.61
system time used= 3.5017
maximum resident set size= 4094156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 617806
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74538
involuntary context switches= 4103
# summary of solver processes directly reported to runsolver:
# pid: 10818
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.61
# total CPU system time (s): 3.5017
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7609 second user time and 23.094 second system time
The end