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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298773-1532778220/watcher-4298773-1532778220 -o /tmp/evaluation-result-4298773-1532778220/solver-4298773-1532778220 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532775757-8892 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298773-1532778220.xml 

running on 4 cores: 0,2,4,6

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

solver pid=9089, runsolver pid=9086

[startup+0.100362 s]*
/proc/loadavg: 1.51 1.49 1.38 3/216 9104
/proc/meminfo: memFree=27976248/32770624 swapFree=67108860/67108860
[pid=9089] ppid=9086 vsize=10661056 memory=27736 CPUtime=0.13 cores=0,2,4,6
/proc/9089/stat : 9089 (java) S 9086 9089 8861 0 -1 1077944320 5278 0 0 0 11 2 0 0 20 0 15 0 95385189 10916921344 6934 33554432000 4194304 4196468 140725076540224 140725076522768 140598799924983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
/proc/9089/statm: 2665264 6934 2846 1 0 2627263 0
[pid=9089/tid=9091] ppid=9086 vsize=10661056 memory=-8537236592100472000 CPUtime=0.09 cores=0,2,4,6
/proc/9089/task/9091/stat : 9091 (java) R 9086 9089 8861 0 -1 4202560 3145 0 0 0 8 1 0 0 20 0 15 0 95385189 10916921344 6934 33554432000 4194304 4196468 140725076540224 140598804153680 140598388607696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9092] ppid=9086 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9092/stat : 9092 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385190 10916921344 6934 33554432000 4194304 4196468 140725076540224 140598725999632 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9093] ppid=9086 vsize=10661056 memory=140335301387904 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9093/stat : 9093 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385190 10916921344 6934 33554432000 4194304 4196468 140725076540224 140598724947088 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9094] ppid=9086 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9094/stat : 9094 (java) S 9086 9089 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95385190 10916921344 6934 33554432000 4194304 4196468 140725076540224 140598723894032 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9095] ppid=9086 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9095/stat : 9095 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385190 10916921344 6934 33554432000 4194304 4196468 140725076540224 140598722841488 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9096] ppid=9086 vsize=10661056 memory=140335301387904 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9096/stat : 9096 (java) S 9086 9089 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95385191 10916921344 6934 33554432000 4194304 4196468 140725076540224 140597833750768 140598799936130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9097] ppid=9086 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9097/stat : 9097 (java) S 9086 9089 8861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95385192 10916921344 6934 33554432000 4194304 4196468 140725076540224 140597832696992 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9098] ppid=9086 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9098/stat : 9098 (java) S 9086 9089 8861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95385192 10916921344 6934 33554432000 4194304 4196468 140725076540224 140597831643888 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9099] ppid=9086 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9099/stat : 9099 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385194 10916921344 6934 33554432000 4194304 4196468 140725076540224 140597830592464 140598799943579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9100] ppid=9086 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9100/stat : 9100 (java) S 9086 9089 8861 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 95385194 10916921344 6934 33554432000 4194304 4196468 140725076540224 140597829540592 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9101] ppid=9086 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9101/stat : 9101 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385194 10916921344 6934 33554432000 4194304 4196468 140725076540224 140597828488048 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9102] ppid=9086 vsize=10661056 memory=140335301387904 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9102/stat : 9102 (java) R 9086 9089 8861 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 15 0 95385195 10916921344 6934 33554432000 4194304 4196468 140725076540224 140597827434992 140598784005470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9103] ppid=9086 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9103/stat : 9103 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385195 10916921344 6934 33554432000 4194304 4196468 140725076540224 140597826382688 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9104] ppid=9086 vsize=10661056 memory=140335301387904 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9104/stat : 9104 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385195 10916921344 6934 33554432000 4194304 4196468 140725076540224 140597825329712 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27736 KiB

