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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298760-1532778235/watcher-4298760-1532778235 -o /tmp/evaluation-result-4298760-1532778235/solver-4298760-1532778235 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532775768-15808 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298760-1532778235.xml --timelimit 2520 

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
Current StackSize limit: 8192 KiB

solver pid=16006, runsolver pid=16003

[startup+0.101364 s]*
/proc/loadavg: 1.50 1.43 1.39 4/219 16021
/proc/meminfo: memFree=23492544/32770624 swapFree=67108860/67108860
[pid=16006] ppid=16003 vsize=10661056 memory=27784 CPUtime=0.13 cores=1,3,5,7
/proc/16006/stat : 16006 (java) S 16003 16006 15776 0 -1 1077944320 5319 0 0 0 12 1 0 0 20 0 15 0 95386704 10916921344 6946 33554432000 4194304 4196468 140724880916496 140724880899040 139742997110519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
/proc/16006/statm: 2665264 6946 2864 1 0 2627263 0
[pid=16006/tid=16008] ppid=16003 vsize=10661056 memory=-7254947776133162106 CPUtime=0.09 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (java) R 16003 16006 15776 0 -1 4202560 3166 0 0 0 9 0 0 0 20 0 15 0 95386705 10916921344 6946 33554432000 4194304 4196468 140724880916496 139743001333104 139742616255572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16009] ppid=16003 vsize=10661056 memory=5793854890714712505 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16009/stat : 16009 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742939113872 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16010] ppid=16003 vsize=10661056 memory=139639704819328 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16010/stat : 16010 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742938061072 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16011] ppid=16003 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16011/stat : 16011 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742937008784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16012] ppid=16003 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16012/stat : 16012 (java) S 16003 16006 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95386706 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742600288784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16013] ppid=16003 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16013/stat : 16013 (java) S 16003 16006 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95386707 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742234286704 139742997121666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16014] ppid=16003 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16014/stat : 16014 (java) S 16003 16006 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95386707 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742233232672 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16015] ppid=16003 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16015/stat : 16015 (java) S 16003 16006 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95386708 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742232180336 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16016] ppid=16003 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16016/stat : 16016 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742231128656 139742997129115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16017] ppid=16003 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16017/stat : 16017 (java) R 16003 16006 15776 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 95386710 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742230075504 139742997121666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16018] ppid=16003 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16018/stat : 16018 (java) R 16003 16006 15776 0 -1 4202560 178 0 0 0 0 0 0 0 20 0 15 0 95386710 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742229022704 139742975041120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16019] ppid=16003 vsize=10661056 memory=139639704819328 CPUtime=0.02 cores=1,3,5,7
/proc/16006/task/16019/stat : 16019 (java) S 16003 16006 15776 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 15 0 95386710 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742227970416 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16020] ppid=16003 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16020/stat : 16020 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742226917856 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16021] ppid=16003 vsize=10661056 memory=139639704819328 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16021/stat : 16021 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386710 10916921344 6946 33554432000 4194304 4196468 140724880916496 139742225865648 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27784 KiB

