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 (11856 MiB free)
  memory of node 1: 16384 MiB (15441 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274166-1502745529/watcher-4274166-1502745529 -o /tmp/evaluation-result-4274166-1502745529/solver-4274166-1502745529 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 954895684 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274166-1502745529.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26875, runsolver pid=26872
Current StackSize limit: 8192 KiB


[startup+0.100175 s]*
/proc/loadavg: 1.67 1.52 1.45 4/202 26882
/proc/meminfo: memFree=27945332/32770624 swapFree=67105588/67108860
[pid=26875] ppid=26872 vsize=13573664 memory=18744 CPUtime=0.03 cores=1,3,5,7
/proc/26875/stat : 26875 (java) S 26872 26875 12560 0 -1 1077944320 4079 0 0 0 2 1 0 0 20 0 9 0 76748217 13899431936 4686 18446744073709551615 4194304 4196468 140729848641056 140729848623600 139697730686711 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
/proc/26875/statm: 3393416 4686 2090 1 0 3382913 0
[pid=26875/tid=26877] ppid=26872 vsize=13573664 memory=-6439968830534014599 CPUtime=0.02 cores=1,3,5,7
/proc/26875/task/26877/stat : 26877 (java) R 26872 26875 12560 0 -1 4202560 2708 0 0 0 2 0 0 0 20 0 9 0 76748225 13899431936 4686 18446744073709551615 4194304 4196468 140729848641056 139697734922472 139697716369237 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26878] ppid=26872 vsize=13573664 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26878/stat : 26878 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 76748226 13899431936 4686 18446744073709551615 4194304 4196468 140729848641056 139697650101008 139697730696917 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26879] ppid=26872 vsize=13573664 memory=140662862247552 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26879/stat : 26879 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 76748226 13899431936 4686 18446744073709551615 4194304 4196468 140729848641056 139697649048464 139697730696917 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26880] ppid=26872 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26880/stat : 26880 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 76748226 13899431936 4686 18446744073709551615 4194304 4196468 140729848641056 139697647995920 139697730696917 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26881] ppid=26872 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26881/stat : 26881 (java) S 26872 26875 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 76748226 13899431936 4686 18446744073709551615 4194304 4196468 140729848641056 139697646943376 139697730696917 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26882] ppid=26872 vsize=13573664 memory=140662862247552 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26882/stat : 26882 (java) S 26872 26875 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 76748227 13899431936 4686 18446744073709551615 4194304 4196468 140729848641056 139697231742960 139697730697858 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26883] ppid=26872 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26883/stat : 26883 (java) S 26872 26875 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 76748227 13899431936 4686 18446744073709551615 4194304 4196468 140729848641056 139697230689184 139697730696917 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26884] ppid=26872 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26884/stat : 26884 (java) S 26872 26875 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 76748228 13899431936 4686 18446744073709551615 4194304 4196468 140729848641056 139697229636656 139697730696917 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 18744 KiB