[startup+0.210512 s]*
/proc/loadavg: 1.51 1.49 1.38 4/216 9104
/proc/meminfo: memFree=27964076/32770624 swapFree=67108860/67108860
[pid=9089] ppid=9086 vsize=10661056 memory=41004 CPUtime=0.35 cores=0,2,4,6
/proc/9089/stat : 9089 (java) S 9086 9089 8861 0 -1 1077944320 8353 0 0 0 32 3 0 0 20 0 15 0 95385189 10916921344 10251 33554432000 4194304 4196468 140725076540224 140725076522768 140598799924983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
/proc/9089/statm: 2665264 10251 2980 1 0 2627263 0
[pid=9089/tid=9091] ppid=9086 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/9089/task/9091/stat : 9091 (java) S 9086 9089 8861 0 -1 1077944384 5113 0 0 0 18 2 0 0 20 0 15 0 95385189 10916921344 10251 33554432000 4194304 4196468 140725076540224 140598804163056 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9092] ppid=9086 vsize=10661056 memory=364 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9092/stat : 9092 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385190 10916921344 10251 33554432000 4194304 4196468 140725076540224 140598725999632 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9093] ppid=9086 vsize=10661056 memory=140335301397084 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9093/stat : 9093 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385190 10916921344 10251 33554432000 4194304 4196468 140725076540224 140598724947088 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9094] ppid=9086 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9094/stat : 9094 (java) S 9086 9089 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95385190 10916921344 10251 33554432000 4194304 4196468 140725076540224 140598723894032 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9095] ppid=9086 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9095/stat : 9095 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385190 10916921344 10251 33554432000 4194304 4196468 140725076540224 140598722841488 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9096] ppid=9086 vsize=10661056 memory=140335301387904 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9096/stat : 9096 (java) S 9086 9089 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95385191 10916921344 10251 33554432000 4194304 4196468 140725076540224 140597833750768 140598799936130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9097] ppid=9086 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9097/stat : 9097 (java) S 9086 9089 8861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95385192 10916921344 10251 33554432000 4194304 4196468 140725076540224 140597832696992 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9098] ppid=9086 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9098/stat : 9098 (java) S 9086 9089 8861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95385192 10916921344 10251 33554432000 4194304 4196468 140725076540224 140597831643888 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9099] ppid=9086 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9099/stat : 9099 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385194 10916921344 10251 33554432000 4194304 4196468 140725076540224 140597830592464 140598799943579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9100] ppid=9086 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9089/task/9100/stat : 9100 (java) R 9086 9089 8861 0 -1 4202560 801 0 0 0 2 0 0 0 20 0 15 0 95385194 10916921344 10251 33554432000 4194304 4196468 140725076540224 140597829540592 140598779171500 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9101] ppid=9086 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9101/stat : 9101 (java) R 9086 9089 8861 0 -1 1077944384 115 0 0 0 1 0 0 0 20 0 15 0 95385194 10916921344 10251 33554432000 4194304 4196468 140725076540224 140597828488048 140598799936130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9102] ppid=9086 vsize=10661056 memory=140335301387904 CPUtime=0.08 cores=0,2,4,6
/proc/9089/task/9102/stat : 9102 (java) R 9086 9089 8861 0 -1 4202560 958 0 0 0 8 0 0 0 20 0 15 0 95385195 10916921344 10251 33554432000 4194304 4196468 140725076540224 140597827430904 140598783294832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9103] ppid=9086 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9103/stat : 9103 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385195 10916921344 10251 33554432000 4194304 4196468 140725076540224 140597826382688 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9104] ppid=9086 vsize=10661056 memory=140335301387904 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9104/stat : 9104 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385195 10916921344 10251 33554432000 4194304 4196468 140725076540224 140597825329712 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 41004 KiB