[startup+0.21074 s]*
/proc/loadavg: 1.50 1.43 1.39 5/219 16021
/proc/meminfo: memFree=23480156/32770624 swapFree=67108860/67108860
[pid=16006] ppid=16003 vsize=10661056 memory=40780 CPUtime=0.35 cores=1,3,5,7
/proc/16006/stat : 16006 (java) S 16003 16006 15776 0 -1 1077944320 8286 0 0 0 33 2 0 0 20 0 15 0 95386704 10916921344 10195 33554432000 4194304 4196468 140724880916496 140724880899040 139742997110519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
/proc/16006/statm: 2665264 10195 3005 1 0 2627263 0
[pid=16006/tid=16008] ppid=16003 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (java) R 16003 16006 15776 0 -1 4202560 5127 0 0 0 19 1 0 0 20 0 15 0 95386705 10916921344 10250 33554432000 4194304 4196468 140724880916496 139743001350000 139742981191006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16009] ppid=16003 vsize=10661056 memory=4211973365909609866 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16009/stat : 16009 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742939113872 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16010] ppid=16003 vsize=10661056 memory=139639704819328 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16010/stat : 16010 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742938061072 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16011] ppid=16003 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16011/stat : 16011 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742937008784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16012] ppid=16003 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16012/stat : 16012 (java) S 16003 16006 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95386706 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742600288784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16013] ppid=16003 vsize=10661056 memory=139639704819328 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16013/stat : 16013 (java) S 16003 16006 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95386707 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742234286704 139742997121666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16014] ppid=16003 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16014/stat : 16014 (java) S 16003 16006 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95386707 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742233232672 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16015] ppid=16003 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16015/stat : 16015 (java) S 16003 16006 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95386708 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742232180336 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16016] ppid=16003 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16016/stat : 16016 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742231128656 139742997129115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16017] ppid=16003 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16006/task/16017/stat : 16017 (java) R 16003 16006 15776 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 95386710 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742230075504 139742997121666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16018] ppid=16003 vsize=10661056 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/16006/task/16018/stat : 16018 (java) R 16003 16006 15776 0 -1 4202560 479 0 0 0 3 0 0 0 20 0 15 0 95386710 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742229012840 139742980498514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16019] ppid=16003 vsize=10661056 memory=139639704819328 CPUtime=0.08 cores=1,3,5,7
/proc/16006/task/16019/stat : 16019 (java) R 16003 16006 15776 0 -1 4202560 920 0 0 0 8 0 0 0 20 0 15 0 95386710 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742227966568 139742989347646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16020] ppid=16003 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16020/stat : 16020 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742226917856 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16021] ppid=16003 vsize=10661056 memory=139639704819328 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16021/stat : 16021 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386710 10916921344 10250 33554432000 4194304 4196468 140724880916496 139742225865648 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40780 KiB

[startup+0.31645 s]*
/proc/loadavg: 1.50 1.43 1.39 7/219 16021
/proc/meminfo: memFree=23471036/32770624 swapFree=67108860/67108860
[pid=16006] ppid=16003 vsize=10661132 memory=49068 CPUtime=0.62 cores=1,3,5,7
/proc/16006/stat : 16006 (java) S 16003 16006 15776 0 -1 1077944320 8916 0 0 0 60 2 0 0 20 0 15 0 95386704 10916999168 12267 33554432000 4194304 4196468 140724880916496 140724880899040 139742997110519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
/proc/16006/statm: 2665283 12267 3055 1 0 2627263 0
[pid=16006/tid=16008] ppid=16003 vsize=10661132 memory=6735269665583770266 CPUtime=0.31 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (java) R 16003 16006 15776 0 -1 4202560 5481 0 0 0 29 2 0 0 20 0 15 0 95386705 10916999168 12267 33554432000 4194304 4196468 140724880916496 139743001344912 139742616625907 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16009] ppid=16003 vsize=10661132 memory=4211973365909609866 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16009/stat : 16009 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742939113872 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16010] ppid=16003 vsize=10661132 memory=279279292270976 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16010/stat : 16010 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742938061072 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16011] ppid=16003 vsize=10661132 memory=279279174930944 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16011/stat : 16011 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742937008784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16012] ppid=16003 vsize=10661132 memory=139639587451663 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16012/stat : 16012 (java) S 16003 16006 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95386706 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742600288784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16013] ppid=16003 vsize=10661132 memory=279279292277888 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16013/stat : 16013 (java) S 16003 16006 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95386707 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742234286704 139742997121666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16014] ppid=16003 vsize=10661132 memory=139639587456271 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16014/stat : 16014 (java) S 16003 16006 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95386707 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742233232672 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16015] ppid=16003 vsize=10661132 memory=139639587474383 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16015/stat : 16015 (java) S 16003 16006 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95386708 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742232180336 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16016] ppid=16003 vsize=10661132 memory=139639587476688 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16016/stat : 16016 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742231128656 139742997129115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16017] ppid=16003 vsize=10661132 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/16006/task/16017/stat : 16017 (java) R 16003 16006 15776 0 -1 4202560 501 0 0 0 6 0 0 0 20 0 15 0 95386710 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742230075504 139742997131866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16018] ppid=16003 vsize=10661132 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16006/task/16018/stat : 16018 (java) R 16003 16006 15776 0 -1 1077944384 526 0 0 0 8 0 0 0 20 0 15 0 95386710 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742229014208 139742997120725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16019] ppid=16003 vsize=10661132 memory=139639704819328 CPUtime=0.16 cores=1,3,5,7
/proc/16006/task/16019/stat : 16019 (java) R 16003 16006 15776 0 -1 4202560 1044 0 0 0 16 0 0 0 20 0 15 0 95386710 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742227967352 139742990210219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16020] ppid=16003 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16020/stat : 16020 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742226917856 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16021] ppid=16003 vsize=10661132 memory=139639704847112 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16021/stat : 16021 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 12267 33554432000 4194304 4196468 140724880916496 139742225865648 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 49068 KiB