[startup+0.209832 s]*
/proc/loadavg: 1.67 1.52 1.45 3/210 26890
/proc/meminfo: memFree=27936100/32770624 swapFree=67105588/67108860
[pid=26875] ppid=26872 vsize=13976944 memory=34364 CPUtime=0.12 cores=1,3,5,7
/proc/26875/stat : 26875 (java) S 26872 26875 12560 0 -1 1077944320 9082 0 0 0 10 2 0 0 20 0 15 0 76748217 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 140729848623600 139697730686711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
/proc/26875/statm: 3494236 8591 3385 1 0 3483015 0
[pid=26875/tid=26877] ppid=26872 vsize=13976944 memory=8318255677412212789 CPUtime=0.08 cores=1,3,5,7
/proc/26875/task/26877/stat : 26877 (java) R 26872 26875 12560 0 -1 4202560 7037 0 0 0 7 1 0 0 20 0 15 0 76748225 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697734876160 139697723366429 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26878] ppid=26872 vsize=13976944 memory=328 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26878/stat : 26878 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76748226 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697650101008 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26879] ppid=26872 vsize=13976944 memory=140662862986087 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26879/stat : 26879 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76748226 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697649048464 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26880] ppid=26872 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26880/stat : 26880 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76748226 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697647995920 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26881] ppid=26872 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26881/stat : 26881 (java) S 26872 26875 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76748226 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697646943376 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26882] ppid=26872 vsize=13976944 memory=140662862247552 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26882/stat : 26882 (java) S 26872 26875 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76748227 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697231742960 139697730697858 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26883] ppid=26872 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26883/stat : 26883 (java) S 26872 26875 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76748227 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697230689184 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26884] ppid=26872 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26884/stat : 26884 (java) S 26872 26875 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76748228 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697229636592 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26885] ppid=26872 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26885/stat : 26885 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697228585168 139697730705307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26886] ppid=26872 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26886/stat : 26886 (java) S 26872 26875 12560 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 76748230 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697227532784 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26887] ppid=26872 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26887/stat : 26887 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697226480240 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26888] ppid=26872 vsize=13976944 memory=140662862247552 CPUtime=0.01 cores=1,3,5,7
/proc/26875/task/26888/stat : 26888 (java) S 26872 26875 12560 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 15 0 76748230 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697225427696 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26889] ppid=26872 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26889/stat : 26889 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697224375392 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26890] ppid=26872 vsize=13976944 memory=140662862247552 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26890/stat : 26890 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76748235 14312390656 8591 18446744073709551615 4194304 4196468 140729848641056 139697223321904 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 34364 KiB

[startup+0.310243 s]*
/proc/loadavg: 1.67 1.52 1.45 4/210 26890
/proc/meminfo: memFree=27926840/32770624 swapFree=67105588/67108860
[pid=26875] ppid=26872 vsize=13975920 memory=42164 CPUtime=0.28 cores=1,3,5,7
/proc/26875/stat : 26875 (java) S 26872 26875 12560 0 -1 1077944320 10815 0 0 0 25 3 0 0 20 0 15 0 76748217 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 140729848623600 139697730686711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
/proc/26875/statm: 3493980 10541 3566 1 0 3482759 0
[pid=26875/tid=26877] ppid=26872 vsize=13975920 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/26875/task/26877/stat : 26877 (java) R 26872 26875 12560 0 -1 4202560 8423 0 0 0 16 3 0 0 20 0 15 0 76748225 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697734911792 139697730708637 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26878] ppid=26872 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26878/stat : 26878 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76748226 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697650101008 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26879] ppid=26872 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26879/stat : 26879 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76748226 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697649048464 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26880] ppid=26872 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26880/stat : 26880 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76748226 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697647995920 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26881] ppid=26872 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26881/stat : 26881 (java) S 26872 26875 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76748226 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697646943376 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26882] ppid=26872 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26882/stat : 26882 (java) S 26872 26875 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 76748227 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697231742960 139697730697858 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26883] ppid=26872 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26883/stat : 26883 (java) S 26872 26875 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76748227 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697230689184 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26884] ppid=26872 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26884/stat : 26884 (java) S 26872 26875 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76748228 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697229636592 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26885] ppid=26872 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26885/stat : 26885 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697228585168 139697730705307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26886] ppid=26872 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26875/task/26886/stat : 26886 (java) R 26872 26875 12560 0 -1 4202560 521 0 0 0 1 0 0 0 20 0 15 0 76748230 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697227532784 139697708379024 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26887] ppid=26872 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26887/stat : 26887 (java) S 26872 26875 12560 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 76748230 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697226480240 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26888] ppid=26872 vsize=13975920 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/26875/task/26888/stat : 26888 (java) S 26872 26875 12560 0 -1 1077944384 456 0 0 0 5 0 0 0 20 0 15 0 76748230 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697225427696 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26889] ppid=26872 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26889/stat : 26889 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697224375392 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26890] ppid=26872 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26890/stat : 26890 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76748235 14311342080 10541 18446744073709551615 4194304 4196468 140729848641056 139697223321904 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 42164 KiB