[startup+0.311127 s]*
/proc/loadavg: 1.51 1.49 1.38 5/216 9104
/proc/meminfo: memFree=27957376/32770624 swapFree=67108860/67108860
[pid=9089] ppid=9086 vsize=10661132 memory=47068 CPUtime=0.59 cores=0,2,4,6
/proc/9089/stat : 9089 (java) S 9086 9089 8861 0 -1 1077944320 8863 0 0 0 56 3 0 0 20 0 15 0 95385189 10916999168 11767 33554432000 4194304 4196468 140725076540224 140725076522768 140598799924983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
/proc/9089/statm: 2665283 11767 3053 1 0 2627263 0
[pid=9089/tid=9091] ppid=9086 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/9089/task/9091/stat : 9091 (java) R 9086 9089 8861 0 -1 4202560 5432 0 0 0 28 2 0 0 20 0 15 0 95385189 10916999168 11767 33554432000 4194304 4196468 140725076540224 140598804161424 140598388598480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9092] ppid=9086 vsize=10661132 memory=304556149079015447 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9092/stat : 9092 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 11767 33554432000 4194304 4196468 140725076540224 140598725999632 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9093] ppid=9086 vsize=10661132 memory=14276997757658776 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9093/stat : 9093 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 11767 33554432000 4194304 4196468 140725076540224 140598724947088 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9094] ppid=9086 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9094/stat : 9094 (java) S 9086 9089 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 11767 33554432000 4194304 4196468 140725076540224 140598723894032 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9095] ppid=9086 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9095/stat : 9095 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 11767 33554432000 4194304 4196468 140725076540224 140598722841488 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9096] ppid=9086 vsize=10661132 memory=140335301387904 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9096/stat : 9096 (java) S 9086 9089 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95385191 10916999168 11767 33554432000 4194304 4196468 140725076540224 140597833750768 140598799936130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9097] ppid=9086 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9097/stat : 9097 (java) S 9086 9089 8861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95385192 10916999168 11767 33554432000 4194304 4196468 140725076540224 140597832696992 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9098] ppid=9086 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9098/stat : 9098 (java) S 9086 9089 8861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95385192 10916999168 11767 33554432000 4194304 4196468 140725076540224 140597831643888 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9099] ppid=9086 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9099/stat : 9099 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385194 10916999168 11767 33554432000 4194304 4196468 140725076540224 140597830592464 140598799943579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9100] ppid=9086 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/9089/task/9100/stat : 9100 (java) S 9086 9089 8861 0 -1 1077944384 838 0 0 0 6 0 0 0 20 0 15 0 95385194 10916999168 11767 33554432000 4194304 4196468 140725076540224 140597829540592 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9101] ppid=9086 vsize=10661132 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/9089/task/9101/stat : 9101 (java) R 9086 9089 8861 0 -1 1077944384 148 0 0 0 6 0 0 0 20 0 15 0 95385194 10916999168 11767 33554432000 4194304 4196468 140725076540224 140597828488048 140598799936130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9102] ppid=9086 vsize=10661132 memory=140335301387904 CPUtime=0.15 cores=0,2,4,6
/proc/9089/task/9102/stat : 9102 (java) R 9086 9089 8861 0 -1 4202560 1078 0 0 0 15 0 0 0 20 0 15 0 95385195 10916999168 11767 33554432000 4194304 4196468 140725076540224 140597827431928 140598778870636 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9103] ppid=9086 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9103/stat : 9103 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385195 10916999168 11767 33554432000 4194304 4196468 140725076540224 140597826382688 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9104] ppid=9086 vsize=10661132 memory=140335301387904 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9104/stat : 9104 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385195 10916999168 11767 33554432000 4194304 4196468 140725076540224 140597825329712 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 47068 KiB