[startup+0.700809 s]
/proc/loadavg: 1.50 1.43 1.39 5/219 16021
/proc/meminfo: memFree=23444608/32770624 swapFree=67108860/67108860
[pid=16006] ppid=16003 vsize=10661132 memory=82104 CPUtime=1.83 cores=1,3,5,7
/proc/16006/stat : 16006 (java) S 16003 16006 15776 0 -1 1077944320 13112 0 0 0 179 4 0 0 20 0 15 0 95386704 10916999168 20526 33554432000 4194304 4196468 140724880916496 140724880899040 139742997110519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
/proc/16006/statm: 2665283 20526 3118 1 0 2627263 0
[pid=16006/tid=16008] ppid=16003 vsize=10661132 memory=56 CPUtime=0.67 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (java) R 16003 16006 15776 0 -1 4202560 5778 0 0 0 65 2 0 0 20 0 15 0 95386705 10916999168 20526 33554432000 4194304 4196468 140724880916496 139743001349808 140724880971714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16009] ppid=16003 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16009/stat : 16009 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742939113872 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16010] ppid=16003 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16010/stat : 16010 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742938061072 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16011] ppid=16003 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16011/stat : 16011 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742937008784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16012] ppid=16003 vsize=10661132 memory=8320808402719684661 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16012/stat : 16012 (java) S 16003 16006 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95386706 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742600288784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16013] ppid=16003 vsize=10661132 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16013/stat : 16013 (java) S 16003 16006 15776 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95386707 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742234286704 139742997121666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16014] ppid=16003 vsize=10661132 memory=796 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16014/stat : 16014 (java) S 16003 16006 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95386707 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742233232672 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16015] ppid=16003 vsize=10661132 memory=8452 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16015/stat : 16015 (java) S 16003 16006 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95386708 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742232180336 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16016] ppid=16003 vsize=10661132 memory=5776 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16016/stat : 16016 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742231128656 139742997129115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16017] ppid=16003 vsize=10661132 memory=1200 CPUtime=0.41 cores=1,3,5,7
/proc/16006/task/16017/stat : 16017 (java) S 16003 16006 15776 0 -1 1077944384 2055 0 0 0 41 0 0 0 20 0 15 0 95386710 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742230075504 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16018] ppid=16003 vsize=10661132 memory=12136 CPUtime=0.42 cores=1,3,5,7
/proc/16006/task/16018/stat : 16018 (java) R 16003 16006 15776 0 -1 4202560 1956 0 0 0 42 0 0 0 20 0 15 0 95386710 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742229022704 139742981510121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16019] ppid=16003 vsize=10661132 memory=1008 CPUtime=0.29 cores=1,3,5,7
/proc/16006/task/16019/stat : 16019 (java) S 16003 16006 15776 0 -1 1077944384 1952 0 0 0 29 0 0 0 20 0 15 0 95386710 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742227970416 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16020] ppid=16003 vsize=10661132 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16020/stat : 16020 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742226917856 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16021] ppid=16003 vsize=10661132 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16021/stat : 16021 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 20526 33554432000 4194304 4196468 140724880916496 139742225865648 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 82104 KiB