[startup+0.707409 s]
/proc/loadavg: 1.67 1.52 1.45 4/210 26890
/proc/meminfo: memFree=27911256/32770624 swapFree=67105588/67108860
[pid=26875] ppid=26872 vsize=13977988 memory=75960 CPUtime=1.22 cores=1,3,5,7
/proc/26875/stat : 26875 (java) S 26872 26875 12560 0 -1 1077944320 14176 0 0 0 117 5 0 0 20 0 15 0 76748217 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 140729848623600 139697730686711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
/proc/26875/statm: 3494497 18990 3727 1 0 3483271 0
[pid=26875/tid=26877] ppid=26872 vsize=13977988 memory=97 CPUtime=0.57 cores=1,3,5,7
/proc/26875/task/26877/stat : 26877 (java) R 26872 26875 12560 0 -1 4202560 10319 0 0 0 53 4 0 0 20 0 15 0 76748225 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697734922032 139697317817480 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26878] ppid=26872 vsize=13977988 memory=28 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26878/stat : 26878 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76748226 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697650101008 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26879] ppid=26872 vsize=13977988 memory=33 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26879/stat : 26879 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76748226 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697649048464 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26880] ppid=26872 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26880/stat : 26880 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76748226 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697647995920 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26881] ppid=26872 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26881/stat : 26881 (java) S 26872 26875 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76748226 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697646943376 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26882] ppid=26872 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26882/stat : 26882 (java) S 26872 26875 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 76748227 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697231742960 139697730697858 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26883] ppid=26872 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26883/stat : 26883 (java) S 26872 26875 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76748227 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697230689184 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26884] ppid=26872 vsize=13977988 memory=984 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26884/stat : 26884 (java) S 26872 26875 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76748228 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697229636592 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26885] ppid=26872 vsize=13977988 memory=70 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26885/stat : 26885 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697228585168 139697730705307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26886] ppid=26872 vsize=13977988 memory=257 CPUtime=0.2 cores=1,3,5,7
/proc/26875/task/26886/stat : 26886 (java) S 26872 26875 12560 0 -1 1077944384 1068 0 0 0 20 0 0 0 20 0 15 0 76748230 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697227532784 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26887] ppid=26872 vsize=13977988 memory=281325458165520 CPUtime=0.18 cores=1,3,5,7
/proc/26875/task/26887/stat : 26887 (java) R 26872 26875 12560 0 -1 4202560 522 0 0 0 18 0 0 0 20 0 15 0 76748230 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697226470048 139697712207475 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26888] ppid=26872 vsize=13977988 memory=2510811039489 CPUtime=0.24 cores=1,3,5,7
/proc/26875/task/26888/stat : 26888 (java) R 26872 26875 12560 0 -1 4202560 886 0 0 0 24 0 0 0 20 0 15 0 76748230 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697225425488 139697709313169 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26889] ppid=26872 vsize=13977988 memory=2519400974081 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26889/stat : 26889 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697224375392 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26890] ppid=26872 vsize=13977988 memory=2562350647041 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26890/stat : 26890 (java) S 26872 26875 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76748235 14313459712 18990 18446744073709551615 4194304 4196468 140729848641056 139697223321904 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 75960 KiB