[startup+0.700721 s]
/proc/loadavg: 1.51 1.49 1.38 5/216 9104
/proc/meminfo: memFree=27923824/32770624 swapFree=67108860/67108860
[pid=9089] ppid=9086 vsize=10661132 memory=93276 CPUtime=1.85 cores=0,2,4,6
/proc/9089/stat : 9089 (java) S 9086 9089 8861 0 -1 1077944320 11799 0 0 0 181 4 0 0 20 0 15 0 95385189 10916999168 23319 33554432000 4194304 4196468 140725076540224 140725076522768 140598799924983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
/proc/9089/statm: 2665283 23319 3119 1 0 2627263 0
[pid=9089/tid=9091] ppid=9086 vsize=10661132 memory=1840 CPUtime=0.67 cores=0,2,4,6
/proc/9089/task/9091/stat : 9091 (java) R 9086 9089 8861 0 -1 4202560 5722 0 0 0 65 2 0 0 20 0 15 0 95385189 10916999168 23319 33554432000 4194304 4196468 140725076540224 140598804164848 140598392106923 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9092] ppid=9086 vsize=10661132 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9092/stat : 9092 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 23319 33554432000 4194304 4196468 140725076540224 140598725999632 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9093] ppid=9086 vsize=10661132 memory=12060 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9093/stat : 9093 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 23319 33554432000 4194304 4196468 140725076540224 140598724947088 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9094] ppid=9086 vsize=10661132 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9094/stat : 9094 (java) S 9086 9089 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 23319 33554432000 4194304 4196468 140725076540224 140598723894032 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9095] ppid=9086 vsize=10661132 memory=792 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9095/stat : 9095 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 23319 33554432000 4194304 4196468 140725076540224 140598722841488 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9096] ppid=9086 vsize=10661132 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9096/stat : 9096 (java) S 9086 9089 8861 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95385191 10916999168 23319 33554432000 4194304 4196468 140725076540224 140597833750768 140598799936130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9097] ppid=9086 vsize=10661132 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9097/stat : 9097 (java) S 9086 9089 8861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95385192 10916999168 23319 33554432000 4194304 4196468 140725076540224 140597832696992 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9098] ppid=9086 vsize=10661132 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9098/stat : 9098 (java) S 9086 9089 8861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95385192 10916999168 23319 33554432000 4194304 4196468 140725076540224 140597831643888 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9099] ppid=9086 vsize=10661132 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9099/stat : 9099 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385194 10916999168 23319 33554432000 4194304 4196468 140725076540224 140597830592464 140598799943579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9100] ppid=9086 vsize=10661132 memory=7163631965283378496 CPUtime=0.42 cores=0,2,4,6
/proc/9089/task/9100/stat : 9100 (java) R 9086 9089 8861 0 -1 4202560 1696 0 0 0 42 0 0 0 20 0 15 0 95385194 10916999168 23319 33554432000 4194304 4196468 140725076540224 140597829528272 140598779193920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9101] ppid=9086 vsize=10661132 memory=7667213801450137426 CPUtime=0.42 cores=0,2,4,6
/proc/9089/task/9101/stat : 9101 (java) R 9086 9089 8861 0 -1 4202560 1230 0 0 0 42 0 0 0 20 0 15 0 95385194 10916999168 23319 33554432000 4194304 4196468 140725076540224 140597828474000 140598781110952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9102] ppid=9086 vsize=10661132 memory=6935658124599644240 CPUtime=0.3 cores=0,2,4,6
/proc/9089/task/9102/stat : 9102 (java) S 9086 9089 8861 0 -1 1077944384 1781 0 0 0 30 0 0 0 20 0 15 0 95385195 10916999168 23319 33554432000 4194304 4196468 140725076540224 140597827434992 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9103] ppid=9086 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9103/stat : 9103 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385195 10916999168 23319 33554432000 4194304 4196468 140725076540224 140597826382688 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9104] ppid=9086 vsize=10661132 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9104/stat : 9104 (java) S 9086 9089 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95385195 10916999168 23319 33554432000 4194304 4196468 140725076540224 140597825329712 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 93276 KiB

[startup+1.50079 s]
/proc/loadavg: 1.51 1.49 1.38 5/216 9104
/proc/meminfo: memFree=27866488/32770624 swapFree=67108860/67108860
[pid=9089] ppid=9086 vsize=10661132 memory=191732 CPUtime=3.21 cores=0,2,4,6
/proc/9089/stat : 9089 (java) S 9086 9089 8861 0 -1 1077944320 14199 0 0 0 314 7 0 0 20 0 15 0 95385189 10916999168 47933 33554432000 4194304 4196468 140725076540224 140725076522768 140598799924983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
/proc/9089/statm: 2665283 47933 3120 1 0 2627263 0
[pid=9089/tid=9091] ppid=9086 vsize=10661132 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/9089/task/9091/stat : 9091 (java) R 9086 9089 8861 0 -1 4202560 5812 0 0 0 143 3 0 0 20 0 15 0 95385189 10916999168 47933 33554432000 4194304 4196468 140725076540224 140598804164448 140598392568463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9092] ppid=9086 vsize=10661132 memory=8390361644446492005 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9092/stat : 9092 (java) S 9086 9089 8861 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 47933 33554432000 4194304 4196468 140725076540224 140598725999632 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9093] ppid=9086 vsize=10661132 memory=-6352177166831549654 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9093/stat : 9093 (java) S 9086 9089 8861 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 47933 33554432000 4194304 4196468 140725076540224 140598724947088 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9094] ppid=9086 vsize=10661132 memory=8514701219931451533 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9094/stat : 9094 (java) S 9086 9089 8861 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 47933 33554432000 4194304 4196468 140725076540224 140598723894032 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9095] ppid=9086 vsize=10661132 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9095/stat : 9095 (java) S 9086 9089 8861 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 47933 33554432000 4194304 4196468 140725076540224 140598722841488 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9096] ppid=9086 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9096/stat : 9096 (java) S 9086 9089 8861 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 95385191 10916999168 47933 33554432000 4194304 4196468 140725076540224 140597833750768 140598799936130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0

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

