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 (10899 MiB free)
memory of node 1: 16384 MiB (11803 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302555-1532895781/watcher-4302555-1532895781 -o /tmp/evaluation-result-4302555-1532895781/solver-4302555-1532895781 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532895551-13368 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1794112475 HOME/instance-4302555-1532895781.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=13730, runsolver pid=13727
[startup+0.100091 s]*
/proc/loadavg: 1.34 1.56 1.44 3/208 13787
/proc/meminfo: memFree=23243968/32770624 swapFree=67108688/67108860
[pid=13730] ppid=13727 vsize=10005480 memory=18592 CPUtime=0.08 cores=0,2,4,6
/proc/13730/stat : 13730 (java) S 13727 13730 6529 0 -1 1077944320 4267 12889 0 0 1 0 5 2 20 0 6 0 107140962 10245611520 4648 33554432000 4194304 4196468 140724751151280 140724751133824 139993681350391 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
/proc/13730/statm: 2501370 4648 1935 1 0 2489808 0
[pid=13730/tid=13783] ppid=13727 vsize=10005480 memory=4279135703946986127 CPUtime=0.08 cores=0,2,4,6
/proc/13730/task/13783/stat : 13783 (java) R 13727 13730 6529 0 -1 4202560 2096 12889 0 0 1 0 5 2 20 0 6 0 107140971 10245611520 4648 33554432000 4194304 4196468 140724751151280 139993653187152 139993666662393 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13784] ppid=13727 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13784/stat : 13784 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 6 0 107140972 10245611520 4648 33554432000 4194304 4196468 140724751151280 139993685592976 139993681360597 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13785] ppid=13727 vsize=10005480 memory=140488059221632 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13785/stat : 13785 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 6 0 107140972 10245611520 4648 33554432000 4194304 4196468 140724751151280 139993540311824 139993681360597 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13786] ppid=13727 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13786/stat : 13786 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 6 0 107140972 10245611520 4648 33554432000 4194304 4196468 140724751151280 139993539259536 139993681360597 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13787] ppid=13727 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13787/stat : 13787 (java) S 13727 13730 6529 0 -1 1077944384 2 12889 0 0 0 0 5 2 20 0 6 0 107140972 10245611520 4648 33554432000 4194304 4196468 140724751151280 139993538206736 139993681360597 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18592 KiB
[startup+0.209925 s]*
/proc/loadavg: 1.34 1.56 1.44 3/217 13796
/proc/meminfo: memFree=23222840/32770624 swapFree=67108688/67108860
[pid=13730] ppid=13727 vsize=10982744 memory=46284 CPUtime=0.25 cores=0,2,4,6
/proc/13730/stat : 13730 (java) S 13727 13730 6529 0 -1 1077944320 7794 12889 0 0 16 2 5 2 20 0 15 0 107140962 11246329856 11571 33554432000 4194304 4196468 140724751151280 140724751133824 139993681350391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
/proc/13730/statm: 2745686 11571 2950 1 0 2708109 0
[pid=13730/tid=13783] ppid=13727 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/13730/task/13783/stat : 13783 (java) R 13727 13730 6529 0 -1 4202560 4392 12889 0 0 10 1 5 2 20 0 15 0 107140971 11247345664 11637 33554432000 4194304 4196468 140724751151280 139993653175200 139993674030109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13784] ppid=13727 vsize=10983736 memory=343 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13784/stat : 13784 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140972 11247345664 11637 33554432000 4194304 4196468 140724751151280 139993685592976 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13785] ppid=13727 vsize=10983736 memory=140488059235477 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13785/stat : 13785 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140972 11247345664 11637 33554432000 4194304 4196468 140724751151280 139993540311824 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13786] ppid=13727 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13786/stat : 13786 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140972 11247345664 11703 33554432000 4194304 4196468 140724751151280 139993539259536 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13787] ppid=13727 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13787/stat : 13787 (java) S 13727 13730 6529 0 -1 1077944384 2 12889 0 0 0 0 5 2 20 0 15 0 107140972 11247345664 11703 33554432000 4194304 4196468 140724751151280 139993538206736 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13788] ppid=13727 vsize=10983736 memory=140488059221632 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13788/stat : 13788 (java) S 13727 13730 6529 0 -1 1077944384 2 12889 0 0 0 0 5 2 20 0 15 0 107140973 11247345664 11703 33554432000 4194304 4196468 140724751151280 139992651225200 139993681361538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13789] ppid=13727 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13789/stat : 13789 (java) S 13727 13730 6529 0 -1 1077944384 13 12889 0 0 0 0 5 2 20 0 15 0 107140974 11247345664 11703 33554432000 4194304 4196468 140724751151280 139992579957536 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13790] ppid=13727 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13790/stat : 13790 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140974 11247345664 11703 33554432000 4194304 4196468 140724751151280 139992378631280 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13791] ppid=13727 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13791/stat : 13791 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11247345664 11769 33554432000 4194304 4196468 140724751151280 139992071231568 139993681368987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13792] ppid=13727 vsize=10983736 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13730/task/13792/stat : 13792 (java) S 13727 13730 6529 0 -1 1077944384 363 12889 0 0 1 0 5 2 20 0 15 0 107140977 11247345664 11769 33554432000 4194304 4196468 140724751151280 139992650173040 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13793] ppid=13727 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13793/stat : 13793 (java) S 13727 13730 6529 0 -1 1077944384 243 12889 0 0 0 0 5 2 20 0 15 0 107140977 11247345664 11769 33554432000 4194304 4196468 140724751151280 139992649120240 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13794] ppid=13727 vsize=10983736 memory=140488059221632 CPUtime=0.1 cores=0,2,4,6
/proc/13730/task/13794/stat : 13794 (java) S 13727 13730 6529 0 -1 1077944384 616 12889 0 0 3 0 5 2 20 0 15 0 107140977 11247345664 11769 33554432000 4194304 4196468 140724751151280 139992512846704 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13795] ppid=13727 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13795/stat : 13795 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11247345664 11769 33554432000 4194304 4196468 140724751151280 139991640435680 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13796] ppid=13727 vsize=10983736 memory=140488059221632 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13796/stat : 13796 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140977 11247345664 11835 33554432000 4194304 4196468 140724751151280 139992511793584 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46284 KiB
[startup+0.310378 s]*
/proc/loadavg: 1.34 1.56 1.44 3/217 13796
/proc/meminfo: memFree=23211056/32770624 swapFree=67108688/67108860
[pid=13730] ppid=13727 vsize=10983192 memory=56988 CPUtime=0.38 cores=0,2,4,6
/proc/13730/stat : 13730 (java) S 13727 13730 6529 0 -1 1077944320 10295 12889 0 0 28 3 5 2 20 0 15 0 107140962 11246788608 14247 33554432000 4194304 4196468 140724751151280 140724751133824 139993681350391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
/proc/13730/statm: 2745798 14247 3069 1 0 2708109 0
[pid=13730/tid=13783] ppid=13727 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/13730/task/13783/stat : 13783 (java) R 13727 13730 6529 0 -1 4202560 6855 12889 0 0 19 2 5 2 20 0 15 0 107140971 11246788608 14247 33554432000 4194304 4196468 140724751151280 139993653162400 139993681362326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13784] ppid=13727 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13784/stat : 13784 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140972 11246788608 14247 33554432000 4194304 4196468 140724751151280 139993685592976 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13785] ppid=13727 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13785/stat : 13785 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140972 11246788608 14247 33554432000 4194304 4196468 140724751151280 139993540311824 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13786] ppid=13727 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13786/stat : 13786 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140972 11246788608 14247 33554432000 4194304 4196468 140724751151280 139993539259536 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13787] ppid=13727 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13787/stat : 13787 (java) S 13727 13730 6529 0 -1 1077944384 2 12889 0 0 0 0 5 2 20 0 15 0 107140972 11246788608 14247 33554432000 4194304 4196468 140724751151280 139993538206736 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13788] ppid=13727 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13788/stat : 13788 (java) S 13727 13730 6529 0 -1 1077944384 2 12889 0 0 0 0 5 2 20 0 15 0 107140973 11246788608 14247 33554432000 4194304 4196468 140724751151280 139992651225200 139993681361538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13789] ppid=13727 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13789/stat : 13789 (java) S 13727 13730 6529 0 -1 1077944384 13 12889 0 0 0 0 5 2 20 0 15 0 107140974 11246788608 14247 33554432000 4194304 4196468 140724751151280 139992579957536 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13790] ppid=13727 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13790/stat : 13790 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140974 11246788608 14247 33554432000 4194304 4196468 140724751151280 139992378631280 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13791] ppid=13727 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13791/stat : 13791 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11246788608 14247 33554432000 4194304 4196468 140724751151280 139992071231568 139993681368987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13792] ppid=13727 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13730/task/13792/stat : 13792 (java) S 13727 13730 6529 0 -1 1077944384 363 12889 0 0 1 0 5 2 20 0 15 0 107140977 11246788608 14247 33554432000 4194304 4196468 140724751151280 139992650173040 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13793] ppid=13727 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13730/task/13793/stat : 13793 (java) S 13727 13730 6529 0 -1 1077944384 246 12889 0 0 1 0 5 2 20 0 15 0 107140977 11246788608 14247 33554432000 4194304 4196468 140724751151280 139992649120240 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13794] ppid=13727 vsize=10983192 memory=140488059221632 CPUtime=0.11 cores=0,2,4,6
/proc/13730/task/13794/stat : 13794 (java) R 13727 13730 6529 0 -1 4202560 622 12889 0 0 4 0 5 2 20 0 15 0 107140977 11246788608 14247 33554432000 4194304 4196468 140724751151280 139992512846704 139993681371738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13795] ppid=13727 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13795/stat : 13795 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11246788608 14247 33554432000 4194304 4196468 140724751151280 139991640435680 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13796] ppid=13727 vsize=10983192 memory=140488059221632 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13796/stat : 13796 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140977 11246788608 14247 33554432000 4194304 4196468 140724751151280 139992511793584 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56988 KiB
[startup+0.700731 s]
/proc/loadavg: 1.34 1.56 1.44 3/217 13796
/proc/meminfo: memFree=23200760/32770624 swapFree=67108688/67108860
[pid=13730] ppid=13727 vsize=10983192 memory=89252 CPUtime=0.98 cores=0,2,4,6
/proc/13730/stat : 13730 (java) S 13727 13730 6529 0 -1 1077944320 16371 12889 0 0 85 6 5 2 20 0 15 0 107140962 11246788608 22313 33554432000 4194304 4196468 140724751151280 140724751133824 139993681350391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
/proc/13730/statm: 2745798 22313 3239 1 0 2708109 0
[pid=13730/tid=13783] ppid=13727 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/13730/task/13783/stat : 13783 (java) R 13727 13730 6529 0 -1 4202560 11898 12889 0 0 55 4 5 2 20 0 15 0 107140971 11246788608 22313 33554432000 4194304 4196468 140724751151280 139993653171216 139993681364240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13784] ppid=13727 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13784/stat : 13784 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140972 11246788608 22313 33554432000 4194304 4196468 140724751151280 139993685592976 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13785] ppid=13727 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13785/stat : 13785 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140972 11246788608 22313 33554432000 4194304 4196468 140724751151280 139993540311824 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13786] ppid=13727 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13786/stat : 13786 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140972 11246788608 22313 33554432000 4194304 4196468 140724751151280 139993539259536 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13787] ppid=13727 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13787/stat : 13787 (java) S 13727 13730 6529 0 -1 1077944384 2 12889 0 0 0 0 5 2 20 0 15 0 107140972 11246788608 22313 33554432000 4194304 4196468 140724751151280 139993538206736 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13788] ppid=13727 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13788/stat : 13788 (java) S 13727 13730 6529 0 -1 1077944384 5 12889 0 0 0 0 5 2 20 0 15 0 107140973 11246788608 22313 33554432000 4194304 4196468 140724751151280 139992651225200 139993681361538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13789] ppid=13727 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13789/stat : 13789 (java) S 13727 13730 6529 0 -1 1077944384 13 12889 0 0 0 0 5 2 20 0 15 0 107140974 11246788608 22313 33554432000 4194304 4196468 140724751151280 139992579957536 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13790] ppid=13727 vsize=10983192 memory=140487910634256 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13790/stat : 13790 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140974 11246788608 22313 33554432000 4194304 4196468 140724751151280 139992378631280 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13791] ppid=13727 vsize=10983192 memory=140488380252753 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13791/stat : 13791 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11246788608 22313 33554432000 4194304 4196468 140724751151280 139992071231568 139993681368987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13792] ppid=13727 vsize=10983192 memory=14076 CPUtime=0.15 cores=0,2,4,6
/proc/13730/task/13792/stat : 13792 (java) S 13727 13730 6529 0 -1 1077944384 775 12889 0 0 8 0 5 2 20 0 15 0 107140977 11246788608 22313 33554432000 4194304 4196468 140724751151280 139992650173040 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13793] ppid=13727 vsize=10983192 memory=4639098309541127269 CPUtime=0.16 cores=0,2,4,6
/proc/13730/task/13793/stat : 13793 (java) S 13727 13730 6529 0 -1 1077944384 807 12889 0 0 9 0 5 2 20 0 15 0 107140977 11246788608 22313 33554432000 4194304 4196468 140724751151280 139992649120240 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13794] ppid=13727 vsize=10983192 memory=7885635084775281009 CPUtime=0.19 cores=0,2,4,6
/proc/13730/task/13794/stat : 13794 (java) S 13727 13730 6529 0 -1 1077944384 670 12889 0 0 12 0 5 2 20 0 15 0 107140977 11246788608 22313 33554432000 4194304 4196468 140724751151280 139992512846704 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13795] ppid=13727 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13795/stat : 13795 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11246788608 22313 33554432000 4194304 4196468 140724751151280 139991640435680 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13796] ppid=13727 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13796/stat : 13796 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140977 11246788608 22313 33554432000 4194304 4196468 140724751151280 139992511793584 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89252 KiB
[startup+1.50092 s]
/proc/loadavg: 1.34 1.56 1.44 4/217 13796
/proc/meminfo: memFree=23155716/32770624 swapFree=67108688/67108860
[pid=13730] ppid=13727 vsize=10996044 memory=168992 CPUtime=3.02 cores=0,2,4,6
/proc/13730/stat : 13730 (java) S 13727 13730 6529 0 -1 1077944320 26350 12889 0 0 285 10 5 2 20 0 15 0 107140962 11259949056 42248 33554432000 4194304 4196468 140724751151280 140724751133824 139993681350391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
/proc/13730/statm: 2749011 42248 3446 1 0 2710669 0
[pid=13730/tid=13783] ppid=13727 vsize=10996044 memory=12848 CPUtime=1.45 cores=0,2,4,6
/proc/13730/task/13783/stat : 13783 (java) S 13727 13730 6529 0 -1 1077944384 17152 12889 0 0 131 7 5 2 20 0 15 0 107140971 11259949056 42248 33554432000 4194304 4196468 140724751151280 139993653165488 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13784] ppid=13727 vsize=10996044 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13784/stat : 13784 (java) R 13727 13730 6529 0 -1 4202560 1 12889 0 0 0 0 5 2 20 0 15 0 107140972 11259949056 42248 33554432000 4194304 4196468 140724751151280 139993685592976 139993666378283 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13785] ppid=13727 vsize=10996044 memory=1404 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13785/stat : 13785 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140972 11259949056 42760 33554432000 4194304 4196468 140724751151280 139993540311824 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13786] ppid=13727 vsize=10996044 memory=7256 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13786/stat : 13786 (java) R 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140972 11259949056 42760 33554432000 4194304 4196468 140724751151280 139993539259536 139993681360597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13787] ppid=13727 vsize=10996044 memory=89252 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13787/stat : 13787 (java) R 13727 13730 6529 0 -1 4202560 8 12889 0 0 0 0 5 2 20 0 15 0 107140972 11259949056 42760 33554432000 4194304 4196468 140724751151280 139993538206736 139993662976266 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13788] ppid=13727 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13788/stat : 13788 (java) S 13727 13730 6529 0 -1 1077944384 24 12889 0 0 0 0 5 2 20 0 15 0 107140973 11259949056 42760 33554432000 4194304 4196468 140724751151280 139992651223680 139993681360597 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13789] ppid=13727 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13789/stat : 13789 (java) S 13727 13730 6529 0 -1 1077944384 13 12889 0 0 0 0 5 2 20 0 15 0 107140974 11259949056 42760 33554432000 4194304 4196468 140724751151280 139992579957536 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13790] ppid=13727 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13790/stat : 13790 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140974 11259949056 42760 33554432000 4194304 4196468 140724751151280 139992378631280 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13791] ppid=13727 vsize=10996044 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13791/stat : 13791 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11259949056 42760 33554432000 4194304 4196468 140724751151280 139992071231568 139993681368987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13792] ppid=13727 vsize=10996044 memory=6935649255759568960 CPUtime=0.66 cores=0,2,4,6
/proc/13730/task/13792/stat : 13792 (java) R 13727 13730 6529 0 -1 4202560 3367 12889 0 0 59 0 5 2 20 0 15 0 107140977 11259949056 42760 33554432000 4194304 4196468 140724751151280 139992650158000 139993666458094 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13793] ppid=13727 vsize=10996044 memory=280975821544320 CPUtime=0.59 cores=0,2,4,6
/proc/13730/task/13793/stat : 13793 (java) R 13727 13730 6529 0 -1 4202560 1913 12889 0 0 52 0 5 2 20 0 15 0 107140977 11259949056 42760 33554432000 4194304 4196468 140724751151280 139992649120240 139993661043483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13794] ppid=13727 vsize=10996044 memory=6944656592452938395 CPUtime=0.49 cores=0,2,4,6
/proc/13730/task/13794/stat : 13794 (java) S 13727 13730 6529 0 -1 1077944384 1678 12889 0 0 41 1 5 2 20 0 15 0 107140977 11259949056 42760 33554432000 4194304 4196468 140724751151280 139992512846704 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13795] ppid=13727 vsize=10996044 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13795/stat : 13795 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11259949056 42760 33554432000 4194304 4196468 140724751151280 139991640435680 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13796] ppid=13727 vsize=10996044 memory=4206468019014099040 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13796/stat : 13796 (java) S 13727 13730 6529 0 -1 1077944384 1 12889 0 0 0 0 5 2 20 0 15 0 107140977 11259949056 42760 33554432000 4194304 4196468 140724751151280 139992511793584 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/13730/task/13783/stat : 13783 (java) R 13727 13730 6529 0 -1 4202560 61894 12889 0 0 16047 54 5 2 20 0 15 0 107140971 11345952768 700097 33554432000 4194304 4196468 140724751151280 139993653182224 139993201837388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13784] ppid=13727 vsize=11080032 memory=2806544 CPUtime=0.95 cores=0,2,4,6
/proc/13730/task/13784/stat : 13784 (java) S 13727 13730 6529 0 -1 1077944384 2937 12889 0 0 79 9 5 2 20 0 15 0 107140972 11345952768 700097 33554432000 4194304 4196468 140724751151280 139993685592976 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13785] ppid=13727 vsize=11080032 memory=2800388 CPUtime=0.91 cores=0,2,4,6
/proc/13730/task/13785/stat : 13785 (java) S 13727 13730 6529 0 -1 1077944384 1737 12889 0 0 76 8 5 2 20 0 15 0 107140972 11345952768 700097 33554432000 4194304 4196468 140724751151280 139993540311824 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13786] ppid=13727 vsize=11080032 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/13730/task/13786/stat : 13786 (java) S 13727 13730 6529 0 -1 1077944384 513 12889 0 0 76 8 5 2 20 0 15 0 107140972 11345952768 700097 33554432000 4194304 4196468 140724751151280 139993539259536 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13787] ppid=13727 vsize=11080032 memory=4104 CPUtime=0.95 cores=0,2,4,6
/proc/13730/task/13787/stat : 13787 (java) S 13727 13730 6529 0 -1 1077944384 2257 12889 0 0 78 10 5 2 20 0 15 0 107140972 11345952768 700097 33554432000 4194304 4196468 140724751151280 139993538206736 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13788] ppid=13727 vsize=11080032 memory=6791534058613427641 CPUtime=0.22 cores=0,2,4,6
/proc/13730/task/13788/stat : 13788 (java) S 13727 13730 6529 0 -1 1077944384 4725 12889 0 0 14 1 5 2 20 0 15 0 107140973 11345952768 700097 33554432000 4194304 4196468 140724751151280 139992651225200 139993681361538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13789] ppid=13727 vsize=11080032 memory=792 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13789/stat : 13789 (java) S 13727 13730 6529 0 -1 1077944384 15 12889 0 0 0 0 5 2 20 0 15 0 107140974 11345952768 700097 33554432000 4194304 4196468 140724751151280 139992579957664 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13790] ppid=13727 vsize=11080032 memory=2809112 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13790/stat : 13790 (java) S 13727 13730 6529 0 -1 1077944384 11 12889 0 0 0 0 5 2 20 0 15 0 107140974 11345952768 700097 33554432000 4194304 4196468 140724751151280 139992378631296 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13791] ppid=13727 vsize=11080032 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13791/stat : 13791 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11345952768 700097 33554432000 4194304 4196468 140724751151280 139992071231568 139993681368987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13792] ppid=13727 vsize=11080032 memory=18264 CPUtime=7.84 cores=0,2,4,6
/proc/13730/task/13792/stat : 13792 (java) S 13727 13730 6529 0 -1 1077944384 22609 12889 0 0 773 4 5 2 20 0 15 0 107140977 11345952768 700097 33554432000 4194304 4196468 140724751151280 139992650173040 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13793] ppid=13727 vsize=11080032 memory=18428 CPUtime=7.38 cores=0,2,4,6
/proc/13730/task/13793/stat : 13793 (java) S 13727 13730 6529 0 -1 1077944384 17696 12889 0 0 728 3 5 2 20 0 15 0 107140977 11345952768 700097 33554432000 4194304 4196468 140724751151280 139992649120240 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13794] ppid=13727 vsize=11080032 memory=2814240 CPUtime=2.83 cores=0,2,4,6
/proc/13730/task/13794/stat : 13794 (java) S 13727 13730 6529 0 -1 1077944384 19764 12889 0 0 271 5 5 2 20 0 15 0 107140977 11345952768 700097 33554432000 4194304 4196468 140724751151280 139992512846704 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13795] ppid=13727 vsize=11080032 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13795/stat : 13795 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11345952768 700097 33554432000 4194304 4196468 140724751151280 139991640435680 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13796] ppid=13727 vsize=11080032 memory=30588 CPUtime=0.15 cores=0,2,4,6
/proc/13730/task/13796/stat : 13796 (java) S 13727 13730 6529 0 -1 1077944384 590 12889 0 0 4 4 5 2 20 0 15 0 107140977 11345952768 700097 33554432000 4194304 4196468 140724751151280 139992511793584 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
Current children cumulated CPU time: 182.7 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2800388 KiB
[startup+222.301 s]
/proc/loadavg: 1.25 1.44 1.42 3/215 13928
/proc/meminfo: memFree=20407852/32770624 swapFree=67108688/67108860
[pid=13730] ppid=13727 vsize=11080032 memory=2585552 CPUtime=243.85 cores=0,2,4,6
/proc/13730/stat : 13730 (java) S 13727 13730 6529 0 -1 1077944320 150946 12889 0 0 24263 115 5 2 20 0 15 0 107140962 11345952768 646388 33554432000 4194304 4196468 140724751151280 140724751133824 139993681350391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
/proc/13730/statm: 2770008 646388 3533 1 0 2731661 0
[pid=13730/tid=13783] ppid=13727 vsize=11080032 memory=2608628 CPUtime=220.63 cores=0,2,4,6
/proc/13730/task/13783/stat : 13783 (java) R 13727 13730 6529 0 -1 4202560 65540 12889 0 0 22002 54 5 2 20 0 15 0 107140971 11345952768 646388 33554432000 4194304 4196468 140724751151280 139993653185088 139993222811201 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13784] ppid=13727 vsize=11080032 memory=2596316 CPUtime=1.26 cores=0,2,4,6
/proc/13730/task/13784/stat : 13784 (java) S 13727 13730 6529 0 -1 1077944384 4624 12889 0 0 109 10 5 2 20 0 15 0 107140972 11345952768 646388 33554432000 4194304 4196468 140724751151280 139993685592976 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13785] ppid=13727 vsize=11080032 memory=2587604 CPUtime=1.23 cores=0,2,4,6
/proc/13730/task/13785/stat : 13785 (java) S 13727 13730 6529 0 -1 1077944384 2064 12889 0 0 107 9 5 2 20 0 15 0 107140972 11345952768 646388 33554432000 4194304 4196468 140724751151280 139993540311824 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13786] ppid=13727 vsize=11080032 memory=2587604 CPUtime=1.23 cores=0,2,4,6
/proc/13730/task/13786/stat : 13786 (java) S 13727 13730 6529 0 -1 1077944384 745 12889 0 0 107 9 5 2 20 0 15 0 107140972 11345952768 646388 33554432000 4194304 4196468 140724751151280 139993539259536 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13787] ppid=13727 vsize=11080032 memory=2596316 CPUtime=1.25 cores=0,2,4,6
/proc/13730/task/13787/stat : 13787 (java) S 13727 13730 6529 0 -1 1077944384 2437 12889 0 0 108 10 5 2 20 0 15 0 107140972 11345952768 646388 33554432000 4194304 4196468 140724751151280 139993538206736 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13788] ppid=13727 vsize=11080032 memory=2592220 CPUtime=0.31 cores=0,2,4,6
/proc/13730/task/13788/stat : 13788 (java) S 13727 13730 6529 0 -1 1077944384 5061 12889 0 0 21 3 5 2 20 0 15 0 107140973 11345952768 646388 33554432000 4194304 4196468 140724751151280 139992651225200 139993681361538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13789] ppid=13727 vsize=11080032 memory=2594264 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13789/stat : 13789 (java) S 13727 13730 6529 0 -1 1077944384 15 12889 0 0 0 0 5 2 20 0 15 0 107140974 11345952768 646388 33554432000 4194304 4196468 140724751151280 139992579957664 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13790] ppid=13727 vsize=11080032 memory=30588 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13790/stat : 13790 (java) S 13727 13730 6529 0 -1 1077944384 11 12889 0 0 0 0 5 2 20 0 15 0 107140974 11345952768 646388 33554432000 4194304 4196468 140724751151280 139992378631296 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13791] ppid=13727 vsize=11080032 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13791/stat : 13791 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11345952768 646388 33554432000 4194304 4196468 140724751151280 139992071231568 139993681368987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13792] ppid=13727 vsize=11080032 memory=4140 CPUtime=7.91 cores=0,2,4,6
/proc/13730/task/13792/stat : 13792 (java) S 13727 13730 6529 0 -1 1077944384 23855 12889 0 0 780 4 5 2 20 0 15 0 107140977 11345952768 646388 33554432000 4194304 4196468 140724751151280 139992650173040 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13793] ppid=13727 vsize=11080032 memory=30588 CPUtime=7.51 cores=0,2,4,6
/proc/13730/task/13793/stat : 13793 (java) S 13727 13730 6529 0 -1 1077944384 19643 12889 0 0 740 4 5 2 20 0 15 0 107140977 11345952768 646388 33554432000 4194304 4196468 140724751151280 139992649120240 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13794] ppid=13727 vsize=11080032 memory=1296 CPUtime=2.87 cores=0,2,4,6
/proc/13730/task/13794/stat : 13794 (java) S 13727 13730 6529 0 -1 1077944384 23980 12889 0 0 274 6 5 2 20 0 15 0 107140977 11345952768 646388 33554432000 4194304 4196468 140724751151280 139992512846704 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13795] ppid=13727 vsize=11080032 memory=24266 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13795/stat : 13795 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11345952768 646388 33554432000 4194304 4196468 140724751151280 139991640435680 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13796] ppid=13727 vsize=11080032 memory=21947 CPUtime=0.19 cores=0,2,4,6
/proc/13730/task/13796/stat : 13796 (java) S 13727 13730 6529 0 -1 1077944384 775 12889 0 0 6 6 5 2 20 0 15 0 107140977 11345952768 646388 33554432000 4194304 4196468 140724751151280 139992511793584 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
Current children cumulated CPU time: 243.85 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2585552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+230.301 s]
/proc/loadavg: 1.28 1.44 1.42 3/215 13928
/proc/meminfo: memFree=20420528/32770624 swapFree=67108688/67108860
[pid=13730] ppid=13727 vsize=11080032 memory=2579944 CPUtime=252 cores=0,2,4,6
/proc/13730/stat : 13730 (java) S 13727 13730 6529 0 -1 1077944320 153306 12889 0 0 25078 115 5 2 20 0 15 0 107140962 11345952768 644986 33554432000 4194304 4196468 140724751151280 140724751133824 139993681350391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
/proc/13730/statm: 2770008 644986 3533 1 0 2731661 0
[pid=13730/tid=13783] ppid=13727 vsize=11080032 memory=6791534058613427641 CPUtime=228.56 cores=0,2,4,6
/proc/13730/task/13783/stat : 13783 (java) R 13727 13730 6529 0 -1 4202560 66352 12889 0 0 22795 54 5 2 20 0 15 0 107140971 11345952768 644986 33554432000 4194304 4196468 140724751151280 139993653183088 139993219152638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13784] ppid=13727 vsize=11080032 memory=2584044 CPUtime=1.31 cores=0,2,4,6
/proc/13730/task/13784/stat : 13784 (java) S 13727 13730 6529 0 -1 1077944384 4775 12889 0 0 114 10 5 2 20 0 15 0 107140972 11345952768 644986 33554432000 4194304 4196468 140724751151280 139993685592976 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13785] ppid=13727 vsize=11080032 memory=2583532 CPUtime=1.28 cores=0,2,4,6
/proc/13730/task/13785/stat : 13785 (java) S 13727 13730 6529 0 -1 1077944384 2179 12889 0 0 112 9 5 2 20 0 15 0 107140972 11345952768 644986 33554432000 4194304 4196468 140724751151280 139993540311824 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13786] ppid=13727 vsize=11080032 memory=2587604 CPUtime=1.28 cores=0,2,4,6
/proc/13730/task/13786/stat : 13786 (java) S 13727 13730 6529 0 -1 1077944384 1861 12889 0 0 112 9 5 2 20 0 15 0 107140972 11345952768 644986 33554432000 4194304 4196468 140724751151280 139993539259536 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13787] ppid=13727 vsize=11080032 memory=2580968 CPUtime=1.3 cores=0,2,4,6
/proc/13730/task/13787/stat : 13787 (java) S 13727 13730 6529 0 -1 1077944384 2537 12889 0 0 113 10 5 2 20 0 15 0 107140972 11345952768 644986 33554432000 4194304 4196468 140724751151280 139993538206736 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13788] ppid=13727 vsize=11080032 memory=2583532 CPUtime=0.33 cores=0,2,4,6
/proc/13730/task/13788/stat : 13788 (java) S 13727 13730 6529 0 -1 1077944384 5119 12889 0 0 23 3 5 2 20 0 15 0 107140973 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992651225200 139993681361538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13789] ppid=13727 vsize=11080032 memory=4616 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13789/stat : 13789 (java) S 13727 13730 6529 0 -1 1077944384 15 12889 0 0 0 0 5 2 20 0 15 0 107140974 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992579957664 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13790] ppid=13727 vsize=11080032 memory=2620940 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13790/stat : 13790 (java) S 13727 13730 6529 0 -1 1077944384 11 12889 0 0 0 0 5 2 20 0 15 0 107140974 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992378631296 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13791] ppid=13727 vsize=11080032 memory=2624800 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13791/stat : 13791 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992071231568 139993681368987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13792] ppid=13727 vsize=11080032 memory=2580968 CPUtime=7.91 cores=0,2,4,6
/proc/13730/task/13792/stat : 13792 (java) S 13727 13730 6529 0 -1 1077944384 23857 12889 0 0 780 4 5 2 20 0 15 0 107140977 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992650173040 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13793] ppid=13727 vsize=11080032 memory=30588 CPUtime=7.51 cores=0,2,4,6
/proc/13730/task/13793/stat : 13793 (java) S 13727 13730 6529 0 -1 1077944384 19645 12889 0 0 740 4 5 2 20 0 15 0 107140977 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992649120240 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13794] ppid=13727 vsize=11080032 memory=4124 CPUtime=2.87 cores=0,2,4,6
/proc/13730/task/13794/stat : 13794 (java) S 13727 13730 6529 0 -1 1077944384 23982 12889 0 0 274 6 5 2 20 0 15 0 107140977 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992512846704 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13795] ppid=13727 vsize=11080032 memory=2200 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13795/stat : 13795 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11345952768 644986 33554432000 4194304 4196468 140724751151280 139991640435680 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13796] ppid=13727 vsize=11080032 memory=2638372 CPUtime=0.19 cores=0,2,4,6
/proc/13730/task/13796/stat : 13796 (java) S 13727 13730 6529 0 -1 1077944384 777 12889 0 0 6 6 5 2 20 0 15 0 107140977 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992511793584 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2579944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+230.343 s]
# the end of solver process 13730 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.861 s, system=1.20766 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.301 s]
/proc/loadavg: 1.28 1.44 1.42 3/215 13928
/proc/meminfo: memFree=20420528/32770624 swapFree=67108688/67108860
[pid=13730] ppid=13727 vsize=11080032 memory=2579944 CPUtime=252 cores=0,2,4,6
/proc/13730/stat : 13730 (java) S 13727 13730 6529 0 -1 1077944320 153306 12889 0 0 25078 115 5 2 20 0 15 0 107140962 11345952768 644986 33554432000 4194304 4196468 140724751151280 140724751133824 139993681350391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
/proc/13730/statm: 2770008 644986 3533 1 0 2731661 0
[pid=13730/tid=13783] ppid=13727 vsize=11080032 memory=6791534058613427641 CPUtime=228.56 cores=0,2,4,6
/proc/13730/task/13783/stat : 13783 (java) R 13727 13730 6529 0 -1 4202560 66352 12889 0 0 22795 54 5 2 20 0 15 0 107140971 11345952768 644986 33554432000 4194304 4196468 140724751151280 139993653183088 139993219152638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13784] ppid=13727 vsize=11080032 memory=2584044 CPUtime=1.31 cores=0,2,4,6
/proc/13730/task/13784/stat : 13784 (java) S 13727 13730 6529 0 -1 1077944384 4775 12889 0 0 114 10 5 2 20 0 15 0 107140972 11345952768 644986 33554432000 4194304 4196468 140724751151280 139993685592976 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13785] ppid=13727 vsize=11080032 memory=2583532 CPUtime=1.28 cores=0,2,4,6
/proc/13730/task/13785/stat : 13785 (java) S 13727 13730 6529 0 -1 1077944384 2179 12889 0 0 112 9 5 2 20 0 15 0 107140972 11345952768 644986 33554432000 4194304 4196468 140724751151280 139993540311824 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13786] ppid=13727 vsize=11080032 memory=2587604 CPUtime=1.28 cores=0,2,4,6
/proc/13730/task/13786/stat : 13786 (java) S 13727 13730 6529 0 -1 1077944384 1861 12889 0 0 112 9 5 2 20 0 15 0 107140972 11345952768 644986 33554432000 4194304 4196468 140724751151280 139993539259536 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13787] ppid=13727 vsize=11080032 memory=2580968 CPUtime=1.3 cores=0,2,4,6
/proc/13730/task/13787/stat : 13787 (java) S 13727 13730 6529 0 -1 1077944384 2537 12889 0 0 113 10 5 2 20 0 15 0 107140972 11345952768 644986 33554432000 4194304 4196468 140724751151280 139993538206736 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13788] ppid=13727 vsize=11080032 memory=2583532 CPUtime=0.33 cores=0,2,4,6
/proc/13730/task/13788/stat : 13788 (java) S 13727 13730 6529 0 -1 1077944384 5119 12889 0 0 23 3 5 2 20 0 15 0 107140973 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992651225200 139993681361538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13789] ppid=13727 vsize=11080032 memory=4616 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13789/stat : 13789 (java) S 13727 13730 6529 0 -1 1077944384 15 12889 0 0 0 0 5 2 20 0 15 0 107140974 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992579957664 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13790] ppid=13727 vsize=11080032 memory=2620940 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13790/stat : 13790 (java) S 13727 13730 6529 0 -1 1077944384 11 12889 0 0 0 0 5 2 20 0 15 0 107140974 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992378631296 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13791] ppid=13727 vsize=11080032 memory=2624800 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13791/stat : 13791 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992071231568 139993681368987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13792] ppid=13727 vsize=11080032 memory=2580968 CPUtime=7.91 cores=0,2,4,6
/proc/13730/task/13792/stat : 13792 (java) S 13727 13730 6529 0 -1 1077944384 23857 12889 0 0 780 4 5 2 20 0 15 0 107140977 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992650173040 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13793] ppid=13727 vsize=11080032 memory=30588 CPUtime=7.51 cores=0,2,4,6
/proc/13730/task/13793/stat : 13793 (java) S 13727 13730 6529 0 -1 1077944384 19645 12889 0 0 740 4 5 2 20 0 15 0 107140977 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992649120240 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13794] ppid=13727 vsize=11080032 memory=4124 CPUtime=2.87 cores=0,2,4,6
/proc/13730/task/13794/stat : 13794 (java) S 13727 13730 6529 0 -1 1077944384 23982 12889 0 0 274 6 5 2 20 0 15 0 107140977 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992512846704 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13795] ppid=13727 vsize=11080032 memory=2200 CPUtime=0.07 cores=0,2,4,6
/proc/13730/task/13795/stat : 13795 (java) S 13727 13730 6529 0 -1 1077944384 3 12889 0 0 0 0 5 2 20 0 15 0 107140977 11345952768 644986 33554432000 4194304 4196468 140724751151280 139991640435680 139993681360597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
[pid=13730/tid=13796] ppid=13727 vsize=11080032 memory=2638372 CPUtime=0.19 cores=0,2,4,6
/proc/13730/task/13796/stat : 13796 (java) S 13727 13730 6529 0 -1 1077944384 777 12889 0 0 6 6 5 2 20 0 15 0 107140977 11345952768 644986 33554432000 4194304 4196468 140724751151280 139992511793584 139993681361538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8130560 140724751153777 140724751156577 140724751156577 140724751159247 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2579944 KiB
Child status: 143
Real time (s): 230.343
CPU time (s): 252.068
CPU user time (s): 250.861
CPU system time (s): 1.20766
CPU usage (%): 109.432
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 2951640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.861
system time used= 1.20766
maximum resident set size= 2951640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17962
involuntary context switches= 665
# summary of solver processes directly reported to runsolver:
# pid: 13730
# total CPU time (s): 252.068
# total CPU user time (s): 250.861
# total CPU system time (s): 1.20766
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45816 second user time and 2.12453 second system time
The end