[startup+1.5052 s]
/proc/loadavg: 1.67 1.52 1.45 6/210 26890
/proc/meminfo: memFree=27816240/32770624 swapFree=67105588/67108860
[pid=26875] ppid=26872 vsize=13980036 memory=208728 CPUtime=3.75 cores=1,3,5,7
/proc/26875/stat : 26875 (java) S 26872 26875 12560 0 -1 1077944320 26160 0 0 0 366 9 0 0 20 0 15 0 76748217 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 140729848623600 139697730686711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
/proc/26875/statm: 3495009 52182 3795 1 0 3483783 0
[pid=26875/tid=26877] ppid=26872 vsize=13980036 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/26875/task/26877/stat : 26877 (java) R 26872 26875 12560 0 -1 1077944384 13106 0 0 0 129 6 0 0 20 0 15 0 76748225 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 139697734921552 139697730696917 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26878] ppid=26872 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26878/stat : 26878 (java) S 26872 26875 12560 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 76748226 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 139697650101008 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26879] ppid=26872 vsize=13980036 memory=281325458397280 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26879/stat : 26879 (java) S 26872 26875 12560 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 76748226 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 139697649048464 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26880] ppid=26872 vsize=13980036 memory=9132 CPUtime=0.01 cores=1,3,5,7
/proc/26875/task/26880/stat : 26880 (java) S 26872 26875 12560 0 -1 1077944384 556 0 0 0 1 0 0 0 20 0 15 0 76748226 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 139697647995920 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26881] ppid=26872 vsize=13980036 memory=19658 CPUtime=0.01 cores=1,3,5,7
/proc/26875/task/26881/stat : 26881 (java) S 26872 26875 12560 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 15 0 76748226 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 139697646943376 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26882] ppid=26872 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26882/stat : 26882 (java) S 26872 26875 12560 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 76748227 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 139697231742960 139697730697858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26883] ppid=26872 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26883/stat : 26883 (java) S 26872 26875 12560 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 76748227 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 139697230689184 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26884] ppid=26872 vsize=13980036 memory=33 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26884/stat : 26884 (java) S 26872 26875 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 76748228 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 139697229636592 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26885] ppid=26872 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26885/stat : 26885 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 139697228585168 139697730705307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26886] ppid=26872 vsize=13980036 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/26875/task/26886/stat : 26886 (java) R 26872 26875 12560 0 -1 4202560 3711 0 0 0 92 0 0 0 20 0 15 0 76748230 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 139697227519568 139697730698646 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26887] ppid=26872 vsize=13980036 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/26875/task/26887/stat : 26887 (java) R 26872 26875 12560 0 -1 4202560 2931 0 0 0 91 0 0 0 20 0 15 0 76748230 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 139697226462992 139697712230709 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26888] ppid=26872 vsize=13980036 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/26875/task/26888/stat : 26888 (java) R 26872 26875 12560 0 -1 4202560 4073 0 0 0 49 0 0 0 20 0 15 0 76748230 14315556864 52182 18446744073709551615 4194304 4196468 140729848641056 139697225422048 139697730708058 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0

################
# More data... #
################