[startup+2.95288 s]
# the end of solver process 9089 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.7315 s, system=0.087769 s

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

[startup+1.60092 s]
/proc/loadavg: 1.51 1.49 1.38 5/216 9104
/proc/meminfo: memFree=27866488/32770624 swapFree=67108860/67108860
[pid=9089] ppid=9086 vsize=10661132 memory=191732 CPUtime=3.31 cores=0,2,4,6
/proc/9089/stat : 9089 (java) S 9086 9089 8861 0 -1 1077944320 14199 0 0 0 324 7 0 0 20 0 15 0 95385189 10916999168 47933 33554432000 4194304 4196468 140725076540224 140725076522768 140598799924983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
/proc/9089/statm: 2665283 47933 3120 1 0 2627263 0
[pid=9089/tid=9091] ppid=9086 vsize=10661132 memory=0 CPUtime=1.56 cores=0,2,4,6
/proc/9089/task/9091/stat : 9091 (java) R 9086 9089 8861 0 -1 4202560 5812 0 0 0 153 3 0 0 20 0 15 0 95385189 10916999168 47933 33554432000 4194304 4196468 140725076540224 140598804164448 140598388530482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9092] ppid=9086 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9092/stat : 9092 (java) S 9086 9089 8861 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 47933 33554432000 4194304 4196468 140725076540224 140598725999632 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9093] ppid=9086 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9093/stat : 9093 (java) S 9086 9089 8861 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 47933 33554432000 4194304 4196468 140725076540224 140598724947088 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9094] ppid=9086 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9094/stat : 9094 (java) S 9086 9089 8861 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 47933 33554432000 4194304 4196468 140725076540224 140598723894032 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9095] ppid=9086 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9095/stat : 9095 (java) S 9086 9089 8861 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 15 0 95385190 10916999168 47933 33554432000 4194304 4196468 140725076540224 140598722841488 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9096] ppid=9086 vsize=10661132 memory=140335301389617 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9096/stat : 9096 (java) S 9086 9089 8861 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 95385191 10916999168 47933 33554432000 4194304 4196468 140725076540224 140597833750768 140598799936130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9097] ppid=9086 vsize=10661132 memory=7306925938500527959 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9097/stat : 9097 (java) S 9086 9089 8861 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 95385192 10916999168 47933 33554432000 4194304 4196468 140725076540224 140597832696992 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9098] ppid=9086 vsize=10661132 memory=7594598810448916079 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9098/stat : 9098 (java) S 9086 9089 8861 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 95385192 10916999168 47933 33554432000 4194304 4196468 140725076540224 140597831643888 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9099] ppid=9086 vsize=10661132 memory=6435751896229695568 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9099/stat : 9099 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385194 10916999168 47933 33554432000 4194304 4196468 140725076540224 140597830592464 140598799943579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9100] ppid=9086 vsize=10661132 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/9089/task/9100/stat : 9100 (java) S 9086 9089 8861 0 -1 1077944384 3396 0 0 0 72 0 0 0 20 0 15 0 95385194 10916999168 47933 33554432000 4194304 4196468 140725076540224 140597829540592 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9101] ppid=9086 vsize=10661132 memory=179402193355463 CPUtime=0.65 cores=0,2,4,6
/proc/9089/task/9101/stat : 9101 (java) S 9086 9089 8861 0 -1 1077944384 1410 0 0 0 65 0 0 0 20 0 15 0 95385194 10916999168 47933 33554432000 4194304 4196468 140725076540224 140597828488048 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9102] ppid=9086 vsize=10661132 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/9089/task/9102/stat : 9102 (java) S 9086 9089 8861 0 -1 1077944384 1833 0 0 0 31 0 0 0 20 0 15 0 95385195 10916999168 47933 33554432000 4194304 4196468 140725076540224 140597827434992 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9103] ppid=9086 vsize=10661132 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9103/stat : 9103 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385195 10916999168 47933 33554432000 4194304 4196468 140725076540224 140597826382688 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9104] ppid=9086 vsize=10661132 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9104/stat : 9104 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385195 10916999168 47933 33554432000 4194304 4196468 140725076540224 140597825329712 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
Current children cumulated CPU time: 3.31 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 191732 KiB

