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 (3882 MiB free)
memory of node 1: 16384 MiB (5064 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304424-1534086563/watcher-4304424-1534086563 -o /tmp/evaluation-result-4304424-1534086563/solver-4304424-1534086563 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21372 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=525617170 -superng HOME/instance-4304424-1534086563.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25112, runsolver pid=25109
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 1.50 1.42 1.41 3/206 25169
/proc/meminfo: memFree=9152392/32770624 swapFree=67108404/67108860
[pid=25112] ppid=25109 vsize=10005480 memory=19120 CPUtime=0.08 cores=1,3,5,7
/proc/25112/stat : 25112 (java) S 25109 25112 21340 0 -1 1077944320 4413 12938 0 0 1 0 4 3 20 0 6 0 226219498 10245611520 4780 33554432000 4194304 4196468 140720728430640 140720728413184 140240260660983 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
/proc/25112/statm: 2501370 4780 1934 1 0 2489808 0
[pid=25112/tid=25165] ppid=25109 vsize=10005480 memory=4279135703912971920 CPUtime=0.08 cores=1,3,5,7
/proc/25112/task/25165/stat : 25165 (java) R 25109 25112 21340 0 -1 4202560 2216 12938 0 0 1 0 4 3 20 0 6 0 226219507 10245611520 4780 33554432000 4194304 4196468 140720728430640 140240232497744 140240260682909 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25166] ppid=25109 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25166/stat : 25166 (java) S 25109 25112 21340 0 -1 1077944384 2 12938 0 0 0 0 4 3 20 0 6 0 226219508 10245611520 4780 33554432000 4194304 4196468 140720728430640 140240264903824 140240260671189 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25167] ppid=25109 vsize=10005480 memory=140219282007680 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25167/stat : 25167 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 6 0 226219508 10245611520 4780 33554432000 4194304 4196468 140720728430640 140240146168848 140240260671189 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25168] ppid=25109 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25168/stat : 25168 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 6 0 226219508 10245611520 4780 33554432000 4194304 4196468 140720728430640 140239799245712 140240260671189 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25169] ppid=25109 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25169/stat : 25169 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 6 0 226219508 10245611520 4780 33554432000 4194304 4196468 140720728430640 140239798192912 140240260671189 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 19120 KiB
[startup+0.209875 s]*
/proc/loadavg: 1.50 1.42 1.41 3/215 25178
/proc/meminfo: memFree=9131344/32770624 swapFree=67108404/67108860
[pid=25112] ppid=25109 vsize=10985364 memory=46884 CPUtime=0.25 cores=1,3,5,7
/proc/25112/stat : 25112 (java) S 25109 25112 21340 0 -1 1077944320 8435 12938 0 0 17 1 4 3 20 0 15 0 226219498 11249012736 11721 33554432000 4194304 4196468 140720728430640 140720728413184 140240260660983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
/proc/25112/statm: 2746341 11721 2949 1 0 2708764 0
[pid=25112/tid=25165] ppid=25109 vsize=10985364 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/25112/task/25165/stat : 25165 (java) R 25109 25112 21340 0 -1 4202560 5104 12938 0 0 11 1 4 3 20 0 15 0 226219507 11249012736 11853 33554432000 4194304 4196468 140720728430640 140240232485792 140240253340701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25166] ppid=25109 vsize=10985364 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25166/stat : 25166 (java) S 25109 25112 21340 0 -1 1077944384 2 12938 0 0 0 0 4 3 20 0 15 0 226219508 11249012736 11853 33554432000 4194304 4196468 140720728430640 140240264903824 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25167] ppid=25109 vsize=10985364 memory=140219282029309 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25167/stat : 25167 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219508 11249012736 11853 33554432000 4194304 4196468 140720728430640 140240146168848 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25168] ppid=25109 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25168/stat : 25168 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219508 11249012736 11853 33554432000 4194304 4196468 140720728430640 140239799245712 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25169] ppid=25109 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25169/stat : 25169 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219508 11249012736 11758 33554432000 4194304 4196468 140720728430640 140239798192912 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25170] ppid=25109 vsize=10985364 memory=140219282007680 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25170/stat : 25170 (java) S 25109 25112 21340 0 -1 1077944384 2 12938 0 0 0 0 4 3 20 0 15 0 226219509 11249012736 11488 33554432000 4194304 4196468 140720728430640 140239753750896 140240260672130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25171] ppid=25109 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25171/stat : 25171 (java) S 25109 25112 21340 0 -1 1077944384 13 12938 0 0 0 0 4 3 20 0 15 0 226219510 11249012736 11488 33554432000 4194304 4196468 140720728430640 140239070815264 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25172] ppid=25109 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25172/stat : 25172 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219510 11247345664 11488 33554432000 4194304 4196468 140720728430640 140238869488496 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25173] ppid=25109 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25173/stat : 25173 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11247345664 11248 33554432000 4194304 4196468 140720728430640 140238562088784 140240260679579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25174] ppid=25109 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25112/task/25174/stat : 25174 (java) S 25109 25112 21340 0 -1 1077944384 429 12938 0 0 1 0 4 3 20 0 15 0 226219513 11247345664 11248 33554432000 4194304 4196468 140720728430640 140239752698736 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25175] ppid=25109 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25112/task/25175/stat : 25175 (java) S 25109 25112 21340 0 -1 1077944384 181 12938 0 0 1 0 4 3 20 0 15 0 226219513 11246329856 11240 33554432000 4194304 4196468 140720728430640 140239751645936 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25176] ppid=25109 vsize=10982744 memory=140219282007680 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25176/stat : 25176 (java) S 25109 25112 21340 0 -1 1077944384 619 12938 0 0 3 0 4 3 20 0 15 0 226219513 11246329856 11240 33554432000 4194304 4196468 140720728430640 140239750593136 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25177] ppid=25109 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25177/stat : 25177 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11246329856 11240 33554432000 4194304 4196468 140720728430640 140238131292896 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25178] ppid=25109 vsize=10982744 memory=140219282007680 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25178/stat : 25178 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219513 11246329856 11240 33554432000 4194304 4196468 140720728430640 140239749540528 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 46884 KiB
[startup+0.310246 s]*
/proc/loadavg: 1.50 1.42 1.41 3/215 25178
/proc/meminfo: memFree=9118816/32770624 swapFree=67108404/67108860
[pid=25112] ppid=25109 vsize=10983192 memory=55424 CPUtime=0.37 cores=1,3,5,7
/proc/25112/stat : 25112 (java) S 25109 25112 21340 0 -1 1077944320 10443 12938 0 0 28 2 4 3 20 0 15 0 226219498 11246788608 13856 33554432000 4194304 4196468 140720728430640 140720728413184 140240260660983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
/proc/25112/statm: 2745798 13856 3068 1 0 2708109 0
[pid=25112/tid=25165] ppid=25109 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/25112/task/25165/stat : 25165 (java) R 25109 25112 21340 0 -1 4202560 6979 12938 0 0 19 2 4 3 20 0 15 0 226219507 11246788608 13856 33554432000 4194304 4196468 140720728430640 140240232472992 140240260682909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25166] ppid=25109 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25166/stat : 25166 (java) S 25109 25112 21340 0 -1 1077944384 2 12938 0 0 0 0 4 3 20 0 15 0 226219508 11246788608 13856 33554432000 4194304 4196468 140720728430640 140240264903824 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25167] ppid=25109 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25167/stat : 25167 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219508 11246788608 13856 33554432000 4194304 4196468 140720728430640 140240146168848 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25168] ppid=25109 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25168/stat : 25168 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219508 11246788608 13856 33554432000 4194304 4196468 140720728430640 140239799245712 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25169] ppid=25109 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25169/stat : 25169 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219508 11246788608 13856 33554432000 4194304 4196468 140720728430640 140239798192912 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25170] ppid=25109 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25170/stat : 25170 (java) S 25109 25112 21340 0 -1 1077944384 2 12938 0 0 0 0 4 3 20 0 15 0 226219509 11246788608 13856 33554432000 4194304 4196468 140720728430640 140239753750896 140240260672130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25171] ppid=25109 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25171/stat : 25171 (java) S 25109 25112 21340 0 -1 1077944384 13 12938 0 0 0 0 4 3 20 0 15 0 226219510 11246788608 13856 33554432000 4194304 4196468 140720728430640 140239070815264 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25172] ppid=25109 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25172/stat : 25172 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219510 11246788608 13856 33554432000 4194304 4196468 140720728430640 140238869488496 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25173] ppid=25109 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25173/stat : 25173 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11246788608 13856 33554432000 4194304 4196468 140720728430640 140238562088784 140240260679579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25174] ppid=25109 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25112/task/25174/stat : 25174 (java) S 25109 25112 21340 0 -1 1077944384 431 12938 0 0 1 0 4 3 20 0 15 0 226219513 11246788608 13856 33554432000 4194304 4196468 140720728430640 140239752698736 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25175] ppid=25109 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25112/task/25175/stat : 25175 (java) S 25109 25112 21340 0 -1 1077944384 184 12938 0 0 1 0 4 3 20 0 15 0 226219513 11246788608 13856 33554432000 4194304 4196468 140720728430640 140239751645936 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25176] ppid=25109 vsize=10983192 memory=140219282007680 CPUtime=0.12 cores=1,3,5,7
/proc/25112/task/25176/stat : 25176 (java) R 25109 25112 21340 0 -1 4202560 625 12938 0 0 5 0 4 3 20 0 15 0 226219513 11246788608 13856 33554432000 4194304 4196468 140720728430640 140239750593136 140240239599818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25177] ppid=25109 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25177/stat : 25177 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11246788608 13856 33554432000 4194304 4196468 140720728430640 140238131292896 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25178] ppid=25109 vsize=10983192 memory=140219282007680 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25178/stat : 25178 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219513 11246788608 13856 33554432000 4194304 4196468 140720728430640 140239749540528 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55424 KiB
[startup+0.700768 s]
/proc/loadavg: 1.50 1.42 1.41 3/215 25178
/proc/meminfo: memFree=9108644/32770624 swapFree=67108404/67108860
[pid=25112] ppid=25109 vsize=10983192 memory=88728 CPUtime=0.99 cores=1,3,5,7
/proc/25112/stat : 25112 (java) S 25109 25112 21340 0 -1 1077944320 16766 12938 0 0 87 5 4 3 20 0 15 0 226219498 11246788608 22182 33554432000 4194304 4196468 140720728430640 140720728413184 140240260660983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
/proc/25112/statm: 2745798 22182 3247 1 0 2708109 0
[pid=25112/tid=25165] ppid=25109 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/25112/task/25165/stat : 25165 (java) R 25109 25112 21340 0 -1 4202560 12214 12938 0 0 55 4 4 3 20 0 15 0 226219507 11246788608 22182 33554432000 4194304 4196468 140720728430640 140240232481808 140240242224539 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25166] ppid=25109 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25166/stat : 25166 (java) S 25109 25112 21340 0 -1 1077944384 2 12938 0 0 0 0 4 3 20 0 15 0 226219508 11246788608 22182 33554432000 4194304 4196468 140720728430640 140240264903824 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25167] ppid=25109 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25167/stat : 25167 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219508 11246788608 22182 33554432000 4194304 4196468 140720728430640 140240146168848 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25168] ppid=25109 vsize=10983192 memory=140219139633968 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25168/stat : 25168 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219508 11246788608 22182 33554432000 4194304 4196468 140720728430640 140239799245712 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25169] ppid=25109 vsize=10983192 memory=140222092280396 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25169/stat : 25169 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219508 11246788608 22182 33554432000 4194304 4196468 140720728430640 140239798192912 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25170] ppid=25109 vsize=10983192 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25170/stat : 25170 (java) S 25109 25112 21340 0 -1 1077944384 5 12938 0 0 0 0 4 3 20 0 15 0 226219509 11246788608 22182 33554432000 4194304 4196468 140720728430640 140239753750896 140240260672130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25171] ppid=25109 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25171/stat : 25171 (java) S 25109 25112 21340 0 -1 1077944384 13 12938 0 0 0 0 4 3 20 0 15 0 226219510 11246788608 22182 33554432000 4194304 4196468 140720728430640 140239070815264 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25172] ppid=25109 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25172/stat : 25172 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219510 11246788608 22182 33554432000 4194304 4196468 140720728430640 140238869488496 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25173] ppid=25109 vsize=10983192 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25173/stat : 25173 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11246788608 22182 33554432000 4194304 4196468 140720728430640 140238562088784 140240260679579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25174] ppid=25109 vsize=10983192 memory=33964 CPUtime=0.15 cores=1,3,5,7
/proc/25112/task/25174/stat : 25174 (java) S 25109 25112 21340 0 -1 1077944384 1008 12938 0 0 8 0 4 3 20 0 15 0 226219513 11246788608 22182 33554432000 4194304 4196468 140720728430640 140239752698736 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25175] ppid=25109 vsize=10983192 memory=14644 CPUtime=0.15 cores=1,3,5,7
/proc/25112/task/25175/stat : 25175 (java) S 25109 25112 21340 0 -1 1077944384 602 12938 0 0 8 0 4 3 20 0 15 0 226219513 11246788608 22182 33554432000 4194304 4196468 140720728430640 140239751645936 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25176] ppid=25109 vsize=10983192 memory=1720 CPUtime=0.2 cores=1,3,5,7
/proc/25112/task/25176/stat : 25176 (java) S 25109 25112 21340 0 -1 1077944384 715 12938 0 0 13 0 4 3 20 0 15 0 226219513 11246788608 22182 33554432000 4194304 4196468 140720728430640 140239750593136 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25177] ppid=25109 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25177/stat : 25177 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11246788608 22182 33554432000 4194304 4196468 140720728430640 140238131292896 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25178] ppid=25109 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25178/stat : 25178 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219513 11246788608 22182 33554432000 4194304 4196468 140720728430640 140239749540528 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88728 KiB
[startup+1.50079 s]
/proc/loadavg: 1.50 1.42 1.41 2/215 25178
/proc/meminfo: memFree=9076476/32770624 swapFree=67108404/67108860
[pid=25112] ppid=25109 vsize=10991948 memory=130196 CPUtime=1.88 cores=1,3,5,7
/proc/25112/stat : 25112 (java) S 25109 25112 21340 0 -1 1077944320 20668 12938 0 0 173 8 4 3 20 0 15 0 226219498 11255754752 32549 33554432000 4194304 4196468 140720728430640 140720728413184 140240260660983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
/proc/25112/statm: 2747987 32549 3443 1 0 2709645 0
[pid=25112/tid=25165] ppid=25109 vsize=10991948 memory=65168 CPUtime=1.09 cores=1,3,5,7
/proc/25112/task/25165/stat : 25165 (java) R 25109 25112 21340 0 -1 4202560 14928 12938 0 0 97 5 4 3 20 0 15 0 226219507 11255754752 32549 33554432000 4194304 4196468 140720728430640 140240232493872 140239829248941 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25166] ppid=25109 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25166/stat : 25166 (java) S 25109 25112 21340 0 -1 1077944384 2 12938 0 0 0 0 4 3 20 0 15 0 226219508 11255754752 32549 33554432000 4194304 4196468 140720728430640 140240264903824 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25167] ppid=25109 vsize=10991948 memory=280438279299232 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25167/stat : 25167 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219508 11255754752 32549 33554432000 4194304 4196468 140720728430640 140240146168848 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25168] ppid=25109 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25168/stat : 25168 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219508 11255754752 32549 33554432000 4194304 4196468 140720728430640 140239799245712 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25169] ppid=25109 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25169/stat : 25169 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219508 11255754752 32549 33554432000 4194304 4196468 140720728430640 140239798192912 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25170] ppid=25109 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25170/stat : 25170 (java) S 25109 25112 21340 0 -1 1077944384 5 12938 0 0 0 0 4 3 20 0 15 0 226219509 11255754752 32549 33554432000 4194304 4196468 140720728430640 140239753750896 140240260672130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25171] ppid=25109 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25171/stat : 25171 (java) S 25109 25112 21340 0 -1 1077944384 13 12938 0 0 0 0 4 3 20 0 15 0 226219510 11255754752 32549 33554432000 4194304 4196468 140720728430640 140239070815264 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25172] ppid=25109 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25172/stat : 25172 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219510 11255754752 32549 33554432000 4194304 4196468 140720728430640 140238869488496 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25173] ppid=25109 vsize=10991948 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25173/stat : 25173 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11255754752 32549 33554432000 4194304 4196468 140720728430640 140238562088784 140240260679579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25174] ppid=25109 vsize=10991948 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/25112/task/25174/stat : 25174 (java) R 25109 25112 21340 0 -1 4202560 1237 12938 0 0 22 0 4 3 20 0 15 0 226219513 11255754752 32549 33554432000 4194304 4196468 140720728430640 140239752684816 140240246688379 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25175] ppid=25109 vsize=10991948 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/25112/task/25175/stat : 25175 (java) R 25109 25112 21340 0 -1 4202560 1051 12938 0 0 21 0 4 3 20 0 15 0 226219513 11255754752 32549 33554432000 4194304 4196468 140720728430640 140239751631960 140240238255785 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25176] ppid=25109 vsize=10991948 memory=6791534058613427641 CPUtime=0.38 cores=1,3,5,7
/proc/25112/task/25176/stat : 25176 (java) R 25109 25112 21340 0 -1 1077944384 1223 12938 0 0 31 0 4 3 20 0 15 0 226219513 11255754752 32549 33554432000 4194304 4196468 140720728430640 140239750593136 140240260672130 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25177] ppid=25109 vsize=10991948 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25177/stat : 25177 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11255754752 32549 33554432000 4194304 4196468 140720728430640 140238131292896 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25178] ppid=25109 vsize=10991948 memory=280438279543680 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25178/stat : 25178 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11255754752 32549 33554432000 4194304 4196468 140720728430640 140239749540528 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
[startup+4.90452 s]
# the end of solver process 25112 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.1802 s, system=0.289097 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20092 s]
/proc/loadavg: 1.54 1.43 1.41 4/215 25178
/proc/meminfo: memFree=8932676/32770624 swapFree=67108404/67108860
[pid=25112] ppid=25109 vsize=11006304 memory=243744 CPUtime=5.7 cores=1,3,5,7
/proc/25112/stat : 25112 (java) S 25109 25112 21340 0 -1 1077944320 38645 12938 0 0 548 15 4 3 20 0 15 0 226219498 11270455296 60936 33554432000 4194304 4196468 140720728430640 140720728413184 140240260660983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
/proc/25112/statm: 2751576 60936 3498 1 0 2713229 0
[pid=25112/tid=25165] ppid=25109 vsize=11006304 memory=-9123011406873206402 CPUtime=2.76 cores=1,3,5,7
/proc/25112/task/25165/stat : 25165 (java) R 25109 25112 21340 0 -1 4202560 27544 12938 0 0 261 8 4 3 20 0 15 0 226219507 11270455296 60936 33554432000 4194304 4196468 140720728430640 140240232489136 140239827681472 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25166] ppid=25109 vsize=11006304 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/25112/task/25166/stat : 25166 (java) S 25109 25112 21340 0 -1 1077944384 68 12938 0 0 1 0 4 3 20 0 15 0 226219508 11270455296 60936 33554432000 4194304 4196468 140720728430640 140240264903824 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25167] ppid=25109 vsize=11006304 memory=4132775673715122240 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25167/stat : 25167 (java) S 25109 25112 21340 0 -1 1077944384 183 12938 0 0 0 0 4 3 20 0 15 0 226219508 11270455296 60936 33554432000 4194304 4196468 140720728430640 140240146168848 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25168] ppid=25109 vsize=11006304 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25112/task/25168/stat : 25168 (java) S 25109 25112 21340 0 -1 1077944384 30 12938 0 0 1 0 4 3 20 0 15 0 226219508 11270455296 60936 33554432000 4194304 4196468 140720728430640 140239799245712 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25169] ppid=25109 vsize=11006304 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25112/task/25169/stat : 25169 (java) S 25109 25112 21340 0 -1 1077944384 15 12938 0 0 1 0 4 3 20 0 15 0 226219508 11270455296 60936 33554432000 4194304 4196468 140720728430640 140239798192912 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25170] ppid=25109 vsize=11006304 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25112/task/25170/stat : 25170 (java) S 25109 25112 21340 0 -1 1077944384 62 12938 0 0 1 0 4 3 20 0 15 0 226219509 11270455296 60936 33554432000 4194304 4196468 140720728430640 140239753750896 140240260672130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25171] ppid=25109 vsize=11006304 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25171/stat : 25171 (java) S 25109 25112 21340 0 -1 1077944384 14 12938 0 0 0 0 4 3 20 0 15 0 226219510 11270455296 60936 33554432000 4194304 4196468 140720728430640 140239070815328 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25172] ppid=25109 vsize=11006304 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25172/stat : 25172 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219510 11270455296 60936 33554432000 4194304 4196468 140720728430640 140238869488512 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25173] ppid=25109 vsize=11006304 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25173/stat : 25173 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11270455296 60936 33554432000 4194304 4196468 140720728430640 140238562088784 140240260679579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25174] ppid=25109 vsize=11006304 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/25112/task/25174/stat : 25174 (java) R 25109 25112 21340 0 -1 4202560 3299 12938 0 0 113 0 4 3 20 0 15 0 226219513 11270455296 60936 33554432000 4194304 4196468 140720728430640 140239752688528 140240240378119 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25175] ppid=25109 vsize=11006304 memory=0 CPUtime=0.83 cores=1,3,5,7
/proc/25112/task/25175/stat : 25175 (java) R 25109 25112 21340 0 -1 4202560 1712 12938 0 0 76 0 4 3 20 0 15 0 226219513 11270455296 60936 33554432000 4194304 4196468 140720728430640 140239751624688 140240244147248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25176] ppid=25109 vsize=11006304 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/25112/task/25176/stat : 25176 (java) R 25109 25112 21340 0 -1 1077944384 3513 12938 0 0 90 1 4 3 20 0 15 0 226219513 11270455296 60936 33554432000 4194304 4196468 140720728430640 140239750593136 140240260672130 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25177] ppid=25109 vsize=11006304 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25177/stat : 25177 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11270455296 60936 33554432000 4194304 4196468 140720728430640 140238131292896 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25178] ppid=25109 vsize=11006304 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25178/stat : 25178 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11270455296 60936 33554432000 4194304 4196468 140720728430640 140239749540528 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
Current children cumulated CPU time: 5.7 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 243744 KiB
[startup+4.00075 s]*
/proc/loadavg: 1.54 1.43 1.41 4/215 25178
/proc/meminfo: memFree=8853504/32770624 swapFree=67108404/67108860
[pid=25112] ppid=25109 vsize=11012448 memory=321176 CPUtime=7.84 cores=1,3,5,7
/proc/25112/stat : 25112 (java) S 25109 25112 21340 0 -1 1077944320 62383 12938 0 0 756 21 4 3 20 0 15 0 226219498 11276746752 80294 33554432000 4194304 4196468 140720728430640 140720728413184 140240260660983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
/proc/25112/statm: 2753112 80294 3502 1 0 2714765 0
[pid=25112/tid=25165] ppid=25109 vsize=11012448 memory=7022364594140610616 CPUtime=3.52 cores=1,3,5,7
/proc/25112/task/25165/stat : 25165 (java) R 25109 25112 21340 0 -1 4202560 42385 12938 0 0 333 12 4 3 20 0 15 0 226219507 11276746752 80294 33554432000 4194304 4196468 140720728430640 140240232494176 140240243847792 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25166] ppid=25109 vsize=11012448 memory=364 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25166/stat : 25166 (java) S 25109 25112 21340 0 -1 1077944384 708 12938 0 0 3 0 4 3 20 0 15 0 226219508 11276746752 80294 33554432000 4194304 4196468 140720728430640 140240264903824 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25167] ppid=25109 vsize=11012448 memory=140219282029309 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25167/stat : 25167 (java) S 25109 25112 21340 0 -1 1077944384 216 12938 0 0 2 1 4 3 20 0 15 0 226219508 11276746752 80294 33554432000 4194304 4196468 140720728430640 140240146168848 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25168] ppid=25109 vsize=11012448 memory=6655300316396806240 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25168/stat : 25168 (java) S 25109 25112 21340 0 -1 1077944384 56 12938 0 0 3 0 4 3 20 0 15 0 226219508 11276746752 80294 33554432000 4194304 4196468 140720728430640 140239799245712 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25169] ppid=25109 vsize=11012448 memory=3472328296160571439 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25169/stat : 25169 (java) S 25109 25112 21340 0 -1 1077944384 42 12938 0 0 3 0 4 3 20 0 15 0 226219508 11276746752 80294 33554432000 4194304 4196468 140720728430640 140239798192912 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25170] ppid=25109 vsize=11012448 memory=8315307282655616499 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25170/stat : 25170 (java) S 25109 25112 21340 0 -1 1077944384 4186 12938 0 0 3 0 4 3 20 0 15 0 226219509 11276746752 80294 33554432000 4194304 4196468 140720728430640 140239753750896 140240260672130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25171] ppid=25109 vsize=11012448 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25171/stat : 25171 (java) S 25109 25112 21340 0 -1 1077944384 14 12938 0 0 0 0 4 3 20 0 15 0 226219510 11276746752 80294 33554432000 4194304 4196468 140720728430640 140239070815328 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25172] ppid=25109 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25172/stat : 25172 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219510 11276746752 80294 33554432000 4194304 4196468 140720728430640 140238869488512 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25173] ppid=25109 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25173/stat : 25173 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11276746752 80294 33554432000 4194304 4196468 140720728430640 140238562088784 140240260679579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25174] ppid=25109 vsize=11012448 memory=0 CPUtime=1.79 cores=1,3,5,7
/proc/25112/task/25174/stat : 25174 (java) R 25109 25112 21340 0 -1 4202560 4018 12938 0 0 172 0 4 3 20 0 15 0 226219513 11276746752 80294 33554432000 4194304 4196468 140720728430640 140239752678824 140240244571669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25175] ppid=25109 vsize=11012448 memory=-1 CPUtime=1.31 cores=1,3,5,7
/proc/25112/task/25175/stat : 25175 (java) S 25109 25112 21340 0 -1 1077944384 3310 12938 0 0 123 1 4 3 20 0 15 0 226219513 11276746752 80294 33554432000 4194304 4196468 140720728430640 140239751645936 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25176] ppid=25109 vsize=11012448 memory=140219282029304 CPUtime=1.18 cores=1,3,5,7
/proc/25112/task/25176/stat : 25176 (java) S 25109 25112 21340 0 -1 1077944384 5237 12938 0 0 109 2 4 3 20 0 15 0 226219513 11276746752 80294 33554432000 4194304 4196468 140720728430640 140239750593136 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25177] ppid=25109 vsize=11012448 memory=2 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25177/stat : 25177 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11276746752 80294 33554432000 4194304 4196468 140720728430640 140238131292896 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25178] ppid=25109 vsize=11012448 memory=140219282007680 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25178/stat : 25178 (java) S 25109 25112 21340 0 -1 1077944384 8 12938 0 0 0 0 4 3 20 0 15 0 226219513 11276746752 80294 33554432000 4194304 4196468 140720728430640 140239749540528 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
Current children cumulated CPU time: 7.84 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 321176 KiB
[startup+4.40098 s]
/proc/loadavg: 1.54 1.43 1.41 4/215 25178
/proc/meminfo: memFree=8853504/32770624 swapFree=67108404/67108860
[pid=25112] ppid=25109 vsize=11082668 memory=351712 CPUtime=9.07 cores=1,3,5,7
/proc/25112/stat : 25112 (java) S 25109 25112 21340 0 -1 1077944320 69737 12938 0 0 877 23 4 3 20 0 15 0 226219498 11348652032 87928 33554432000 4194304 4196468 140720728430640 140720728413184 140240260660983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
/proc/25112/statm: 2770667 87928 3503 1 0 2732320 0
[pid=25112/tid=25165] ppid=25109 vsize=11082668 memory=7681421203011431829 CPUtime=3.91 cores=1,3,5,7
/proc/25112/task/25165/stat : 25165 (java) R 25109 25112 21340 0 -1 4202560 46942 12938 0 0 371 13 4 3 20 0 15 0 226219507 11348652032 87928 33554432000 4194304 4196468 140720728430640 140240232492752 140240260672918 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25166] ppid=25109 vsize=11082668 memory=4496934844901189476 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25166/stat : 25166 (java) S 25109 25112 21340 0 -1 1077944384 708 12938 0 0 3 0 4 3 20 0 15 0 226219508 11348652032 87928 33554432000 4194304 4196468 140720728430640 140240264903824 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25167] ppid=25109 vsize=11082668 memory=-7740096080597194087 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25167/stat : 25167 (java) S 25109 25112 21340 0 -1 1077944384 216 12938 0 0 2 1 4 3 20 0 15 0 226219508 11348652032 87928 33554432000 4194304 4196468 140720728430640 140240146168848 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25168] ppid=25109 vsize=11082668 memory=6656426216303636538 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25168/stat : 25168 (java) S 25109 25112 21340 0 -1 1077944384 56 12938 0 0 3 0 4 3 20 0 15 0 226219508 11348652032 87928 33554432000 4194304 4196468 140720728430640 140239799245712 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25169] ppid=25109 vsize=11082668 memory=56 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25169/stat : 25169 (java) S 25109 25112 21340 0 -1 1077944384 42 12938 0 0 3 0 4 3 20 0 15 0 226219508 11348652032 87928 33554432000 4194304 4196468 140720728430640 140239798192912 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25170] ppid=25109 vsize=11082668 memory=11473008118 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25170/stat : 25170 (java) S 25109 25112 21340 0 -1 1077944384 4186 12938 0 0 3 0 4 3 20 0 15 0 226219509 11348652032 87928 33554432000 4194304 4196468 140720728430640 140239753750896 140240260672130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25171] ppid=25109 vsize=11082668 memory=11473008121 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25171/stat : 25171 (java) S 25109 25112 21340 0 -1 1077944384 14 12938 0 0 0 0 4 3 20 0 15 0 226219510 11348652032 87928 33554432000 4194304 4196468 140720728430640 140239070815328 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25172] ppid=25109 vsize=11082668 memory=11473008121 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25172/stat : 25172 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219510 11348652032 87928 33554432000 4194304 4196468 140720728430640 140238869488512 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25173] ppid=25109 vsize=11082668 memory=11473008121 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25173/stat : 25173 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11348652032 87928 33554432000 4194304 4196468 140720728430640 140238562088784 140240260679579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25174] ppid=25109 vsize=11082668 memory=11473008121 CPUtime=2.18 cores=1,3,5,7
/proc/25112/task/25174/stat : 25174 (java) R 25109 25112 21340 0 -1 4202560 6360 12938 0 0 210 1 4 3 20 0 15 0 226219513 11348652032 87928 33554432000 4194304 4196468 140720728430640 140239752684232 140240242182179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25175] ppid=25109 vsize=11082668 memory=11473008121 CPUtime=1.59 cores=1,3,5,7
/proc/25112/task/25175/stat : 25175 (java) R 25109 25112 21340 0 -1 4202560 3411 12938 0 0 151 1 4 3 20 0 15 0 226219513 11348652032 87928 33554432000 4194304 4196468 140720728430640 140239751631136 140240245566235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25176] ppid=25109 vsize=11082668 memory=11473008121 CPUtime=1.35 cores=1,3,5,7
/proc/25112/task/25176/stat : 25176 (java) R 25109 25112 21340 0 -1 1077944384 5591 12938 0 0 126 2 4 3 20 0 15 0 226219513 11348652032 87928 33554432000 4194304 4196468 140720728430640 140239750593136 140240260672130 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25177] ppid=25109 vsize=11082668 memory=280438279399016 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25177/stat : 25177 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11348652032 87928 33554432000 4194304 4196468 140720728430640 140238131292896 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25178] ppid=25109 vsize=11082668 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25178/stat : 25178 (java) S 25109 25112 21340 0 -1 1077944384 8 12938 0 0 0 0 4 3 20 0 15 0 226219513 11348652032 87928 33554432000 4194304 4196468 140720728430640 140239749540528 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
Current children cumulated CPU time: 9.07 s
Current children cumulated vsize: 11082668 KiB
Current children cumulated memory: 351712 KiB
[startup+4.80064 s]
/proc/loadavg: 1.54 1.43 1.41 4/215 25178
/proc/meminfo: memFree=8853504/32770624 swapFree=67108404/67108860
[pid=25112] ppid=25109 vsize=11080032 memory=368444 CPUtime=10.18 cores=1,3,5,7
/proc/25112/stat : 25112 (java) S 25109 25112 21340 0 -1 1077944320 71041 12938 0 0 988 23 4 3 20 0 15 0 226219498 11345952768 92111 33554432000 4194304 4196468 140720728430640 140720728413184 140240260660983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
/proc/25112/statm: 2770008 92111 3504 1 0 2731661 0
[pid=25112/tid=25165] ppid=25109 vsize=11080032 memory=131 CPUtime=4.3 cores=1,3,5,7
/proc/25112/task/25165/stat : 25165 (java) R 25109 25112 21340 0 -1 4202560 47118 12938 0 0 410 13 4 3 20 0 15 0 226219507 11345952768 92111 33554432000 4194304 4196468 140720728430640 140240232491504 140240260672918 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25166] ppid=25109 vsize=11080032 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25166/stat : 25166 (java) S 25109 25112 21340 0 -1 1077944384 708 12938 0 0 3 0 4 3 20 0 15 0 226219508 11345952768 92111 33554432000 4194304 4196468 140720728430640 140240264903824 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25167] ppid=25109 vsize=11080032 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25167/stat : 25167 (java) S 25109 25112 21340 0 -1 1077944384 216 12938 0 0 2 1 4 3 20 0 15 0 226219508 11345952768 92111 33554432000 4194304 4196468 140720728430640 140240146168848 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25168] ppid=25109 vsize=11080032 memory=208568 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25168/stat : 25168 (java) S 25109 25112 21340 0 -1 1077944384 56 12938 0 0 3 0 4 3 20 0 15 0 226219508 11345952768 92111 33554432000 4194304 4196468 140720728430640 140239799245712 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25169] ppid=25109 vsize=11080032 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25169/stat : 25169 (java) S 25109 25112 21340 0 -1 1077944384 42 12938 0 0 3 0 4 3 20 0 15 0 226219508 11345952768 92111 33554432000 4194304 4196468 140720728430640 140239798192912 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25170] ppid=25109 vsize=11080032 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25112/task/25170/stat : 25170 (java) S 25109 25112 21340 0 -1 1077944384 4186 12938 0 0 3 0 4 3 20 0 15 0 226219509 11345952768 92111 33554432000 4194304 4196468 140720728430640 140239753750896 140240260672130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25171] ppid=25109 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25171/stat : 25171 (java) S 25109 25112 21340 0 -1 1077944384 14 12938 0 0 0 0 4 3 20 0 15 0 226219510 11345952768 92111 33554432000 4194304 4196468 140720728430640 140239070815328 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25172] ppid=25109 vsize=11080032 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25172/stat : 25172 (java) S 25109 25112 21340 0 -1 1077944384 1 12938 0 0 0 0 4 3 20 0 15 0 226219510 11345952768 92111 33554432000 4194304 4196468 140720728430640 140238869488512 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25173] ppid=25109 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25173/stat : 25173 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11345952768 92111 33554432000 4194304 4196468 140720728430640 140238562088784 140240260679579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25174] ppid=25109 vsize=11080032 memory=0 CPUtime=2.5 cores=1,3,5,7
/proc/25112/task/25174/stat : 25174 (java) R 25109 25112 21340 0 -1 4202560 7136 12938 0 0 242 1 4 3 20 0 15 0 226219513 11345952768 92111 33554432000 4194304 4196468 140720728430640 140239752685584 140240246672161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25175] ppid=25109 vsize=11080032 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7
/proc/25112/task/25175/stat : 25175 (java) R 25109 25112 21340 0 -1 4202560 3507 12938 0 0 178 1 4 3 20 0 15 0 226219513 11345952768 92111 33554432000 4194304 4196468 140720728430640 140239751634608 140240242181774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25176] ppid=25109 vsize=11080032 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/25112/task/25176/stat : 25176 (java) S 25109 25112 21340 0 -1 1077944384 5846 12938 0 0 139 2 4 3 20 0 15 0 226219513 11345952768 92111 33554432000 4194304 4196468 140720728430640 140239750593136 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25177] ppid=25109 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25177/stat : 25177 (java) S 25109 25112 21340 0 -1 1077944384 3 12938 0 0 0 0 4 3 20 0 15 0 226219513 11345952768 92111 33554432000 4194304 4196468 140720728430640 140238131292896 140240260671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
[pid=25112/tid=25178] ppid=25109 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25112/task/25178/stat : 25178 (java) S 25109 25112 21340 0 -1 1077944384 9 12938 0 0 0 0 4 3 20 0 15 0 226219513 11345952768 92111 33554432000 4194304 4196468 140720728430640 140239749540528 140240260672130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 9105408 140720728435300 140720728438108 140720728438108 140720728440783 0
Current children cumulated CPU time: 10.18 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 368444 KiB
Child status: 0
Real time (s): 4.9046
CPU time (s): 10.4693
CPU user time (s): 10.1802
CPU system time (s): 0.289097
CPU usage (%): 213.458
Max. virtual memory (cumulated for all children) (KiB): 11082668
Max. memory (cumulated for all children) (KiB): 368444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1802
system time used= 0.289097
maximum resident set size= 372888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6254
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 25112
# total CPU time (s): 10.4693
# total CPU user time (s): 10.1802
# total CPU system time (s): 0.289097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046593 second user time and 0.090333 second system time
The end