[startup+6.07687 s]
# the end of solver process 26875 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.1067 s, system=0.524344 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20145 s]
/proc/loadavg: 1.78 1.55 1.46 4/210 26890
/proc/meminfo: memFree=27549540/32770624 swapFree=67105588/67108860
[pid=26875] ppid=26872 vsize=13980036 memory=477448 CPUtime=7.95 cores=1,3,5,7
/proc/26875/stat : 26875 (java) S 26872 26875 12560 0 -1 1077944320 35125 0 0 0 766 29 0 0 20 0 15 0 76748217 14315556864 119362 18446744073709551615 4194304 4196468 140729848641056 140729848623600 139697730686711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
/proc/26875/statm: 3495009 119362 3806 1 0 3483783 0
[pid=26875/tid=26877] ppid=26872 vsize=13980036 memory=-8774313645642428999 CPUtime=2.95 cores=1,3,5,7
/proc/26875/task/26877/stat : 26877 (java) S 26872 26875 12560 0 -1 1077944384 15003 0 0 0 287 8 0 0 20 0 15 0 76748225 14315556864 119362 18446744073709551615 4194304 4196468 140729848641056 139697734924656 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26878] ppid=26872 vsize=13980036 memory=42608 CPUtime=0.08 cores=1,3,5,7
/proc/26875/task/26878/stat : 26878 (java) R 26872 26875 12560 0 -1 4202560 146 0 0 0 4 4 0 0 20 0 15 0 76748226 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697650101008 139697723783412 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26879] ppid=26872 vsize=13980036 memory=1292 CPUtime=0.08 cores=1,3,5,7
/proc/26875/task/26879/stat : 26879 (java) R 26872 26875 12560 0 -1 4202560 114 0 0 0 4 4 0 0 20 0 15 0 76748226 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697649048664 139697723783412 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26880] ppid=26872 vsize=13980036 memory=2384 CPUtime=0.09 cores=1,3,5,7
/proc/26875/task/26880/stat : 26880 (java) R 26872 26875 12560 0 -1 4202560 700 0 0 0 5 4 0 0 20 0 15 0 76748226 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697647995920 139697723783460 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26881] ppid=26872 vsize=13980036 memory=1688 CPUtime=0.09 cores=1,3,5,7
/proc/26875/task/26881/stat : 26881 (java) R 26872 26875 12560 0 -1 4202560 218 0 0 0 5 4 0 0 20 0 15 0 76748226 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697646943376 139697712312743 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26882] ppid=26872 vsize=13980036 memory=5808 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26882/stat : 26882 (java) S 26872 26875 12560 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 76748227 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697231741472 139697730696917 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26883] ppid=26872 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26883/stat : 26883 (java) S 26872 26875 12560 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 76748227 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697230689248 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26884] ppid=26872 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26884/stat : 26884 (java) S 26872 26875 12560 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 76748228 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697229636608 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26885] ppid=26872 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26885/stat : 26885 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697228585168 139697730705307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26886] ppid=26872 vsize=13980036 memory=9120 CPUtime=1.95 cores=1,3,5,7
/proc/26875/task/26886/stat : 26886 (java) S 26872 26875 12560 0 -1 1077944384 5976 0 0 0 195 0 0 0 20 0 15 0 76748230 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697227532784 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26887] ppid=26872 vsize=13980036 memory=19650 CPUtime=1.92 cores=1,3,5,7
/proc/26875/task/26887/stat : 26887 (java) S 26872 26875 12560 0 -1 1077944384 4950 0 0 0 191 1 0 0 20 0 15 0 76748230 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697226480240 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26888] ppid=26872 vsize=13980036 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/26875/task/26888/stat : 26888 (java) S 26872 26875 12560 0 -1 1077944384 6341 0 0 0 70 1 0 0 20 0 15 0 76748230 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697225427696 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26889] ppid=26872 vsize=13980036 memory=-3253322038155611931 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26889/stat : 26889 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697224375392 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26890] ppid=26872 vsize=13980036 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26890/stat : 26890 (java) S 26872 26875 12560 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 76748235 14315556864 119874 18446744073709551615 4194304 4196468 140729848641056 139697223321904 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 477448 KiB