[startup+2.40074 s]
/proc/loadavg: 1.51 1.49 1.38 4/216 9104
/proc/meminfo: memFree=27803444/32770624 swapFree=67108860/67108860
[pid=9089] ppid=9086 vsize=10661132 memory=200804 CPUtime=4.24 cores=0,2,4,6
/proc/9089/stat : 9089 (java) S 9086 9089 8861 0 -1 1077944320 16022 0 0 0 416 8 0 0 20 0 15 0 95385189 10916999168 50201 33554432000 4194304 4196468 140725076540224 140725076522768 140598799924983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
/proc/9089/statm: 2665283 50201 3139 1 0 2627263 0
[pid=9089/tid=9091] ppid=9086 vsize=10661132 memory=960 CPUtime=2.35 cores=0,2,4,6
/proc/9089/task/9091/stat : 9091 (java) R 9086 9089 8861 0 -1 4202560 6002 0 0 0 232 3 0 0 20 0 15 0 95385189 10916999168 50201 33554432000 4194304 4196468 140725076540224 140598804164448 140598392567309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9092] ppid=9086 vsize=10661132 memory=2340 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9092/stat : 9092 (java) S 9086 9089 8861 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 95385190 10916999168 50201 33554432000 4194304 4196468 140725076540224 140598725999632 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9093] ppid=9086 vsize=10661132 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9093/stat : 9093 (java) S 9086 9089 8861 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 15 0 95385190 10916999168 50201 33554432000 4194304 4196468 140725076540224 140598724947088 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9094] ppid=9086 vsize=10661132 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9094/stat : 9094 (java) S 9086 9089 8861 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 15 0 95385190 10916999168 50201 33554432000 4194304 4196468 140725076540224 140598723894032 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9095] ppid=9086 vsize=10661132 memory=-7812193691855986592 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9095/stat : 9095 (java) S 9086 9089 8861 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 15 0 95385190 10916999168 50201 33554432000 4194304 4196468 140725076540224 140598722841488 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9096] ppid=9086 vsize=10661132 memory=-6873162000112450758 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9096/stat : 9096 (java) S 9086 9089 8861 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 95385191 10916999168 50201 33554432000 4194304 4196468 140725076540224 140597833750768 140598799936130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9097] ppid=9086 vsize=10661132 memory=-7088785026379990432 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9097/stat : 9097 (java) S 9086 9089 8861 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 95385192 10916999168 50201 33554432000 4194304 4196468 140725076540224 140597832696992 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9098] ppid=9086 vsize=10661132 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9098/stat : 9098 (java) S 9086 9089 8861 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 95385192 10916999168 50201 33554432000 4194304 4196468 140725076540224 140597831643888 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9099] ppid=9086 vsize=10661132 memory=6944656425122700657 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9099/stat : 9099 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385194 10916999168 50201 33554432000 4194304 4196468 140725076540224 140597830592464 140598799943579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9100] ppid=9086 vsize=10661132 memory=-7673225154500992976 CPUtime=0.76 cores=0,2,4,6
/proc/9089/task/9100/stat : 9100 (java) S 9086 9089 8861 0 -1 1077944384 3915 0 0 0 76 0 0 0 20 0 15 0 95385194 10916999168 50201 33554432000 4194304 4196468 140725076540224 140597829540592 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9101] ppid=9086 vsize=10661132 memory=7014751519600236649 CPUtime=0.7 cores=0,2,4,6
/proc/9089/task/9101/stat : 9101 (java) S 9086 9089 8861 0 -1 1077944384 2420 0 0 0 70 0 0 0 20 0 15 0 95385194 10916999168 50201 33554432000 4194304 4196468 140725076540224 140597828488048 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9102] ppid=9086 vsize=10661132 memory=7014751519600236649 CPUtime=0.31 cores=0,2,4,6
/proc/9089/task/9102/stat : 9102 (java) S 9086 9089 8861 0 -1 1077944384 1834 0 0 0 31 0 0 0 20 0 15 0 95385195 10916999168 50201 33554432000 4194304 4196468 140725076540224 140597827434992 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9103] ppid=9086 vsize=10661132 memory=7014751519600236649 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9103/stat : 9103 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385195 10916999168 50201 33554432000 4194304 4196468 140725076540224 140597826382688 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9104] ppid=9086 vsize=10661132 memory=7014751519600236649 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9104/stat : 9104 (java) S 9086 9089 8861 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 95385195 10916999168 50201 33554432000 4194304 4196468 140725076540224 140597825329712 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
Current children cumulated CPU time: 4.24 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 200804 KiB