[startup+1.50075 s]
/proc/loadavg: 1.50 1.43 1.39 3/219 16021
/proc/meminfo: memFree=23433780/32770624 swapFree=67108860/67108860
[pid=16006] ppid=16003 vsize=10661132 memory=93728 CPUtime=3.07 cores=1,3,5,7
/proc/16006/stat : 16006 (java) S 16003 16006 15776 0 -1 1077944320 17182 0 0 0 302 5 0 0 20 0 15 0 95386704 10916999168 23432 33554432000 4194304 4196468 140724880916496 140724880899040 139742997110519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
/proc/16006/statm: 2665283 23432 3120 1 0 2627263 0
[pid=16006/tid=16008] ppid=16003 vsize=10661132 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (java) R 16003 16006 15776 0 -1 4202560 6246 0 0 0 144 3 0 0 20 0 15 0 95386705 10916999168 23432 33554432000 4194304 4196468 140724880916496 139743001347408 140724880971714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16009] ppid=16003 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16009/stat : 16009 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916999168 23432 33554432000 4194304 4196468 140724880916496 139742939113872 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16010] ppid=16003 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16010/stat : 16010 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916999168 23432 33554432000 4194304 4196468 140724880916496 139742938061072 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16011] ppid=16003 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16011/stat : 16011 (java) S 16003 16006 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95386706 10916999168 23432 33554432000 4194304 4196468 140724880916496 139742937008784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16012] ppid=16003 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16012/stat : 16012 (java) S 16003 16006 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95386706 10916999168 23432 33554432000 4194304 4196468 140724880916496 139742600288784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16013] ppid=16003 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16013/stat : 16013 (java) S 16003 16006 15776 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95386707 10916999168 23432 33554432000 4194304 4196468 140724880916496 139742234286704 139742997121666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0

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

/proc/16006/task/16008/stat : 16008 (java) R 16003 16006 15776 0 -1 4202560 12858 0 0 0 242131 1916 0 0 20 0 15 0 95386705 10916999168 29759 33554432000 4194304 4196468 140724880916496 139743001351488 140724880971714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16009] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.18 cores=1,3,5,7
/proc/16006/task/16009/stat : 16009 (java) S 16003 16006 15776 0 -1 1077944384 2982 0 0 0 115 3 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742939113872 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16010] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.18 cores=1,3,5,7
/proc/16006/task/16010/stat : 16010 (java) S 16003 16006 15776 0 -1 1077944384 3069 0 0 0 115 3 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742938061072 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16011] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.17 cores=1,3,5,7
/proc/16006/task/16011/stat : 16011 (java) S 16003 16006 15776 0 -1 1077944384 3215 0 0 0 115 2 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742937008784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16012] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.17 cores=1,3,5,7
/proc/16006/task/16012/stat : 16012 (java) S 16003 16006 15776 0 -1 1077944384 5215 0 0 0 115 2 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742600288784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16013] ppid=16003 vsize=10661132 memory=119036 CPUtime=0.44 cores=1,3,5,7
/proc/16006/task/16013/stat : 16013 (java) S 16003 16006 15776 0 -1 1077944384 4874 0 0 0 40 4 0 0 20 0 15 0 95386707 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742234286704 139742997121666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16014] ppid=16003 vsize=10661132 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16014/stat : 16014 (java) S 16003 16006 15776 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95386707 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742233232672 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16015] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16015/stat : 16015 (java) S 16003 16006 15776 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95386708 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742232180336 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16016] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16016/stat : 16016 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742231128656 139742997129115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16017] ppid=16003 vsize=10661132 memory=119036 CPUtime=0.8 cores=1,3,5,7
/proc/16006/task/16017/stat : 16017 (java) S 16003 16006 15776 0 -1 1077944384 5266 0 0 0 80 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742230075504 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16018] ppid=16003 vsize=10661132 memory=119036 CPUtime=0.76 cores=1,3,5,7
/proc/16006/task/16018/stat : 16018 (java) S 16003 16006 15776 0 -1 1077944384 6394 0 0 0 76 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742229022704 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16019] ppid=16003 vsize=10661132 memory=119036 CPUtime=0.34 cores=1,3,5,7
/proc/16006/task/16019/stat : 16019 (java) S 16003 16006 15776 0 -1 1077944384 3147 0 0 0 34 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742227970416 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16020] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16020/stat : 16020 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742226917856 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16021] ppid=16003 vsize=10661132 memory=303430223234596890 CPUtime=0.49 cores=1,3,5,7
/proc/16006/task/16021/stat : 16021 (java) S 16003 16006 15776 0 -1 1077944384 1150 0 0 0 23 26 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742225865648 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
Current children cumulated CPU time: 2448.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 119036 KiB