[startup+4.80066 s]
/proc/loadavg: 1.78 1.55 1.46 3/210 26890
/proc/meminfo: memFree=27315024/32770624 swapFree=67105588/67108860
[pid=26875] ppid=26872 vsize=13980036 memory=651468 CPUtime=10.29 cores=1,3,5,7
/proc/26875/stat : 26875 (java) S 26872 26875 12560 0 -1 1077944320 36844 0 0 0 978 51 0 0 20 0 15 0 76748217 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 140729848623600 139697730686711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
/proc/26875/statm: 3495009 162867 3821 1 0 3483783 0
[pid=26875/tid=26877] ppid=26872 vsize=13980036 memory=-2752621353146282308 CPUtime=4.3 cores=1,3,5,7
/proc/26875/task/26877/stat : 26877 (java) R 26872 26875 12560 0 -1 4202560 15118 0 0 0 422 8 0 0 20 0 15 0 76748225 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697734924392 139697326670817 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26878] ppid=26872 vsize=13980036 memory=7667752678111538020 CPUtime=0.3 cores=1,3,5,7
/proc/26875/task/26878/stat : 26878 (java) S 26872 26875 12560 0 -1 1077944384 302 0 0 0 21 9 0 0 20 0 15 0 76748226 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697650101008 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26879] ppid=26872 vsize=13980036 memory=7896943337487220793 CPUtime=0.3 cores=1,3,5,7
/proc/26875/task/26879/stat : 26879 (java) S 26872 26875 12560 0 -1 1077944384 294 0 0 0 21 9 0 0 20 0 15 0 76748226 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697649048464 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26880] ppid=26872 vsize=13980036 memory=6656426216303648864 CPUtime=0.31 cores=1,3,5,7
/proc/26875/task/26880/stat : 26880 (java) S 26872 26875 12560 0 -1 1077944384 912 0 0 0 22 9 0 0 20 0 15 0 76748226 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697647995920 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26881] ppid=26872 vsize=13980036 memory=651440 CPUtime=0.31 cores=1,3,5,7
/proc/26875/task/26881/stat : 26881 (java) S 26872 26875 12560 0 -1 1077944384 405 0 0 0 22 9 0 0 20 0 15 0 76748226 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697646943376 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26882] ppid=26872 vsize=13980036 memory=-7966001967256141664 CPUtime=0.03 cores=1,3,5,7
/proc/26875/task/26882/stat : 26882 (java) S 26872 26875 12560 0 -1 1077944384 1087 0 0 0 3 0 0 0 20 0 15 0 76748227 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697231742960 139697730697858 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26883] ppid=26872 vsize=13980036 memory=6945782492362334265 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26883/stat : 26883 (java) S 26872 26875 12560 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 76748227 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697230689248 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26884] ppid=26872 vsize=13980036 memory=281325458382752 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26884/stat : 26884 (java) S 26872 26875 12560 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 76748228 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697229636608 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26885] ppid=26872 vsize=13980036 memory=281325458387168 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26885/stat : 26885 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697228585168 139697730705307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26886] ppid=26872 vsize=13980036 memory=281325458391584 CPUtime=1.98 cores=1,3,5,7
/proc/26875/task/26886/stat : 26886 (java) S 26872 26875 12560 0 -1 1077944384 5983 0 0 0 198 0 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697227532784 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26887] ppid=26872 vsize=13980036 memory=175244 CPUtime=1.95 cores=1,3,5,7
/proc/26875/task/26887/stat : 26887 (java) S 26872 26875 12560 0 -1 1077944384 4956 0 0 0 194 1 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697226480240 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26888] ppid=26872 vsize=13980036 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/26875/task/26888/stat : 26888 (java) S 26872 26875 12560 0 -1 1077944384 6349 0 0 0 71 1 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697225427696 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26889] ppid=26872 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26889/stat : 26889 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697224375392 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26890] ppid=26872 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26890/stat : 26890 (java) S 26872 26875 12560 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 76748235 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697223321904 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
Current children cumulated CPU time: 10.29 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 651468 KiB