[startup+2.80072 s]
/proc/loadavg: 1.51 1.49 1.38 4/216 9104
/proc/meminfo: memFree=27803444/32770624 swapFree=67108860/67108860
[pid=9089] ppid=9086 vsize=10661132 memory=200964 CPUtime=4.65 cores=0,2,4,6
/proc/9089/stat : 9089 (java) S 9086 9089 8861 0 -1 1077944320 16576 0 0 0 457 8 0 0 20 0 15 0 95385189 10916999168 50241 33554432000 4194304 4196468 140725076540224 140725076522768 140598799924983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
/proc/9089/statm: 2665283 50241 3146 1 0 2627263 0
[pid=9089/tid=9091] ppid=9086 vsize=10661132 memory=8112282956445269571 CPUtime=2.74 cores=0,2,4,6
/proc/9089/task/9091/stat : 9091 (java) R 9086 9089 8861 0 -1 4202560 6032 0 0 0 271 3 0 0 20 0 15 0 95385189 10916999168 50241 33554432000 4194304 4196468 140725076540224 140598804164288 140598392571536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9092] ppid=9086 vsize=10661132 memory=6656426053142669987 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9092/stat : 9092 (java) S 9086 9089 8861 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 15 0 95385190 10916999168 50241 33554432000 4194304 4196468 140725076540224 140598725999632 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9093] ppid=9086 vsize=10661132 memory=667680 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9093/stat : 9093 (java) S 9086 9089 8861 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 15 0 95385190 10916999168 50241 33554432000 4194304 4196468 140725076540224 140598724947088 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9094] ppid=9086 vsize=10661132 memory=-1088251628401078322 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9094/stat : 9094 (java) S 9086 9089 8861 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 15 0 95385190 10916999168 50241 33554432000 4194304 4196468 140725076540224 140598723894032 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9095] ppid=9086 vsize=10661132 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9095/stat : 9095 (java) S 9086 9089 8861 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 15 0 95385190 10916999168 50241 33554432000 4194304 4196468 140725076540224 140598722841488 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9096] ppid=9086 vsize=10661132 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9096/stat : 9096 (java) S 9086 9089 8861 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 95385191 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597833750768 140598799936130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9097] ppid=9086 vsize=10661132 memory=3533419649945857444 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9097/stat : 9097 (java) S 9086 9089 8861 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 95385192 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597832696992 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9098] ppid=9086 vsize=10661132 memory=10 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9098/stat : 9098 (java) S 9086 9089 8861 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 95385192 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597831643888 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9099] ppid=9086 vsize=10661132 memory=2608 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9099/stat : 9099 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385194 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597830592464 140598799943579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9100] ppid=9086 vsize=10661132 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/9089/task/9100/stat : 9100 (java) S 9086 9089 8861 0 -1 1077944384 3915 0 0 0 76 0 0 0 20 0 15 0 95385194 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597829540592 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9101] ppid=9086 vsize=10661132 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/9089/task/9101/stat : 9101 (java) S 9086 9089 8861 0 -1 1077944384 2420 0 0 0 70 0 0 0 20 0 15 0 95385194 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597828488048 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9102] ppid=9086 vsize=10661132 memory=8243122710528917583 CPUtime=0.31 cores=0,2,4,6
/proc/9089/task/9102/stat : 9102 (java) S 9086 9089 8861 0 -1 1077944384 1834 0 0 0 31 0 0 0 20 0 15 0 95385195 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597827434992 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9103] ppid=9086 vsize=10661132 memory=14632 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9103/stat : 9103 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385195 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597826382688 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9104] ppid=9086 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9104/stat : 9104 (java) S 9086 9089 8861 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 95385195 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597825329712 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 200964 KiB

