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 (10046 MiB free)
memory of node 1: 16384 MiB (10194 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294437-1532465953/watcher-4294437-1532465953 -o /tmp/evaluation-result-4294437-1532465953/solver-4294437-1532465953 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532448512-24796 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1430721750 -superng HOME/instance-4294437-1532465953.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28835, runsolver pid=28832
[startup+0.100146 s]*
/proc/loadavg: 1.43 1.47 1.44 3/206 28892
/proc/meminfo: memFree=20720252/32770624 swapFree=67108860/67108860
[pid=28835] ppid=28832 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/28835/stat : 28835 (java) S 28832 28835 24765 0 -1 1077944320 4341 13141 0 0 0 1 5 3 20 0 6 0 64158498 10212057088 4203 33554432000 4194304 4196468 140722188739504 140722188722048 140361498275575 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
/proc/28835/statm: 2493178 4203 1934 1 0 2481616 0
[pid=28835/tid=28888] ppid=28832 vsize=9972712 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28888/stat : 28888 (java) R 28832 28835 24765 0 -1 4202560 2152 13141 0 0 0 0 5 3 20 0 6 0 64158507 10212057088 4203 33554432000 4194304 4196468 140722188739504 140361470112336 140361498297501 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28889] ppid=28832 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28889/stat : 28889 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 6 0 64158508 10212057088 4203 33554432000 4194304 4196468 140722188739504 140361502518032 140361498285781 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28890] ppid=28832 vsize=9972712 memory=140015003399808 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28890/stat : 28890 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 6 0 64158508 10212057088 4203 33554432000 4194304 4196468 140722188739504 140361417337744 140361498285781 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28891] ppid=28832 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28891/stat : 28891 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 6 0 64158508 10212057088 4203 33554432000 4194304 4196468 140722188739504 140361416285200 140361498285781 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28892] ppid=28832 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28892/stat : 28892 (java) S 28832 28835 24765 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 6 0 64158508 10212057088 4203 33554432000 4194304 4196468 140722188739504 140361415232656 140361498285781 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210006 s]*
/proc/loadavg: 1.43 1.47 1.44 3/215 28901
/proc/meminfo: memFree=20698100/32770624 swapFree=67108860/67108860
[pid=28835] ppid=28832 vsize=10818936 memory=44116 CPUtime=0.26 cores=0,2,4,6
/proc/28835/stat : 28835 (java) S 28832 28835 24765 0 -1 1077944320 8859 13141 0 0 15 3 5 3 20 0 15 0 64158498 11078590464 11029 33554432000 4194304 4196468 140722188739504 140722188722048 140361498275575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
/proc/28835/statm: 2704734 11029 2974 1 0 2667157 0
[pid=28835/tid=28888] ppid=28832 vsize=10818936 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/28835/task/28888/stat : 28888 (java) R 28832 28835 24765 0 -1 4202560 5669 13141 0 0 9 2 5 3 20 0 15 0 64158507 11078590464 11161 33554432000 4194304 4196468 140722188739504 140361470100384 140361490955293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28889] ppid=28832 vsize=10818936 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28889/stat : 28889 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158508 11078590464 11161 33554432000 4194304 4196468 140722188739504 140361502518032 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28890] ppid=28832 vsize=10818936 memory=140015003399808 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28890/stat : 28890 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158508 11078590464 11227 33554432000 4194304 4196468 140722188739504 140361417337744 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28891] ppid=28832 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28891/stat : 28891 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158508 11078590464 11227 33554432000 4194304 4196468 140722188739504 140361416285200 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28892] ppid=28832 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28892/stat : 28892 (java) S 28832 28835 24765 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 64158508 11078590464 11227 33554432000 4194304 4196468 140722188739504 140361415232656 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28893] ppid=28832 vsize=10818936 memory=140015003399808 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28893/stat : 28893 (java) S 28832 28835 24765 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 64158509 11078590464 11293 33554432000 4194304 4196468 140722188739504 140361024858096 140361498286722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28894] ppid=28832 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28894/stat : 28894 (java) S 28832 28835 24765 0 -1 1077944384 13 13141 0 0 0 0 5 3 20 0 15 0 64158510 11078590464 11293 33554432000 4194304 4196468 140722188739504 140360470750112 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28895] ppid=28832 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28895/stat : 28895 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158510 11078590464 11293 33554432000 4194304 4196468 140722188739504 140360269423600 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28896] ppid=28832 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28896/stat : 28896 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11078590464 11293 33554432000 4194304 4196468 140722188739504 140360029133008 140361498294171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28897] ppid=28832 vsize=10818936 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28835/task/28897/stat : 28897 (java) S 28832 28835 24765 0 -1 1077944384 491 13141 0 0 1 0 5 3 20 0 15 0 64158513 11078590464 11359 33554432000 4194304 4196468 140722188739504 140361023805936 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28898] ppid=28832 vsize=10818936 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/28835/task/28898/stat : 28898 (java) S 28832 28835 24765 0 -1 1077944384 89 13141 0 0 1 0 5 3 20 0 15 0 64158513 11078590464 11359 33554432000 4194304 4196468 140722188739504 140361022753392 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28899] ppid=28832 vsize=10818936 memory=140015003399808 CPUtime=0.11 cores=0,2,4,6
/proc/28835/task/28899/stat : 28899 (java) S 28832 28835 24765 0 -1 1077944384 547 13141 0 0 3 0 5 3 20 0 15 0 64158513 11078590464 11359 33554432000 4194304 4196468 140722188739504 140361021700848 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28900] ppid=28832 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28900/stat : 28900 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11078590464 11412 33554432000 4194304 4196468 140722188739504 140359995575392 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28901] ppid=28832 vsize=10818904 memory=140015003399808 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28901/stat : 28901 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158513 11078557696 11412 33554432000 4194304 4196468 140722188739504 140361020647728 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 44116 KiB
[startup+0.310296 s]*
/proc/loadavg: 1.43 1.47 1.44 3/215 28901
/proc/meminfo: memFree=20684256/32770624 swapFree=67108860/67108860
[pid=28835] ppid=28832 vsize=10819352 memory=53524 CPUtime=0.39 cores=0,2,4,6
/proc/28835/stat : 28835 (java) S 28832 28835 24765 0 -1 1077944320 10447 13141 0 0 28 3 5 3 20 0 15 0 64158498 11079016448 13381 33554432000 4194304 4196468 140722188739504 140722188722048 140361498275575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
/proc/28835/statm: 2704838 13381 3093 1 0 2667149 0
[pid=28835/tid=28888] ppid=28832 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/28835/task/28888/stat : 28888 (java) R 28832 28835 24765 0 -1 4202560 7094 13141 0 0 19 2 5 3 20 0 15 0 64158507 11079016448 13381 33554432000 4194304 4196468 140722188739504 140361470087584 140361490512702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28889] ppid=28832 vsize=10819352 memory=7373043845850746960 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28889/stat : 28889 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158508 11079016448 13381 33554432000 4194304 4196468 140722188739504 140361502518032 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28890] ppid=28832 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28890/stat : 28890 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158508 11079016448 13381 33554432000 4194304 4196468 140722188739504 140361417337744 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28891] ppid=28832 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28891/stat : 28891 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158508 11079016448 13381 33554432000 4194304 4196468 140722188739504 140361416285200 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28892] ppid=28832 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28892/stat : 28892 (java) S 28832 28835 24765 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 64158508 11079016448 13381 33554432000 4194304 4196468 140722188739504 140361415232656 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28893] ppid=28832 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28893/stat : 28893 (java) S 28832 28835 24765 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 64158509 11079016448 13381 33554432000 4194304 4196468 140722188739504 140361024858096 140361498286722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28894] ppid=28832 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28894/stat : 28894 (java) S 28832 28835 24765 0 -1 1077944384 13 13141 0 0 0 0 5 3 20 0 15 0 64158510 11079016448 13381 33554432000 4194304 4196468 140722188739504 140360470750112 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28895] ppid=28832 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28895/stat : 28895 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158510 11079016448 13381 33554432000 4194304 4196468 140722188739504 140360269423600 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28896] ppid=28832 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28896/stat : 28896 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11079016448 13381 33554432000 4194304 4196468 140722188739504 140360029133008 140361498294171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28897] ppid=28832 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28835/task/28897/stat : 28897 (java) S 28832 28835 24765 0 -1 1077944384 491 13141 0 0 1 0 5 3 20 0 15 0 64158513 11079016448 13381 33554432000 4194304 4196468 140722188739504 140361023805936 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28898] ppid=28832 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28835/task/28898/stat : 28898 (java) S 28832 28835 24765 0 -1 1077944384 90 13141 0 0 1 0 5 3 20 0 15 0 64158513 11079016448 13381 33554432000 4194304 4196468 140722188739504 140361022753392 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28899] ppid=28832 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/28835/task/28899/stat : 28899 (java) R 28832 28835 24765 0 -1 1077944384 555 13141 0 0 5 0 5 3 20 0 15 0 64158513 11079016448 13381 33554432000 4194304 4196468 140722188739504 140361021700848 140361498286722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28900] ppid=28832 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28900/stat : 28900 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11079016448 13381 33554432000 4194304 4196468 140722188739504 140359995575392 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28901] ppid=28832 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28901/stat : 28901 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158513 11079016448 13381 33554432000 4194304 4196468 140722188739504 140361020647728 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53524 KiB
[startup+0.700808 s]
/proc/loadavg: 1.43 1.47 1.44 3/215 28901
/proc/meminfo: memFree=20675016/32770624 swapFree=67108860/67108860
[pid=28835] ppid=28832 vsize=10819352 memory=86568 CPUtime=1 cores=0,2,4,6
/proc/28835/stat : 28835 (java) S 28832 28835 24765 0 -1 1077944320 16787 13141 0 0 87 5 5 3 20 0 15 0 64158498 11079016448 21642 33554432000 4194304 4196468 140722188739504 140722188722048 140361498275575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
/proc/28835/statm: 2704838 21642 3240 1 0 2667149 0
[pid=28835/tid=28888] ppid=28832 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/28835/task/28888/stat : 28888 (java) R 28832 28835 24765 0 -1 4202560 12286 13141 0 0 55 3 5 3 20 0 15 0 64158507 11079016448 21642 33554432000 4194304 4196468 140722188739504 140361470096400 140361478550897 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28889] ppid=28832 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28889/stat : 28889 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158508 11079016448 21642 33554432000 4194304 4196468 140722188739504 140361502518032 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28890] ppid=28832 vsize=10819352 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28890/stat : 28890 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158508 11079016448 21642 33554432000 4194304 4196468 140722188739504 140361417337744 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28891] ppid=28832 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28891/stat : 28891 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158508 11079016448 21642 33554432000 4194304 4196468 140722188739504 140361416285200 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28892] ppid=28832 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28892/stat : 28892 (java) S 28832 28835 24765 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 64158508 11079016448 21642 33554432000 4194304 4196468 140722188739504 140361415232656 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28893] ppid=28832 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28893/stat : 28893 (java) S 28832 28835 24765 0 -1 1077944384 6 13141 0 0 0 0 5 3 20 0 15 0 64158509 11079016448 21642 33554432000 4194304 4196468 140722188739504 140361024858096 140361498286722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28894] ppid=28832 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28894/stat : 28894 (java) S 28832 28835 24765 0 -1 1077944384 13 13141 0 0 0 0 5 3 20 0 15 0 64158510 11079016448 21642 33554432000 4194304 4196468 140722188739504 140360470750112 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28895] ppid=28832 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28895/stat : 28895 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158510 11079016448 21642 33554432000 4194304 4196468 140722188739504 140360269423600 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28896] ppid=28832 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28896/stat : 28896 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11079016448 21642 33554432000 4194304 4196468 140722188739504 140360029133008 140361498294171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28897] ppid=28832 vsize=10819352 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/28835/task/28897/stat : 28897 (java) S 28832 28835 24765 0 -1 1077944384 838 13141 0 0 6 0 5 3 20 0 15 0 64158513 11079016448 21642 33554432000 4194304 4196468 140722188739504 140361023805936 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28898] ppid=28832 vsize=10819352 memory=15460 CPUtime=0.19 cores=0,2,4,6
/proc/28835/task/28898/stat : 28898 (java) S 28832 28835 24765 0 -1 1077944384 793 13141 0 0 11 0 5 3 20 0 15 0 64158513 11079016448 21642 33554432000 4194304 4196468 140722188739504 140361022753392 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28899] ppid=28832 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/28835/task/28899/stat : 28899 (java) S 28832 28835 24765 0 -1 1077944384 647 13141 0 0 13 0 5 3 20 0 15 0 64158513 11079016448 21642 33554432000 4194304 4196468 140722188739504 140361021700848 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28900] ppid=28832 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28900/stat : 28900 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11079016448 21642 33554432000 4194304 4196468 140722188739504 140359995575392 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28901] ppid=28832 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28901/stat : 28901 (java) S 28832 28835 24765 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 64158513 11079016448 21642 33554432000 4194304 4196468 140722188739504 140361020647728 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86568 KiB
[startup+1.50083 s]
/proc/loadavg: 1.43 1.47 1.44 4/215 28901
/proc/meminfo: memFree=20630176/32770624 swapFree=67108860/67108860
[pid=28835] ppid=28832 vsize=10832204 memory=190636 CPUtime=2.91 cores=0,2,4,6
/proc/28835/stat : 28835 (java) S 28832 28835 24765 0 -1 1077944320 23673 13141 0 0 274 9 5 3 20 0 15 0 64158498 11092176896 47659 33554432000 4194304 4196468 140722188739504 140722188722048 140361498275575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
/proc/28835/statm: 2708051 47659 3451 1 0 2669709 0
[pid=28835/tid=28888] ppid=28832 vsize=10832204 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/28835/task/28888/stat : 28888 (java) R 28832 28835 24765 0 -1 4202560 16609 13141 0 0 131 7 5 3 20 0 15 0 64158507 11092176896 47659 33554432000 4194304 4196468 140722188739504 140361470090800 140361482356062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28889] ppid=28832 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28889/stat : 28889 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158508 11092176896 47659 33554432000 4194304 4196468 140722188739504 140361502518032 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28890] ppid=28832 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28890/stat : 28890 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158508 11092176896 47659 33554432000 4194304 4196468 140722188739504 140361417337744 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28891] ppid=28832 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28891/stat : 28891 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158508 11092176896 47659 33554432000 4194304 4196468 140722188739504 140361416285200 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28892] ppid=28832 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28892/stat : 28892 (java) S 28832 28835 24765 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 64158508 11092176896 47659 33554432000 4194304 4196468 140722188739504 140361415232656 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28893] ppid=28832 vsize=10832204 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28893/stat : 28893 (java) S 28832 28835 24765 0 -1 1077944384 7 13141 0 0 0 0 5 3 20 0 15 0 64158509 11092176896 47659 33554432000 4194304 4196468 140722188739504 140361024858096 140361498286722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28894] ppid=28832 vsize=10832204 memory=280029720291584 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28894/stat : 28894 (java) S 28832 28835 24765 0 -1 1077944384 13 13141 0 0 0 0 5 3 20 0 15 0 64158510 11092176896 47659 33554432000 4194304 4196468 140722188739504 140360470750112 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28895] ppid=28832 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28895/stat : 28895 (java) S 28832 28835 24765 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 64158510 11092176896 47659 33554432000 4194304 4196468 140722188739504 140360269423600 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28896] ppid=28832 vsize=10832204 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28896/stat : 28896 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11092176896 47659 33554432000 4194304 4196468 140722188739504 140360029133008 140361498294171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28897] ppid=28832 vsize=10832204 memory=1704 CPUtime=0.51 cores=0,2,4,6
/proc/28835/task/28897/stat : 28897 (java) S 28832 28835 24765 0 -1 1077944384 1605 13141 0 0 43 0 5 3 20 0 15 0 64158513 11092176896 47659 33554432000 4194304 4196468 140722188739504 140361023805936 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28898] ppid=28832 vsize=10832204 memory=9924 CPUtime=0.63 cores=0,2,4,6
/proc/28835/task/28898/stat : 28898 (java) S 28832 28835 24765 0 -1 1077944384 1748 13141 0 0 55 0 5 3 20 0 15 0 64158513 11092176896 47659 33554432000 4194304 4196468 140722188739504 140361022753392 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28899] ppid=28832 vsize=10832204 memory=5788 CPUtime=0.51 cores=0,2,4,6
/proc/28835/task/28899/stat : 28899 (java) S 28832 28835 24765 0 -1 1077944384 1488 13141 0 0 43 0 5 3 20 0 15 0 64158513 11092176896 47659 33554432000 4194304 4196468 140722188739504 140361021700848 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28900] ppid=28832 vsize=10832204 memory=1936 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28900/stat : 28900 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11092176896 47659 33554432000 4194304 4196468 140722188739504 140359995575392 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28901] ppid=28832 vsize=10832204 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28901/stat : 28901 (java) S 28832 28835 24765 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 64158513 11092176896 47659 33554432000 4194304 4196468 140722188739504 140361020647728 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
[startup+8.86372 s]
# the end of solver process 28835 was just reported to runsolver
# cumulated CPU time of all completed processes: user=22.459 s, system=0.405258 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4032 s]
/proc/loadavg: 1.39 1.46 1.44 6/215 28901
/proc/meminfo: memFree=20341104/32770624 swapFree=67108860/67108860
[pid=28835] ppid=28832 vsize=10844512 memory=381624 CPUtime=16.08 cores=0,2,4,6
/proc/28835/stat : 28835 (java) S 28832 28835 24765 0 -1 1077944320 52072 13141 0 0 1573 27 5 3 20 0 15 0 64158498 11104780288 95406 33554432000 4194304 4196468 140722188739504 140722188722048 140361498275575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
/proc/28835/statm: 2711128 95406 3522 1 0 2672781 0
[pid=28835/tid=28888] ppid=28832 vsize=10844512 memory=8 CPUtime=6.21 cores=0,2,4,6
/proc/28835/task/28888/stat : 28888 (java) R 28832 28835 24765 0 -1 4202560 28771 13141 0 0 603 10 5 3 20 0 15 0 64158507 11104780288 95406 33554432000 4194304 4196468 140722188739504 140361470105696 140361106495032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28889] ppid=28832 vsize=10844512 memory=8 CPUtime=0.16 cores=0,2,4,6
/proc/28835/task/28889/stat : 28889 (java) S 28832 28835 24765 0 -1 1077944384 336 13141 0 0 6 2 5 3 20 0 15 0 64158508 11104780288 95406 33554432000 4194304 4196468 140722188739504 140361502518032 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28890] ppid=28832 vsize=10844512 memory=6791534058613427641 CPUtime=0.16 cores=0,2,4,6
/proc/28835/task/28890/stat : 28890 (java) S 28832 28835 24765 0 -1 1077944384 197 13141 0 0 6 2 5 3 20 0 15 0 64158508 11104780288 95406 33554432000 4194304 4196468 140722188739504 140361417337744 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28891] ppid=28832 vsize=10844512 memory=7518026630507424363 CPUtime=0.16 cores=0,2,4,6
/proc/28835/task/28891/stat : 28891 (java) S 28832 28835 24765 0 -1 1077944384 276 13141 0 0 6 2 5 3 20 0 15 0 64158508 11104780288 95406 33554432000 4194304 4196468 140722188739504 140361416285200 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28892] ppid=28832 vsize=10844512 memory=7518026630507424363 CPUtime=0.16 cores=0,2,4,6
/proc/28835/task/28892/stat : 28892 (java) S 28832 28835 24765 0 -1 1077944384 194 13141 0 0 6 2 5 3 20 0 15 0 64158508 11104780288 95406 33554432000 4194304 4196468 140722188739504 140361415232656 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28893] ppid=28832 vsize=10844512 memory=7523657237893246039 CPUtime=0.11 cores=0,2,4,6
/proc/28835/task/28893/stat : 28893 (java) S 28832 28835 24765 0 -1 1077944384 168 13141 0 0 3 0 5 3 20 0 15 0 64158509 11104780288 95406 33554432000 4194304 4196468 140722188739504 140361024858096 140361498286722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28894] ppid=28832 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28894/stat : 28894 (java) S 28832 28835 24765 0 -1 1077944384 15 13141 0 0 0 0 5 3 20 0 15 0 64158510 11104780288 95406 33554432000 4194304 4196468 140722188739504 140360470750240 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28895] ppid=28832 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28895/stat : 28895 (java) S 28832 28835 24765 0 -1 1077944384 43 13141 0 0 0 0 5 3 20 0 15 0 64158510 11104780288 95406 33554432000 4194304 4196468 140722188739504 140360269423616 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28896] ppid=28832 vsize=10844512 memory=3472468310279554319 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28896/stat : 28896 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11104780288 95406 33554432000 4194304 4196468 140722188739504 140360029133008 140361498294171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28897] ppid=28832 vsize=10844512 memory=280029720651376 CPUtime=3.88 cores=0,2,4,6
/proc/28835/task/28897/stat : 28897 (java) R 28832 28835 24765 0 -1 4202560 7023 13141 0 0 378 2 5 3 20 0 15 0 64158513 11104780288 95406 33554432000 4194304 4196468 140722188739504 140361023787648 140361481686380 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28898] ppid=28832 vsize=10844512 memory=0 CPUtime=3.91 cores=0,2,4,6
/proc/28835/task/28898/stat : 28898 (java) R 28832 28835 24765 0 -1 4202560 7127 13141 0 0 382 1 5 3 20 0 15 0 64158513 11104780288 95406 33554432000 4194304 4196468 140722188739504 140361022739992 140361482668408 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28899] ppid=28832 vsize=10844512 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/28835/task/28899/stat : 28899 (java) S 28832 28835 24765 0 -1 1077944384 5679 13141 0 0 178 2 5 3 20 0 15 0 64158513 11104780288 95406 33554432000 4194304 4196468 140722188739504 140361021700848 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28900] ppid=28832 vsize=10844512 memory=-3621219749712857441 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28900/stat : 28900 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11104780288 95406 33554432000 4194304 4196468 140722188739504 140359995575392 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28901] ppid=28832 vsize=10844512 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28901/stat : 28901 (java) S 28832 28835 24765 0 -1 1077944384 47 13141 0 0 0 0 5 3 20 0 15 0 64158513 11104780288 95406 33554432000 4194304 4196468 140722188739504 140361020647728 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
Current children cumulated CPU time: 16.08 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 381624 KiB
[startup+8.00406 s]*
/proc/loadavg: 1.39 1.46 1.44 5/215 28901
/proc/meminfo: memFree=20274712/32770624 swapFree=67108860/67108860
[pid=28835] ppid=28832 vsize=10848608 memory=416812 CPUtime=20.41 cores=0,2,4,6
/proc/28835/stat : 28835 (java) S 28832 28835 24765 0 -1 1077944320 56698 13141 0 0 2002 31 5 3 20 0 15 0 64158498 11108974592 104203 33554432000 4194304 4196468 140722188739504 140722188722048 140361498275575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
/proc/28835/statm: 2712152 104203 3525 1 0 2673805 0
[pid=28835/tid=28888] ppid=28832 vsize=10848608 memory=6791534058613427641 CPUtime=7.74 cores=0,2,4,6
/proc/28835/task/28888/stat : 28888 (java) R 28832 28835 24765 0 -1 4202560 29845 13141 0 0 755 11 5 3 20 0 15 0 64158507 11108974592 104203 33554432000 4194304 4196468 140722188739504 140361470106640 140361091655537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28889] ppid=28832 vsize=10848608 memory=4126316290023845779 CPUtime=0.22 cores=0,2,4,6
/proc/28835/task/28889/stat : 28889 (java) S 28832 28835 24765 0 -1 1077944384 361 13141 0 0 11 3 5 3 20 0 15 0 64158508 11108974592 104203 33554432000 4194304 4196468 140722188739504 140361502518032 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28890] ppid=28832 vsize=10848608 memory=1292 CPUtime=0.22 cores=0,2,4,6
/proc/28835/task/28890/stat : 28890 (java) S 28832 28835 24765 0 -1 1077944384 228 13141 0 0 11 3 5 3 20 0 15 0 64158508 11108974592 104203 33554432000 4194304 4196468 140722188739504 140361417337744 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28891] ppid=28832 vsize=10848608 memory=1728 CPUtime=0.21 cores=0,2,4,6
/proc/28835/task/28891/stat : 28891 (java) S 28832 28835 24765 0 -1 1077944384 310 13141 0 0 11 2 5 3 20 0 15 0 64158508 11108974592 104203 33554432000 4194304 4196468 140722188739504 140361416285200 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28892] ppid=28832 vsize=10848608 memory=796 CPUtime=0.22 cores=0,2,4,6
/proc/28835/task/28892/stat : 28892 (java) S 28832 28835 24765 0 -1 1077944384 227 13141 0 0 11 3 5 3 20 0 15 0 64158508 11108974592 104203 33554432000 4194304 4196468 140722188739504 140361415232656 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28893] ppid=28832 vsize=10848608 memory=1012 CPUtime=0.13 cores=0,2,4,6
/proc/28835/task/28893/stat : 28893 (java) S 28832 28835 24765 0 -1 1077944384 2628 13141 0 0 5 0 5 3 20 0 15 0 64158509 11108974592 104203 33554432000 4194304 4196468 140722188739504 140361024858096 140361498286722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28894] ppid=28832 vsize=10848608 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28894/stat : 28894 (java) S 28832 28835 24765 0 -1 1077944384 15 13141 0 0 0 0 5 3 20 0 15 0 64158510 11108974592 104203 33554432000 4194304 4196468 140722188739504 140360470750240 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28895] ppid=28832 vsize=10848608 memory=1704 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28895/stat : 28895 (java) S 28832 28835 24765 0 -1 1077944384 43 13141 0 0 0 0 5 3 20 0 15 0 64158510 11108974592 104203 33554432000 4194304 4196468 140722188739504 140360269423616 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28896] ppid=28832 vsize=10848608 memory=9924 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28896/stat : 28896 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11108974592 104203 33554432000 4194304 4196468 140722188739504 140360029133008 140361498294171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28897] ppid=28832 vsize=10848608 memory=5788 CPUtime=4.97 cores=0,2,4,6
/proc/28835/task/28897/stat : 28897 (java) R 28832 28835 24765 0 -1 4202560 7313 13141 0 0 487 2 5 3 20 0 15 0 64158513 11108974592 104203 33554432000 4194304 4196468 140722188739504 140361023805856 140361479685583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28898] ppid=28832 vsize=10848608 memory=1936 CPUtime=5.04 cores=0,2,4,6
/proc/28835/task/28898/stat : 28898 (java) R 28832 28835 24765 0 -1 4202560 7365 13141 0 0 494 2 5 3 20 0 15 0 64158513 11108974592 104203 33554432000 4194304 4196468 140722188739504 140361022753392 140361483198633 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28899] ppid=28832 vsize=10848608 memory=1196 CPUtime=2.21 cores=0,2,4,6
/proc/28835/task/28899/stat : 28899 (java) R 28832 28835 24765 0 -1 1077944384 6122 13141 0 0 211 2 5 3 20 0 15 0 64158513 11108974592 104203 33554432000 4194304 4196468 140722188739504 140361021700848 140361498286722 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28900] ppid=28832 vsize=10848608 memory=8516 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28900/stat : 28900 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11108974592 104203 33554432000 4194304 4196468 140722188739504 140359995575392 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28901] ppid=28832 vsize=10848608 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28901/stat : 28901 (java) S 28832 28835 24765 0 -1 1077944384 47 13141 0 0 0 0 5 3 20 0 15 0 64158513 11108974592 104203 33554432000 4194304 4196468 140722188739504 140361020647728 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
Current children cumulated CPU time: 20.41 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 416812 KiB
[startup+8.40279 s]
/proc/loadavg: 1.39 1.46 1.44 5/215 28901
/proc/meminfo: memFree=20274712/32770624 swapFree=67108860/67108860
[pid=28835] ppid=28832 vsize=10916192 memory=455284 CPUtime=21.36 cores=0,2,4,6
/proc/28835/stat : 28835 (java) S 28832 28835 24765 0 -1 1077944320 66319 13141 0 0 2095 33 5 3 20 0 15 0 64158498 11178180608 113821 33554432000 4194304 4196468 140722188739504 140722188722048 140361498275575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
/proc/28835/statm: 2729048 113821 3525 1 0 2690701 0
[pid=28835/tid=28888] ppid=28832 vsize=10916192 memory=0 CPUtime=8.12 cores=0,2,4,6
/proc/28835/task/28888/stat : 28888 (java) R 28832 28835 24765 0 -1 4202560 38453 13141 0 0 792 12 5 3 20 0 15 0 64158507 11178180608 113821 33554432000 4194304 4196468 140722188739504 140361470102912 140361498296922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28889] ppid=28832 vsize=10916192 memory=288230583166042425 CPUtime=0.22 cores=0,2,4,6
/proc/28835/task/28889/stat : 28889 (java) S 28832 28835 24765 0 -1 1077944384 361 13141 0 0 11 3 5 3 20 0 15 0 64158508 11178180608 113821 33554432000 4194304 4196468 140722188739504 140361502518032 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28890] ppid=28832 vsize=10916192 memory=15824378344507954 CPUtime=0.22 cores=0,2,4,6
/proc/28835/task/28890/stat : 28890 (java) S 28832 28835 24765 0 -1 1077944384 228 13141 0 0 11 3 5 3 20 0 15 0 64158508 11178180608 113821 33554432000 4194304 4196468 140722188739504 140361417337744 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28891] ppid=28832 vsize=10916192 memory=4052 CPUtime=0.21 cores=0,2,4,6
/proc/28835/task/28891/stat : 28891 (java) S 28832 28835 24765 0 -1 1077944384 310 13141 0 0 11 2 5 3 20 0 15 0 64158508 11178180608 113821 33554432000 4194304 4196468 140722188739504 140361416285200 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28892] ppid=28832 vsize=10916192 memory=18252 CPUtime=0.22 cores=0,2,4,6
/proc/28835/task/28892/stat : 28892 (java) S 28832 28835 24765 0 -1 1077944384 227 13141 0 0 11 3 5 3 20 0 15 0 64158508 11178180608 113821 33554432000 4194304 4196468 140722188739504 140361415232656 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28893] ppid=28832 vsize=10916192 memory=11768 CPUtime=0.13 cores=0,2,4,6
/proc/28835/task/28893/stat : 28893 (java) S 28832 28835 24765 0 -1 1077944384 2628 13141 0 0 5 0 5 3 20 0 15 0 64158509 11178180608 113821 33554432000 4194304 4196468 140722188739504 140361024858096 140361498286722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28894] ppid=28832 vsize=10916192 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28894/stat : 28894 (java) S 28832 28835 24765 0 -1 1077944384 15 13141 0 0 0 0 5 3 20 0 15 0 64158510 11178180608 113821 33554432000 4194304 4196468 140722188739504 140360470750240 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28895] ppid=28832 vsize=10916192 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28895/stat : 28895 (java) S 28832 28835 24765 0 -1 1077944384 43 13141 0 0 0 0 5 3 20 0 15 0 64158510 11178180608 113821 33554432000 4194304 4196468 140722188739504 140360269423616 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28896] ppid=28832 vsize=10916192 memory=960 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28896/stat : 28896 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11178180608 113821 33554432000 4194304 4196468 140722188739504 140360029133008 140361498294171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28897] ppid=28832 vsize=10916192 memory=1232 CPUtime=5.16 cores=0,2,4,6
/proc/28835/task/28897/stat : 28897 (java) R 28832 28835 24765 0 -1 4202560 7380 13141 0 0 506 2 5 3 20 0 15 0 64158513 11178180608 113821 33554432000 4194304 4196468 140722188739504 140361023785872 140361476260637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28898] ppid=28832 vsize=10916192 memory=2344 CPUtime=5.25 cores=0,2,4,6
/proc/28835/task/28898/stat : 28898 (java) R 28832 28835 24765 0 -1 4202560 8057 13141 0 0 515 2 5 3 20 0 15 0 64158513 11178180608 113821 33554432000 4194304 4196468 140722188739504 140361022738592 140361483381720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28899] ppid=28832 vsize=10916192 memory=928 CPUtime=2.36 cores=0,2,4,6
/proc/28835/task/28899/stat : 28899 (java) R 28832 28835 24765 0 -1 1077944384 6374 13141 0 0 226 2 5 3 20 0 15 0 64158513 11178180608 113821 33554432000 4194304 4196468 140722188739504 140361021698048 140361498285781 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28900] ppid=28832 vsize=10916192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28900/stat : 28900 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11178180608 113821 33554432000 4194304 4196468 140722188739504 140359995575392 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28901] ppid=28832 vsize=10916192 memory=42116 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28901/stat : 28901 (java) S 28832 28835 24765 0 -1 1077944384 47 13141 0 0 0 0 5 3 20 0 15 0 64158513 11178180608 113821 33554432000 4194304 4196468 140722188739504 140361020647728 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
Current children cumulated CPU time: 21.36 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 455284 KiB
[startup+8.80068 s]
/proc/loadavg: 1.39 1.46 1.44 5/215 28901
/proc/meminfo: memFree=20274712/32770624 swapFree=67108860/67108860
[pid=28835] ppid=28832 vsize=10916192 memory=511500 CPUtime=22.7 cores=0,2,4,6
/proc/28835/stat : 28835 (java) S 28832 28835 24765 0 -1 1077944320 71738 13141 0 0 2227 35 5 3 20 0 15 0 64158498 11178180608 127875 33554432000 4194304 4196468 140722188739504 140722188722048 140361498275575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
/proc/28835/statm: 2729048 127875 3525 1 0 2690701 0
[pid=28835/tid=28888] ppid=28832 vsize=10916192 memory=13869 CPUtime=8.51 cores=0,2,4,6
/proc/28835/task/28888/stat : 28888 (java) R 28832 28835 24765 0 -1 4202560 39713 13141 0 0 830 13 5 3 20 0 15 0 64158507 11178180608 127875 33554432000 4194304 4196468 140722188739504 140361470102992 140361482356062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28889] ppid=28832 vsize=10916192 memory=6791534058613427641 CPUtime=0.23 cores=0,2,4,6
/proc/28835/task/28889/stat : 28889 (java) S 28832 28835 24765 0 -1 1077944384 439 13141 0 0 12 3 5 3 20 0 15 0 64158508 11178180608 127875 33554432000 4194304 4196468 140722188739504 140361502518032 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28890] ppid=28832 vsize=10916192 memory=1728 CPUtime=0.23 cores=0,2,4,6
/proc/28835/task/28890/stat : 28890 (java) S 28832 28835 24765 0 -1 1077944384 282 13141 0 0 12 3 5 3 20 0 15 0 64158508 11178180608 127875 33554432000 4194304 4196468 140722188739504 140361417337744 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28891] ppid=28832 vsize=10916192 memory=796 CPUtime=0.22 cores=0,2,4,6
/proc/28835/task/28891/stat : 28891 (java) S 28832 28835 24765 0 -1 1077944384 1021 13141 0 0 12 2 5 3 20 0 15 0 64158508 11178180608 127875 33554432000 4194304 4196468 140722188739504 140361416285200 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28892] ppid=28832 vsize=10916192 memory=414256 CPUtime=0.23 cores=0,2,4,6
/proc/28835/task/28892/stat : 28892 (java) S 28832 28835 24765 0 -1 1077944384 282 13141 0 0 12 3 5 3 20 0 15 0 64158508 11178180608 127875 33554432000 4194304 4196468 140722188739504 140361415232656 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28893] ppid=28832 vsize=10916192 memory=1228 CPUtime=0.14 cores=0,2,4,6
/proc/28835/task/28893/stat : 28893 (java) S 28832 28835 24765 0 -1 1077944384 2646 13141 0 0 6 0 5 3 20 0 15 0 64158509 11178180608 127875 33554432000 4194304 4196468 140722188739504 140361024858096 140361498286722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28894] ppid=28832 vsize=10916192 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28894/stat : 28894 (java) S 28832 28835 24765 0 -1 1077944384 15 13141 0 0 0 0 5 3 20 0 15 0 64158510 11178180608 127875 33554432000 4194304 4196468 140722188739504 140360470750240 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28895] ppid=28832 vsize=10916192 memory=-5703089342203525590 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28895/stat : 28895 (java) S 28832 28835 24765 0 -1 1077944384 43 13141 0 0 0 0 5 3 20 0 15 0 64158510 11178180608 127875 33554432000 4194304 4196468 140722188739504 140360269423616 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28896] ppid=28832 vsize=10916192 memory=5782692679075529345 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28896/stat : 28896 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11178180608 127875 33554432000 4194304 4196468 140722188739504 140360029133008 140361498294171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28897] ppid=28832 vsize=10916192 memory=9051283677730746851 CPUtime=5.55 cores=0,2,4,6
/proc/28835/task/28897/stat : 28897 (java) R 28832 28835 24765 0 -1 4202560 8480 13141 0 0 545 2 5 3 20 0 15 0 64158513 11178180608 127875 33554432000 4194304 4196468 140722188739504 140361023797888 140361479024187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28898] ppid=28832 vsize=10916192 memory=-2892745056948402235 CPUtime=5.63 cores=0,2,4,6
/proc/28835/task/28898/stat : 28898 (java) R 28832 28835 24765 0 -1 4202560 9455 13141 0 0 553 2 5 3 20 0 15 0 64158513 11178180608 127875 33554432000 4194304 4196468 140722188739504 140361022743104 140361481772304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28899] ppid=28832 vsize=10916192 memory=-3621219715169225006 CPUtime=2.51 cores=0,2,4,6
/proc/28835/task/28899/stat : 28899 (java) S 28832 28835 24765 0 -1 1077944384 7119 13141 0 0 240 3 5 3 20 0 15 0 64158513 11178180608 127875 33554432000 4194304 4196468 140722188739504 140361021700848 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28900] ppid=28832 vsize=10916192 memory=-7751062316387021378 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28900/stat : 28900 (java) S 28832 28835 24765 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 64158513 11178180608 127875 33554432000 4194304 4196468 140722188739504 140359995575392 140361498285781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
[pid=28835/tid=28901] ppid=28832 vsize=10916192 memory=8514701219880993441 CPUtime=0.08 cores=0,2,4,6
/proc/28835/task/28901/stat : 28901 (java) S 28832 28835 24765 0 -1 1077944384 47 13141 0 0 0 0 5 3 20 0 15 0 64158513 11178180608 127875 33554432000 4194304 4196468 140722188739504 140361020647728 140361498286722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140722188744875 140722188748124 140722188748124 140722188750799 0
Current children cumulated CPU time: 22.7 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 511500 KiB
Child status: 0
Real time (s): 8.86378
CPU time (s): 22.8643
CPU user time (s): 22.459
CPU system time (s): 0.405258
CPU usage (%): 257.952
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 511500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.459
system time used= 0.405258
maximum resident set size= 514820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86394
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8735
involuntary context switches= 91
# summary of solver processes directly reported to runsolver:
# pid: 28835
# total CPU time (s): 22.8643
# total CPU user time (s): 22.459
# total CPU system time (s): 0.405258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071795 second user time and 0.128276 second system time
The end