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 (12547 MiB free)
memory of node 1: 16384 MiB (10754 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310002-1534333024/watcher-4310002-1534333024 -o /tmp/evaluation-result-4310002-1534333024/solver-4310002-1534333024 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534329094-20217 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 563301438 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310002-1534333024.xml
running on 4 cores: 1,3,5,7
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=22869, runsolver pid=22866
[startup+0.100097 s]*
/proc/loadavg: 1.29 1.33 1.46 3/218 22884
/proc/meminfo: memFree=23842284/32770624 swapFree=67108840/67108860
[pid=22869] ppid=22866 vsize=14082736 memory=31812 CPUtime=0.12 cores=1,3,5,7
/proc/22869/stat : 22869 (java) S 22866 22869 20185 0 -1 1077944320 6359 0 0 0 11 1 0 0 20 0 15 0 250865633 14420721664 7953 33554432000 4194304 4196468 140728581939296 140728581921840 139654488612599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
/proc/22869/statm: 3520684 7953 3158 1 0 3482761 0
[pid=22869/tid=22871] ppid=22866 vsize=14082736 memory=-8701690554792318075 CPUtime=0.09 cores=1,3,5,7
/proc/22869/task/22871/stat : 22871 (java) R 22866 22869 20185 0 -1 4202560 4400 0 0 0 8 1 0 0 20 0 15 0 250865633 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654492813016 139654472693086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22872] ppid=22866 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22872/stat : 22872 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654084606480 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22873] ppid=22866 vsize=14082736 memory=140166812984960 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22873/stat : 22873 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654083553936 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22874] ppid=22866 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22874/stat : 22874 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654082500880 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22875] ppid=22866 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22875/stat : 22875 (java) S 22866 22869 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250865634 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654081448336 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22876] ppid=22866 vsize=14082736 memory=140166812984960 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22876/stat : 22876 (java) S 22866 22869 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250865636 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654030572272 139654488623746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22877] ppid=22866 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22877/stat : 22877 (java) S 22866 22869 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250865636 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654029518496 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22878] ppid=22866 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22878/stat : 22878 (java) S 22866 22869 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250865636 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654028465392 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22879] ppid=22866 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22879/stat : 22879 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654027413968 139654488631195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22880] ppid=22866 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22880/stat : 22880 (java) S 22866 22869 20185 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 250865639 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654026361072 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22881] ppid=22866 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22881/stat : 22881 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654025308528 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22882] ppid=22866 vsize=14082736 memory=140166812984960 CPUtime=0.01 cores=1,3,5,7
/proc/22869/task/22882/stat : 22882 (java) S 22866 22869 20185 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 250865639 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654024255472 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22883] ppid=22866 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22883/stat : 22883 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654023203168 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22884] ppid=22866 vsize=14082736 memory=140166812984960 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22884/stat : 22884 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865639 14420721664 7953 33554432000 4194304 4196468 140728581939296 139654022151216 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31812 KiB
[startup+0.211137 s]*
/proc/loadavg: 1.29 1.33 1.46 6/218 22884
/proc/meminfo: memFree=23826516/32770624 swapFree=67108840/67108860
[pid=22869] ppid=22866 vsize=14082736 memory=47612 CPUtime=0.31 cores=1,3,5,7
/proc/22869/stat : 22869 (java) S 22866 22869 20185 0 -1 1077944320 10016 0 0 0 28 3 0 0 20 0 15 0 250865633 14420721664 11903 33554432000 4194304 4196468 140728581939296 140728581921840 139654488612599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
/proc/22869/statm: 3520684 11903 3357 1 0 3482761 0
[pid=22869/tid=22871] ppid=22866 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/22869/task/22871/stat : 22871 (java) R 22866 22869 20185 0 -1 4202560 7724 0 0 0 18 2 0 0 20 0 15 0 250865633 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654492833152 139654099768580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22872] ppid=22866 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22872/stat : 22872 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654084606480 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22873] ppid=22866 vsize=14082736 memory=288370542964696704 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22873/stat : 22873 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654083553936 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22874] ppid=22866 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22874/stat : 22874 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654082500880 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22875] ppid=22866 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22875/stat : 22875 (java) S 22866 22869 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250865634 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654081448336 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22876] ppid=22866 vsize=14082736 memory=140166812984960 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22876/stat : 22876 (java) S 22866 22869 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250865636 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654030572272 139654488623746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22877] ppid=22866 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22877/stat : 22877 (java) S 22866 22869 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250865636 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654029518496 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22878] ppid=22866 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22878/stat : 22878 (java) S 22866 22869 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250865636 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654028465392 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22879] ppid=22866 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22879/stat : 22879 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654027413968 139654488631195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22880] ppid=22866 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22869/task/22880/stat : 22880 (java) R 22866 22869 20185 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 15 0 250865639 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654026361168 139654488622805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22881] ppid=22866 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22869/task/22881/stat : 22881 (java) R 22866 22869 20185 0 -1 4202560 222 0 0 0 2 0 0 0 20 0 15 0 250865639 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654025295376 139654470156688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22882] ppid=22866 vsize=14082736 memory=140166812984960 CPUtime=0.06 cores=1,3,5,7
/proc/22869/task/22882/stat : 22882 (java) R 22866 22869 20185 0 -1 4202560 294 0 0 0 6 0 0 0 20 0 15 0 250865639 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654024252408 139654488633946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22883] ppid=22866 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22883/stat : 22883 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654023203168 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22884] ppid=22866 vsize=14082736 memory=140166812984960 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22884/stat : 22884 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865639 14420721664 11903 33554432000 4194304 4196468 140728581939296 139654022151216 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47612 KiB
[startup+0.311139 s]*
/proc/loadavg: 1.27 1.33 1.45 3/218 22884
/proc/meminfo: memFree=23824084/32770624 swapFree=67108840/67108860
[pid=22869] ppid=22866 vsize=14082736 memory=50732 CPUtime=0.44 cores=1,3,5,7
/proc/22869/stat : 22869 (java) S 22866 22869 20185 0 -1 1077944320 10363 0 0 0 41 3 0 0 20 0 15 0 250865633 14420721664 12683 33554432000 4194304 4196468 140728581939296 140728581921840 139654488612599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
/proc/22869/statm: 3520684 12683 3360 1 0 3482761 0
[pid=22869/tid=22871] ppid=22866 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/22869/task/22871/stat : 22871 (java) R 22866 22869 20185 0 -1 4202560 8051 0 0 0 28 2 0 0 20 0 15 0 250865633 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654492791528 139654471799425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22872] ppid=22866 vsize=14082736 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22872/stat : 22872 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654084606480 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22873] ppid=22866 vsize=14082736 memory=288370542964696704 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22873/stat : 22873 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654083553936 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22874] ppid=22866 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22874/stat : 22874 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654082500880 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22875] ppid=22866 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22875/stat : 22875 (java) S 22866 22869 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250865634 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654081448336 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22876] ppid=22866 vsize=14082736 memory=140166812984960 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22876/stat : 22876 (java) S 22866 22869 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250865636 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654030572272 139654488623746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22877] ppid=22866 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22877/stat : 22877 (java) S 22866 22869 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250865636 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654029518496 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22878] ppid=22866 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22878/stat : 22878 (java) S 22866 22869 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250865636 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654028465392 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22879] ppid=22866 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22879/stat : 22879 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654027413968 139654488631195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22880] ppid=22866 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22869/task/22880/stat : 22880 (java) S 22866 22869 20185 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 15 0 250865639 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654026361072 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22881] ppid=22866 vsize=14082736 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/22869/task/22881/stat : 22881 (java) S 22866 22869 20185 0 -1 1077944384 234 0 0 0 3 0 0 0 20 0 15 0 250865639 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654025308528 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22882] ppid=22866 vsize=14082736 memory=140166812984960 CPUtime=0.08 cores=1,3,5,7
/proc/22869/task/22882/stat : 22882 (java) S 22866 22869 20185 0 -1 1077944384 302 0 0 0 8 0 0 0 20 0 15 0 250865639 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654024255472 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22883] ppid=22866 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22883/stat : 22883 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654023203168 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22884] ppid=22866 vsize=14082736 memory=140166812984960 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22884/stat : 22884 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865639 14420721664 12683 33554432000 4194304 4196468 140728581939296 139654022151216 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50732 KiB
[startup+0.700683 s]
/proc/loadavg: 1.27 1.33 1.45 3/218 22884
/proc/meminfo: memFree=23800892/32770624 swapFree=67108840/67108860
[pid=22869] ppid=22866 vsize=14084804 memory=90656 CPUtime=0.99 cores=1,3,5,7
/proc/22869/stat : 22869 (java) S 22866 22869 20185 0 -1 1077944320 17072 0 0 0 94 5 0 0 20 0 15 0 250865633 14422839296 22664 33554432000 4194304 4196468 140728581939296 140728581921840 139654488612599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
/proc/22869/statm: 3521201 22664 3499 1 0 3483273 0
[pid=22869/tid=22871] ppid=22866 vsize=14084804 memory=1784 CPUtime=0.66 cores=1,3,5,7
/proc/22869/task/22871/stat : 22871 (java) R 22866 22869 20185 0 -1 4202560 14379 0 0 0 63 3 0 0 20 0 15 0 250865633 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654492827920 139654472693086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22872] ppid=22866 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22872/stat : 22872 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654084606480 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22873] ppid=22866 vsize=14084804 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22873/stat : 22873 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654083553936 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22874] ppid=22866 vsize=14084804 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22874/stat : 22874 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654082500880 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22875] ppid=22866 vsize=14084804 memory=5728 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22875/stat : 22875 (java) S 22866 22869 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250865634 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654081448336 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22876] ppid=22866 vsize=14084804 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22876/stat : 22876 (java) S 22866 22869 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250865636 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654030572272 139654488623746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22877] ppid=22866 vsize=14084804 memory=1092 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22877/stat : 22877 (java) S 22866 22869 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250865636 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654029518496 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22878] ppid=22866 vsize=14084804 memory=836 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22878/stat : 22878 (java) S 22866 22869 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250865636 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654028465392 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22879] ppid=22866 vsize=14084804 memory=10692 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22879/stat : 22879 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654027413968 139654488631195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22880] ppid=22866 vsize=14084804 memory=7450174591119418944 CPUtime=0.07 cores=1,3,5,7
/proc/22869/task/22880/stat : 22880 (java) S 22866 22869 20185 0 -1 1077944384 565 0 0 0 7 0 0 0 20 0 15 0 250865639 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654026361072 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22881] ppid=22866 vsize=14084804 memory=6444198537895111255 CPUtime=0.07 cores=1,3,5,7
/proc/22869/task/22881/stat : 22881 (java) S 22866 22869 20185 0 -1 1077944384 378 0 0 0 7 0 0 0 20 0 15 0 250865639 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654025308528 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22882] ppid=22866 vsize=14084804 memory=7523071198212214892 CPUtime=0.15 cores=1,3,5,7
/proc/22869/task/22882/stat : 22882 (java) S 22866 22869 20185 0 -1 1077944384 371 0 0 0 15 0 0 0 20 0 15 0 250865639 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654024255472 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22883] ppid=22866 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22883/stat : 22883 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654023203168 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22884] ppid=22866 vsize=14084804 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22884/stat : 22884 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865639 14422839296 22664 33554432000 4194304 4196468 140728581939296 139654022151216 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90656 KiB
[startup+1.50709 s]
/proc/loadavg: 1.27 1.33 1.45 4/218 22884
/proc/meminfo: memFree=23767100/32770624 swapFree=67108840/67108860
[pid=22869] ppid=22866 vsize=14090948 memory=146452 CPUtime=3.03 cores=1,3,5,7
/proc/22869/stat : 22869 (java) S 22866 22869 20185 0 -1 1077944320 25143 0 0 0 296 7 0 0 20 0 15 0 250865633 14429130752 36613 33554432000 4194304 4196468 140728581939296 140728581921840 139654488612599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
/proc/22869/statm: 3522737 36613 3552 1 0 3484809 0
[pid=22869/tid=22871] ppid=22866 vsize=14090948 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/22869/task/22871/stat : 22871 (java) R 22866 22869 20185 0 -1 4202560 19181 0 0 0 142 5 0 0 20 0 15 0 250865633 14429130752 36613 33554432000 4194304 4196468 140728581939296 139654492841792 139654104867140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22872] ppid=22866 vsize=14090948 memory=-8253362762724047225 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22872/stat : 22872 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14429130752 36613 33554432000 4194304 4196468 140728581939296 139654084606480 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22873] ppid=22866 vsize=14090948 memory=-8609294068986781045 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22873/stat : 22873 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14429130752 36613 33554432000 4194304 4196468 140728581939296 139654083553936 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22874] ppid=22866 vsize=14090948 memory=-6517102902069810590 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22874/stat : 22874 (java) S 22866 22869 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250865634 14429130752 36613 33554432000 4194304 4196468 140728581939296 139654082500880 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22875] ppid=22866 vsize=14090948 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22875/stat : 22875 (java) S 22866 22869 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250865634 14429130752 36613 33554432000 4194304 4196468 140728581939296 139654081448336 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22876] ppid=22866 vsize=14090948 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22876/stat : 22876 (java) S 22866 22869 20185 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 250865636 14429130752 36613 33554432000 4194304 4196468 140728581939296 139654030572272 139654488623746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
################
# More data... #
################
/proc/22869/task/22871/stat : 22871 (java) R 22866 22869 20185 0 -1 4202560 23444 0 0 0 16032 16 0 0 20 0 15 0 250865633 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654492851280 139654106835944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22872] ppid=22866 vsize=14090948 memory=532276 CPUtime=0.66 cores=1,3,5,7
/proc/22869/task/22872/stat : 22872 (java) S 22866 22869 20185 0 -1 1077944384 1706 0 0 0 60 6 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654084606480 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22873] ppid=22866 vsize=14090948 memory=532276 CPUtime=0.66 cores=1,3,5,7
/proc/22869/task/22873/stat : 22873 (java) S 22866 22869 20185 0 -1 1077944384 392 0 0 0 59 7 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654083553936 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22874] ppid=22866 vsize=14090948 memory=532276 CPUtime=0.66 cores=1,3,5,7
/proc/22869/task/22874/stat : 22874 (java) S 22866 22869 20185 0 -1 1077944384 1391 0 0 0 59 7 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654082500880 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22875] ppid=22866 vsize=14090948 memory=532276 CPUtime=0.65 cores=1,3,5,7
/proc/22869/task/22875/stat : 22875 (java) S 22866 22869 20185 0 -1 1077944384 1056 0 0 0 58 7 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654081448336 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22876] ppid=22866 vsize=14090948 memory=532276 CPUtime=0.9 cores=1,3,5,7
/proc/22869/task/22876/stat : 22876 (java) S 22866 22869 20185 0 -1 1077944384 1545 0 0 0 83 7 0 0 20 0 15 0 250865636 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654030572272 139654488623746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22877] ppid=22866 vsize=14090948 memory=532276 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22877/stat : 22877 (java) S 22866 22869 20185 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250865636 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654029518496 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22878] ppid=22866 vsize=14090948 memory=532276 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22878/stat : 22878 (java) S 22866 22869 20185 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250865636 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654028465392 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22879] ppid=22866 vsize=14090948 memory=2356 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22879/stat : 22879 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654027413968 139654488631195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22880] ppid=22866 vsize=14090948 memory=0 CPUtime=2.03 cores=1,3,5,7
/proc/22869/task/22880/stat : 22880 (java) S 22866 22869 20185 0 -1 1077944384 6910 0 0 0 202 1 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654026361072 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22881] ppid=22866 vsize=14090948 memory=280333321472816 CPUtime=1.78 cores=1,3,5,7
/proc/22869/task/22881/stat : 22881 (java) S 22866 22869 20185 0 -1 1077944384 4705 0 0 0 177 1 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654025308528 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22882] ppid=22866 vsize=14090948 memory=532276 CPUtime=0.64 cores=1,3,5,7
/proc/22869/task/22882/stat : 22882 (java) S 22866 22869 20185 0 -1 1077944384 2779 0 0 0 64 0 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654024255472 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22883] ppid=22866 vsize=14090948 memory=10692 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22883/stat : 22883 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654023203168 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22884] ppid=22866 vsize=14090948 memory=1620 CPUtime=0.09 cores=1,3,5,7
/proc/22869/task/22884/stat : 22884 (java) S 22866 22869 20185 0 -1 1077944384 294 0 0 0 5 4 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654022151216 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
Current children cumulated CPU time: 168.64 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 532276 KiB
[startup+222.301 s]
/proc/loadavg: 1.52 1.43 1.47 5/219 22927
/proc/meminfo: memFree=24357436/32770624 swapFree=67108840/67108860
[pid=22869] ppid=22866 vsize=14090948 memory=532276 CPUtime=229.39 cores=1,3,5,7
/proc/22869/stat : 22869 (java) S 22866 22869 20185 0 -1 1077944320 47572 0 0 0 22879 60 0 0 20 0 15 0 250865633 14429130752 133069 33554432000 4194304 4196468 140728581939296 140728581921840 139654488612599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
/proc/22869/statm: 3522737 133069 3589 1 0 3484809 0
[pid=22869/tid=22871] ppid=22866 vsize=14090948 memory=532276 CPUtime=219.77 cores=1,3,5,7
/proc/22869/task/22871/stat : 22871 (java) R 22866 22869 20185 0 -1 4202560 24292 0 0 0 21960 17 0 0 20 0 15 0 250865633 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654492851280 139654106835984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22872] ppid=22866 vsize=14090948 memory=532276 CPUtime=0.93 cores=1,3,5,7
/proc/22869/task/22872/stat : 22872 (java) S 22866 22869 20185 0 -1 1077944384 1909 0 0 0 85 8 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654084606480 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22873] ppid=22866 vsize=14090948 memory=532276 CPUtime=0.92 cores=1,3,5,7
/proc/22869/task/22873/stat : 22873 (java) S 22866 22869 20185 0 -1 1077944384 434 0 0 0 82 10 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654083553936 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22874] ppid=22866 vsize=14090948 memory=532276 CPUtime=0.93 cores=1,3,5,7
/proc/22869/task/22874/stat : 22874 (java) S 22866 22869 20185 0 -1 1077944384 1416 0 0 0 82 11 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654082500880 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22875] ppid=22866 vsize=14090948 memory=532276 CPUtime=0.91 cores=1,3,5,7
/proc/22869/task/22875/stat : 22875 (java) S 22866 22869 20185 0 -1 1077944384 1587 0 0 0 81 10 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654081448336 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22876] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.26 cores=1,3,5,7
/proc/22869/task/22876/stat : 22876 (java) S 22866 22869 20185 0 -1 1077944384 1808 0 0 0 116 10 0 0 20 0 15 0 250865636 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654030572272 139654488623746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22877] ppid=22866 vsize=14090948 memory=532276 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22877/stat : 22877 (java) S 22866 22869 20185 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250865636 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654029518496 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22878] ppid=22866 vsize=14090948 memory=532276 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22878/stat : 22878 (java) S 22866 22869 20185 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250865636 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654028465392 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22879] ppid=22866 vsize=14090948 memory=3500 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22879/stat : 22879 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654027413968 139654488631195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22880] ppid=22866 vsize=14090948 memory=1092 CPUtime=2.03 cores=1,3,5,7
/proc/22869/task/22880/stat : 22880 (java) S 22866 22869 20185 0 -1 1077944384 6913 0 0 0 202 1 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654026361072 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22881] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.78 cores=1,3,5,7
/proc/22869/task/22881/stat : 22881 (java) S 22866 22869 20185 0 -1 1077944384 4707 0 0 0 177 1 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654025308528 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22882] ppid=22866 vsize=14090948 memory=3500 CPUtime=0.64 cores=1,3,5,7
/proc/22869/task/22882/stat : 22882 (java) S 22866 22869 20185 0 -1 1077944384 2782 0 0 0 64 0 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654024255472 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22883] ppid=22866 vsize=14090948 memory=532276 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22883/stat : 22883 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654023203168 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22884] ppid=22866 vsize=14090948 memory=1720 CPUtime=0.12 cores=1,3,5,7
/proc/22869/task/22884/stat : 22884 (java) S 22866 22869 20185 0 -1 1077944384 308 0 0 0 6 6 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654022151216 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
Current children cumulated CPU time: 229.39 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 532276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+244.701 s]
/proc/loadavg: 1.38 1.40 1.46 3/220 22973
/proc/meminfo: memFree=23791216/32770624 swapFree=67108840/67108860
[pid=22869] ppid=22866 vsize=14090948 memory=532276 CPUtime=252.05 cores=1,3,5,7
/proc/22869/stat : 22869 (java) S 22866 22869 20185 0 -1 1077944320 48007 0 0 0 25141 64 0 0 20 0 15 0 250865633 14429130752 133069 33554432000 4194304 4196468 140728581939296 140728581921840 139654488612599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
/proc/22869/statm: 3522737 133069 3589 1 0 3484809 0
[pid=22869/tid=22871] ppid=22866 vsize=14090948 memory=532276 CPUtime=241.91 cores=1,3,5,7
/proc/22869/task/22871/stat : 22871 (java) R 22866 22869 20185 0 -1 4202560 24720 0 0 0 24173 18 0 0 20 0 15 0 250865633 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654492851296 139654106772012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22872] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.03 cores=1,3,5,7
/proc/22869/task/22872/stat : 22872 (java) S 22866 22869 20185 0 -1 1077944384 1910 0 0 0 94 9 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654084606480 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22873] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.02 cores=1,3,5,7
/proc/22869/task/22873/stat : 22873 (java) S 22866 22869 20185 0 -1 1077944384 435 0 0 0 91 11 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654083553936 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22874] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.02 cores=1,3,5,7
/proc/22869/task/22874/stat : 22874 (java) S 22866 22869 20185 0 -1 1077944384 1417 0 0 0 91 11 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654082500880 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22875] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.02 cores=1,3,5,7
/proc/22869/task/22875/stat : 22875 (java) S 22866 22869 20185 0 -1 1077944384 1587 0 0 0 90 12 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654081448336 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22876] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.38 cores=1,3,5,7
/proc/22869/task/22876/stat : 22876 (java) S 22866 22869 20185 0 -1 1077944384 1811 0 0 0 128 10 0 0 20 0 15 0 250865636 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654030572272 139654488623746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22877] ppid=22866 vsize=14090948 memory=532276 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22877/stat : 22877 (java) S 22866 22869 20185 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250865636 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654029518496 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22878] ppid=22866 vsize=14090948 memory=532276 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22878/stat : 22878 (java) S 22866 22869 20185 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250865636 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654028465392 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22879] ppid=22866 vsize=14090948 memory=3500 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22879/stat : 22879 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654027413968 139654488631195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22880] ppid=22866 vsize=14090948 memory=532276 CPUtime=2.03 cores=1,3,5,7
/proc/22869/task/22880/stat : 22880 (java) S 22866 22869 20185 0 -1 1077944384 6913 0 0 0 202 1 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654026361072 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22881] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.78 cores=1,3,5,7
/proc/22869/task/22881/stat : 22881 (java) S 22866 22869 20185 0 -1 1077944384 4707 0 0 0 177 1 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654025308528 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22882] ppid=22866 vsize=14090948 memory=1408 CPUtime=0.64 cores=1,3,5,7
/proc/22869/task/22882/stat : 22882 (java) S 22866 22869 20185 0 -1 1077944384 2782 0 0 0 64 0 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654024255472 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22883] ppid=22866 vsize=14090948 memory=532276 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22883/stat : 22883 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654023203168 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22884] ppid=22866 vsize=14090948 memory=532276 CPUtime=0.13 cores=1,3,5,7
/proc/22869/task/22884/stat : 22884 (java) S 22866 22869 20185 0 -1 1077944384 309 0 0 0 7 6 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654022151216 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 532276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+244.728 s]
# the end of solver process 22869 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.428 s, system=0.658972 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+244.701 s]
/proc/loadavg: 1.38 1.40 1.46 3/220 22973
/proc/meminfo: memFree=23791216/32770624 swapFree=67108840/67108860
[pid=22869] ppid=22866 vsize=14090948 memory=532276 CPUtime=252.05 cores=1,3,5,7
/proc/22869/stat : 22869 (java) S 22866 22869 20185 0 -1 1077944320 48007 0 0 0 25141 64 0 0 20 0 15 0 250865633 14429130752 133069 33554432000 4194304 4196468 140728581939296 140728581921840 139654488612599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
/proc/22869/statm: 3522737 133069 3589 1 0 3484809 0
[pid=22869/tid=22871] ppid=22866 vsize=14090948 memory=532276 CPUtime=241.91 cores=1,3,5,7
/proc/22869/task/22871/stat : 22871 (java) R 22866 22869 20185 0 -1 4202560 24720 0 0 0 24173 18 0 0 20 0 15 0 250865633 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654492851296 139654106772012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22872] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.03 cores=1,3,5,7
/proc/22869/task/22872/stat : 22872 (java) S 22866 22869 20185 0 -1 1077944384 1910 0 0 0 94 9 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654084606480 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22873] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.02 cores=1,3,5,7
/proc/22869/task/22873/stat : 22873 (java) S 22866 22869 20185 0 -1 1077944384 435 0 0 0 91 11 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654083553936 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22874] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.02 cores=1,3,5,7
/proc/22869/task/22874/stat : 22874 (java) S 22866 22869 20185 0 -1 1077944384 1417 0 0 0 91 11 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654082500880 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22875] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.02 cores=1,3,5,7
/proc/22869/task/22875/stat : 22875 (java) S 22866 22869 20185 0 -1 1077944384 1587 0 0 0 90 12 0 0 20 0 15 0 250865634 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654081448336 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22876] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.38 cores=1,3,5,7
/proc/22869/task/22876/stat : 22876 (java) S 22866 22869 20185 0 -1 1077944384 1811 0 0 0 128 10 0 0 20 0 15 0 250865636 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654030572272 139654488623746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22877] ppid=22866 vsize=14090948 memory=532276 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22877/stat : 22877 (java) S 22866 22869 20185 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250865636 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654029518496 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22878] ppid=22866 vsize=14090948 memory=532276 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22878/stat : 22878 (java) S 22866 22869 20185 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250865636 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654028465392 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22879] ppid=22866 vsize=14090948 memory=3500 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22879/stat : 22879 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654027413968 139654488631195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22880] ppid=22866 vsize=14090948 memory=532276 CPUtime=2.03 cores=1,3,5,7
/proc/22869/task/22880/stat : 22880 (java) S 22866 22869 20185 0 -1 1077944384 6913 0 0 0 202 1 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654026361072 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22881] ppid=22866 vsize=14090948 memory=532276 CPUtime=1.78 cores=1,3,5,7
/proc/22869/task/22881/stat : 22881 (java) S 22866 22869 20185 0 -1 1077944384 4707 0 0 0 177 1 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654025308528 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22882] ppid=22866 vsize=14090948 memory=1408 CPUtime=0.64 cores=1,3,5,7
/proc/22869/task/22882/stat : 22882 (java) S 22866 22869 20185 0 -1 1077944384 2782 0 0 0 64 0 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654024255472 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22883] ppid=22866 vsize=14090948 memory=532276 CPUtime=0 cores=1,3,5,7
/proc/22869/task/22883/stat : 22883 (java) S 22866 22869 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654023203168 139654488622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
[pid=22869/tid=22884] ppid=22866 vsize=14090948 memory=532276 CPUtime=0.13 cores=1,3,5,7
/proc/22869/task/22884/stat : 22884 (java) S 22866 22869 20185 0 -1 1077944384 309 0 0 0 7 6 0 0 20 0 15 0 250865639 14429130752 133069 33554432000 4194304 4196468 140728581939296 139654022151216 139654488623746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31645696 140728581944399 140728581944590 140728581944590 140728581947343 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 532276 KiB
Child status: 143
Real time (s): 244.728
CPU time (s): 252.087
CPU user time (s): 251.428
CPU system time (s): 0.658972
CPU usage (%): 103.007
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 613268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.428
system time used= 0.658972
maximum resident set size= 615316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48948
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46114
involuntary context switches= 714
# summary of solver processes directly reported to runsolver:
# pid: 22869
# total CPU time (s): 252.087
# total CPU user time (s): 251.428
# total CPU system time (s): 0.658972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5589 second user time and 2.33743 second system time
The end