[startup+2502.3 s]
/proc/loadavg: 1.67 1.62 1.60 3/219 16219
/proc/meminfo: memFree=23452556/32770624 swapFree=67108860/67108860
[pid=16006] ppid=16003 vsize=10661132 memory=119036 CPUtime=2508.18 cores=1,3,5,7
/proc/16006/stat : 16006 (java) S 16003 16006 15776 0 -1 1077944320 49910 0 0 0 248815 2003 0 0 20 0 15 0 95386704 10916999168 29759 33554432000 4194304 4196468 140724880916496 140724880899040 139742997110519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
/proc/16006/statm: 2665283 29759 3158 1 0 2627263 0
[pid=16006/tid=16008] ppid=16003 vsize=10661132 memory=119036 CPUtime=2500.42 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (java) R 16003 16006 15776 0 -1 4202560 12885 0 0 0 248079 1963 0 0 20 0 15 0 95386705 10916999168 29759 33554432000 4194304 4196468 140724880916496 139743001351488 140724880971714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16009] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.21 cores=1,3,5,7
/proc/16006/task/16009/stat : 16009 (java) S 16003 16006 15776 0 -1 1077944384 3080 0 0 0 118 3 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742939113872 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16010] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.2 cores=1,3,5,7
/proc/16006/task/16010/stat : 16010 (java) S 16003 16006 15776 0 -1 1077944384 3128 0 0 0 117 3 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742938061072 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16011] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.2 cores=1,3,5,7
/proc/16006/task/16011/stat : 16011 (java) S 16003 16006 15776 0 -1 1077944384 3269 0 0 0 118 2 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742937008784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16012] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.2 cores=1,3,5,7
/proc/16006/task/16012/stat : 16012 (java) S 16003 16006 15776 0 -1 1077944384 5269 0 0 0 118 2 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742600288784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16013] ppid=16003 vsize=10661132 memory=119036 CPUtime=0.45 cores=1,3,5,7
/proc/16006/task/16013/stat : 16013 (java) S 16003 16006 15776 0 -1 1077944384 4881 0 0 0 41 4 0 0 20 0 15 0 95386707 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742234286704 139742997121666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16014] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16014/stat : 16014 (java) S 16003 16006 15776 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95386707 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742233232672 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16015] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16015/stat : 16015 (java) S 16003 16006 15776 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95386708 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742232180336 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16016] ppid=16003 vsize=10661132 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16016/stat : 16016 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742231128656 139742997129115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16017] ppid=16003 vsize=10661132 memory=1292 CPUtime=0.8 cores=1,3,5,7
/proc/16006/task/16017/stat : 16017 (java) S 16003 16006 15776 0 -1 1077944384 5266 0 0 0 80 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742230075504 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16018] ppid=16003 vsize=10661132 memory=2444 CPUtime=0.76 cores=1,3,5,7
/proc/16006/task/16018/stat : 16018 (java) S 16003 16006 15776 0 -1 1077944384 6394 0 0 0 76 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742229022704 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16019] ppid=16003 vsize=10661132 memory=119036 CPUtime=0.34 cores=1,3,5,7
/proc/16006/task/16019/stat : 16019 (java) S 16003 16006 15776 0 -1 1077944384 3147 0 0 0 34 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742227970416 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16020] ppid=16003 vsize=10661132 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16020/stat : 16020 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742226917856 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16021] ppid=16003 vsize=10661132 memory=1292 CPUtime=0.5 cores=1,3,5,7
/proc/16006/task/16021/stat : 16021 (java) S 16003 16006 15776 0 -1 1077944384 1154 0 0 0 23 27 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742225865648 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
Current children cumulated CPU time: 2508.18 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 119036 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514.11 s]
/proc/loadavg: 1.72 1.63 1.61 3/219 16220
/proc/meminfo: memFree=23452316/32770624 swapFree=67108860/67108860
[pid=16006] ppid=16003 vsize=10661132 memory=119036 CPUtime=2520.03 cores=1,3,5,7
/proc/16006/stat : 16006 (java) S 16003 16006 15776 0 -1 1077944320 49923 0 0 0 249988 2015 0 0 20 0 15 0 95386704 10916999168 29759 33554432000 4194304 4196468 140724880916496 140724880899040 139742997110519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
/proc/16006/statm: 2665283 29759 3158 1 0 2627263 0
[pid=16006/tid=16008] ppid=16003 vsize=10661132 memory=119036 CPUtime=2512.22 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (java) R 16003 16006 15776 0 -1 4202560 12889 0 0 0 249248 1974 0 0 20 0 15 0 95386705 10916999168 29759 33554432000 4194304 4196468 140724880916496 139743001349872 140724880971714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16009] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.22 cores=1,3,5,7
/proc/16006/task/16009/stat : 16009 (java) S 16003 16006 15776 0 -1 1077944384 3081 0 0 0 119 3 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742939113872 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16010] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.21 cores=1,3,5,7
/proc/16006/task/16010/stat : 16010 (java) S 16003 16006 15776 0 -1 1077944384 3131 0 0 0 118 3 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742938061072 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16011] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.21 cores=1,3,5,7
/proc/16006/task/16011/stat : 16011 (java) S 16003 16006 15776 0 -1 1077944384 3270 0 0 0 119 2 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742937008784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16012] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.21 cores=1,3,5,7
/proc/16006/task/16012/stat : 16012 (java) S 16003 16006 15776 0 -1 1077944384 5269 0 0 0 119 2 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742600288784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16013] ppid=16003 vsize=10661132 memory=119036 CPUtime=0.45 cores=1,3,5,7
/proc/16006/task/16013/stat : 16013 (java) S 16003 16006 15776 0 -1 1077944384 4883 0 0 0 41 4 0 0 20 0 15 0 95386707 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742234286704 139742997121666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16014] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16014/stat : 16014 (java) S 16003 16006 15776 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95386707 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742233232672 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16015] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16015/stat : 16015 (java) S 16003 16006 15776 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95386708 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742232180336 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16016] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16016/stat : 16016 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742231128656 139742997129115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16017] ppid=16003 vsize=10661132 memory=796 CPUtime=0.8 cores=1,3,5,7
/proc/16006/task/16017/stat : 16017 (java) S 16003 16006 15776 0 -1 1077944384 5266 0 0 0 80 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742230075504 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16018] ppid=16003 vsize=10661132 memory=119036 CPUtime=0.76 cores=1,3,5,7
/proc/16006/task/16018/stat : 16018 (java) S 16003 16006 15776 0 -1 1077944384 6394 0 0 0 76 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742229022704 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16019] ppid=16003 vsize=10661132 memory=2444 CPUtime=0.34 cores=1,3,5,7
/proc/16006/task/16019/stat : 16019 (java) S 16003 16006 15776 0 -1 1077944384 3147 0 0 0 34 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742227970416 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16020] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16020/stat : 16020 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742226917856 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16021] ppid=16003 vsize=10661132 memory=119036 CPUtime=0.51 cores=1,3,5,7
/proc/16006/task/16021/stat : 16021 (java) S 16003 16006 15776 0 -1 1077944384 1156 0 0 0 24 27 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742225865648 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 119036 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2514.12 s]
# the end of solver process 16006 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2499.89 s, system=20.1542 s

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

