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 (8551 MiB free)
memory of node 1: 16384 MiB (11569 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293434-1532315570/watcher-4293434-1532315570 -o /tmp/evaluation-result-4293434-1532315570/solver-4293434-1532315570 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532294157-6739 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1594885996 -superng HOME/instance-4293434-1532315570.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=10772, runsolver pid=10769
[startup+0.101452 s]*
/proc/loadavg: 1.15 1.34 1.40 2/207 10829
/proc/meminfo: memFree=20595464/32770624 swapFree=67108860/67108860
[pid=10772] ppid=10769 vsize=9972712 memory=18852 CPUtime=0.1 cores=0,2,4,6
/proc/10772/stat : 10772 (java) S 10769 10772 6708 0 -1 1077944320 4326 13185 0 0 1 1 5 3 20 0 6 0 49120199 10212057088 4648 33554432000 4194304 4196468 140728504365072 140728504347616 139688320274167 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
/proc/10772/statm: 2493178 4648 1932 1 0 2481616 0
[pid=10772/tid=10825] ppid=10769 vsize=9972712 memory=4279135703946724751 CPUtime=0.09 cores=0,2,4,6
/proc/10772/task/10825/stat : 10825 (java) R 10769 10772 6708 0 -1 4202560 2148 13185 0 0 1 0 5 3 20 0 6 0 49120208 10212057088 4713 33554432000 4194304 4196468 140728504365072 139688292110928 139688305397104 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10826] ppid=10769 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10826/stat : 10826 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 6 0 49120209 10212057088 4713 33554432000 4194304 4196468 140728504365072 139688324516496 139688320284373 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10827] ppid=10769 vsize=9972712 memory=139896070854272 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10827/stat : 10827 (java) S 10769 10772 6708 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 6 0 49120209 10212057088 4713 33554432000 4194304 4196468 140728504365072 139688243268112 139688320284373 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10828] ppid=10769 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10828/stat : 10828 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 6 0 49120209 10212057088 4713 33554432000 4194304 4196468 140728504365072 139687892015504 139688320284373 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10829] ppid=10769 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10829/stat : 10829 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 6 0 49120209 10212057088 4713 33554432000 4194304 4196468 140728504365072 139687890962704 139688320284373 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18852 KiB
[startup+0.210929 s]*
/proc/loadavg: 1.15 1.34 1.40 3/216 10838
/proc/meminfo: memFree=20572792/32770624 swapFree=67108860/67108860
[pid=10772] ppid=10769 vsize=10818904 memory=44740 CPUtime=0.26 cores=0,2,4,6
/proc/10772/stat : 10772 (java) S 10769 10772 6708 0 -1 1077944320 7928 13185 0 0 16 2 5 3 20 0 15 0 49120199 11078557696 11185 33554432000 4194304 4196468 140728504365072 140728504347616 139688320274167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
/proc/10772/statm: 2704726 11185 2972 1 0 2667149 0
[pid=10772/tid=10825] ppid=10769 vsize=10819896 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/10772/task/10825/stat : 10825 (java) R 10769 10772 6708 0 -1 4202560 4771 13185 0 0 10 1 5 3 20 0 15 0 49120208 11079573504 11449 33554432000 4194304 4196468 140728504365072 139688292098976 139688312953885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10826] ppid=10769 vsize=10819896 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10826/stat : 10826 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120209 11079573504 11449 33554432000 4194304 4196468 140728504365072 139688324516496 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10827] ppid=10769 vsize=10821524 memory=139896070854272 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10827/stat : 10827 (java) S 10769 10772 6708 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 49120209 11081240576 11449 33554432000 4194304 4196468 140728504365072 139688243268112 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10828] ppid=10769 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10828/stat : 10828 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120209 11081240576 11449 33554432000 4194304 4196468 140728504365072 139687892015504 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10829] ppid=10769 vsize=10821524 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10829/stat : 10829 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120209 11081240576 11515 33554432000 4194304 4196468 140728504365072 139687890962704 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10830] ppid=10769 vsize=10821524 memory=139896070854272 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10830/stat : 10830 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120211 11081240576 11515 33554432000 4194304 4196468 140728504365072 139687846869872 139688320285314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10831] ppid=10769 vsize=10821524 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10831/stat : 10831 (java) S 10769 10772 6708 0 -1 1077944384 13 13185 0 0 0 0 5 3 20 0 15 0 49120211 11081240576 11515 33554432000 4194304 4196468 140728504365072 139687248258592 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10832] ppid=10769 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10832/stat : 10832 (java) S 10769 10772 6708 0 -1 1077944384 21 13185 0 0 0 0 5 3 20 0 15 0 49120211 11081240576 11515 33554432000 4194304 4196468 140728504365072 139687214699888 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10833] ppid=10769 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10833/stat : 10833 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120214 11081240576 11515 33554432000 4194304 4196468 140728504365072 139687100410192 139688320292763 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10834] ppid=10769 vsize=10821524 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10772/task/10834/stat : 10834 (java) S 10769 10772 6708 0 -1 1077944384 491 13185 0 0 1 0 5 3 20 0 15 0 49120214 11081240576 11581 33554432000 4194304 4196468 140728504365072 139687845816688 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10835] ppid=10769 vsize=10821524 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10772/task/10835/stat : 10835 (java) S 10769 10772 6708 0 -1 1077944384 90 13185 0 0 1 0 5 3 20 0 15 0 49120214 11081240576 11581 33554432000 4194304 4196468 140728504365072 139687844763888 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10836] ppid=10769 vsize=10821524 memory=139896070854272 CPUtime=0.11 cores=0,2,4,6
/proc/10772/task/10836/stat : 10836 (java) S 10769 10772 6708 0 -1 1077944384 565 13185 0 0 3 0 5 3 20 0 15 0 49120214 11081240576 11581 33554432000 4194304 4196468 140728504365072 139687843711088 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10837] ppid=10769 vsize=10821524 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10837/stat : 10837 (java) S 10769 10772 6708 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 49120214 11081240576 11581 33554432000 4194304 4196468 140728504365072 139686630648032 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10838] ppid=10769 vsize=10821524 memory=139896070854272 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10838/stat : 10838 (java) S 10769 10772 6708 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 49120214 11081240576 11647 33554432000 4194304 4196468 140728504365072 139687842659504 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44740 KiB
[startup+0.310302 s]*
/proc/loadavg: 1.15 1.34 1.40 3/216 10838
/proc/meminfo: memFree=20561584/32770624 swapFree=67108860/67108860
[pid=10772] ppid=10769 vsize=10819352 memory=55404 CPUtime=0.39 cores=0,2,4,6
/proc/10772/stat : 10772 (java) S 10769 10772 6708 0 -1 1077944320 10425 13185 0 0 28 3 5 3 20 0 15 0 49120199 11079016448 13851 33554432000 4194304 4196468 140728504365072 140728504347616 139688320274167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
/proc/10772/statm: 2704838 13851 3091 1 0 2667149 0
[pid=10772/tid=10825] ppid=10769 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/10772/task/10825/stat : 10825 (java) R 10769 10772 6708 0 -1 4202560 7021 13185 0 0 19 2 5 3 20 0 15 0 49120208 11079016448 13851 33554432000 4194304 4196468 140728504365072 139688292086176 139688304354654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10826] ppid=10769 vsize=10819352 memory=5936124071263621201 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10826/stat : 10826 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120209 11079016448 13851 33554432000 4194304 4196468 140728504365072 139688324516496 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10827] ppid=10769 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10827/stat : 10827 (java) S 10769 10772 6708 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 49120209 11079016448 13851 33554432000 4194304 4196468 140728504365072 139688243268112 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10828] ppid=10769 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10828/stat : 10828 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120209 11079016448 13851 33554432000 4194304 4196468 140728504365072 139687892015504 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10829] ppid=10769 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10829/stat : 10829 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120209 11079016448 13851 33554432000 4194304 4196468 140728504365072 139687890962704 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10830] ppid=10769 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10830/stat : 10830 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120211 11079016448 13851 33554432000 4194304 4196468 140728504365072 139687846869872 139688320285314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10831] ppid=10769 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10831/stat : 10831 (java) S 10769 10772 6708 0 -1 1077944384 13 13185 0 0 0 0 5 3 20 0 15 0 49120211 11079016448 13851 33554432000 4194304 4196468 140728504365072 139687248258592 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10832] ppid=10769 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10832/stat : 10832 (java) S 10769 10772 6708 0 -1 1077944384 21 13185 0 0 0 0 5 3 20 0 15 0 49120211 11079016448 13851 33554432000 4194304 4196468 140728504365072 139687214699888 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10833] ppid=10769 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10833/stat : 10833 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120214 11079016448 13851 33554432000 4194304 4196468 140728504365072 139687100410192 139688320292763 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10834] ppid=10769 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10772/task/10834/stat : 10834 (java) S 10769 10772 6708 0 -1 1077944384 491 13185 0 0 1 0 5 3 20 0 15 0 49120214 11079016448 13851 33554432000 4194304 4196468 140728504365072 139687845816688 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10835] ppid=10769 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/10772/task/10835/stat : 10835 (java) S 10769 10772 6708 0 -1 1077944384 91 13185 0 0 2 0 5 3 20 0 15 0 49120214 11079016448 13851 33554432000 4194304 4196468 140728504365072 139687844763888 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10836] ppid=10769 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10772/task/10836/stat : 10836 (java) S 10769 10772 6708 0 -1 1077944384 580 13185 0 0 4 0 5 3 20 0 15 0 49120214 11079016448 13851 33554432000 4194304 4196468 140728504365072 139687843711088 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10837] ppid=10769 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10837/stat : 10837 (java) S 10769 10772 6708 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 49120214 11079016448 13851 33554432000 4194304 4196468 140728504365072 139686630648032 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10838] ppid=10769 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10838/stat : 10838 (java) S 10769 10772 6708 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 49120214 11079016448 13851 33554432000 4194304 4196468 140728504365072 139687842659504 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55404 KiB
[startup+0.70072 s]
/proc/loadavg: 1.15 1.34 1.40 3/216 10838
/proc/meminfo: memFree=20549332/32770624 swapFree=67108860/67108860
[pid=10772] ppid=10769 vsize=10819352 memory=88716 CPUtime=0.99 cores=0,2,4,6
/proc/10772/stat : 10772 (java) S 10769 10772 6708 0 -1 1077944320 16763 13185 0 0 87 4 5 3 20 0 15 0 49120199 11079016448 22179 33554432000 4194304 4196468 140728504365072 140728504347616 139688320274167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
/proc/10772/statm: 2704838 22179 3239 1 0 2667149 0
[pid=10772/tid=10825] ppid=10769 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/10772/task/10825/stat : 10825 (java) R 10769 10772 6708 0 -1 4202560 12275 13185 0 0 56 3 5 3 20 0 15 0 49120208 11079016448 22179 33554432000 4194304 4196468 140728504365072 139688292094992 139688303460976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10826] ppid=10769 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10826/stat : 10826 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120209 11079016448 22179 33554432000 4194304 4196468 140728504365072 139688324516496 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10827] ppid=10769 vsize=10819352 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10827/stat : 10827 (java) S 10769 10772 6708 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 49120209 11079016448 22179 33554432000 4194304 4196468 140728504365072 139688243268112 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10828] ppid=10769 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10828/stat : 10828 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120209 11079016448 22179 33554432000 4194304 4196468 140728504365072 139687892015504 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10829] ppid=10769 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10829/stat : 10829 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120209 11079016448 22179 33554432000 4194304 4196468 140728504365072 139687890962704 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10830] ppid=10769 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10830/stat : 10830 (java) S 10769 10772 6708 0 -1 1077944384 5 13185 0 0 0 0 5 3 20 0 15 0 49120211 11079016448 22179 33554432000 4194304 4196468 140728504365072 139687846869872 139688320285314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10831] ppid=10769 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10831/stat : 10831 (java) S 10769 10772 6708 0 -1 1077944384 13 13185 0 0 0 0 5 3 20 0 15 0 49120211 11079016448 22179 33554432000 4194304 4196468 140728504365072 139687248258592 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10832] ppid=10769 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10832/stat : 10832 (java) S 10769 10772 6708 0 -1 1077944384 21 13185 0 0 0 0 5 3 20 0 15 0 49120211 11079016448 22179 33554432000 4194304 4196468 140728504365072 139687214699888 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10833] ppid=10769 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10833/stat : 10833 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120214 11079016448 22179 33554432000 4194304 4196468 140728504365072 139687100410192 139688320292763 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10834] ppid=10769 vsize=10819352 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/10772/task/10834/stat : 10834 (java) S 10769 10772 6708 0 -1 1077944384 1062 13185 0 0 9 0 5 3 20 0 15 0 49120214 11079016448 22179 33554432000 4194304 4196468 140728504365072 139687845816688 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10835] ppid=10769 vsize=10819352 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/10772/task/10835/stat : 10835 (java) S 10769 10772 6708 0 -1 1077944384 510 13185 0 0 7 0 5 3 20 0 15 0 49120214 11079016448 22179 33554432000 4194304 4196468 140728504365072 139687844763888 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10836] ppid=10769 vsize=10819352 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/10772/task/10836/stat : 10836 (java) R 10769 10772 6708 0 -1 4202560 671 13185 0 0 12 0 5 3 20 0 15 0 49120214 11079016448 22179 33554432000 4194304 4196468 140728504365072 139687843711088 139688299214908 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10837] ppid=10769 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10837/stat : 10837 (java) S 10769 10772 6708 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 49120214 11079016448 22179 33554432000 4194304 4196468 140728504365072 139686630648032 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10838] ppid=10769 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10838/stat : 10838 (java) S 10769 10772 6708 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 49120214 11079016448 22179 33554432000 4194304 4196468 140728504365072 139687842659504 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88716 KiB
[startup+1.5008 s]
/proc/loadavg: 1.15 1.34 1.40 3/216 10838
/proc/meminfo: memFree=20503396/32770624 swapFree=67108860/67108860
[pid=10772] ppid=10769 vsize=10834252 memory=179604 CPUtime=2.27 cores=0,2,4,6
/proc/10772/stat : 10772 (java) S 10769 10772 6708 0 -1 1077944320 25006 13185 0 0 210 9 5 3 20 0 15 0 49120199 11094274048 44901 33554432000 4194304 4196468 140728504365072 140728504347616 139688320274167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
/proc/10772/statm: 2708563 44901 3472 1 0 2670221 0
[pid=10772/tid=10825] ppid=10769 vsize=10834252 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/10772/task/10825/stat : 10825 (java) R 10769 10772 6708 0 -1 4202560 18169 13185 0 0 130 5 5 3 20 0 15 0 49120208 11094274048 44901 33554432000 4194304 4196468 140728504365072 139688292104304 139688298719712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10826] ppid=10769 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10772/task/10826/stat : 10826 (java) S 10769 10772 6708 0 -1 1077944384 57 13185 0 0 1 0 5 3 20 0 15 0 49120209 11094274048 44901 33554432000 4194304 4196468 140728504365072 139688324516496 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10827] ppid=10769 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10772/task/10827/stat : 10827 (java) S 10769 10772 6708 0 -1 1077944384 201 13185 0 0 1 0 5 3 20 0 15 0 49120209 11094274048 44901 33554432000 4194304 4196468 140728504365072 139688243268112 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10828] ppid=10769 vsize=10834252 memory=3611949788955226161 CPUtime=0.09 cores=0,2,4,6
/proc/10772/task/10828/stat : 10828 (java) S 10769 10772 6708 0 -1 1077944384 34 13185 0 0 1 0 5 3 20 0 15 0 49120209 11094274048 44901 33554432000 4194304 4196468 140728504365072 139687892015504 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10829] ppid=10769 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10829/stat : 10829 (java) S 10769 10772 6708 0 -1 1077944384 28 13185 0 0 0 0 5 3 20 0 15 0 49120209 11094274048 44901 33554432000 4194304 4196468 140728504365072 139687890962704 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10830] ppid=10769 vsize=10834252 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/10772/task/10830/stat : 10830 (java) S 10769 10772 6708 0 -1 1077944384 560 13185 0 0 1 0 5 3 20 0 15 0 49120211 11094274048 44901 33554432000 4194304 4196468 140728504365072 139687846869872 139688320285314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10831] ppid=10769 vsize=10834252 memory=279791886477568 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10831/stat : 10831 (java) S 10769 10772 6708 0 -1 1077944384 15 13185 0 0 0 0 5 3 20 0 15 0 49120211 11094274048 44901 33554432000 4194304 4196468 140728504365072 139687248258656 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10832] ppid=10769 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10832/stat : 10832 (java) S 10769 10772 6708 0 -1 1077944384 42 13185 0 0 0 0 5 3 20 0 15 0 49120211 11094274048 44901 33554432000 4194304 4196468 140728504365072 139687214699904 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10833] ppid=10769 vsize=10834252 memory=5380 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10833/stat : 10833 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120214 11094274048 44901 33554432000 4194304 4196468 140728504365072 139687100410192 139688320292763 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10834] ppid=10769 vsize=10834252 memory=4616 CPUtime=0.32 cores=0,2,4,6
/proc/10772/task/10834/stat : 10834 (java) S 10769 10772 6708 0 -1 1077944384 1527 13185 0 0 24 0 5 3 20 0 15 0 49120214 11094274048 44901 33554432000 4194304 4196468 140728504365072 139687845816688 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10835] ppid=10769 vsize=10834252 memory=1232 CPUtime=0.25 cores=0,2,4,6
/proc/10772/task/10835/stat : 10835 (java) S 10769 10772 6708 0 -1 1077944384 730 13185 0 0 17 0 5 3 20 0 15 0 49120214 11094274048 44901 33554432000 4194304 4196468 140728504365072 139687844763888 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10836] ppid=10769 vsize=10834252 memory=11964 CPUtime=0.39 cores=0,2,4,6
/proc/10772/task/10836/stat : 10836 (java) S 10769 10772 6708 0 -1 1077944384 1445 13185 0 0 31 0 5 3 20 0 15 0 49120214 11094274048 44901 33554432000 4194304 4196468 140728504365072 139687843711088 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10837] ppid=10769 vsize=10834252 memory=1708 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10837/stat : 10837 (java) S 10769 10772 6708 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 49120214 11094274048 44901 33554432000 4194304 4196468 140728504365072 139686630648032 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10838] ppid=10769 vsize=10834252 memory=8384 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10838/stat : 10838 (java) S 10769 10772 6708 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 49120214 11094274048 44901 33554432000 4194304 4196468 140728504365072 139687842659504 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/10772/task/10825/stat : 10825 (java) S 10769 10772 6708 0 -1 1077944384 81808 13185 0 0 236104 42 5 3 20 0 15 0 49120208 11176083456 196782 33554432000 4194304 4196468 140728504365072 139688292107792 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10826] ppid=10769 vsize=10914144 memory=787128 CPUtime=10.75 cores=0,2,4,6
/proc/10772/task/10826/stat : 10826 (java) R 10769 10772 6708 0 -1 4202560 9474 13185 0 0 1027 40 5 3 20 0 15 0 49120209 11176083456 196782 33554432000 4194304 4196468 140728504365072 139688324516616 139688312902375 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10827] ppid=10769 vsize=10914144 memory=787128 CPUtime=10.75 cores=0,2,4,6
/proc/10772/task/10827/stat : 10827 (java) R 10769 10772 6708 0 -1 4202560 10732 13185 0 0 1027 40 5 3 20 0 15 0 49120209 11176083456 196782 33554432000 4194304 4196468 140728504365072 139688243268112 139688312902375 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10828] ppid=10769 vsize=10914144 memory=787128 CPUtime=10.74 cores=0,2,4,6
/proc/10772/task/10828/stat : 10828 (java) S 10769 10772 6708 0 -1 1077944384 8621 13185 0 0 1024 42 5 3 20 0 15 0 49120209 11176083456 196782 33554432000 4194304 4196468 140728504365072 139687892015504 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10829] ppid=10769 vsize=10914144 memory=787128 CPUtime=10.71 cores=0,2,4,6
/proc/10772/task/10829/stat : 10829 (java) S 10769 10772 6708 0 -1 1077944384 11457 13185 0 0 1023 40 5 3 20 0 15 0 49120209 11176083456 196782 33554432000 4194304 4196468 140728504365072 139687890962720 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10830] ppid=10769 vsize=10914144 memory=787128 CPUtime=8.12 cores=0,2,4,6
/proc/10772/task/10830/stat : 10830 (java) S 10769 10772 6708 0 -1 1077944384 11053 13185 0 0 764 40 5 3 20 0 15 0 49120211 11176083456 196782 33554432000 4194304 4196468 140728504365072 139687846868384 139688320284373 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10831] ppid=10769 vsize=10914144 memory=787128 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10831/stat : 10831 (java) S 10769 10772 6708 0 -1 1077944384 16 13185 0 0 0 0 5 3 20 0 15 0 49120211 11176083456 196782 33554432000 4194304 4196468 140728504365072 139687248258720 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10832] ppid=10769 vsize=10914144 memory=787128 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10832/stat : 10832 (java) S 10769 10772 6708 0 -1 1077944384 42 13185 0 0 0 0 5 3 20 0 15 0 49120211 11176083456 196782 33554432000 4194304 4196468 140728504365072 139687214699904 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10833] ppid=10769 vsize=10914144 memory=787128 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10833/stat : 10833 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120214 11176083456 196782 33554432000 4194304 4196468 140728504365072 139687100410192 139688320292763 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10834] ppid=10769 vsize=10914144 memory=4140 CPUtime=4.02 cores=0,2,4,6
/proc/10772/task/10834/stat : 10834 (java) S 10769 10772 6708 0 -1 1077944384 36625 13185 0 0 389 5 5 3 20 0 15 0 49120214 11176083456 196782 33554432000 4194304 4196468 140728504365072 139687845816688 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10835] ppid=10769 vsize=10914144 memory=787128 CPUtime=3.49 cores=0,2,4,6
/proc/10772/task/10835/stat : 10835 (java) S 10769 10772 6708 0 -1 1077944384 30093 13185 0 0 337 4 5 3 20 0 15 0 49120214 11176083456 196782 33554432000 4194304 4196468 140728504365072 139687844763888 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10836] ppid=10769 vsize=10914144 memory=4140 CPUtime=1.79 cores=0,2,4,6
/proc/10772/task/10836/stat : 10836 (java) S 10769 10772 6708 0 -1 1077944384 21695 13185 0 0 167 4 5 3 20 0 15 0 49120214 11176083456 196782 33554432000 4194304 4196468 140728504365072 139687843711088 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10837] ppid=10769 vsize=10914144 memory=787128 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10837/stat : 10837 (java) S 10769 10772 6708 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 49120214 11176083456 196782 33554432000 4194304 4196468 140728504365072 139686630648032 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10838] ppid=10769 vsize=10914144 memory=6791534058613427641 CPUtime=1.5 cores=0,2,4,6
/proc/10772/task/10838/stat : 10838 (java) S 10769 10772 6708 0 -1 1077944384 1502 13185 0 0 73 69 5 3 20 0 15 0 49120214 11176083456 196782 33554432000 4194304 4196468 140728504365072 139687842659504 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
Current children cumulated CPU time: 2422.79 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 787128 KiB
[startup+2442.3 s]
/proc/loadavg: 1.75 1.61 1.48 3/215 11315
/proc/meminfo: memFree=17805288/32770624 swapFree=67108860/67108860
[pid=10772] ppid=10769 vsize=10914144 memory=791224 CPUtime=2483.86 cores=0,2,4,6
/proc/10772/stat : 10772 (java) S 10769 10772 6708 0 -1 1077944320 226300 13185 0 0 248084 294 5 3 20 0 15 0 49120199 11176083456 197806 33554432000 4194304 4196468 140728504365072 140728504347616 139688320274167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
/proc/10772/statm: 2728536 197806 3520 1 0 2690189 0
[pid=10772/tid=10825] ppid=10769 vsize=10914144 memory=791224 CPUtime=2420.83 cores=0,2,4,6
/proc/10772/task/10825/stat : 10825 (java) R 10769 10772 6708 0 -1 4202560 82334 13185 0 0 242032 43 5 3 20 0 15 0 49120208 11176083456 197806 33554432000 4194304 4196468 140728504365072 139688292107664 139687933140992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10826] ppid=10769 vsize=10914144 memory=791224 CPUtime=11.12 cores=0,2,4,6
/proc/10772/task/10826/stat : 10826 (java) S 10769 10772 6708 0 -1 1077944384 9484 13185 0 0 1062 42 5 3 20 0 15 0 49120209 11176083456 197806 33554432000 4194304 4196468 140728504365072 139688324516496 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10827] ppid=10769 vsize=10914144 memory=789176 CPUtime=11.11 cores=0,2,4,6
/proc/10772/task/10827/stat : 10827 (java) S 10769 10772 6708 0 -1 1077944384 10750 13185 0 0 1062 41 5 3 20 0 15 0 49120209 11176083456 197806 33554432000 4194304 4196468 140728504365072 139688243268112 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10828] ppid=10769 vsize=10914144 memory=789176 CPUtime=11.11 cores=0,2,4,6
/proc/10772/task/10828/stat : 10828 (java) S 10769 10772 6708 0 -1 1077944384 8800 13185 0 0 1060 43 5 3 20 0 15 0 49120209 11176083456 197806 33554432000 4194304 4196468 140728504365072 139687892015504 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10829] ppid=10769 vsize=10914144 memory=791224 CPUtime=11.08 cores=0,2,4,6
/proc/10772/task/10829/stat : 10829 (java) S 10769 10772 6708 0 -1 1077944384 11504 13185 0 0 1059 41 5 3 20 0 15 0 49120209 11176083456 197806 33554432000 4194304 4196468 140728504365072 139687890962704 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10830] ppid=10769 vsize=10914144 memory=791224 CPUtime=8.36 cores=0,2,4,6
/proc/10772/task/10830/stat : 10830 (java) S 10769 10772 6708 0 -1 1077944384 11235 13185 0 0 787 41 5 3 20 0 15 0 49120211 11176083456 197806 33554432000 4194304 4196468 140728504365072 139687846869872 139688320285314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10831] ppid=10769 vsize=10914144 memory=791224 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10831/stat : 10831 (java) S 10769 10772 6708 0 -1 1077944384 16 13185 0 0 0 0 5 3 20 0 15 0 49120211 11176083456 197806 33554432000 4194304 4196468 140728504365072 139687248258720 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10832] ppid=10769 vsize=10914144 memory=791224 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10832/stat : 10832 (java) S 10769 10772 6708 0 -1 1077944384 42 13185 0 0 0 0 5 3 20 0 15 0 49120211 11176083456 197806 33554432000 4194304 4196468 140728504365072 139687214699904 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10833] ppid=10769 vsize=10914144 memory=791224 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10833/stat : 10833 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120214 11176083456 197806 33554432000 4194304 4196468 140728504365072 139687100410192 139688320292763 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10834] ppid=10769 vsize=10914144 memory=791224 CPUtime=4.02 cores=0,2,4,6
/proc/10772/task/10834/stat : 10834 (java) S 10769 10772 6708 0 -1 1077944384 36627 13185 0 0 389 5 5 3 20 0 15 0 49120214 11176083456 197806 33554432000 4194304 4196468 140728504365072 139687845816688 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10835] ppid=10769 vsize=10914144 memory=791224 CPUtime=3.49 cores=0,2,4,6
/proc/10772/task/10835/stat : 10835 (java) S 10769 10772 6708 0 -1 1077944384 30095 13185 0 0 337 4 5 3 20 0 15 0 49120214 11176083456 197806 33554432000 4194304 4196468 140728504365072 139687844763888 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10836] ppid=10769 vsize=10914144 memory=791224 CPUtime=1.79 cores=0,2,4,6
/proc/10772/task/10836/stat : 10836 (java) S 10769 10772 6708 0 -1 1077944384 21697 13185 0 0 167 4 5 3 20 0 15 0 49120214 11176083456 197806 33554432000 4194304 4196468 140728504365072 139687843711088 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10837] ppid=10769 vsize=10914144 memory=791224 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10837/stat : 10837 (java) S 10769 10772 6708 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 49120214 11176083456 197806 33554432000 4194304 4196468 140728504365072 139686630648032 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10838] ppid=10769 vsize=10914144 memory=791224 CPUtime=1.54 cores=0,2,4,6
/proc/10772/task/10838/stat : 10838 (java) S 10769 10772 6708 0 -1 1077944384 1519 13185 0 0 75 71 5 3 20 0 15 0 49120214 11176083456 197806 33554432000 4194304 4196468 140728504365072 139687842659504 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
Current children cumulated CPU time: 2483.86 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 791224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2477.9 s]
/proc/loadavg: 1.81 1.64 1.49 3/215 11316
/proc/meminfo: memFree=17763640/32770624 swapFree=67108860/67108860
[pid=10772] ppid=10769 vsize=10914144 memory=793272 CPUtime=2520.09 cores=0,2,4,6
/proc/10772/stat : 10772 (java) S 10769 10772 6708 0 -1 1077944320 227630 13185 0 0 251702 299 5 3 20 0 15 0 49120199 11176083456 198318 33554432000 4194304 4196468 140728504365072 140728504347616 139688320274167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
/proc/10772/statm: 2728536 198318 3520 1 0 2690189 0
[pid=10772/tid=10825] ppid=10769 vsize=10914144 memory=793272 CPUtime=2456 cores=0,2,4,6
/proc/10772/task/10825/stat : 10825 (java) R 10769 10772 6708 0 -1 4202560 82869 13185 0 0 245548 44 5 3 20 0 15 0 49120208 11176083456 198318 33554432000 4194304 4196468 140728504365072 139688292107792 139687936864097 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10826] ppid=10769 vsize=10914144 memory=793272 CPUtime=11.34 cores=0,2,4,6
/proc/10772/task/10826/stat : 10826 (java) S 10769 10772 6708 0 -1 1077944384 9507 13185 0 0 1083 43 5 3 20 0 15 0 49120209 11176083456 198318 33554432000 4194304 4196468 140728504365072 139688324516496 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10827] ppid=10769 vsize=10914144 memory=793272 CPUtime=11.35 cores=0,2,4,6
/proc/10772/task/10827/stat : 10827 (java) S 10769 10772 6708 0 -1 1077944384 10810 13185 0 0 1085 42 5 3 20 0 15 0 49120209 11176083456 198318 33554432000 4194304 4196468 140728504365072 139688243268112 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10828] ppid=10769 vsize=10914144 memory=793272 CPUtime=11.33 cores=0,2,4,6
/proc/10772/task/10828/stat : 10828 (java) S 10769 10772 6708 0 -1 1077944384 8842 13185 0 0 1081 44 5 3 20 0 15 0 49120209 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687892015504 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10829] ppid=10769 vsize=10914144 memory=791224 CPUtime=11.31 cores=0,2,4,6
/proc/10772/task/10829/stat : 10829 (java) S 10769 10772 6708 0 -1 1077944384 11965 13185 0 0 1081 42 5 3 20 0 15 0 49120209 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687890962704 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10830] ppid=10769 vsize=10914144 memory=791224 CPUtime=8.5 cores=0,2,4,6
/proc/10772/task/10830/stat : 10830 (java) S 10769 10772 6708 0 -1 1077944384 11428 13185 0 0 801 41 5 3 20 0 15 0 49120211 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687846869872 139688320285314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10831] ppid=10769 vsize=10914144 memory=791224 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10831/stat : 10831 (java) S 10769 10772 6708 0 -1 1077944384 16 13185 0 0 0 0 5 3 20 0 15 0 49120211 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687248258720 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10832] ppid=10769 vsize=10914144 memory=793272 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10832/stat : 10832 (java) S 10769 10772 6708 0 -1 1077944384 42 13185 0 0 0 0 5 3 20 0 15 0 49120211 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687214699904 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10833] ppid=10769 vsize=10914144 memory=793272 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10833/stat : 10833 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120214 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687100410192 139688320292763 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10834] ppid=10769 vsize=10914144 memory=793272 CPUtime=4.02 cores=0,2,4,6
/proc/10772/task/10834/stat : 10834 (java) S 10769 10772 6708 0 -1 1077944384 36627 13185 0 0 389 5 5 3 20 0 15 0 49120214 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687845816688 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10835] ppid=10769 vsize=10914144 memory=793272 CPUtime=3.49 cores=0,2,4,6
/proc/10772/task/10835/stat : 10835 (java) S 10769 10772 6708 0 -1 1077944384 30095 13185 0 0 337 4 5 3 20 0 15 0 49120214 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687844763888 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10836] ppid=10769 vsize=10914144 memory=791224 CPUtime=1.79 cores=0,2,4,6
/proc/10772/task/10836/stat : 10836 (java) S 10769 10772 6708 0 -1 1077944384 21697 13185 0 0 167 4 5 3 20 0 15 0 49120214 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687843711088 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10837] ppid=10769 vsize=10914144 memory=793272 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10837/stat : 10837 (java) S 10769 10772 6708 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 49120214 11176083456 198318 33554432000 4194304 4196468 140728504365072 139686630648032 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10838] ppid=10769 vsize=10914144 memory=4140 CPUtime=1.57 cores=0,2,4,6
/proc/10772/task/10838/stat : 10838 (java) S 10769 10772 6708 0 -1 1077944384 1535 13185 0 0 77 72 5 3 20 0 15 0 49120214 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687842659504 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 793272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2477.93 s]
# the end of solver process 10772 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.1 s, system=3.03184 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2477.9 s]
/proc/loadavg: 1.81 1.64 1.49 3/215 11316
/proc/meminfo: memFree=17763640/32770624 swapFree=67108860/67108860
[pid=10772] ppid=10769 vsize=10914144 memory=793272 CPUtime=2520.09 cores=0,2,4,6
/proc/10772/stat : 10772 (java) S 10769 10772 6708 0 -1 1077944320 227630 13185 0 0 251702 299 5 3 20 0 15 0 49120199 11176083456 198318 33554432000 4194304 4196468 140728504365072 140728504347616 139688320274167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
/proc/10772/statm: 2728536 198318 3520 1 0 2690189 0
[pid=10772/tid=10825] ppid=10769 vsize=10914144 memory=793272 CPUtime=2456 cores=0,2,4,6
/proc/10772/task/10825/stat : 10825 (java) R 10769 10772 6708 0 -1 4202560 82869 13185 0 0 245548 44 5 3 20 0 15 0 49120208 11176083456 198318 33554432000 4194304 4196468 140728504365072 139688292107792 139687936864097 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10826] ppid=10769 vsize=10914144 memory=793272 CPUtime=11.34 cores=0,2,4,6
/proc/10772/task/10826/stat : 10826 (java) S 10769 10772 6708 0 -1 1077944384 9507 13185 0 0 1083 43 5 3 20 0 15 0 49120209 11176083456 198318 33554432000 4194304 4196468 140728504365072 139688324516496 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10827] ppid=10769 vsize=10914144 memory=793272 CPUtime=11.35 cores=0,2,4,6
/proc/10772/task/10827/stat : 10827 (java) S 10769 10772 6708 0 -1 1077944384 10810 13185 0 0 1085 42 5 3 20 0 15 0 49120209 11176083456 198318 33554432000 4194304 4196468 140728504365072 139688243268112 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10828] ppid=10769 vsize=10914144 memory=793272 CPUtime=11.33 cores=0,2,4,6
/proc/10772/task/10828/stat : 10828 (java) S 10769 10772 6708 0 -1 1077944384 8842 13185 0 0 1081 44 5 3 20 0 15 0 49120209 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687892015504 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10829] ppid=10769 vsize=10914144 memory=791224 CPUtime=11.31 cores=0,2,4,6
/proc/10772/task/10829/stat : 10829 (java) S 10769 10772 6708 0 -1 1077944384 11965 13185 0 0 1081 42 5 3 20 0 15 0 49120209 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687890962704 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10830] ppid=10769 vsize=10914144 memory=791224 CPUtime=8.5 cores=0,2,4,6
/proc/10772/task/10830/stat : 10830 (java) S 10769 10772 6708 0 -1 1077944384 11428 13185 0 0 801 41 5 3 20 0 15 0 49120211 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687846869872 139688320285314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10831] ppid=10769 vsize=10914144 memory=791224 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10831/stat : 10831 (java) S 10769 10772 6708 0 -1 1077944384 16 13185 0 0 0 0 5 3 20 0 15 0 49120211 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687248258720 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10832] ppid=10769 vsize=10914144 memory=793272 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10832/stat : 10832 (java) S 10769 10772 6708 0 -1 1077944384 42 13185 0 0 0 0 5 3 20 0 15 0 49120211 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687214699904 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10833] ppid=10769 vsize=10914144 memory=793272 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10833/stat : 10833 (java) S 10769 10772 6708 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 49120214 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687100410192 139688320292763 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10834] ppid=10769 vsize=10914144 memory=793272 CPUtime=4.02 cores=0,2,4,6
/proc/10772/task/10834/stat : 10834 (java) S 10769 10772 6708 0 -1 1077944384 36627 13185 0 0 389 5 5 3 20 0 15 0 49120214 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687845816688 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10835] ppid=10769 vsize=10914144 memory=793272 CPUtime=3.49 cores=0,2,4,6
/proc/10772/task/10835/stat : 10835 (java) S 10769 10772 6708 0 -1 1077944384 30095 13185 0 0 337 4 5 3 20 0 15 0 49120214 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687844763888 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10836] ppid=10769 vsize=10914144 memory=791224 CPUtime=1.79 cores=0,2,4,6
/proc/10772/task/10836/stat : 10836 (java) S 10769 10772 6708 0 -1 1077944384 21697 13185 0 0 167 4 5 3 20 0 15 0 49120214 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687843711088 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10837] ppid=10769 vsize=10914144 memory=793272 CPUtime=0.08 cores=0,2,4,6
/proc/10772/task/10837/stat : 10837 (java) S 10769 10772 6708 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 49120214 11176083456 198318 33554432000 4194304 4196468 140728504365072 139686630648032 139688320284373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
[pid=10772/tid=10838] ppid=10769 vsize=10914144 memory=4140 CPUtime=1.57 cores=0,2,4,6
/proc/10772/task/10838/stat : 10838 (java) S 10769 10772 6708 0 -1 1077944384 1535 13185 0 0 77 72 5 3 20 0 15 0 49120214 11176083456 198318 33554432000 4194304 4196468 140728504365072 139687842659504 139688320285314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13250560 140728504367275 140728504370524 140728504370524 140728504373199 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 793272 KiB
Child status: 143
Real time (s): 2477.93
CPU time (s): 2520.13
CPU user time (s): 2517.1
CPU system time (s): 3.03184
CPU usage (%): 101.703
Max. virtual memory (cumulated for all children) (KiB): 10916856
Max. memory (cumulated for all children) (KiB): 793272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.1
system time used= 3.03184
maximum resident set size= 797400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241859
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 234147
involuntary context switches= 7464
# summary of solver processes directly reported to runsolver:
# pid: 10772
# total CPU time (s): 2520.13
# total CPU user time (s): 2517.1
# total CPU system time (s): 3.03184
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6434 second user time and 23.7511 second system time
The end