[startup+5.60074 s]
/proc/loadavg: 1.78 1.55 1.46 3/210 26890
/proc/meminfo: memFree=27315384/32770624 swapFree=67105588/67108860
[pid=26875] ppid=26872 vsize=13980036 memory=651468 CPUtime=11.11 cores=1,3,5,7
/proc/26875/stat : 26875 (java) S 26872 26875 12560 0 -1 1077944320 36892 0 0 0 1060 51 0 0 20 0 15 0 76748217 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 140729848623600 139697730686711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
/proc/26875/statm: 3495009 162867 3821 1 0 3483783 0
[pid=26875/tid=26877] ppid=26872 vsize=13980036 memory=2794278881025 CPUtime=5.1 cores=1,3,5,7
/proc/26875/task/26877/stat : 26877 (java) R 26872 26875 12560 0 -1 4202560 15149 0 0 0 502 8 0 0 20 0 15 0 76748225 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697734921744 139697326636015 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26878] ppid=26872 vsize=13980036 memory=3820776064513 CPUtime=0.3 cores=1,3,5,7
/proc/26875/task/26878/stat : 26878 (java) S 26872 26875 12560 0 -1 1077944384 302 0 0 0 21 9 0 0 20 0 15 0 76748226 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697650101008 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26879] ppid=26872 vsize=13980036 memory=3833660966401 CPUtime=0.3 cores=1,3,5,7
/proc/26875/task/26879/stat : 26879 (java) S 26872 26875 12560 0 -1 1077944384 294 0 0 0 21 9 0 0 20 0 15 0 76748226 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697649048464 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26880] ppid=26872 vsize=13980036 memory=651440 CPUtime=0.31 cores=1,3,5,7
/proc/26875/task/26880/stat : 26880 (java) S 26872 26875 12560 0 -1 1077944384 912 0 0 0 22 9 0 0 20 0 15 0 76748226 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697647995920 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26881] ppid=26872 vsize=13980036 memory=591159273422091311 CPUtime=0.31 cores=1,3,5,7
/proc/26875/task/26881/stat : 26881 (java) S 26872 26875 12560 0 -1 1077944384 405 0 0 0 22 9 0 0 20 0 15 0 76748226 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697646943376 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26882] ppid=26872 vsize=13980036 memory=1412 CPUtime=0.03 cores=1,3,5,7
/proc/26875/task/26882/stat : 26882 (java) S 26872 26875 12560 0 -1 1077944384 1087 0 0 0 3 0 0 0 20 0 15 0 76748227 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697231742960 139697730697858 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26883] ppid=26872 vsize=13980036 memory=15584 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26883/stat : 26883 (java) S 26872 26875 12560 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 76748227 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697230689248 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26884] ppid=26872 vsize=13980036 memory=26036 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26884/stat : 26884 (java) S 26872 26875 12560 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 76748228 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697229636608 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26885] ppid=26872 vsize=13980036 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26885/stat : 26885 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697228585168 139697730705307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26886] ppid=26872 vsize=13980036 memory=644 CPUtime=1.99 cores=1,3,5,7
/proc/26875/task/26886/stat : 26886 (java) S 26872 26875 12560 0 -1 1077944384 5987 0 0 0 199 0 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697227532784 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26887] ppid=26872 vsize=13980036 memory=1744 CPUtime=1.95 cores=1,3,5,7
/proc/26875/task/26887/stat : 26887 (java) S 26872 26875 12560 0 -1 1077944384 4958 0 0 0 194 1 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697226480240 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26888] ppid=26872 vsize=13980036 memory=956 CPUtime=0.73 cores=1,3,5,7
/proc/26875/task/26888/stat : 26888 (java) S 26872 26875 12560 0 -1 1077944384 6358 0 0 0 72 1 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697225427696 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26889] ppid=26872 vsize=13980036 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26889/stat : 26889 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697224375392 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26890] ppid=26872 vsize=13980036 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26890/stat : 26890 (java) S 26872 26875 12560 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 76748235 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697223321904 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
Current children cumulated CPU time: 11.11 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 651468 KiB

