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 (14029 MiB free)
memory of node 1: 16384 MiB (13280 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299712-1532806889/watcher-4299712-1532806889 -o /tmp/evaluation-result-4299712-1532806889/solver-4299712-1532806889 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532775757-8893 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4299712-1532806889.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13920, runsolver pid=13917
Current StackSize limit: 8192 KiB
[startup+0.100715 s]*
/proc/loadavg: 1.14 1.28 1.31 4/215 13935
/proc/meminfo: memFree=27949332/32770624 swapFree=67108860/67108860
[pid=13920] ppid=13917 vsize=10661056 memory=27724 CPUtime=0.13 cores=1,3,5,7
/proc/13920/stat : 13920 (java) S 13917 13920 8861 0 -1 1077944320 5308 0 0 0 12 1 0 0 20 0 15 0 98252090 10916921344 6931 33554432000 4194304 4196468 140730983285584 140730983268128 140352998067959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
/proc/13920/statm: 2665264 6931 2866 1 0 2627263 0
[pid=13920/tid=13922] ppid=13917 vsize=10661056 memory=-8269626465541329788 CPUtime=0.09 cores=1,3,5,7
/proc/13920/task/13922/stat : 13922 (java) R 13917 13920 8861 0 -1 4202560 3151 0 0 0 9 0 0 0 20 0 15 0 98252091 10916921344 6931 33554432000 4194304 4196468 140730983285584 140353002290544 140352998079894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13923] ppid=13917 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13923/stat : 13923 (java) S 13917 13920 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98252092 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352605314192 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13924] ppid=13917 vsize=10661056 memory=139894142535296 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13924/stat : 13924 (java) S 13917 13920 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98252092 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352604261392 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13925] ppid=13917 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13925/stat : 13925 (java) S 13917 13920 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98252092 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352603208592 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13926] ppid=13917 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13926/stat : 13926 (java) S 13917 13920 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98252092 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352602155792 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13927] ppid=13917 vsize=10661056 memory=139894142535296 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13927/stat : 13927 (java) S 13917 13920 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98252093 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352557881712 140352998079106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13928] ppid=13917 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13928/stat : 13928 (java) S 13917 13920 8861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98252093 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352556827680 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13929] ppid=13917 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13929/stat : 13929 (java) S 13917 13920 8861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98252094 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352555774832 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13930] ppid=13917 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13930/stat : 13930 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352554723152 140352998086555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13931] ppid=13917 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13931/stat : 13931 (java) R 13917 13920 8861 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 98252096 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352553671536 140352998079106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13932] ppid=13917 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13932/stat : 13932 (java) R 13917 13920 8861 0 -1 4202560 169 0 0 0 0 0 0 0 20 0 15 0 98252096 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352484788672 140352975900816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13933] ppid=13917 vsize=10661056 memory=139894142535296 CPUtime=0.02 cores=1,3,5,7
/proc/13920/task/13933/stat : 13933 (java) R 13917 13920 8861 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 15 0 98252096 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352483744368 140352998089306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13934] ppid=13917 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13934/stat : 13934 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352482691808 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13935] ppid=13917 vsize=10661056 memory=139894142535296 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13935/stat : 13935 (java) S 13917 13920 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98252096 10916921344 6931 33554432000 4194304 4196468 140730983285584 140352481639088 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27724 KiB
[startup+0.210523 s]*
/proc/loadavg: 1.14 1.28 1.31 5/215 13935
/proc/meminfo: memFree=27936928/32770624 swapFree=67108860/67108860
[pid=13920] ppid=13917 vsize=10661056 memory=40212 CPUtime=0.33 cores=1,3,5,7
/proc/13920/stat : 13920 (java) S 13917 13920 8861 0 -1 1077944320 8145 0 0 0 31 2 0 0 20 0 15 0 98252090 10916921344 10053 33554432000 4194304 4196468 140730983285584 140730983268128 140352998067959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
/proc/13920/statm: 2665264 10053 2995 1 0 2627263 0
[pid=13920/tid=13922] ppid=13917 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/13920/task/13922/stat : 13922 (java) R 13917 13920 8861 0 -1 4202560 5102 0 0 0 19 1 0 0 20 0 15 0 98252091 10916921344 10119 33554432000 4194304 4196468 140730983285584 140353002297200 140352998089885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13923] ppid=13917 vsize=10661056 memory=364 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13923/stat : 13923 (java) S 13917 13920 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98252092 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352605314192 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13924] ppid=13917 vsize=10661056 memory=3978841682076501664 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13924/stat : 13924 (java) S 13917 13920 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98252092 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352604261392 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13925] ppid=13917 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13925/stat : 13925 (java) S 13917 13920 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98252092 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352603208592 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13926] ppid=13917 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13926/stat : 13926 (java) S 13917 13920 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98252092 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352602155792 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13927] ppid=13917 vsize=10661056 memory=139894142535296 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13927/stat : 13927 (java) S 13917 13920 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98252093 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352557881712 140352998079106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13928] ppid=13917 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13928/stat : 13928 (java) S 13917 13920 8861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98252093 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352556827680 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13929] ppid=13917 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13929/stat : 13929 (java) S 13917 13920 8861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98252094 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352555774832 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13930] ppid=13917 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13930/stat : 13930 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352554723152 140352998086555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13931] ppid=13917 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13920/task/13931/stat : 13931 (java) R 13917 13920 8861 0 -1 4202560 491 0 0 0 2 0 0 0 20 0 15 0 98252096 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352553671536 140352978768256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13932] ppid=13917 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13920/task/13932/stat : 13932 (java) R 13917 13920 8861 0 -1 1077944384 478 0 0 0 1 0 0 0 20 0 15 0 98252096 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352484797168 140352998079106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13933] ppid=13917 vsize=10661056 memory=139894142535296 CPUtime=0.07 cores=1,3,5,7
/proc/13920/task/13933/stat : 13933 (java) S 13917 13920 8861 0 -1 1077944384 736 0 0 0 7 0 0 0 20 0 15 0 98252096 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352483744368 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13934] ppid=13917 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13934/stat : 13934 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352482691808 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13935] ppid=13917 vsize=10661056 memory=139894142535296 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13935/stat : 13935 (java) S 13917 13920 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98252096 10916921344 10119 33554432000 4194304 4196468 140730983285584 140352481639088 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40212 KiB
[startup+0.314232 s]*
/proc/loadavg: 1.14 1.28 1.31 6/215 13935
/proc/meminfo: memFree=27921168/32770624 swapFree=67108860/67108860
[pid=13920] ppid=13917 vsize=10661132 memory=55924 CPUtime=0.59 cores=1,3,5,7
/proc/13920/stat : 13920 (java) S 13917 13920 8861 0 -1 1077944320 9032 0 0 0 56 3 0 0 20 0 15 0 98252090 10916999168 13981 33554432000 4194304 4196468 140730983285584 140730983268128 140352998067959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
/proc/13920/statm: 2665283 13981 3064 1 0 2627263 0
[pid=13920/tid=13922] ppid=13917 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/13920/task/13922/stat : 13922 (java) R 13917 13920 8861 0 -1 4202560 5437 0 0 0 28 2 0 0 20 0 15 0 98252091 10916999168 13981 33554432000 4194304 4196468 140730983285584 140353002303600 140352638010173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13923] ppid=13917 vsize=10661132 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13923/stat : 13923 (java) S 13917 13920 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98252092 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352605314192 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13924] ppid=13917 vsize=10661132 memory=4049500693028931232 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13924/stat : 13924 (java) S 13917 13920 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98252092 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352604261392 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13925] ppid=13917 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13925/stat : 13925 (java) S 13917 13920 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98252092 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352603208592 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13926] ppid=13917 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13926/stat : 13926 (java) S 13917 13920 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98252092 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352602155792 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13927] ppid=13917 vsize=10661132 memory=139894142535296 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13927/stat : 13927 (java) S 13917 13920 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98252093 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352557881712 140352998079106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13928] ppid=13917 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13928/stat : 13928 (java) S 13917 13920 8861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98252093 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352556827680 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13929] ppid=13917 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13929/stat : 13929 (java) S 13917 13920 8861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98252094 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352555774832 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13930] ppid=13917 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13930/stat : 13930 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352554723152 140352998086555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13931] ppid=13917 vsize=10661132 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13920/task/13931/stat : 13931 (java) R 13917 13920 8861 0 -1 4202560 548 0 0 0 8 0 0 0 20 0 15 0 98252096 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352553660800 140352982980359 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13932] ppid=13917 vsize=10661132 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/13920/task/13932/stat : 13932 (java) R 13917 13920 8861 0 -1 4202560 701 0 0 0 6 0 0 0 20 0 15 0 98252096 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352484790360 140352977310729 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13933] ppid=13917 vsize=10661132 memory=139894142535296 CPUtime=0.13 cores=1,3,5,7
/proc/13920/task/13933/stat : 13933 (java) R 13917 13920 8861 0 -1 4202560 985 0 0 0 13 0 0 0 20 0 15 0 98252096 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352483739712 140352977202483 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13934] ppid=13917 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13934/stat : 13934 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352482691808 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13935] ppid=13917 vsize=10661132 memory=139894142535296 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13935/stat : 13935 (java) S 13917 13920 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 13981 33554432000 4194304 4196468 140730983285584 140352481639088 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 55924 KiB
[startup+0.701268 s]
/proc/loadavg: 1.14 1.28 1.31 5/215 13935
/proc/meminfo: memFree=27857128/32770624 swapFree=67108860/67108860
[pid=13920] ppid=13917 vsize=10661132 memory=213632 CPUtime=1.78 cores=1,3,5,7
/proc/13920/stat : 13920 (java) S 13917 13920 8861 0 -1 1077944320 11220 0 0 0 169 9 0 0 20 0 15 0 98252090 10916999168 53408 33554432000 4194304 4196468 140730983285584 140730983268128 140352998067959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
/proc/13920/statm: 2665283 53408 3118 1 0 2627263 0
[pid=13920/tid=13922] ppid=13917 vsize=10661132 memory=1840 CPUtime=0.66 cores=1,3,5,7
/proc/13920/task/13922/stat : 13922 (java) R 13917 13920 8861 0 -1 4202560 5603 0 0 0 62 4 0 0 20 0 15 0 98252091 10916999168 53408 33554432000 4194304 4196468 140730983285584 140353002303928 140352639025207 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13923] ppid=13917 vsize=10661132 memory=1004 CPUtime=0.01 cores=1,3,5,7
/proc/13920/task/13923/stat : 13923 (java) S 13917 13920 8861 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 98252092 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352605314192 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13924] ppid=13917 vsize=10661132 memory=12060 CPUtime=0.01 cores=1,3,5,7
/proc/13920/task/13924/stat : 13924 (java) S 13917 13920 8861 0 -1 1077944384 24 0 0 0 0 1 0 0 20 0 15 0 98252092 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352604261392 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13925] ppid=13917 vsize=10661132 memory=5788 CPUtime=0.01 cores=1,3,5,7
/proc/13920/task/13925/stat : 13925 (java) S 13917 13920 8861 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 98252092 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352603208592 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13926] ppid=13917 vsize=10661132 memory=792 CPUtime=0.02 cores=1,3,5,7
/proc/13920/task/13926/stat : 13926 (java) S 13917 13920 8861 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 15 0 98252092 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352602155792 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13927] ppid=13917 vsize=10661132 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13927/stat : 13927 (java) S 13917 13920 8861 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 98252093 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352557881712 140352998079106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13928] ppid=13917 vsize=10661132 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13928/stat : 13928 (java) S 13917 13920 8861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98252093 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352556827680 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13929] ppid=13917 vsize=10661132 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13929/stat : 13929 (java) S 13917 13920 8861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98252094 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352555774832 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13930] ppid=13917 vsize=10661132 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13930/stat : 13930 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352554723152 140352998086555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13931] ppid=13917 vsize=10661132 memory=7163631965283378496 CPUtime=0.42 cores=1,3,5,7
/proc/13920/task/13931/stat : 13931 (java) R 13917 13920 8861 0 -1 4202560 1367 0 0 0 42 0 0 0 20 0 15 0 98252096 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352553671536 140352981968501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13932] ppid=13917 vsize=10661132 memory=7667213801450137426 CPUtime=0.37 cores=1,3,5,7
/proc/13920/task/13932/stat : 13932 (java) S 13917 13920 8861 0 -1 1077944384 1557 0 0 0 37 0 0 0 20 0 15 0 98252096 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352484797168 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13933] ppid=13917 vsize=10661132 memory=7295946094789283920 CPUtime=0.22 cores=1,3,5,7
/proc/13920/task/13933/stat : 13933 (java) S 13917 13920 8861 0 -1 1077944384 1158 0 0 0 22 0 0 0 20 0 15 0 98252096 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352483744368 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13934] ppid=13917 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13934/stat : 13934 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352482691808 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13935] ppid=13917 vsize=10661132 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13935/stat : 13935 (java) S 13917 13920 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 53408 33554432000 4194304 4196468 140730983285584 140352481639088 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 213632 KiB
[startup+1.50127 s]
/proc/loadavg: 1.37 1.32 1.32 3/215 13935
/proc/meminfo: memFree=27503904/32770624 swapFree=67108860/67108860
[pid=13920] ppid=13917 vsize=10661132 memory=792572 CPUtime=3.64 cores=1,3,5,7
/proc/13920/stat : 13920 (java) S 13917 13920 8861 0 -1 1077944320 14303 0 0 0 321 43 0 0 20 0 15 0 98252090 10916999168 198143 33554432000 4194304 4196468 140730983285584 140730983268128 140352998067959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
/proc/13920/statm: 2665283 198143 3149 1 0 2627263 0
[pid=13920/tid=13922] ppid=13917 vsize=10661132 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/13920/task/13922/stat : 13922 (java) R 13917 13920 8861 0 -1 4202560 5819 0 0 0 122 9 0 0 20 0 15 0 98252091 10916999168 198143 33554432000 4194304 4196468 140730983285584 140353002306512 140352639161813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13923] ppid=13917 vsize=10661132 memory=-8754540793456063680 CPUtime=0.14 cores=1,3,5,7
/proc/13920/task/13923/stat : 13923 (java) S 13917 13920 8861 0 -1 1077944384 269 0 0 0 7 7 0 0 20 0 15 0 98252092 10916999168 198143 33554432000 4194304 4196468 140730983285584 140352605314192 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13924] ppid=13917 vsize=10661132 memory=-2843869621055772062 CPUtime=0.15 cores=1,3,5,7
/proc/13920/task/13924/stat : 13924 (java) S 13917 13920 8861 0 -1 1077944384 342 0 0 0 7 8 0 0 20 0 15 0 98252092 10916999168 198143 33554432000 4194304 4196468 140730983285584 140352604261392 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13925] ppid=13917 vsize=10661132 memory=5450919713671312938 CPUtime=0.15 cores=1,3,5,7
/proc/13920/task/13925/stat : 13925 (java) S 13917 13920 8861 0 -1 1077944384 186 0 0 0 7 8 0 0 20 0 15 0 98252092 10916999168 198143 33554432000 4194304 4196468 140730983285584 140352603208592 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13926] ppid=13917 vsize=10661132 memory=7005738693937936738 CPUtime=0.14 cores=1,3,5,7
/proc/13920/task/13926/stat : 13926 (java) S 13917 13920 8861 0 -1 1077944384 295 0 0 0 7 7 0 0 20 0 15 0 98252092 10916999168 198143 33554432000 4194304 4196468 140730983285584 140352602155792 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13927] ppid=13917 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13927/stat : 13927 (java) S 13917 13920 8861 0 -1 1077944384 531 0 0 0 0 0 0 0 20 0 15 0 98252093 10916999168 198143 33554432000 4194304 4196468 140730983285584 140352557881712 140352998079106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
################
# More data... #
################
/proc/13920/task/13922/stat : 13922 (java) R 13917 13920 8861 0 -1 4202560 88680 0 0 0 244048 65 0 0 20 0 15 0 98252091 10916999168 536911 33554432000 4194304 4196468 140730983285584 140353002307136 140352639928015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13923] ppid=13917 vsize=10661132 memory=2148156 CPUtime=0.88 cores=1,3,5,7
/proc/13920/task/13923/stat : 13923 (java) S 13917 13920 8861 0 -1 1077944384 7243 0 0 0 76 12 0 0 20 0 15 0 98252092 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352605314192 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13924] ppid=13917 vsize=10661132 memory=2148156 CPUtime=0.89 cores=1,3,5,7
/proc/13920/task/13924/stat : 13924 (java) S 13917 13920 8861 0 -1 1077944384 10578 0 0 0 76 13 0 0 20 0 15 0 98252092 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352604261392 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13925] ppid=13917 vsize=10661132 memory=2147644 CPUtime=0.87 cores=1,3,5,7
/proc/13920/task/13925/stat : 13925 (java) S 13917 13920 8861 0 -1 1077944384 8979 0 0 0 75 12 0 0 20 0 15 0 98252092 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352603208592 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13926] ppid=13917 vsize=10661132 memory=2257 CPUtime=0.87 cores=1,3,5,7
/proc/13920/task/13926/stat : 13926 (java) S 13917 13920 8861 0 -1 1077944384 9244 0 0 0 75 12 0 0 20 0 15 0 98252092 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352602155792 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13927] ppid=13917 vsize=10661132 memory=2148156 CPUtime=0.2 cores=1,3,5,7
/proc/13920/task/13927/stat : 13927 (java) S 13917 13920 8861 0 -1 1077944384 13086 0 0 0 12 8 0 0 20 0 15 0 98252093 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352557881712 140352998079106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13928] ppid=13917 vsize=10661132 memory=2147136 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13928/stat : 13928 (java) S 13917 13920 8861 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 98252093 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352556827744 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13929] ppid=13917 vsize=10661132 memory=2148156 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13929/stat : 13929 (java) S 13917 13920 8861 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 98252094 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352555774832 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13930] ppid=13917 vsize=10661132 memory=2148156 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13930/stat : 13930 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352554723152 140352998086555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13931] ppid=13917 vsize=10661132 memory=2148156 CPUtime=1.16 cores=1,3,5,7
/proc/13920/task/13931/stat : 13931 (java) S 13917 13920 8861 0 -1 1077944384 6079 0 0 0 115 1 0 0 20 0 15 0 98252096 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352553671536 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13932] ppid=13917 vsize=10661132 memory=2148156 CPUtime=1.25 cores=1,3,5,7
/proc/13920/task/13932/stat : 13932 (java) S 13917 13920 8861 0 -1 1077944384 7411 0 0 0 123 2 0 0 20 0 15 0 98252096 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352484797168 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13933] ppid=13917 vsize=10661132 memory=2147644 CPUtime=0.31 cores=1,3,5,7
/proc/13920/task/13933/stat : 13933 (java) S 13917 13920 8861 0 -1 1077944384 3538 0 0 0 30 1 0 0 20 0 15 0 98252096 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352483744368 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13934] ppid=13917 vsize=10661132 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13934/stat : 13934 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352482691808 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13935] ppid=13917 vsize=10661132 memory=2147136 CPUtime=1.44 cores=1,3,5,7
/proc/13920/task/13935/stat : 13935 (java) S 13917 13920 8861 0 -1 1077944384 1790 0 0 0 59 85 0 0 20 0 15 0 98252096 10916999168 536911 33554432000 4194304 4196468 140730983285584 140352481639088 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
Current children cumulated CPU time: 2449.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2147644 KiB
[startup+2502.3 s]
/proc/loadavg: 0.85 0.99 1.22 2/194 14078
/proc/meminfo: memFree=26163500/32770624 swapFree=67108860/67108860
[pid=13920] ppid=13917 vsize=10661132 memory=2129680 CPUtime=2509.55 cores=1,3,5,7
/proc/13920/stat : 13920 (java) S 13917 13920 8861 0 -1 1077944320 160863 0 0 0 250752 203 0 0 20 0 15 0 98252090 10916999168 532420 33554432000 4194304 4196468 140730983285584 140730983268128 140352998067959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
/proc/13920/statm: 2665283 532420 3153 1 0 2627263 0
[pid=13920/tid=13922] ppid=13917 vsize=10661132 memory=2131220 CPUtime=2500.94 cores=1,3,5,7
/proc/13920/task/13922/stat : 13922 (java) R 13917 13920 8861 0 -1 4202560 89183 0 0 0 250029 65 0 0 20 0 15 0 98252091 10916999168 532420 33554432000 4194304 4196468 140730983285584 140353002307392 140352639927336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13923] ppid=13917 vsize=10661132 memory=2131732 CPUtime=1.02 cores=1,3,5,7
/proc/13920/task/13923/stat : 13923 (java) S 13917 13920 8861 0 -1 1077944384 7558 0 0 0 90 12 0 0 20 0 15 0 98252092 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352605314192 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13924] ppid=13917 vsize=10661132 memory=2132244 CPUtime=1.04 cores=1,3,5,7
/proc/13920/task/13924/stat : 13924 (java) S 13917 13920 8861 0 -1 1077944384 11189 0 0 0 91 13 0 0 20 0 15 0 98252092 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352604261392 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13925] ppid=13917 vsize=10661132 memory=2141488 CPUtime=1.01 cores=1,3,5,7
/proc/13920/task/13925/stat : 13925 (java) S 13917 13920 8861 0 -1 1077944384 9353 0 0 0 89 12 0 0 20 0 15 0 98252092 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352603208592 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13926] ppid=13917 vsize=10661132 memory=2132760 CPUtime=1.01 cores=1,3,5,7
/proc/13920/task/13926/stat : 13926 (java) S 13917 13920 8861 0 -1 1077944384 9680 0 0 0 89 12 0 0 20 0 15 0 98252092 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352602155792 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13927] ppid=13917 vsize=10661132 memory=2132244 CPUtime=0.23 cores=1,3,5,7
/proc/13920/task/13927/stat : 13927 (java) S 13917 13920 8861 0 -1 1077944384 13612 0 0 0 14 9 0 0 20 0 15 0 98252093 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352557881712 140352998079106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13928] ppid=13917 vsize=10661132 memory=2130708 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13928/stat : 13928 (java) S 13917 13920 8861 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 98252093 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352556827744 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13929] ppid=13917 vsize=10661132 memory=2133784 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13929/stat : 13929 (java) S 13917 13920 8861 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 98252094 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352555774832 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13930] ppid=13917 vsize=10661132 memory=2130192 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13930/stat : 13930 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352554723152 140352998086555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13931] ppid=13917 vsize=10661132 memory=2129680 CPUtime=1.16 cores=1,3,5,7
/proc/13920/task/13931/stat : 13931 (java) S 13917 13920 8861 0 -1 1077944384 6085 0 0 0 115 1 0 0 20 0 15 0 98252096 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352553671536 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13932] ppid=13917 vsize=10661132 memory=2135836 CPUtime=1.25 cores=1,3,5,7
/proc/13920/task/13932/stat : 13932 (java) S 13917 13920 8861 0 -1 1077944384 7417 0 0 0 123 2 0 0 20 0 15 0 98252096 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352484797168 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13933] ppid=13917 vsize=10661132 memory=2130708 CPUtime=0.31 cores=1,3,5,7
/proc/13920/task/13933/stat : 13933 (java) S 13917 13920 8861 0 -1 1077944384 3544 0 0 0 30 1 0 0 20 0 15 0 98252096 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352483744368 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13934] ppid=13917 vsize=10661132 memory=2131732 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13934/stat : 13934 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352482691808 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13935] ppid=13917 vsize=10661132 memory=2136868 CPUtime=1.48 cores=1,3,5,7
/proc/13920/task/13935/stat : 13935 (java) S 13917 13920 8861 0 -1 1077944384 1851 0 0 0 61 87 0 0 20 0 15 0 98252096 10916999168 532420 33554432000 4194304 4196468 140730983285584 140352481639088 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
Current children cumulated CPU time: 2509.55 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2129680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.7 s]
/proc/loadavg: 0.87 0.99 1.22 2/194 14078
/proc/meminfo: memFree=26167660/32770624 swapFree=67108860/67108860
[pid=13920] ppid=13917 vsize=10661132 memory=2125576 CPUtime=2520.03 cores=1,3,5,7
/proc/13920/stat : 13920 (java) S 13917 13920 8861 0 -1 1077944320 160982 0 0 0 251799 204 0 0 20 0 15 0 98252090 10916999168 531394 33554432000 4194304 4196468 140730983285584 140730983268128 140352998067959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
/proc/13920/statm: 2665283 531394 3153 1 0 2627263 0
[pid=13920/tid=13922] ppid=13917 vsize=10661132 memory=920 CPUtime=2511.31 cores=1,3,5,7
/proc/13920/task/13922/stat : 13922 (java) R 13917 13920 8861 0 -1 4202560 89240 0 0 0 251066 65 0 0 20 0 15 0 98252091 10916999168 531394 33554432000 4194304 4196468 140730983285584 140353002307296 140352639930553 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13923] ppid=13917 vsize=10661132 memory=103 CPUtime=1.04 cores=1,3,5,7
/proc/13920/task/13923/stat : 13923 (java) S 13917 13920 8861 0 -1 1077944384 7569 0 0 0 92 12 0 0 20 0 15 0 98252092 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352605314192 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13924] ppid=13917 vsize=10661132 memory=2125576 CPUtime=1.06 cores=1,3,5,7
/proc/13920/task/13924/stat : 13924 (java) S 13917 13920 8861 0 -1 1077944384 11235 0 0 0 93 13 0 0 20 0 15 0 98252092 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352604261392 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13925] ppid=13917 vsize=10661132 memory=1840 CPUtime=1.03 cores=1,3,5,7
/proc/13920/task/13925/stat : 13925 (java) S 13917 13920 8861 0 -1 1077944384 9353 0 0 0 91 12 0 0 20 0 15 0 98252092 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352603208592 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13926] ppid=13917 vsize=10661132 memory=2132244 CPUtime=1.03 cores=1,3,5,7
/proc/13920/task/13926/stat : 13926 (java) S 13917 13920 8861 0 -1 1077944384 9681 0 0 0 91 12 0 0 20 0 15 0 98252092 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352602155792 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13927] ppid=13917 vsize=10661132 memory=2132760 CPUtime=0.24 cores=1,3,5,7
/proc/13920/task/13927/stat : 13927 (java) S 13917 13920 8861 0 -1 1077944384 13616 0 0 0 15 9 0 0 20 0 15 0 98252093 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352557881712 140352998079106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13928] ppid=13917 vsize=10661132 memory=2132244 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13928/stat : 13928 (java) S 13917 13920 8861 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 98252093 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352556827744 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13929] ppid=13917 vsize=10661132 memory=2125576 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13929/stat : 13929 (java) S 13917 13920 8861 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 98252094 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352555774832 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13930] ppid=13917 vsize=10661132 memory=2125576 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13930/stat : 13930 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352554723152 140352998086555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13931] ppid=13917 vsize=10661132 memory=2128656 CPUtime=1.16 cores=1,3,5,7
/proc/13920/task/13931/stat : 13931 (java) S 13917 13920 8861 0 -1 1077944384 6085 0 0 0 115 1 0 0 20 0 15 0 98252096 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352553671536 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13932] ppid=13917 vsize=10661132 memory=180 CPUtime=1.25 cores=1,3,5,7
/proc/13920/task/13932/stat : 13932 (java) S 13917 13920 8861 0 -1 1077944384 7417 0 0 0 123 2 0 0 20 0 15 0 98252096 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352484797168 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13933] ppid=13917 vsize=10661132 memory=4028 CPUtime=0.31 cores=1,3,5,7
/proc/13920/task/13933/stat : 13933 (java) S 13917 13920 8861 0 -1 1077944384 3544 0 0 0 30 1 0 0 20 0 15 0 98252096 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352483744368 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13934] ppid=13917 vsize=10661132 memory=28388 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13934/stat : 13934 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352482691808 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13935] ppid=13917 vsize=10661132 memory=2134296 CPUtime=1.48 cores=1,3,5,7
/proc/13920/task/13935/stat : 13935 (java) S 13917 13920 8861 0 -1 1077944384 1851 0 0 0 61 87 0 0 20 0 15 0 98252096 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352481639088 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2125576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.72 s]
# the end of solver process 13920 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518 s, system=2.05227 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.7 s]
/proc/loadavg: 0.87 0.99 1.22 2/194 14078
/proc/meminfo: memFree=26167660/32770624 swapFree=67108860/67108860
[pid=13920] ppid=13917 vsize=10661132 memory=2125576 CPUtime=2520.03 cores=1,3,5,7
/proc/13920/stat : 13920 (java) S 13917 13920 8861 0 -1 1077944320 160982 0 0 0 251799 204 0 0 20 0 15 0 98252090 10916999168 531394 33554432000 4194304 4196468 140730983285584 140730983268128 140352998067959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
/proc/13920/statm: 2665283 531394 3153 1 0 2627263 0
[pid=13920/tid=13922] ppid=13917 vsize=10661132 memory=920 CPUtime=2511.31 cores=1,3,5,7
/proc/13920/task/13922/stat : 13922 (java) R 13917 13920 8861 0 -1 4202560 89240 0 0 0 251066 65 0 0 20 0 15 0 98252091 10916999168 531394 33554432000 4194304 4196468 140730983285584 140353002307296 140352639930553 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13923] ppid=13917 vsize=10661132 memory=103 CPUtime=1.04 cores=1,3,5,7
/proc/13920/task/13923/stat : 13923 (java) S 13917 13920 8861 0 -1 1077944384 7569 0 0 0 92 12 0 0 20 0 15 0 98252092 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352605314192 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13924] ppid=13917 vsize=10661132 memory=2125576 CPUtime=1.06 cores=1,3,5,7
/proc/13920/task/13924/stat : 13924 (java) S 13917 13920 8861 0 -1 1077944384 11235 0 0 0 93 13 0 0 20 0 15 0 98252092 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352604261392 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13925] ppid=13917 vsize=10661132 memory=1840 CPUtime=1.03 cores=1,3,5,7
/proc/13920/task/13925/stat : 13925 (java) S 13917 13920 8861 0 -1 1077944384 9353 0 0 0 91 12 0 0 20 0 15 0 98252092 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352603208592 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13926] ppid=13917 vsize=10661132 memory=2132244 CPUtime=1.03 cores=1,3,5,7
/proc/13920/task/13926/stat : 13926 (java) S 13917 13920 8861 0 -1 1077944384 9681 0 0 0 91 12 0 0 20 0 15 0 98252092 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352602155792 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13927] ppid=13917 vsize=10661132 memory=2132760 CPUtime=0.24 cores=1,3,5,7
/proc/13920/task/13927/stat : 13927 (java) S 13917 13920 8861 0 -1 1077944384 13616 0 0 0 15 9 0 0 20 0 15 0 98252093 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352557881712 140352998079106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13928] ppid=13917 vsize=10661132 memory=2132244 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13928/stat : 13928 (java) S 13917 13920 8861 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 98252093 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352556827744 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13929] ppid=13917 vsize=10661132 memory=2125576 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13929/stat : 13929 (java) S 13917 13920 8861 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 98252094 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352555774832 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13930] ppid=13917 vsize=10661132 memory=2125576 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13930/stat : 13930 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352554723152 140352998086555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13931] ppid=13917 vsize=10661132 memory=2128656 CPUtime=1.16 cores=1,3,5,7
/proc/13920/task/13931/stat : 13931 (java) S 13917 13920 8861 0 -1 1077944384 6085 0 0 0 115 1 0 0 20 0 15 0 98252096 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352553671536 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13932] ppid=13917 vsize=10661132 memory=180 CPUtime=1.25 cores=1,3,5,7
/proc/13920/task/13932/stat : 13932 (java) S 13917 13920 8861 0 -1 1077944384 7417 0 0 0 123 2 0 0 20 0 15 0 98252096 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352484797168 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13933] ppid=13917 vsize=10661132 memory=4028 CPUtime=0.31 cores=1,3,5,7
/proc/13920/task/13933/stat : 13933 (java) S 13917 13920 8861 0 -1 1077944384 3544 0 0 0 30 1 0 0 20 0 15 0 98252096 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352483744368 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13934] ppid=13917 vsize=10661132 memory=28388 CPUtime=0 cores=1,3,5,7
/proc/13920/task/13934/stat : 13934 (java) S 13917 13920 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98252096 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352482691808 140352998078165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
[pid=13920/tid=13935] ppid=13917 vsize=10661132 memory=2134296 CPUtime=1.48 cores=1,3,5,7
/proc/13920/task/13935/stat : 13935 (java) S 13917 13920 8861 0 -1 1077944384 1851 0 0 0 61 87 0 0 20 0 15 0 98252096 10916999168 531394 33554432000 4194304 4196468 140730983285584 140352481639088 140352998079106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 21852160 140730983289973 140730983290121 140730983290121 140730983292879 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2125576 KiB
Child status: 143
Real time (s): 2512.72
CPU time (s): 2520.05
CPU user time (s): 2518
CPU system time (s): 2.05227
CPU usage (%): 100.292
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 2707852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518
system time used= 2.05227
maximum resident set size= 2711948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59859
involuntary context switches= 800
# summary of solver processes directly reported to runsolver:
# pid: 13920
# total CPU time (s): 2520.05
# total CPU user time (s): 2518
# total CPU system time (s): 2.05227
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5198 second user time and 22.3058 second system time
The end