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 (12093 MiB free)
memory of node 1: 16384 MiB (14502 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302813-1532894420/watcher-4302813-1532894420 -o /tmp/evaluation-result-4302813-1532894420/solver-4302813-1532894420 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22776 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1849082308 -superng HOME/instance-4302813-1532894420.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23277, runsolver pid=23274
[startup+0.10006 s]*
/proc/loadavg: 1.47 1.67 1.58 3/206 23334
/proc/meminfo: memFree=27228392/32770624 swapFree=67108860/67108860
[pid=23277] ppid=23274 vsize=10005480 memory=16816 CPUtime=0.09 cores=0,2,4,6
/proc/23277/stat : 23277 (java) S 23274 23277 13514 0 -1 1077944320 4332 13003 0 0 1 0 5 3 20 0 6 0 107005185 10245611520 4204 33554432000 4194304 4196468 140733807630656 140733807613200 139956536200951 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
/proc/23277/statm: 2501370 4204 1935 1 0 2489808 0
[pid=23277/tid=23330] ppid=23274 vsize=10005480 memory=4279135704013571469 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23330/stat : 23330 (java) R 23274 23277 13514 0 -1 4202560 2149 13003 0 0 0 0 5 3 20 0 6 0 107005194 10245611520 4204 33554432000 4194304 4196468 140733807630656 139956508037712 139956520281438 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23331] ppid=23274 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23331/stat : 23331 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 6 0 107005195 10245611520 4204 33554432000 4194304 4196468 140733807630656 139956540443152 139956536211157 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23332] ppid=23274 vsize=10005480 memory=139679597201024 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23332/stat : 23332 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 6 0 107005195 10245611520 4204 33554432000 4194304 4196468 140733807630656 139956411091600 139956536211157 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23333] ppid=23274 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23333/stat : 23333 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 6 0 107005195 10245611520 4204 33554432000 4194304 4196468 140733807630656 139956410038544 139956536211157 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23334] ppid=23274 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23334/stat : 23334 (java) S 23274 23277 13514 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 6 0 107005195 10245611520 4204 33554432000 4194304 4196468 140733807630656 139956073585040 139956536211157 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB
[startup+0.211186 s]*
/proc/loadavg: 1.47 1.67 1.58 3/215 23343
/proc/meminfo: memFree=27204012/32770624 swapFree=67108860/67108860
[pid=23277] ppid=23274 vsize=10982744 memory=44580 CPUtime=0.26 cores=0,2,4,6
/proc/23277/stat : 23277 (java) S 23274 23277 13514 0 -1 1077944320 7769 13003 0 0 17 1 5 3 20 0 15 0 107005185 11246329856 11145 33554432000 4194304 4196468 140733807630656 140733807613200 139956536200951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
/proc/23277/statm: 2745686 11145 2978 1 0 2708109 0
[pid=23277/tid=23330] ppid=23274 vsize=10982744 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/23277/task/23330/stat : 23330 (java) R 23274 23277 13514 0 -1 4202560 4389 13003 0 0 11 1 5 3 20 0 15 0 107005194 11246329856 11211 33554432000 4194304 4196468 140733807630656 139956508022856 139956516476711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23331] ppid=23274 vsize=10982744 memory=339 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23331/stat : 23331 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005195 11246329856 11211 33554432000 4194304 4196468 140733807630656 139956540443152 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23332] ppid=23274 vsize=10982744 memory=3905944946138023584 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23332/stat : 23332 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005195 11246329856 11211 33554432000 4194304 4196468 140733807630656 139956411091600 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23333] ppid=23274 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23333/stat : 23333 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005195 11246329856 11211 33554432000 4194304 4196468 140733807630656 139956410038544 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23334] ppid=23274 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23334/stat : 23334 (java) S 23274 23277 13514 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 107005195 11246329856 11211 33554432000 4194304 4196468 140733807630656 139956073585040 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23335] ppid=23274 vsize=10982744 memory=139679597201024 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23335/stat : 23335 (java) S 23274 23277 13514 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 107005196 11246329856 11211 33554432000 4194304 4196468 140733807630656 139956029332208 139956536212098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23336] ppid=23274 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23336/stat : 23336 (java) S 23274 23277 13514 0 -1 1077944384 13 13003 0 0 0 0 5 3 20 0 15 0 107005196 11246329856 11211 33554432000 4194304 4196468 140733807630656 139955334538912 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23337] ppid=23274 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23337/stat : 23337 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005197 11246329856 11211 33554432000 4194304 4196468 140733807630656 139955133211888 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23338] ppid=23274 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23338/stat : 23338 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005199 11246329856 11211 33554432000 4194304 4196468 140733807630656 139954825812432 139956536219547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23339] ppid=23274 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23277/task/23339/stat : 23339 (java) S 23274 23277 13514 0 -1 1077944384 474 13003 0 0 1 0 5 3 20 0 15 0 107005199 11246329856 11211 33554432000 4194304 4196468 140733807630656 139956028279024 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23340] ppid=23274 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/23277/task/23340/stat : 23340 (java) S 23274 23277 13514 0 -1 1077944384 146 13003 0 0 1 0 5 3 20 0 15 0 107005199 11246329856 11211 33554432000 4194304 4196468 140733807630656 139956027226480 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23341] ppid=23274 vsize=10982744 memory=139679597201024 CPUtime=0.11 cores=0,2,4,6
/proc/23277/task/23341/stat : 23341 (java) S 23274 23277 13514 0 -1 1077944384 604 13003 0 0 3 0 5 3 20 0 15 0 107005199 11246329856 11277 33554432000 4194304 4196468 140733807630656 139956026173424 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23342] ppid=23274 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23342/stat : 23342 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005200 11246329856 11277 33554432000 4194304 4196468 140733807630656 139954395015520 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23343] ppid=23274 vsize=10982744 memory=139679597201024 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23343/stat : 23343 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005200 11246329856 11277 33554432000 4194304 4196468 140733807630656 139956025121840 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44580 KiB
[startup+0.310102 s]*
/proc/loadavg: 1.47 1.67 1.58 3/215 23343
/proc/meminfo: memFree=27192232/32770624 swapFree=67108860/67108860
[pid=23277] ppid=23274 vsize=10983192 memory=56436 CPUtime=0.39 cores=0,2,4,6
/proc/23277/stat : 23277 (java) S 23274 23277 13514 0 -1 1077944320 10621 13003 0 0 29 2 5 3 20 0 15 0 107005185 11246788608 14109 33554432000 4194304 4196468 140733807630656 140733807613200 139956536200951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
/proc/23277/statm: 2745798 14109 3097 1 0 2708109 0
[pid=23277/tid=23330] ppid=23274 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23277/task/23330/stat : 23330 (java) R 23274 23277 13514 0 -1 4202560 7165 13003 0 0 20 1 5 3 20 0 15 0 107005194 11246788608 14109 33554432000 4194304 4196468 140733807630656 139956508012960 139956520281438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23331] ppid=23274 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23331/stat : 23331 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005195 11246788608 14109 33554432000 4194304 4196468 140733807630656 139956540443152 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23332] ppid=23274 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23332/stat : 23332 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005195 11246788608 14109 33554432000 4194304 4196468 140733807630656 139956411091600 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23333] ppid=23274 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23333/stat : 23333 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005195 11246788608 14109 33554432000 4194304 4196468 140733807630656 139956410038544 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23334] ppid=23274 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23334/stat : 23334 (java) S 23274 23277 13514 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 107005195 11246788608 14109 33554432000 4194304 4196468 140733807630656 139956073585040 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23335] ppid=23274 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23335/stat : 23335 (java) S 23274 23277 13514 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 107005196 11246788608 14109 33554432000 4194304 4196468 140733807630656 139956029332208 139956536212098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23336] ppid=23274 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23336/stat : 23336 (java) S 23274 23277 13514 0 -1 1077944384 13 13003 0 0 0 0 5 3 20 0 15 0 107005196 11246788608 14109 33554432000 4194304 4196468 140733807630656 139955334538912 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23337] ppid=23274 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23337/stat : 23337 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005197 11246788608 14109 33554432000 4194304 4196468 140733807630656 139955133211888 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23338] ppid=23274 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23338/stat : 23338 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005199 11246788608 14109 33554432000 4194304 4196468 140733807630656 139954825812432 139956536219547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23339] ppid=23274 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23277/task/23339/stat : 23339 (java) S 23274 23277 13514 0 -1 1077944384 474 13003 0 0 1 0 5 3 20 0 15 0 107005199 11246788608 14109 33554432000 4194304 4196468 140733807630656 139956028279024 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23340] ppid=23274 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/23277/task/23340/stat : 23340 (java) S 23274 23277 13514 0 -1 1077944384 147 13003 0 0 1 0 5 3 20 0 15 0 107005199 11246788608 14109 33554432000 4194304 4196468 140733807630656 139956027226480 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23341] ppid=23274 vsize=10983192 memory=139679597201024 CPUtime=0.13 cores=0,2,4,6
/proc/23277/task/23341/stat : 23341 (java) S 23274 23277 13514 0 -1 1077944384 614 13003 0 0 5 0 5 3 20 0 15 0 107005199 11246788608 14109 33554432000 4194304 4196468 140733807630656 139956026173424 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23342] ppid=23274 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23342/stat : 23342 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005200 11246788608 14109 33554432000 4194304 4196468 140733807630656 139954395015520 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23343] ppid=23274 vsize=10983192 memory=139679597201024 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23343/stat : 23343 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005200 11246788608 14109 33554432000 4194304 4196468 140733807630656 139956025121840 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56436 KiB
[startup+0.700739 s]
/proc/loadavg: 1.47 1.67 1.58 3/215 23343
/proc/meminfo: memFree=27181812/32770624 swapFree=67108860/67108860
[pid=23277] ppid=23274 vsize=10983192 memory=88400 CPUtime=0.99 cores=0,2,4,6
/proc/23277/stat : 23277 (java) S 23274 23277 13514 0 -1 1077944320 16722 13003 0 0 88 3 5 3 20 0 15 0 107005185 11246788608 22100 33554432000 4194304 4196468 140733807630656 140733807613200 139956536200951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
/proc/23277/statm: 2745798 22100 3237 1 0 2708109 0
[pid=23277/tid=23330] ppid=23274 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/23277/task/23330/stat : 23330 (java) R 23274 23277 13514 0 -1 4202560 12234 13003 0 0 56 2 5 3 20 0 15 0 107005194 11246788608 22100 33554432000 4194304 4196468 140733807630656 139956508022992 139956536222877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23331] ppid=23274 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23331/stat : 23331 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005195 11246788608 22100 33554432000 4194304 4196468 140733807630656 139956540443152 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23332] ppid=23274 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23332/stat : 23332 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005195 11246788608 22100 33554432000 4194304 4196468 140733807630656 139956411091600 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23333] ppid=23274 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23333/stat : 23333 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005195 11246788608 22100 33554432000 4194304 4196468 140733807630656 139956410038544 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23334] ppid=23274 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23334/stat : 23334 (java) S 23274 23277 13514 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 107005195 11246788608 22100 33554432000 4194304 4196468 140733807630656 139956073585040 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23335] ppid=23274 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23335/stat : 23335 (java) S 23274 23277 13514 0 -1 1077944384 5 13003 0 0 0 0 5 3 20 0 15 0 107005196 11246788608 22100 33554432000 4194304 4196468 140733807630656 139956029332208 139956536212098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23336] ppid=23274 vsize=10983192 memory=139679450149552 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23336/stat : 23336 (java) S 23274 23277 13514 0 -1 1077944384 13 13003 0 0 0 0 5 3 20 0 15 0 107005196 11246788608 22100 33554432000 4194304 4196468 140733807630656 139955334538912 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23337] ppid=23274 vsize=10983192 memory=139680926401104 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23337/stat : 23337 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005197 11246788608 22100 33554432000 4194304 4196468 140733807630656 139955133211888 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23338] ppid=23274 vsize=10983192 memory=1020 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23338/stat : 23338 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005199 11246788608 22100 33554432000 4194304 4196468 140733807630656 139954825812432 139956536219547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23339] ppid=23274 vsize=10983192 memory=7089042195949315648 CPUtime=0.17 cores=0,2,4,6
/proc/23277/task/23339/stat : 23339 (java) S 23274 23277 13514 0 -1 1077944384 1075 13003 0 0 9 0 5 3 20 0 15 0 107005199 11246788608 22100 33554432000 4194304 4196468 140733807630656 139956028279024 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23340] ppid=23274 vsize=10983192 memory=7881696724453321575 CPUtime=0.15 cores=0,2,4,6
/proc/23277/task/23340/stat : 23340 (java) S 23274 23277 13514 0 -1 1077944384 515 13003 0 0 7 0 5 3 20 0 15 0 107005199 11246788608 22100 33554432000 4194304 4196468 140733807630656 139956027226480 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23341] ppid=23274 vsize=10983192 memory=5789189752906409301 CPUtime=0.21 cores=0,2,4,6
/proc/23277/task/23341/stat : 23341 (java) S 23274 23277 13514 0 -1 1077944384 670 13003 0 0 13 0 5 3 20 0 15 0 107005199 11246788608 22100 33554432000 4194304 4196468 140733807630656 139956026173424 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23342] ppid=23274 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23342/stat : 23342 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005200 11246788608 22100 33554432000 4194304 4196468 140733807630656 139954395015520 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23343] ppid=23274 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23343/stat : 23343 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005200 11246788608 22100 33554432000 4194304 4196468 140733807630656 139956025121840 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88400 KiB
[startup+1.50119 s]
/proc/loadavg: 1.47 1.67 1.58 3/215 23343
/proc/meminfo: memFree=27137748/32770624 swapFree=67108860/67108860
[pid=23277] ppid=23274 vsize=10996044 memory=184308 CPUtime=3.02 cores=0,2,4,6
/proc/23277/stat : 23277 (java) S 23274 23277 13514 0 -1 1077944320 28290 13003 0 0 286 8 5 3 20 0 15 0 107005185 11259949056 46077 33554432000 4194304 4196468 140733807630656 140733807613200 139956536200951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
/proc/23277/statm: 2749011 46077 3440 1 0 2710669 0
[pid=23277/tid=23330] ppid=23274 vsize=10996044 memory=10757 CPUtime=1.46 cores=0,2,4,6
/proc/23277/task/23330/stat : 23330 (java) R 23274 23277 13514 0 -1 4202560 18310 13003 0 0 133 5 5 3 20 0 15 0 107005194 11259949056 46077 33554432000 4194304 4196468 140733807630656 139956507979888 139956519393685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23331] ppid=23274 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23331/stat : 23331 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005195 11259949056 46077 33554432000 4194304 4196468 140733807630656 139956540443152 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23332] ppid=23274 vsize=10996044 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23332/stat : 23332 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005195 11259949056 46077 33554432000 4194304 4196468 140733807630656 139956411091600 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23333] ppid=23274 vsize=10996044 memory=3164 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23333/stat : 23333 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005195 11259949056 46077 33554432000 4194304 4196468 140733807630656 139956410038544 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23334] ppid=23274 vsize=10996044 memory=88400 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23334/stat : 23334 (java) S 23274 23277 13514 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 107005195 11259949056 46077 33554432000 4194304 4196468 140733807630656 139956073585040 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23335] ppid=23274 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23335/stat : 23335 (java) S 23274 23277 13514 0 -1 1077944384 13 13003 0 0 0 0 5 3 20 0 15 0 107005196 11259949056 46077 33554432000 4194304 4196468 140733807630656 139956029332208 139956536212098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23336] ppid=23274 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23336/stat : 23336 (java) S 23274 23277 13514 0 -1 1077944384 13 13003 0 0 0 0 5 3 20 0 15 0 107005196 11259949056 46077 33554432000 4194304 4196468 140733807630656 139955334538912 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23337] ppid=23274 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23337/stat : 23337 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005197 11259949056 46077 33554432000 4194304 4196468 140733807630656 139955133211888 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23338] ppid=23274 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23338/stat : 23338 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005199 11259949056 46077 33554432000 4194304 4196468 140733807630656 139954825812432 139956536219547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23339] ppid=23274 vsize=10996044 memory=4638778398332698720 CPUtime=0.63 cores=0,2,4,6
/proc/23277/task/23339/stat : 23339 (java) R 23274 23277 13514 0 -1 4202560 3468 13003 0 0 54 1 5 3 20 0 15 0 107005199 11259949056 46077 33554432000 4194304 4196468 140733807630656 139956028264760 139956517723166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23340] ppid=23274 vsize=10996044 memory=279358900575104 CPUtime=0.6 cores=0,2,4,6
/proc/23277/task/23340/stat : 23340 (java) R 23274 23277 13514 0 -1 4202560 2477 13003 0 0 52 0 5 3 20 0 15 0 107005199 11259949056 46077 33554432000 4194304 4196468 140733807630656 139956027213296 139956521326899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23341] ppid=23274 vsize=10996044 memory=6944656592452807323 CPUtime=0.52 cores=0,2,4,6
/proc/23277/task/23341/stat : 23341 (java) S 23274 23277 13514 0 -1 1077944384 1799 13003 0 0 44 0 5 3 20 0 15 0 107005199 11259949056 46077 33554432000 4194304 4196468 140733807630656 139956026173424 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23342] ppid=23274 vsize=10996044 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23342/stat : 23342 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005200 11259949056 46077 33554432000 4194304 4196468 140733807630656 139954395015520 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23343] ppid=23274 vsize=10996044 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23343/stat : 23343 (java) S 23274 23277 13514 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 107005200 11259949056 46077 33554432000 4194304 4196468 140733807630656 139956025121840 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/23277/task/23330/stat : 23330 (java) R 23274 23277 13514 0 -1 4202560 53665 13003 0 0 16144 26 5 3 20 0 15 0 107005194 11280941056 281255 33554432000 4194304 4196468 140733807630656 139956508033680 139956100737085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23331] ppid=23274 vsize=11016544 memory=1219912 CPUtime=0.36 cores=0,2,4,6
/proc/23277/task/23331/stat : 23331 (java) S 23274 23277 13514 0 -1 1077944384 1028 13003 0 0 24 4 5 3 20 0 15 0 107005195 11280941056 281255 33554432000 4194304 4196468 140733807630656 139956540443152 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23332] ppid=23274 vsize=11016544 memory=1125020 CPUtime=0.36 cores=0,2,4,6
/proc/23277/task/23332/stat : 23332 (java) S 23274 23277 13514 0 -1 1077944384 3040 13003 0 0 24 4 5 3 20 0 15 0 107005195 11280941056 281255 33554432000 4194304 4196468 140733807630656 139956411091600 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23333] ppid=23274 vsize=11016544 memory=1310812 CPUtime=0.35 cores=0,2,4,6
/proc/23277/task/23333/stat : 23333 (java) S 23274 23277 13514 0 -1 1077944384 5948 13003 0 0 23 4 5 3 20 0 15 0 107005195 11280941056 281255 33554432000 4194304 4196468 140733807630656 139956410038544 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23334] ppid=23274 vsize=11016544 memory=1125532 CPUtime=0.35 cores=0,2,4,6
/proc/23277/task/23334/stat : 23334 (java) S 23274 23277 13514 0 -1 1077944384 719 13003 0 0 23 4 5 3 20 0 15 0 107005195 11280941056 281255 33554432000 4194304 4196468 140733807630656 139956073585040 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23335] ppid=23274 vsize=11016544 memory=1137844 CPUtime=0.2 cores=0,2,4,6
/proc/23277/task/23335/stat : 23335 (java) S 23274 23277 13514 0 -1 1077944384 4709 13003 0 0 11 1 5 3 20 0 15 0 107005196 11280941056 281255 33554432000 4194304 4196468 140733807630656 139956029332208 139956536212098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23336] ppid=23274 vsize=11016544 memory=1137844 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23336/stat : 23336 (java) S 23274 23277 13514 0 -1 1077944384 23 13003 0 0 0 0 5 3 20 0 15 0 107005196 11280941056 281255 33554432000 4194304 4196468 140733807630656 139955334539040 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23337] ppid=23274 vsize=11016544 memory=1132200 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23337/stat : 23337 (java) S 23274 23277 13514 0 -1 1077944384 14 13003 0 0 0 0 5 3 20 0 15 0 107005197 11280941056 281255 33554432000 4194304 4196468 140733807630656 139955133211904 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23338] ppid=23274 vsize=11016544 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23338/stat : 23338 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005199 11280941056 281255 33554432000 4194304 4196468 140733807630656 139954825812432 139956536219547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23339] ppid=23274 vsize=11016544 memory=1154260 CPUtime=8.39 cores=0,2,4,6
/proc/23277/task/23339/stat : 23339 (java) S 23274 23277 13514 0 -1 1077944384 29966 13003 0 0 826 5 5 3 20 0 15 0 107005199 11280941056 281255 33554432000 4194304 4196468 140733807630656 139956028279024 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23340] ppid=23274 vsize=11016544 memory=1408 CPUtime=8.25 cores=0,2,4,6
/proc/23277/task/23340/stat : 23340 (java) S 23274 23277 13514 0 -1 1077944384 33105 13003 0 0 813 4 5 3 20 0 15 0 107005199 11280941056 281255 33554432000 4194304 4196468 140733807630656 139956027226480 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23341] ppid=23274 vsize=11016544 memory=1131176 CPUtime=3.1 cores=0,2,4,6
/proc/23277/task/23341/stat : 23341 (java) S 23274 23277 13514 0 -1 1077944384 23722 13003 0 0 296 6 5 3 20 0 15 0 107005199 11280941056 281255 33554432000 4194304 4196468 140733807630656 139956026173424 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23342] ppid=23274 vsize=11016544 memory=1146564 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23342/stat : 23342 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005200 11280941056 281255 33554432000 4194304 4196468 140733807630656 139954395015520 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23343] ppid=23274 vsize=11016544 memory=1154260 CPUtime=0.16 cores=0,2,4,6
/proc/23277/task/23343/stat : 23343 (java) S 23274 23277 13514 0 -1 1077944384 1269 13003 0 0 4 4 5 3 20 0 15 0 107005200 11280941056 281255 33554432000 4194304 4196468 140733807630656 139956025121840 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
Current children cumulated CPU time: 182.68 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1125020 KiB
[startup+222.301 s]
/proc/loadavg: 1.46 1.73 1.64 3/216 23497
/proc/meminfo: memFree=26376716/32770624 swapFree=67108860/67108860
[pid=23277] ppid=23274 vsize=11016544 memory=1060436 CPUtime=243.16 cores=0,2,4,6
/proc/23277/stat : 23277 (java) S 23274 23277 13514 0 -1 1077944320 168757 13003 0 0 24237 71 5 3 20 0 15 0 107005185 11280941056 265109 33554432000 4194304 4196468 140733807630656 140733807613200 139956536200951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
/proc/23277/statm: 2754136 265109 3531 1 0 2715789 0
[pid=23277/tid=23330] ppid=23274 vsize=11016544 memory=1060436 CPUtime=221.57 cores=0,2,4,6
/proc/23277/task/23330/stat : 23330 (java) R 23274 23277 13514 0 -1 4202560 55104 13003 0 0 22123 26 5 3 20 0 15 0 107005194 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956508035616 139956115888836 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23331] ppid=23274 vsize=11016544 memory=1060436 CPUtime=0.45 cores=0,2,4,6
/proc/23277/task/23331/stat : 23331 (java) S 23274 23277 13514 0 -1 1077944384 1073 13003 0 0 33 4 5 3 20 0 15 0 107005195 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956540443152 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23332] ppid=23274 vsize=11016544 memory=1060948 CPUtime=0.47 cores=0,2,4,6
/proc/23277/task/23332/stat : 23332 (java) S 23274 23277 13514 0 -1 1077944384 3129 13003 0 0 34 5 5 3 20 0 15 0 107005195 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956411091600 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23333] ppid=23274 vsize=11016544 memory=1063516 CPUtime=0.46 cores=0,2,4,6
/proc/23277/task/23333/stat : 23333 (java) S 23274 23277 13514 0 -1 1077944384 7156 13003 0 0 33 5 5 3 20 0 15 0 107005195 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956410038544 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23334] ppid=23274 vsize=11016544 memory=1520 CPUtime=0.45 cores=0,2,4,6
/proc/23277/task/23334/stat : 23334 (java) S 23274 23277 13514 0 -1 1077944384 1527 13003 0 0 33 4 5 3 20 0 15 0 107005195 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956073585040 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23335] ppid=23274 vsize=11016544 memory=844 CPUtime=0.28 cores=0,2,4,6
/proc/23277/task/23335/stat : 23335 (java) S 23274 23277 13514 0 -1 1077944384 5067 13003 0 0 17 3 5 3 20 0 15 0 107005196 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956029332208 139956536212098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23336] ppid=23274 vsize=11016544 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23336/stat : 23336 (java) S 23274 23277 13514 0 -1 1077944384 23 13003 0 0 0 0 5 3 20 0 15 0 107005196 11280941056 265109 33554432000 4194304 4196468 140733807630656 139955334539040 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23337] ppid=23274 vsize=11016544 memory=30432 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23337/stat : 23337 (java) S 23274 23277 13514 0 -1 1077944384 14 13003 0 0 0 0 5 3 20 0 15 0 107005197 11280941056 265109 33554432000 4194304 4196468 140733807630656 139955133211904 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23338] ppid=23274 vsize=11016544 memory=5456 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23338/stat : 23338 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005199 11280941056 265109 33554432000 4194304 4196468 140733807630656 139954825812432 139956536219547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23339] ppid=23274 vsize=11016544 memory=1078876 CPUtime=8.44 cores=0,2,4,6
/proc/23277/task/23339/stat : 23339 (java) S 23274 23277 13514 0 -1 1077944384 30579 13003 0 0 831 5 5 3 20 0 15 0 107005199 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956028279024 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23340] ppid=23274 vsize=11016544 memory=1060948 CPUtime=8.34 cores=0,2,4,6
/proc/23277/task/23340/stat : 23340 (java) S 23274 23277 13514 0 -1 1077944384 36577 13003 0 0 821 5 5 3 20 0 15 0 107005199 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956027226480 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23341] ppid=23274 vsize=11016544 memory=4140 CPUtime=3.12 cores=0,2,4,6
/proc/23277/task/23341/stat : 23341 (java) S 23274 23277 13514 0 -1 1077944384 24997 13003 0 0 298 6 5 3 20 0 15 0 107005199 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956026173424 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23342] ppid=23274 vsize=11016544 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23342/stat : 23342 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005200 11280941056 265109 33554432000 4194304 4196468 140733807630656 139954395015520 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23343] ppid=23274 vsize=11016544 memory=30432 CPUtime=0.2 cores=0,2,4,6
/proc/23277/task/23343/stat : 23343 (java) S 23274 23277 13514 0 -1 1077944384 1310 13003 0 0 6 6 5 3 20 0 15 0 107005200 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956025121840 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
Current children cumulated CPU time: 243.16 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1060436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+231.11 s]
/proc/loadavg: 1.32 1.68 1.62 3/216 23497
/proc/meminfo: memFree=26393268/32770624 swapFree=67108860/67108860
[pid=23277] ppid=23274 vsize=11016544 memory=1060436 CPUtime=252.06 cores=0,2,4,6
/proc/23277/stat : 23277 (java) S 23274 23277 13514 0 -1 1077944320 169750 13003 0 0 25126 72 5 3 20 0 15 0 107005185 11280941056 265109 33554432000 4194304 4196468 140733807630656 140733807613200 139956536200951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
/proc/23277/statm: 2754136 265109 3531 1 0 2715789 0
[pid=23277/tid=23330] ppid=23274 vsize=11016544 memory=1060436 CPUtime=230.35 cores=0,2,4,6
/proc/23277/task/23330/stat : 23330 (java) R 23274 23277 13514 0 -1 4202560 55135 13003 0 0 23000 27 5 3 20 0 15 0 107005194 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956508026992 139956100732996 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23331] ppid=23274 vsize=11016544 memory=1060436 CPUtime=0.48 cores=0,2,4,6
/proc/23277/task/23331/stat : 23331 (java) S 23274 23277 13514 0 -1 1077944384 1074 13003 0 0 35 5 5 3 20 0 15 0 107005195 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956540443152 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23332] ppid=23274 vsize=11016544 memory=1060436 CPUtime=0.49 cores=0,2,4,6
/proc/23277/task/23332/stat : 23332 (java) S 23274 23277 13514 0 -1 1077944384 3130 13003 0 0 36 5 5 3 20 0 15 0 107005195 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956411091600 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23333] ppid=23274 vsize=11016544 memory=1068644 CPUtime=0.48 cores=0,2,4,6
/proc/23277/task/23333/stat : 23333 (java) S 23274 23277 13514 0 -1 1077944384 7158 13003 0 0 35 5 5 3 20 0 15 0 107005195 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956410038544 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23334] ppid=23274 vsize=11016544 memory=433 CPUtime=0.48 cores=0,2,4,6
/proc/23277/task/23334/stat : 23334 (java) S 23274 23277 13514 0 -1 1077944384 1528 13003 0 0 35 5 5 3 20 0 15 0 107005195 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956073585040 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23335] ppid=23274 vsize=11016544 memory=1066592 CPUtime=0.3 cores=0,2,4,6
/proc/23277/task/23335/stat : 23335 (java) S 23274 23277 13514 0 -1 1077944384 5068 13003 0 0 19 3 5 3 20 0 15 0 107005196 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956029332208 139956536212098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23336] ppid=23274 vsize=11016544 memory=14572 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23336/stat : 23336 (java) S 23274 23277 13514 0 -1 1077944384 23 13003 0 0 0 0 5 3 20 0 15 0 107005196 11280941056 265109 33554432000 4194304 4196468 140733807630656 139955334539040 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23337] ppid=23274 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23337/stat : 23337 (java) S 23274 23277 13514 0 -1 1077944384 14 13003 0 0 0 0 5 3 20 0 15 0 107005197 11280941056 265109 33554432000 4194304 4196468 140733807630656 139955133211904 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23338] ppid=23274 vsize=11016544 memory=1520 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23338/stat : 23338 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005199 11280941056 265109 33554432000 4194304 4196468 140733807630656 139954825812432 139956536219547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23339] ppid=23274 vsize=11016544 memory=844 CPUtime=8.45 cores=0,2,4,6
/proc/23277/task/23339/stat : 23339 (java) S 23274 23277 13514 0 -1 1077944384 31210 13003 0 0 832 5 5 3 20 0 15 0 107005199 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956028279024 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23340] ppid=23274 vsize=11016544 memory=1064028 CPUtime=8.34 cores=0,2,4,6
/proc/23277/task/23340/stat : 23340 (java) S 23274 23277 13514 0 -1 1077944384 36577 13003 0 0 821 5 5 3 20 0 15 0 107005199 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956027226480 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23341] ppid=23274 vsize=11016544 memory=6791534058613427641 CPUtime=3.12 cores=0,2,4,6
/proc/23277/task/23341/stat : 23341 (java) S 23274 23277 13514 0 -1 1077944384 25319 13003 0 0 298 6 5 3 20 0 15 0 107005199 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956026173424 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23342] ppid=23274 vsize=11016544 memory=1968 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23342/stat : 23342 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005200 11280941056 265109 33554432000 4194304 4196468 140733807630656 139954395015520 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23343] ppid=23274 vsize=11016544 memory=1060436 CPUtime=0.2 cores=0,2,4,6
/proc/23277/task/23343/stat : 23343 (java) S 23274 23277 13514 0 -1 1077944384 1313 13003 0 0 6 6 5 3 20 0 15 0 107005200 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956025121840 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1060436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+231.15 s]
# the end of solver process 23277 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.331 s, system=0.780794 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+231.11 s]
/proc/loadavg: 1.32 1.68 1.62 3/216 23497
/proc/meminfo: memFree=26393268/32770624 swapFree=67108860/67108860
[pid=23277] ppid=23274 vsize=11016544 memory=1060436 CPUtime=252.06 cores=0,2,4,6
/proc/23277/stat : 23277 (java) S 23274 23277 13514 0 -1 1077944320 169750 13003 0 0 25126 72 5 3 20 0 15 0 107005185 11280941056 265109 33554432000 4194304 4196468 140733807630656 140733807613200 139956536200951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
/proc/23277/statm: 2754136 265109 3531 1 0 2715789 0
[pid=23277/tid=23330] ppid=23274 vsize=11016544 memory=1060436 CPUtime=230.35 cores=0,2,4,6
/proc/23277/task/23330/stat : 23330 (java) R 23274 23277 13514 0 -1 4202560 55135 13003 0 0 23000 27 5 3 20 0 15 0 107005194 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956508026992 139956100732996 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23331] ppid=23274 vsize=11016544 memory=1060436 CPUtime=0.48 cores=0,2,4,6
/proc/23277/task/23331/stat : 23331 (java) S 23274 23277 13514 0 -1 1077944384 1074 13003 0 0 35 5 5 3 20 0 15 0 107005195 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956540443152 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23332] ppid=23274 vsize=11016544 memory=1060436 CPUtime=0.49 cores=0,2,4,6
/proc/23277/task/23332/stat : 23332 (java) S 23274 23277 13514 0 -1 1077944384 3130 13003 0 0 36 5 5 3 20 0 15 0 107005195 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956411091600 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23333] ppid=23274 vsize=11016544 memory=1068644 CPUtime=0.48 cores=0,2,4,6
/proc/23277/task/23333/stat : 23333 (java) S 23274 23277 13514 0 -1 1077944384 7158 13003 0 0 35 5 5 3 20 0 15 0 107005195 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956410038544 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23334] ppid=23274 vsize=11016544 memory=433 CPUtime=0.48 cores=0,2,4,6
/proc/23277/task/23334/stat : 23334 (java) S 23274 23277 13514 0 -1 1077944384 1528 13003 0 0 35 5 5 3 20 0 15 0 107005195 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956073585040 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23335] ppid=23274 vsize=11016544 memory=1066592 CPUtime=0.3 cores=0,2,4,6
/proc/23277/task/23335/stat : 23335 (java) S 23274 23277 13514 0 -1 1077944384 5068 13003 0 0 19 3 5 3 20 0 15 0 107005196 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956029332208 139956536212098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23336] ppid=23274 vsize=11016544 memory=14572 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23336/stat : 23336 (java) S 23274 23277 13514 0 -1 1077944384 23 13003 0 0 0 0 5 3 20 0 15 0 107005196 11280941056 265109 33554432000 4194304 4196468 140733807630656 139955334539040 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23337] ppid=23274 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23337/stat : 23337 (java) S 23274 23277 13514 0 -1 1077944384 14 13003 0 0 0 0 5 3 20 0 15 0 107005197 11280941056 265109 33554432000 4194304 4196468 140733807630656 139955133211904 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23338] ppid=23274 vsize=11016544 memory=1520 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23338/stat : 23338 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005199 11280941056 265109 33554432000 4194304 4196468 140733807630656 139954825812432 139956536219547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23339] ppid=23274 vsize=11016544 memory=844 CPUtime=8.45 cores=0,2,4,6
/proc/23277/task/23339/stat : 23339 (java) S 23274 23277 13514 0 -1 1077944384 31210 13003 0 0 832 5 5 3 20 0 15 0 107005199 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956028279024 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23340] ppid=23274 vsize=11016544 memory=1064028 CPUtime=8.34 cores=0,2,4,6
/proc/23277/task/23340/stat : 23340 (java) S 23274 23277 13514 0 -1 1077944384 36577 13003 0 0 821 5 5 3 20 0 15 0 107005199 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956027226480 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23341] ppid=23274 vsize=11016544 memory=6791534058613427641 CPUtime=3.12 cores=0,2,4,6
/proc/23277/task/23341/stat : 23341 (java) S 23274 23277 13514 0 -1 1077944384 25319 13003 0 0 298 6 5 3 20 0 15 0 107005199 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956026173424 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23342] ppid=23274 vsize=11016544 memory=1968 CPUtime=0.08 cores=0,2,4,6
/proc/23277/task/23342/stat : 23342 (java) S 23274 23277 13514 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 107005200 11280941056 265109 33554432000 4194304 4196468 140733807630656 139954395015520 139956536211157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
[pid=23277/tid=23343] ppid=23274 vsize=11016544 memory=1060436 CPUtime=0.2 cores=0,2,4,6
/proc/23277/task/23343/stat : 23343 (java) S 23274 23277 13514 0 -1 1077944384 1313 13003 0 0 6 6 5 3 20 0 15 0 107005200 11280941056 265109 33554432000 4194304 4196468 140733807630656 139956025121840 139956536212098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140733807635048 140733807637857 140733807637857 140733807640527 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1060436 KiB
Child status: 143
Real time (s): 231.15
CPU time (s): 252.112
CPU user time (s): 251.331
CPU system time (s): 0.780794
CPU usage (%): 109.068
Max. virtual memory (cumulated for all children) (KiB): 11017372
Max. memory (cumulated for all children) (KiB): 1330308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.331
system time used= 0.780794
maximum resident set size= 1331348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185682
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18263
involuntary context switches= 593
# summary of solver processes directly reported to runsolver:
# pid: 23277
# total CPU time (s): 252.112
# total CPU user time (s): 251.331
# total CPU system time (s): 0.780794
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42061 second user time and 2.20653 second system time
The end