runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4109832-1466343742/watcher-4109832-1466343742 -o /tmp/evaluation-result-4109832-1466343742/solver-4109832-1466343742 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466341824-18889 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109832-1466343742.wbo
pid=20084
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.14 2.10 1.79 3/194 20087
/proc/meminfo: memFree=31078020/32872528 swapFree=526336/559040
[pid=20087] ppid=20084 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20087/stat : 20087 (java) D 20084 20087 18872 0 -1 4202496 532 0 0 0 0 0 0 0 20 0 1 0 36424348 9515008 185 33554432000 1073741824 1073778376 140734182432448 140734182421512 270109076775 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/20087/statm: 2323 185 143 9 0 71 0
[startup+0.10006 s]
/proc/loadavg: 2.14 2.10 1.79 3/194 20087
/proc/meminfo: memFree=31078020/32872528 swapFree=526336/559040
[pid=20087] ppid=20084 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/20087/stat : 20087 (java) S 20084 20087 18872 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 36424348 9787879424 6033 33554432000 1073741824 1073778376 140734182432448 140734182423584 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20087/statm: 2389619 6033 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.20021 s]
/proc/loadavg: 2.14 2.10 1.79 3/194 20087
/proc/meminfo: memFree=31078020/32872528 swapFree=526336/559040
[pid=20087] ppid=20084 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/20087/stat : 20087 (java) S 20084 20087 18872 0 -1 4202496 4769 0 1 0 24 1 0 0 20 0 18 0 36424348 9787879424 6823 33554432000 1073741824 1073778376 140734182432448 140734182423584 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20087/statm: 2389619 6823 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300233 s]
/proc/loadavg: 2.14 2.10 1.79 3/194 20087
/proc/meminfo: memFree=31078020/32872528 swapFree=526336/559040
[pid=20087] ppid=20084 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/20087/stat : 20087 (java) S 20084 20087 18872 0 -1 4202496 5797 0 1 0 46 1 0 0 20 0 18 0 36424348 9787879424 8373 33554432000 1073741824 1073778376 140734182432448 140734182423584 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20087/statm: 2389619 8373 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700185 s]
/proc/loadavg: 2.14 2.10 1.79 3/194 20087
/proc/meminfo: memFree=31078020/32872528 swapFree=526336/559040
[pid=20087] ppid=20084 vsize=9625040 CPUtime=1.61 cores=1,3,5,7
/proc/20087/stat : 20087 (java) S 20084 20087 18872 0 -1 4202496 13884 0 1 0 158 3 0 0 20 0 19 0 36424348 9856040960 13531 33554432000 1073741824 1073778376 140734182432448 140734182423584 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20087/statm: 2406260 13531 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 9625040
[startup+1.50077 s]
/proc/loadavg: 2.14 2.10 1.79 3/213 20106
/proc/meminfo: memFree=31030008/32872528 swapFree=526336/559040
[pid=20087] ppid=20084 vsize=9625040 CPUtime=2.47 cores=1,3,5,7
/proc/20087/stat : 20087 (java) S 20084 20087 18872 0 -1 4202496 13893 0 1 0 244 3 0 0 20 0 19 0 36424348 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 140734182423584 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20087/statm: 2406260 14560 2266 9 0 2396937 0
[pid=20087/tid=20089] ppid=20084 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/20087/task/20089/stat : 20089 (java) R 20084 20087 18872 0 -1 4202560 2425 0 1 0 143 2 0 0 20 0 19 0 36424349 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139815131422928 139814960205913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20090] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20090/stat : 20090 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139815092914344 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20091] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20091/stat : 20091 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139815091861800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20092] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20092/stat : 20092 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139815090809256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20087/tid=20093] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20093/stat : 20093 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139815089756712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20094] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20094/stat : 20094 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139815088704168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20095] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20095/stat : 20095 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139815087651624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20096] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20096/stat : 20096 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139815086599080 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20097] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20097/stat : 20097 (java) S 20084 20087 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139815085546536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20098] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20098/stat : 20098 (java) S 20084 20087 18872 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139814955362408 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20099] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20099/stat : 20099 (java) S 20084 20087 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139814954308728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20100] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20100/stat : 20100 (java) S 20084 20087 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139814953256072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20101] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20101/stat : 20101 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139814952204816 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20102] ppid=20084 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/20087/task/20102/stat : 20102 (java) S 20084 20087 18872 0 -1 4202560 4721 0 0 0 46 0 0 0 20 0 19 0 36424353 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139814951152184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20103] ppid=20084 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/20087/task/20103/stat : 20103 (java) S 20084 20087 18872 0 -1 4202560 5471 0 0 0 52 0 0 0 20 0 19 0 36424353 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139814950099640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20104] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20104/stat : 20104 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139814949047288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20105] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20105/stat : 20105 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139814947994952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20106] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20106/stat : 20106 (java) S 20084 20087 18872 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36424380 9856040960 14560 33554432000 1073741824 1073778376 140734182432448 139814946939688 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 9625040
[startup+3.10075 s]
/proc/loadavg: 2.14 2.10 1.79 3/213 20106
/proc/meminfo: memFree=31003084/32872528 swapFree=526336/559040
[pid=20087] ppid=20084 vsize=9625040 CPUtime=4.54 cores=1,3,5,7
/proc/20087/stat : 20087 (java) S 20084 20087 18872 0 -1 4202496 21023 0 1 0 450 4 0 0 20 0 19 0 36424348 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 140734182423584 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20087/statm: 2406260 23147 2270 9 0 2396937 0
[pid=20087/tid=20089] ppid=20084 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/20087/task/20089/stat : 20089 (java) R 20084 20087 18872 0 -1 4202560 2434 0 1 0 302 2 0 0 20 0 19 0 36424349 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139815131423016 139814959810055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20090] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20090/stat : 20090 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139815092914344 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20091] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20091/stat : 20091 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139815091861800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20092] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20092/stat : 20092 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139815090809256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20087/tid=20093] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20093/stat : 20093 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139815089756712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20094] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20094/stat : 20094 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139815088704168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20095] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20095/stat : 20095 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139815087651624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20096] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20096/stat : 20096 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139815086599080 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20097] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20097/stat : 20097 (java) S 20084 20087 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139815085546536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20098] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20098/stat : 20098 (java) S 20084 20087 18872 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139814955362408 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20099] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20099/stat : 20099 (java) S 20084 20087 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139814954308728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20100] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20100/stat : 20100 (java) S 20084 20087 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139814953256072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20101] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20101/stat : 20101 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139814952204816 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20102] ppid=20084 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/20087/task/20102/stat : 20102 (java) S 20084 20087 18872 0 -1 4202560 11813 0 0 0 86 2 0 0 20 0 19 0 36424353 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139814951152184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20087/tid=20103] ppid=20084 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/20087/task/20103/stat : 20103 (java) S 20084 20087 18872 0 -1 4202560 5500 0 0 0 58 0 0 0 20 0 19 0 36424353 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139814950099640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20104] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20104/stat : 20104 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139814949047288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20105] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20105/stat : 20105 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139814947994952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20106] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20106/stat : 20106 (java) S 20084 20087 18872 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36424380 9856040960 23147 33554432000 1073741824 1073778376 140734182432448 139814946939688 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 9625040
[startup+6.30086 s]
/proc/loadavg: 2.21 2.12 1.80 3/213 20106
/proc/meminfo: memFree=30984096/32872528 swapFree=526336/559040
[pid=20087] ppid=20084 vsize=9625040 CPUtime=8.56 cores=1,3,5,7
/proc/20087/stat : 20087 (java) S 20084 20087 18872 0 -1 4202496 24825 0 1 0 850 6 0 0 20 0 19 0 36424348 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 140734182423584 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20087/statm: 2406260 26140 2270 9 0 2396937 0
[pid=20087/tid=20089] ppid=20084 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/20087/task/20089/stat : 20089 (java) R 20084 20087 18872 0 -1 4202560 2446 0 1 0 621 2 0 0 20 0 19 0 36424349 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139815131414272 139814960167504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20090] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20090/stat : 20090 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139815092914344 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20091] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20091/stat : 20091 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139815091861800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20092] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20092/stat : 20092 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139815090809256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20087/tid=20093] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20093/stat : 20093 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139815089756712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20094] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20094/stat : 20094 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139815088704168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20095] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20095/stat : 20095 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139815087651624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20096] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20096/stat : 20096 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139815086599080 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20097] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20097/stat : 20097 (java) S 20084 20087 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139815085546536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20098] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20098/stat : 20098 (java) S 20084 20087 18872 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139814955362408 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20099] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20099/stat : 20099 (java) S 20084 20087 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139814954308728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20100] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20100/stat : 20100 (java) S 20084 20087 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139814953256072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20101] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20101/stat : 20101 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139814952204816 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20102] ppid=20084 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/20087/task/20102/stat : 20102 (java) S 20084 20087 18872 0 -1 4202560 15603 0 0 0 159 3 0 0 20 0 19 0 36424353 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139814951152184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20087/tid=20103] ppid=20084 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/20087/task/20103/stat : 20103 (java) S 20084 20087 18872 0 -1 4202560 5500 0 0 0 66 0 0 0 20 0 19 0 36424353 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139814950099640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20104] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20104/stat : 20104 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139814949047288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20105] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20105/stat : 20105 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139814947994952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20106] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20106/stat : 20106 (java) S 20084 20087 18872 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36424380 9856040960 26140 33554432000 1073741824 1073778376 140734182432448 139814946939688 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.56
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=20087/tid=20099] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20099/stat : 20099 (java) S 20084 20087 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 39653 33554432000 1073741824 1073778376 140734182432448 139814954308728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20100] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20100/stat : 20100 (java) S 20084 20087 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 39653 33554432000 1073741824 1073778376 140734182432448 139814953256072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20101] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20101/stat : 20101 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 39653 33554432000 1073741824 1073778376 140734182432448 139814952204816 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20102] ppid=20084 vsize=9625040 CPUtime=1.65 cores=1,3,5,7
/proc/20087/task/20102/stat : 20102 (java) S 20084 20087 18872 0 -1 4202560 15604 0 0 0 162 3 0 0 20 0 19 0 36424353 9856040960 39653 33554432000 1073741824 1073778376 140734182432448 139814951152184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20087/tid=20103] ppid=20084 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/20087/task/20103/stat : 20103 (java) S 20084 20087 18872 0 -1 4202560 5500 0 0 0 66 0 0 0 20 0 19 0 36424353 9856040960 39653 33554432000 1073741824 1073778376 140734182432448 139814950099640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20104] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20104/stat : 20104 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 39653 33554432000 1073741824 1073778376 140734182432448 139814949047288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20105] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20105/stat : 20105 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 39653 33554432000 1073741824 1073778376 140734182432448 139814947994952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20106] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20106/stat : 20106 (java) S 20084 20087 18872 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36424380 9856040960 39653 33554432000 1073741824 1073778376 140734182432448 139814946939688 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 28.7
Current children cumulated vsize (KiB) 9625040
[startup+27.2008 s]
/proc/loadavg: 2.15 2.11 1.81 3/213 20106
/proc/meminfo: memFree=30925516/32872528 swapFree=526336/559040
[pid=20087] ppid=20084 vsize=9625040 CPUtime=29.51 cores=1,3,5,7
/proc/20087/stat : 20087 (java) S 20084 20087 18872 0 -1 4202496 24858 0 1 0 2944 7 0 0 20 0 19 0 36424348 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 140734182423584 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20087/statm: 2406260 40165 2271 9 0 2396937 0
[pid=20087/tid=20089] ppid=20084 vsize=9625040 CPUtime=27.07 cores=1,3,5,7
/proc/20087/task/20089/stat : 20089 (java) R 20084 20087 18872 0 -1 4202560 2478 0 1 0 2705 2 0 0 20 0 19 0 36424349 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139815131421096 139814960167467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20090] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20090/stat : 20090 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139815092914344 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20091] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20091/stat : 20091 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139815091861800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20092] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20092/stat : 20092 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139815090809256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20087/tid=20093] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20093/stat : 20093 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139815089756712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20094] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20094/stat : 20094 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139815088704168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20095] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20095/stat : 20095 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139815087651624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20096] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20096/stat : 20096 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139815086599080 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20097] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20097/stat : 20097 (java) S 20084 20087 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139815085546536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20098] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20098/stat : 20098 (java) S 20084 20087 18872 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139814955362408 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20099] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20099/stat : 20099 (java) S 20084 20087 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139814954308728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20100] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20100/stat : 20100 (java) S 20084 20087 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139814953256072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20101] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20101/stat : 20101 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139814952204816 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20102] ppid=20084 vsize=9625040 CPUtime=1.66 cores=1,3,5,7
/proc/20087/task/20102/stat : 20102 (java) S 20084 20087 18872 0 -1 4202560 15604 0 0 0 163 3 0 0 20 0 19 0 36424353 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139814951152184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20087/tid=20103] ppid=20084 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/20087/task/20103/stat : 20103 (java) S 20084 20087 18872 0 -1 4202560 5500 0 0 0 67 0 0 0 20 0 19 0 36424353 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139814950099640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20104] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20104/stat : 20104 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139814949047288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20105] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20105/stat : 20105 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139814947994952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20106] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20106/stat : 20106 (java) S 20084 20087 18872 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36424380 9856040960 40165 33554432000 1073741824 1073778376 140734182432448 139814946939688 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 29.51
Current children cumulated vsize (KiB) 9625040
[startup+27.6078 s]
/proc/loadavg: 2.15 2.11 1.81 3/213 20106
/proc/meminfo: memFree=30921172/32872528 swapFree=526336/559040
[pid=20087] ppid=20084 vsize=9625040 CPUtime=29.91 cores=1,3,5,7
/proc/20087/stat : 20087 (java) S 20084 20087 18872 0 -1 4202496 24859 0 1 0 2984 7 0 0 20 0 19 0 36424348 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 140734182423584 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20087/statm: 2406260 40677 2271 9 0 2396937 0
[pid=20087/tid=20089] ppid=20084 vsize=9625040 CPUtime=27.47 cores=1,3,5,7
/proc/20087/task/20089/stat : 20089 (java) R 20084 20087 18872 0 -1 4202560 2479 0 1 0 2745 2 0 0 20 0 19 0 36424349 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815131414272 139814960186628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20090] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20090/stat : 20090 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815092914344 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20091] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20091/stat : 20091 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815091861800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20092] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20092/stat : 20092 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815090809256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20087/tid=20093] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20093/stat : 20093 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815089756712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20094] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20094/stat : 20094 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815088704168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20095] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20095/stat : 20095 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815087651624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20096] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20096/stat : 20096 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815086599080 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20097] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20097/stat : 20097 (java) S 20084 20087 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815085546536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20098] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20098/stat : 20098 (java) S 20084 20087 18872 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814955362408 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20099] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20099/stat : 20099 (java) S 20084 20087 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814954308728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20100] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20100/stat : 20100 (java) S 20084 20087 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814953256072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20101] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20101/stat : 20101 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814952204816 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20102] ppid=20084 vsize=9625040 CPUtime=1.66 cores=1,3,5,7
/proc/20087/task/20102/stat : 20102 (java) S 20084 20087 18872 0 -1 4202560 15604 0 0 0 163 3 0 0 20 0 19 0 36424353 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814951152184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20087/tid=20103] ppid=20084 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/20087/task/20103/stat : 20103 (java) S 20084 20087 18872 0 -1 4202560 5500 0 0 0 67 0 0 0 20 0 19 0 36424353 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814950099640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20104] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20104/stat : 20104 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814949047288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20105] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20105/stat : 20105 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814947994952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20106] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20106/stat : 20106 (java) S 20084 20087 18872 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36424380 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814946939688 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 29.91
Current children cumulated vsize (KiB) 9625040
[startup+27.7008 s]
/proc/loadavg: 2.15 2.11 1.81 3/213 20106
/proc/meminfo: memFree=30921172/32872528 swapFree=526336/559040
[pid=20087] ppid=20084 vsize=9625040 CPUtime=30.01 cores=1,3,5,7
/proc/20087/stat : 20087 (java) S 20084 20087 18872 0 -1 4202496 24859 0 1 0 2994 7 0 0 20 0 19 0 36424348 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 140734182423584 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20087/statm: 2406260 40677 2271 9 0 2396937 0
[pid=20087/tid=20089] ppid=20084 vsize=9625040 CPUtime=27.56 cores=1,3,5,7
/proc/20087/task/20089/stat : 20089 (java) R 20084 20087 18872 0 -1 4202560 2479 0 1 0 2754 2 0 0 20 0 19 0 36424349 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815131414272 139814960167444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20090] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20090/stat : 20090 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815092914344 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20091] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20091/stat : 20091 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815091861800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20092] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20092/stat : 20092 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815090809256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20087/tid=20093] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20093/stat : 20093 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815089756712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20094] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20094/stat : 20094 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815088704168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20095] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20095/stat : 20095 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815087651624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20096] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20096/stat : 20096 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815086599080 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20087/tid=20097] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20097/stat : 20097 (java) S 20084 20087 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36424350 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139815085546536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20098] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20098/stat : 20098 (java) S 20084 20087 18872 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814955362408 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20099] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20099/stat : 20099 (java) S 20084 20087 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814954308728 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20100] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20100/stat : 20100 (java) S 20084 20087 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424351 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814953256072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20101] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20101/stat : 20101 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814952204816 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20102] ppid=20084 vsize=9625040 CPUtime=1.66 cores=1,3,5,7
/proc/20087/task/20102/stat : 20102 (java) S 20084 20087 18872 0 -1 4202560 15604 0 0 0 163 3 0 0 20 0 19 0 36424353 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814951152184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20087/tid=20103] ppid=20084 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/20087/task/20103/stat : 20103 (java) S 20084 20087 18872 0 -1 4202560 5500 0 0 0 67 0 0 0 20 0 19 0 36424353 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814950099640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20104] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20104/stat : 20104 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814949047288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20087/tid=20105] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20105/stat : 20105 (java) S 20084 20087 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424353 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814947994952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20087/tid=20106] ppid=20084 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20087/task/20106/stat : 20106 (java) S 20084 20087 18872 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36424380 9856040960 40677 33554432000 1073741824 1073778376 140734182432448 139814946939688 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 30.01
Current children cumulated vsize (KiB) 9625040
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20087 and gives
# childrusage.ru_utime.tv_sec=29
# childrusage.ru_utime.tv_usec=887456
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=90986
# CPU time returned by wait4() is 29.9784
# while last known CPU time is 30.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 27.7307
CPU time (s): 30.01
CPU user time (s): 29.94
CPU system time (s): 0.07
CPU usage (%): 108.219
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.8875
system time used= 0.090986
maximum resident set size= 164816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24883
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 890
involuntary context switches= 276
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.199969 second user time and 0.25696 second system time
The end