[startup+2514.11 s]
/proc/loadavg: 1.72 1.63 1.61 3/219 16220
/proc/meminfo: memFree=23452316/32770624 swapFree=67108860/67108860
[pid=16006] ppid=16003 vsize=10661132 memory=119036 CPUtime=2520.03 cores=1,3,5,7
/proc/16006/stat : 16006 (java) S 16003 16006 15776 0 -1 1077944320 49923 0 0 0 249988 2015 0 0 20 0 15 0 95386704 10916999168 29759 33554432000 4194304 4196468 140724880916496 140724880899040 139742997110519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
/proc/16006/statm: 2665283 29759 3158 1 0 2627263 0
[pid=16006/tid=16008] ppid=16003 vsize=10661132 memory=119036 CPUtime=2512.22 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (java) R 16003 16006 15776 0 -1 4202560 12889 0 0 0 249248 1974 0 0 20 0 15 0 95386705 10916999168 29759 33554432000 4194304 4196468 140724880916496 139743001349872 140724880971714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16009] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.22 cores=1,3,5,7
/proc/16006/task/16009/stat : 16009 (java) S 16003 16006 15776 0 -1 1077944384 3081 0 0 0 119 3 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742939113872 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16010] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.21 cores=1,3,5,7
/proc/16006/task/16010/stat : 16010 (java) S 16003 16006 15776 0 -1 1077944384 3131 0 0 0 118 3 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742938061072 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16011] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.21 cores=1,3,5,7
/proc/16006/task/16011/stat : 16011 (java) S 16003 16006 15776 0 -1 1077944384 3270 0 0 0 119 2 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742937008784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16012] ppid=16003 vsize=10661132 memory=119036 CPUtime=1.21 cores=1,3,5,7
/proc/16006/task/16012/stat : 16012 (java) S 16003 16006 15776 0 -1 1077944384 5269 0 0 0 119 2 0 0 20 0 15 0 95386706 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742600288784 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16013] ppid=16003 vsize=10661132 memory=119036 CPUtime=0.45 cores=1,3,5,7
/proc/16006/task/16013/stat : 16013 (java) S 16003 16006 15776 0 -1 1077944384 4883 0 0 0 41 4 0 0 20 0 15 0 95386707 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742234286704 139742997121666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16014] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16014/stat : 16014 (java) S 16003 16006 15776 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95386707 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742233232672 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16015] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16015/stat : 16015 (java) S 16003 16006 15776 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95386708 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742232180336 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16016] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16016/stat : 16016 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742231128656 139742997129115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16017] ppid=16003 vsize=10661132 memory=796 CPUtime=0.8 cores=1,3,5,7
/proc/16006/task/16017/stat : 16017 (java) S 16003 16006 15776 0 -1 1077944384 5266 0 0 0 80 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742230075504 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16018] ppid=16003 vsize=10661132 memory=119036 CPUtime=0.76 cores=1,3,5,7
/proc/16006/task/16018/stat : 16018 (java) S 16003 16006 15776 0 -1 1077944384 6394 0 0 0 76 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742229022704 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16019] ppid=16003 vsize=10661132 memory=2444 CPUtime=0.34 cores=1,3,5,7
/proc/16006/task/16019/stat : 16019 (java) S 16003 16006 15776 0 -1 1077944384 3147 0 0 0 34 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742227970416 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16020] ppid=16003 vsize=10661132 memory=119036 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16020/stat : 16020 (java) S 16003 16006 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742226917856 139742997120725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
[pid=16006/tid=16021] ppid=16003 vsize=10661132 memory=119036 CPUtime=0.51 cores=1,3,5,7
/proc/16006/task/16021/stat : 16021 (java) S 16003 16006 15776 0 -1 1077944384 1156 0 0 0 24 27 0 0 20 0 15 0 95386710 10916999168 29759 33554432000 4194304 4196468 140724880916496 139742225865648 139742997121666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140724880921756 140724880921865 140724880921865 140724880924623 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 119036 KiB

Child status: 143
Real time (s): 2514.12
CPU time (s): 2520.04
CPU user time (s): 2499.89
CPU system time (s): 20.1542
CPU usage (%): 100.236
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 201560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2499.89
system time used= 20.1542
maximum resident set size= 207704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66614
involuntary context switches= 3536


# summary of solver processes directly reported to runsolver:
#   pid: 16006
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2499.89
#   total CPU system time (s): 20.1542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.174 second user time and 21.3374 second system time

The end