[startup+2.90083 s]
/proc/loadavg: 1.51 1.49 1.38 4/216 9104
/proc/meminfo: memFree=27803444/32770624 swapFree=67108860/67108860
[pid=9089] ppid=9086 vsize=10661132 memory=200964 CPUtime=4.75 cores=0,2,4,6
/proc/9089/stat : 9089 (java) S 9086 9089 8861 0 -1 1077944320 16576 0 0 0 467 8 0 0 20 0 15 0 95385189 10916999168 50241 33554432000 4194304 4196468 140725076540224 140725076522768 140598799924983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
/proc/9089/statm: 2665283 50241 3146 1 0 2627263 0
[pid=9089/tid=9091] ppid=9086 vsize=10661132 memory=55 CPUtime=2.84 cores=0,2,4,6
/proc/9089/task/9091/stat : 9091 (java) R 9086 9089 8861 0 -1 4202560 6032 0 0 0 281 3 0 0 20 0 15 0 95385189 10916999168 50241 33554432000 4194304 4196468 140725076540224 140598804164288 140598392573966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9092] ppid=9086 vsize=10661132 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9092/stat : 9092 (java) S 9086 9089 8861 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 15 0 95385190 10916999168 50241 33554432000 4194304 4196468 140725076540224 140598725999632 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9093] ppid=9086 vsize=10661132 memory=280670341701440 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9093/stat : 9093 (java) S 9086 9089 8861 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 15 0 95385190 10916999168 50241 33554432000 4194304 4196468 140725076540224 140598724947088 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9094] ppid=9086 vsize=10661132 memory=8257237230052613020 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9094/stat : 9094 (java) S 9086 9089 8861 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 15 0 95385190 10916999168 50241 33554432000 4194304 4196468 140725076540224 140598723894032 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9095] ppid=9086 vsize=10661132 memory=-7233780906022716832 CPUtime=0.01 cores=0,2,4,6
/proc/9089/task/9095/stat : 9095 (java) S 9086 9089 8861 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 15 0 95385190 10916999168 50241 33554432000 4194304 4196468 140725076540224 140598722841488 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9096] ppid=9086 vsize=10661132 memory=-7173504570862900581 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9096/stat : 9096 (java) S 9086 9089 8861 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 95385191 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597833750768 140598799936130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9097] ppid=9086 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9097/stat : 9097 (java) S 9086 9089 8861 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 95385192 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597832696992 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9098] ppid=9086 vsize=10661132 memory=8496 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9098/stat : 9098 (java) S 9086 9089 8861 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 95385192 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597831643888 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9099] ppid=9086 vsize=10661132 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9099/stat : 9099 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385194 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597830592464 140598799943579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9100] ppid=9086 vsize=10661132 memory=1200 CPUtime=0.76 cores=0,2,4,6
/proc/9089/task/9100/stat : 9100 (java) S 9086 9089 8861 0 -1 1077944384 3915 0 0 0 76 0 0 0 20 0 15 0 95385194 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597829540592 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9101] ppid=9086 vsize=10661132 memory=15872 CPUtime=0.7 cores=0,2,4,6
/proc/9089/task/9101/stat : 9101 (java) S 9086 9089 8861 0 -1 1077944384 2420 0 0 0 70 0 0 0 20 0 15 0 95385194 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597828488048 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9102] ppid=9086 vsize=10661132 memory=16540 CPUtime=0.31 cores=0,2,4,6
/proc/9089/task/9102/stat : 9102 (java) S 9086 9089 8861 0 -1 1077944384 1834 0 0 0 31 0 0 0 20 0 15 0 95385195 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597827434992 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9103] ppid=9086 vsize=10661132 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9103/stat : 9103 (java) S 9086 9089 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95385195 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597826382688 140598799935189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
[pid=9089/tid=9104] ppid=9086 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9089/task/9104/stat : 9104 (java) S 9086 9089 8861 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 95385195 10916999168 50241 33554432000 4194304 4196468 140725076540224 140597825329712 140598799936130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37916672 140725076546677 140725076546825 140725076546825 140725076549583 0
Current children cumulated CPU time: 4.75 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 200964 KiB

Child status: 0
Real time (s): 2.95292
CPU time (s): 4.81927
CPU user time (s): 4.7315
CPU system time (s): 0.087769
CPU usage (%): 163.203
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 200964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.7315
system time used= 0.087769
maximum resident set size= 201432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1521
involuntary context switches= 15


# summary of solver processes directly reported to runsolver:
#   pid: 9089
#   total CPU time (s): 4.81927
#   total CPU user time (s): 4.7315
#   total CPU system time (s): 0.087769

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039752 second user time and 0.06787 second system time

The end