[startup+6.00071 s]*
/proc/loadavg: 1.78 1.55 1.46 4/210 26890
/proc/meminfo: memFree=27315260/32770624 swapFree=67105588/67108860
[pid=26875] ppid=26872 vsize=13980036 memory=651468 CPUtime=11.52 cores=1,3,5,7
/proc/26875/stat : 26875 (java) S 26872 26875 12560 0 -1 1077944320 36907 0 0 0 1101 51 0 0 20 0 15 0 76748217 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 140729848623600 139697730686711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
/proc/26875/statm: 3495009 162867 3821 1 0 3483783 0
[pid=26875/tid=26877] ppid=26872 vsize=13980036 memory=8318255677412212789 CPUtime=5.5 cores=1,3,5,7
/proc/26875/task/26877/stat : 26877 (java) R 26872 26875 12560 0 -1 4202560 15164 0 0 0 542 8 0 0 20 0 15 0 76748225 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697734921744 139697326637162 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26878] ppid=26872 vsize=13980036 memory=328 CPUtime=0.3 cores=1,3,5,7
/proc/26875/task/26878/stat : 26878 (java) S 26872 26875 12560 0 -1 1077944384 302 0 0 0 21 9 0 0 20 0 15 0 76748226 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697650101008 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26879] ppid=26872 vsize=13980036 memory=140662862986087 CPUtime=0.3 cores=1,3,5,7
/proc/26875/task/26879/stat : 26879 (java) S 26872 26875 12560 0 -1 1077944384 294 0 0 0 21 9 0 0 20 0 15 0 76748226 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697649048464 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26880] ppid=26872 vsize=13980036 memory=-2537689246120445521 CPUtime=0.31 cores=1,3,5,7
/proc/26875/task/26880/stat : 26880 (java) S 26872 26875 12560 0 -1 1077944384 912 0 0 0 22 9 0 0 20 0 15 0 76748226 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697647995920 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26881] ppid=26872 vsize=13980036 memory=3546594813552441955 CPUtime=0.31 cores=1,3,5,7
/proc/26875/task/26881/stat : 26881 (java) S 26872 26875 12560 0 -1 1077944384 405 0 0 0 22 9 0 0 20 0 15 0 76748226 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697646943376 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26882] ppid=26872 vsize=13980036 memory=735412715292815593 CPUtime=0.03 cores=1,3,5,7
/proc/26875/task/26882/stat : 26882 (java) S 26872 26875 12560 0 -1 1077944384 1087 0 0 0 3 0 0 0 20 0 15 0 76748227 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697231742960 139697730697858 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26883] ppid=26872 vsize=13980036 memory=662039291620840713 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26883/stat : 26883 (java) S 26872 26875 12560 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 76748227 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697230689248 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26884] ppid=26872 vsize=13980036 memory=4123401283169797999 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26884/stat : 26884 (java) S 26872 26875 12560 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 76748228 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697229636608 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26885] ppid=26872 vsize=13980036 memory=6084200795860134505 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26885/stat : 26885 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697228585168 139697730705307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26886] ppid=26872 vsize=13980036 memory=0 CPUtime=1.99 cores=1,3,5,7
/proc/26875/task/26886/stat : 26886 (java) S 26872 26875 12560 0 -1 1077944384 5987 0 0 0 199 0 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697227532784 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26887] ppid=26872 vsize=13980036 memory=140662729383951 CPUtime=1.95 cores=1,3,5,7
/proc/26875/task/26887/stat : 26887 (java) S 26872 26875 12560 0 -1 1077944384 4958 0 0 0 194 1 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697226480240 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26888] ppid=26872 vsize=13980036 memory=3185641572593106874 CPUtime=0.73 cores=1,3,5,7
/proc/26875/task/26888/stat : 26888 (java) S 26872 26875 12560 0 -1 1077944384 6358 0 0 0 72 1 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697225427696 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26889] ppid=26872 vsize=13980036 memory=3545798801362465590 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26889/stat : 26889 (java) S 26872 26875 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76748230 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697224375392 139697730696917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
[pid=26875/tid=26890] ppid=26872 vsize=13980036 memory=2319529862028596919 CPUtime=0 cores=1,3,5,7
/proc/26875/task/26890/stat : 26890 (java) S 26872 26875 12560 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 76748235 14315556864 162867 18446744073709551615 4194304 4196468 140729848641056 139697223321904 139697730697858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140729848643951 140729848644137 140729848644137 140729848647631 0
Current children cumulated CPU time: 11.52 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 651468 KiB

Child status: 0
Real time (s): 6.07696
CPU time (s): 11.631
CPU user time (s): 11.1067
CPU system time (s): 0.524344
CPU usage (%): 191.395
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 651468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1067
system time used= 0.524344
maximum resident set size= 652572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2463
involuntary context switches= 64


# summary of solver processes directly reported to runsolver:
#   pid: 26875
#   total CPU time (s): 11.631
#   total CPU user time (s): 11.1067
#   total CPU system time (s): 0.524344

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058881 second user time and 0.099917 second system time

The end