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 (10049 MiB free)
memory of node 1: 16384 MiB (11198 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294353-1532458221/watcher-4294353-1532458221 -o /tmp/evaluation-result-4294353-1532458221/solver-4294353-1532458221 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532448512-24796 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1533677735 -superng HOME/instance-4294353-1532458221.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26902, runsolver pid=26899
[startup+0.100175 s]*
/proc/loadavg: 1.11 1.26 1.29 2/207 26932
/proc/meminfo: memFree=21754260/32770624 swapFree=67108860/67108860
[pid=26902] ppid=26899 vsize=113256 memory=1612 CPUtime=0.01 cores=0,2,4,6
/proc/26902/stat : 26902 (bash) S 26899 26902 24765 0 -1 4202496 877 5673 0 0 0 0 0 1 20 0 1 0 63385317 115974144 403 33554432000 4194304 5098028 140727467737408 140727467731416 140524351302656 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140727467746453 140727467746600 140727467746600 140727467749358 0
/proc/26902/statm: 28314 403 319 221 0 119 0
[pid=26929] ppid=26902 vsize=113256 memory=716 CPUtime=0 cores=0,2,4,6
/proc/26929/stat : 26929 (bash) S 26902 26902 24765 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 1 0 63385319 115974144 179 33554432000 4194304 5098028 140727467737408 140727467730088 140524351128188 0 65536 4096 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34140160 140727467746453 140727467746600 140727467746600 140727467749358 0
/proc/26929/statm: 28314 179 95 221 0 119 0
[pid=26930] ppid=26929 vsize=109440 memory=5444 CPUtime=0 cores=0,2,4,6
/proc/26930/stat : 26930 (java) S 26929 26902 24765 0 -1 1077944320 1615 0 0 0 0 0 0 0 20 0 2 0 63385319 112066560 1361 33554432000 4194304 4196468 140725326779056 140725326761600 139664672972535 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
/proc/26930/statm: 27360 1361 1031 1 0 16810 0
[pid=26930/tid=26932] ppid=26929 vsize=109440 memory=-6949179150270506172 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26932/stat : 26932 (java) D 26929 26902 24765 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 2 0 63385322 112066560 1361 33554432000 4194304 4196468 140725326779056 139664677209296 139664665651757 0 4 0 16784584 18446744072101666340 0 0 -1 2 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26931] ppid=26929 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/26931/stat : 26931 (awk) S 26929 26902 24765 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 63385319 116211712 242 33554432000 4194304 4609284 140736392225104 140736392224280 140512876686336 0 0 4096 1216 18446744071580971376 0 0 17 2 0 0 0 0 0 6708720 6711756 26542080 140736392226131 140736392226161 140736392226161 140736392228847 0
/proc/26931/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 449440 KiB
Current children cumulated memory: 8740 KiB
[startup+0.21035 s]*
/proc/loadavg: 1.11 1.26 1.29 3/214 26939
/proc/meminfo: memFree=21742224/32770624 swapFree=67108860/67108860
[pid=26902] ppid=26899 vsize=113256 memory=1612 CPUtime=0.01 cores=0,2,4,6
/proc/26902/stat : 26902 (bash) S 26899 26902 24765 0 -1 4202496 877 5673 0 0 0 0 0 1 20 0 1 0 63385317 115974144 403 33554432000 4194304 5098028 140727467737408 140727467731416 140524351302656 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140727467746453 140727467746600 140727467746600 140727467749358 0
/proc/26902/statm: 28314 403 319 221 0 119 0
[pid=26929] ppid=26902 vsize=113256 memory=716 CPUtime=0 cores=0,2,4,6
/proc/26929/stat : 26929 (bash) S 26902 26902 24765 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 1 0 63385319 115974144 179 33554432000 4194304 5098028 140727467737408 140727467730088 140524351128188 0 65536 4096 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34140160 140727467746453 140727467746600 140727467746600 140727467749358 0
/proc/26929/statm: 28314 179 95 221 0 119 0
[pid=26930] ppid=26929 vsize=10593144 memory=23740 CPUtime=0.05 cores=0,2,4,6
/proc/26930/stat : 26930 (java) S 26929 26902 24765 0 -1 1077944320 4818 0 0 0 5 0 0 0 20 0 14 0 63385319 10847379456 5935 33554432000 4194304 4196468 140725326779056 140725326761600 139664672972535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
/proc/26930/statm: 2648286 5935 2549 1 0 2610827 0
[pid=26930/tid=26932] ppid=26929 vsize=10593144 memory=7022364632946311227 CPUtime=0.04 cores=0,2,4,6
/proc/26930/task/26932/stat : 26932 (java) R 26929 26902 24765 0 -1 4202560 2990 0 0 0 4 0 0 0 20 0 14 0 63385322 10847379456 5935 33554432000 4194304 4196468 140725326779056 139664677214032 139664672994461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26930/tid=26933] ppid=26929 vsize=10593144 memory=4294980944 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26933/stat : 26933 (java) S 26929 26902 24765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 63385330 10847379456 5935 33554432000 4194304 4196468 140725326779056 139664625593232 139664672982741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26930/tid=26934] ppid=26929 vsize=10593144 memory=4049499947400152736 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26934/stat : 26934 (java) S 26929 26902 24765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 63385330 10847379456 5935 33554432000 4194304 4196468 140725326779056 139664624540432 139664672982741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26930/tid=26935] ppid=26929 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26935/stat : 26935 (java) S 26929 26902 24765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 63385330 10847379456 5935 33554432000 4194304 4196468 140725326779056 139664623488144 139664672982741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26930/tid=26936] ppid=26929 vsize=10593144 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26936/stat : 26936 (java) S 26929 26902 24765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 63385331 10847379456 5935 33554432000 4194304 4196468 140725326779056 139664622435344 139664672982741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26930/tid=26937] ppid=26929 vsize=10593144 memory=140235123705472 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26937/stat : 26937 (java) S 26929 26902 24765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 63385333 10847379456 5935 33554432000 4194304 4196468 140725326779056 139663977293936 139664672983682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26930/tid=26938] ppid=26929 vsize=10593144 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26938/stat : 26938 (java) S 26929 26902 24765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 63385334 10847379456 5935 33554432000 4194304 4196468 140725326779056 139663976239904 139664672982741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26930/tid=26939] ppid=26929 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26939/stat : 26939 (java) S 26929 26902 24765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 63385334 10847379456 5935 33554432000 4194304 4196468 140725326779056 139663975187568 139664672982741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26930/tid=26940] ppid=26929 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26940/stat : 26940 (java) S 26929 26902 24765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 63385338 10847379456 5935 33554432000 4194304 4196468 140725326779056 139663974135888 139664672991131 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26930/tid=26941] ppid=26929 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26941/stat : 26941 (java) R 26929 26902 24765 0 -1 4202560 293 0 0 0 0 0 0 0 20 0 14 0 63385338 10847379456 5935 33554432000 4194304 4196468 140725326779056 139663973070072 139664672993882 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26930/tid=26942] ppid=26929 vsize=10593144 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26942/stat : 26942 (java) S 26929 26902 24765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 63385338 10847379456 6001 33554432000 4194304 4196468 140725326779056 139663972030656 139664672982741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26930/tid=26943] ppid=26929 vsize=10593144 memory=140235123705472 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26943/stat : 26943 (java) R 26929 26902 24765 0 -1 4202560 203 0 0 0 0 0 0 0 20 0 14 0 63385338 10847379456 6001 33554432000 4194304 4196468 140725326779056 139663970978672 139664651947888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26930/tid=26944] ppid=26929 vsize=10593144 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26930/task/26944/stat : 26944 (java) S 26929 26902 24765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 63385339 10847379456 6001 33554432000 4194304 4196468 140725326779056 139663969926112 139664672982741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31866880 140725326783779 140725326783793 140725326783793 140725326786511 0
[pid=26931] ppid=26929 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/26931/stat : 26931 (awk) S 26929 26902 24765 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 63385319 116211712 242 33554432000 4194304 4609284 140736392225104 140736392224280 140512876686336 0 0 4096 1216 18446744071580971376 0 0 17 2 0 0 0 0 0 6708720 6711756 26542080 140736392226131 140736392226161 140736392226161 140736392228847 0
/proc/26931/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10933144 KiB
Current children cumulated memory: 27036 KiB
[startup+0.310626 s]*
/proc/loadavg: 1.11 1.26 1.29 2/203 26954
/proc/meminfo: memFree=21755140/32770624 swapFree=67108860/67108860
[pid=26902] ppid=26899 vsize=10652 memory=692 CPUtime=0.07 cores=0,2,4,6
/proc/26902/stat : 26902 (java) D 26899 26902 24765 0 -1 1077944320 1220 13243 0 0 0 0 5 2 20 0 1 0 63385317 10907648 173 33554432000 4194304 4196468 140722966481792 140722966462488 139667328378567 0 0 4096 0 18446744072101666340 0 0 17 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
/proc/26902/statm: 2663 173 139 1 0 85 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10652 KiB
Current children cumulated memory: 692 KiB
[startup+0.70083 s]
/proc/loadavg: 1.11 1.26 1.29 2/216 26967
/proc/meminfo: memFree=21734784/32770624 swapFree=67108860/67108860
[pid=26902] ppid=26899 vsize=10819352 memory=57280 CPUtime=0.4 cores=0,2,4,6
/proc/26902/stat : 26902 (java) S 26899 26902 24765 0 -1 1077944320 10420 13243 0 0 30 3 5 2 20 0 15 0 63385317 11079016448 14320 33554432000 4194304 4196468 140722966481792 140722966464336 139667326103287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
/proc/26902/statm: 2704838 14320 3080 1 0 2667149 0
[pid=26902/tid=26955] ppid=26899 vsize=10819352 memory=1196 CPUtime=0.29 cores=0,2,4,6
/proc/26902/task/26955/stat : 26955 (java) R 26899 26902 24765 0 -1 4202560 7024 13243 0 0 20 2 5 2 20 0 15 0 63385350 11079016448 14320 33554432000 4194304 4196468 140722966481792 139667297915296 139667307666847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26956] ppid=26899 vsize=10819352 memory=8372 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26956/stat : 26956 (java) S 26899 26902 24765 0 -1 1077944384 1 13243 0 0 0 0 5 2 20 0 15 0 63385357 11079016448 14320 33554432000 4194304 4196468 140722966481792 139667330345360 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26957] ppid=26899 vsize=10819352 memory=4616 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26957/stat : 26957 (java) S 26899 26902 24765 0 -1 1077944384 1 13243 0 0 0 0 5 2 20 0 15 0 63385357 11079016448 14320 33554432000 4194304 4196468 140722966481792 139667245164816 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26958] ppid=26899 vsize=10819352 memory=1424 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26958/stat : 26958 (java) S 26899 26902 24765 0 -1 1077944384 1 13243 0 0 0 0 5 2 20 0 15 0 63385357 11079016448 14320 33554432000 4194304 4196468 140722966481792 139667244112528 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26959] ppid=26899 vsize=10819352 memory=15868 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26959/stat : 26959 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385357 11079016448 14320 33554432000 4194304 4196468 140722966481792 139667243059728 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26960] ppid=26899 vsize=10819352 memory=140235123704305 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26960/stat : 26960 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385358 11079016448 14320 33554432000 4194304 4196468 140722966481792 139666852739696 139667326114434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26961] ppid=26899 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26961/stat : 26961 (java) S 26899 26902 24765 0 -1 1077944384 13 13243 0 0 0 0 5 2 20 0 15 0 63385359 11079016448 14320 33554432000 4194304 4196468 140722966481792 139666766423328 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26962] ppid=26899 vsize=10819352 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26962/stat : 26962 (java) S 26899 26902 24765 0 -1 1077944384 1 13243 0 0 0 0 5 2 20 0 15 0 63385359 11079016448 14320 33554432000 4194304 4196468 140722966481792 139666632205936 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26963] ppid=26899 vsize=10819352 memory=8772 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26963/stat : 26963 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385365 11079016448 14320 33554432000 4194304 4196468 140722966481792 139666028227152 139667326121883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26964] ppid=26899 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26902/task/26964/stat : 26964 (java) S 26899 26902 24765 0 -1 1077944384 501 13243 0 0 1 0 5 2 20 0 15 0 63385365 11079016448 14320 33554432000 4194304 4196468 140722966481792 139666851686512 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26965] ppid=26899 vsize=10819352 memory=-2895008908443676273 CPUtime=0.08 cores=0,2,4,6
/proc/26902/task/26965/stat : 26965 (java) S 26899 26902 24765 0 -1 1077944384 90 13243 0 0 1 0 5 2 20 0 15 0 63385365 11079016448 14320 33554432000 4194304 4196468 140722966481792 139666850633712 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26966] ppid=26899 vsize=10819352 memory=4136 CPUtime=0.12 cores=0,2,4,6
/proc/26902/task/26966/stat : 26966 (java) S 26899 26902 24765 0 -1 1077944384 590 13243 0 0 5 0 5 2 20 0 15 0 63385365 11079016448 14320 33554432000 4194304 4196468 140722966481792 139666849581424 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26967] ppid=26899 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26967/stat : 26967 (java) S 26899 26902 24765 0 -1 1077944384 3 13243 0 0 0 0 5 2 20 0 15 0 63385365 11079016448 14320 33554432000 4194304 4196468 140722966481792 139665558464992 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26968] ppid=26899 vsize=10819352 memory=576587700018377745 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26968/stat : 26968 (java) S 26899 26902 24765 0 -1 1077944384 1 13243 0 0 0 0 5 2 20 0 15 0 63385368 11079016448 14320 33554432000 4194304 4196468 140722966481792 139666848529328 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57280 KiB
[startup+1.50072 s]
/proc/loadavg: 1.11 1.26 1.29 3/217 26968
/proc/meminfo: memFree=21689752/32770624 swapFree=67108860/67108860
[pid=26902] ppid=26899 vsize=10828108 memory=118632 CPUtime=1.59 cores=0,2,4,6
/proc/26902/stat : 26902 (java) S 26899 26902 24765 0 -1 1077944320 19714 13243 0 0 146 6 5 2 20 0 15 0 63385317 11087982592 29658 33554432000 4194304 4196468 140722966481792 140722966464336 139667326103287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
/proc/26902/statm: 2707027 29658 3437 1 0 2668685 0
[pid=26902/tid=26955] ppid=26899 vsize=10828108 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/26902/task/26955/stat : 26955 (java) R 26899 26902 24765 0 -1 4202560 14892 13243 0 0 92 3 5 2 20 0 15 0 63385350 11087982592 29658 33554432000 4194304 4196468 140722966481792 139667297936064 139667326115222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26956] ppid=26899 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26956/stat : 26956 (java) S 26899 26902 24765 0 -1 1077944384 1 13243 0 0 0 0 5 2 20 0 15 0 63385357 11087982592 29658 33554432000 4194304 4196468 140722966481792 139667330345360 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26957] ppid=26899 vsize=10828108 memory=280469954462848 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26957/stat : 26957 (java) S 26899 26902 24765 0 -1 1077944384 1 13243 0 0 0 0 5 2 20 0 15 0 63385357 11087982592 29658 33554432000 4194304 4196468 140722966481792 139667245164816 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26958] ppid=26899 vsize=10828108 memory=3986339125105264928 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26958/stat : 26958 (java) S 26899 26902 24765 0 -1 1077944384 1 13243 0 0 0 0 5 2 20 0 15 0 63385357 11087982592 29658 33554432000 4194304 4196468 140722966481792 139667244112528 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26959] ppid=26899 vsize=10828108 memory=8326441112149131687 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26959/stat : 26959 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385357 11087982592 29658 33554432000 4194304 4196468 140722966481792 139667243059728 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26960] ppid=26899 vsize=10828108 memory=7306905013333287504 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26960/stat : 26960 (java) S 26899 26902 24765 0 -1 1077944384 5 13243 0 0 0 0 5 2 20 0 15 0 63385358 11087982592 29658 33554432000 4194304 4196468 140722966481792 139666852739696 139667326114434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26961] ppid=26899 vsize=10828108 memory=1796 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26961/stat : 26961 (java) S 26899 26902 24765 0 -1 1077944384 13 13243 0 0 0 0 5 2 20 0 15 0 63385359 11087982592 29658 33554432000 4194304 4196468 140722966481792 139666766423328 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26962] ppid=26899 vsize=10828108 memory=916 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26962/stat : 26962 (java) S 26899 26902 24765 0 -1 1077944384 1 13243 0 0 0 0 5 2 20 0 15 0 63385359 11087982592 29658 33554432000 4194304 4196468 140722966481792 139666632205936 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26963] ppid=26899 vsize=10828108 memory=3848 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26963/stat : 26963 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385365 11087982592 29658 33554432000 4194304 4196468 140722966481792 139666028227152 139667326121883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26964] ppid=26899 vsize=10828108 memory=2668 CPUtime=0.19 cores=0,2,4,6
/proc/26902/task/26964/stat : 26964 (java) S 26899 26902 24765 0 -1 1077944384 866 13243 0 0 12 0 5 2 20 0 15 0 63385365 11087982592 29658 33554432000 4194304 4196468 140722966481792 139666851686512 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26965] ppid=26899 vsize=10828108 memory=2600 CPUtime=0.21 cores=0,2,4,6
/proc/26902/task/26965/stat : 26965 (java) S 26899 26902 24765 0 -1 1077944384 738 13243 0 0 14 0 5 2 20 0 15 0 63385365 11087982592 29658 33554432000 4194304 4196468 140722966481792 139666850633712 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26966] ppid=26899 vsize=10828108 memory=4108 CPUtime=0.34 cores=0,2,4,6
/proc/26902/task/26966/stat : 26966 (java) R 26899 26902 24765 0 -1 4202560 1000 13243 0 0 27 0 5 2 20 0 15 0 63385365 11087982592 29658 33554432000 4194304 4196468 140722966481792 139666849577792 139667326115222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26967] ppid=26899 vsize=10828108 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26967/stat : 26967 (java) S 26899 26902 24765 0 -1 1077944384 3 13243 0 0 0 0 5 2 20 0 15 0 63385365 11087982592 29658 33554432000 4194304 4196468 140722966481792 139665558464992 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26968] ppid=26899 vsize=10828108 memory=3172 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26968/stat : 26968 (java) S 26899 26902 24765 0 -1 1077944384 1 13243 0 0 0 0 5 2 20 0 15 0 63385368 11087982592 29658 33554432000 4194304 4196468 140722966481792 139666848529328 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 10828108 KiB
Current children cumulated memory: 118632 KiB
[startup+3.1105 s]
/proc/loadavg: 1.11 1.26 1.29 6/217 26968
/proc/meminfo: memFree=21561508/32770624 swapFree=67108860/67108860
[pid=26902] ppid=26899 vsize=10842464 memory=204760 CPUtime=5.14 cores=0,2,4,6
/proc/26902/stat : 26902 (java) S 26899 26902 24765 0 -1 1077944320 43485 13243 0 0 493 14 5 2 20 0 15 0 63385317 11102683136 51190 33554432000 4194304 4196468 140722966481792 140722966464336 139667326103287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
/proc/26902/statm: 2710616 51190 3491 1 0 2672269 0
[pid=26902/tid=26955] ppid=26899 vsize=10842464 memory=2600 CPUtime=2.6 cores=0,2,4,6
/proc/26902/task/26955/stat : 26955 (java) R 26899 26902 24765 0 -1 4202560 27660 13243 0 0 246 7 5 2 20 0 15 0 63385350 11102683136 51190 33554432000 4194304 4196468 140722966481792 139667297930896 139667326125213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26956] ppid=26899 vsize=10842464 memory=280469954462848 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26956/stat : 26956 (java) S 26899 26902 24765 0 -1 1077944384 240 13243 0 0 0 0 5 2 20 0 15 0 63385357 11102683136 51190 33554432000 4194304 4196468 140722966481792 139667330345360 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26957] ppid=26899 vsize=10842464 memory=3986339125105264928 CPUtime=0.08 cores=0,2,4,6
/proc/26902/task/26957/stat : 26957 (java) S 26899 26902 24765 0 -1 1077944384 58 13243 0 0 1 0 5 2 20 0 15 0 63385357 11102683136 51190 33554432000 4194304 4196468 140722966481792 139667245164816 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26958] ppid=26899 vsize=10842464 memory=288230574492221466 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26958/stat : 26958 (java) S 26899 26902 24765 0 -1 1077944384 22 13243 0 0 0 0 5 2 20 0 15 0 63385357 11102683136 51190 33554432000 4194304 4196468 140722966481792 139667244112528 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26959] ppid=26899 vsize=10842464 memory=184864 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26959/stat : 26959 (java) S 26899 26902 24765 0 -1 1077944384 31 13243 0 0 0 0 5 2 20 0 15 0 63385357 11102683136 51190 33554432000 4194304 4196468 140722966481792 139667243059728 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26960] ppid=26899 vsize=10842464 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26902/task/26960/stat : 26960 (java) S 26899 26902 24765 0 -1 1077944384 190 13243 0 0 1 0 5 2 20 0 15 0 63385358 11102683136 51190 33554432000 4194304 4196468 140722966481792 139666852739696 139667326114434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
################
# More data... #
################
/proc/26902/task/26955/stat : 26955 (java) R 26899 26902 24765 0 -1 4202560 92306 13243 0 0 236197 42 5 2 20 0 15 0 63385350 11176083456 245134 33554432000 4194304 4196468 140722966481792 139667297937392 139666930408310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26956] ppid=26899 vsize=10914144 memory=980536 CPUtime=9.43 cores=0,2,4,6
/proc/26902/task/26956/stat : 26956 (java) S 26899 26902 24765 0 -1 1077944384 12718 13243 0 0 896 40 5 2 20 0 15 0 63385357 11176083456 245134 33554432000 4194304 4196468 140722966481792 139667330345360 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26957] ppid=26899 vsize=10914144 memory=978488 CPUtime=9.48 cores=0,2,4,6
/proc/26902/task/26957/stat : 26957 (java) S 26899 26902 24765 0 -1 1077944384 11942 13243 0 0 903 38 5 2 20 0 15 0 63385357 11176083456 245134 33554432000 4194304 4196468 140722966481792 139667245164816 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26958] ppid=26899 vsize=10914144 memory=978488 CPUtime=9.47 cores=0,2,4,6
/proc/26902/task/26958/stat : 26958 (java) S 26899 26902 24765 0 -1 1077944384 10281 13243 0 0 899 41 5 2 20 0 15 0 63385357 11176083456 245134 33554432000 4194304 4196468 140722966481792 139667244112528 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26959] ppid=26899 vsize=10914144 memory=0 CPUtime=9.41 cores=0,2,4,6
/proc/26902/task/26959/stat : 26959 (java) S 26899 26902 24765 0 -1 1077944384 13909 13243 0 0 895 39 5 2 20 0 15 0 63385357 11176083456 245134 33554432000 4194304 4196468 140722966481792 139667243059728 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26960] ppid=26899 vsize=10914144 memory=0 CPUtime=8.26 cores=0,2,4,6
/proc/26902/task/26960/stat : 26960 (java) S 26899 26902 24765 0 -1 1077944384 14534 13243 0 0 783 36 5 2 20 0 15 0 63385358 11176083456 245134 33554432000 4194304 4196468 140722966481792 139666852739696 139667326114434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26961] ppid=26899 vsize=10914144 memory=978488 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26961/stat : 26961 (java) S 26899 26902 24765 0 -1 1077944384 13 13243 0 0 0 0 5 2 20 0 15 0 63385359 11176083456 245134 33554432000 4194304 4196468 140722966481792 139666766423456 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26962] ppid=26899 vsize=10914144 memory=978488 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26962/stat : 26962 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385359 11176083456 245134 33554432000 4194304 4196468 140722966481792 139666632205952 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26963] ppid=26899 vsize=10914144 memory=980536 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26963/stat : 26963 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385365 11176083456 245134 33554432000 4194304 4196468 140722966481792 139666028227152 139667326121883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26964] ppid=26899 vsize=10914144 memory=980536 CPUtime=4.81 cores=0,2,4,6
/proc/26902/task/26964/stat : 26964 (java) S 26899 26902 24765 0 -1 1077944384 29160 13243 0 0 470 4 5 2 20 0 15 0 63385365 11176083456 245134 33554432000 4194304 4196468 140722966481792 139666851686512 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26965] ppid=26899 vsize=10914144 memory=980536 CPUtime=5.04 cores=0,2,4,6
/proc/26902/task/26965/stat : 26965 (java) S 26899 26902 24765 0 -1 1077944384 34149 13243 0 0 493 4 5 2 20 0 15 0 63385365 11176083456 245134 33554432000 4194304 4196468 140722966481792 139666850633712 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26966] ppid=26899 vsize=10914144 memory=7883948347972151399 CPUtime=2.08 cores=0,2,4,6
/proc/26902/task/26966/stat : 26966 (java) S 26899 26902 24765 0 -1 1077944384 30592 13243 0 0 197 4 5 2 20 0 15 0 63385365 11176083456 245134 33554432000 4194304 4196468 140722966481792 139666849581424 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26967] ppid=26899 vsize=10914144 memory=980536 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26967/stat : 26967 (java) S 26899 26902 24765 0 -1 1077944384 3 13243 0 0 0 0 5 2 20 0 15 0 63385365 11176083456 245134 33554432000 4194304 4196468 140722966481792 139665558464992 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26968] ppid=26899 vsize=10914144 memory=18252 CPUtime=1.45 cores=0,2,4,6
/proc/26902/task/26968/stat : 26968 (java) S 26899 26902 24765 0 -1 1077944384 1972 13243 0 0 67 71 5 2 20 0 15 0 63385368 11176083456 245134 33554432000 4194304 4196468 140722966481792 139666848529328 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
Current children cumulated CPU time: 2421.37 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 980536 KiB
[startup+2442.3 s]
/proc/loadavg: 1.34 1.38 1.36 3/216 27445
/proc/meminfo: memFree=20823336/32770624 swapFree=67108860/67108860
[pid=26902] ppid=26899 vsize=10914144 memory=982584 CPUtime=2482.12 cores=0,2,4,6
/proc/26902/stat : 26902 (java) S 26899 26902 24765 0 -1 1077944320 256103 13243 0 0 247924 281 5 2 20 0 15 0 63385317 11176083456 245646 33554432000 4194304 4196468 140722966481792 140722966464336 139667326103287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
/proc/26902/statm: 2728536 245646 3536 1 0 2690189 0
[pid=26902/tid=26955] ppid=26899 vsize=10914144 memory=982584 CPUtime=2421.94 cores=0,2,4,6
/proc/26902/task/26955/stat : 26955 (java) R 26899 26902 24765 0 -1 4202560 93537 13243 0 0 242145 42 5 2 20 0 15 0 63385350 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667297937696 139666924574198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26956] ppid=26899 vsize=10914144 memory=982584 CPUtime=9.69 cores=0,2,4,6
/proc/26902/task/26956/stat : 26956 (java) S 26899 26902 24765 0 -1 1077944384 12772 13243 0 0 921 41 5 2 20 0 15 0 63385357 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667330345360 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26957] ppid=26899 vsize=10914144 memory=980536 CPUtime=9.73 cores=0,2,4,6
/proc/26902/task/26957/stat : 26957 (java) S 26899 26902 24765 0 -1 1077944384 12098 13243 0 0 927 39 5 2 20 0 15 0 63385357 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667245164816 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26958] ppid=26899 vsize=10914144 memory=980536 CPUtime=9.73 cores=0,2,4,6
/proc/26902/task/26958/stat : 26958 (java) S 26899 26902 24765 0 -1 1077944384 10666 13243 0 0 924 42 5 2 20 0 15 0 63385357 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667244112528 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26959] ppid=26899 vsize=10914144 memory=978488 CPUtime=9.67 cores=0,2,4,6
/proc/26902/task/26959/stat : 26959 (java) S 26899 26902 24765 0 -1 1077944384 13941 13243 0 0 920 40 5 2 20 0 15 0 63385357 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667243059728 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26960] ppid=26899 vsize=10914144 memory=980536 CPUtime=8.46 cores=0,2,4,6
/proc/26902/task/26960/stat : 26960 (java) S 26899 26902 24765 0 -1 1077944384 14741 13243 0 0 803 36 5 2 20 0 15 0 63385358 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666852739696 139667326114434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26961] ppid=26899 vsize=10914144 memory=980536 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26961/stat : 26961 (java) S 26899 26902 24765 0 -1 1077944384 13 13243 0 0 0 0 5 2 20 0 15 0 63385359 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666766423456 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26962] ppid=26899 vsize=10914144 memory=980536 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26962/stat : 26962 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385359 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666632205952 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26963] ppid=26899 vsize=10914144 memory=980536 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26963/stat : 26963 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666028227152 139667326121883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26964] ppid=26899 vsize=10914144 memory=980536 CPUtime=4.81 cores=0,2,4,6
/proc/26902/task/26964/stat : 26964 (java) S 26899 26902 24765 0 -1 1077944384 29162 13243 0 0 470 4 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666851686512 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26965] ppid=26899 vsize=10914144 memory=980536 CPUtime=5.04 cores=0,2,4,6
/proc/26902/task/26965/stat : 26965 (java) S 26899 26902 24765 0 -1 1077944384 34152 13243 0 0 493 4 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666850633712 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26966] ppid=26899 vsize=10914144 memory=982584 CPUtime=2.08 cores=0,2,4,6
/proc/26902/task/26966/stat : 26966 (java) S 26899 26902 24765 0 -1 1077944384 30836 13243 0 0 197 4 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666849581424 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26967] ppid=26899 vsize=10914144 memory=982584 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26967/stat : 26967 (java) S 26899 26902 24765 0 -1 1077944384 3 13243 0 0 0 0 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139665558464992 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26968] ppid=26899 vsize=10914144 memory=982584 CPUtime=1.49 cores=0,2,4,6
/proc/26902/task/26968/stat : 26968 (java) S 26899 26902 24765 0 -1 1077944384 1990 13243 0 0 70 72 5 2 20 0 15 0 63385368 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666848529328 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
Current children cumulated CPU time: 2482.12 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 982584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2479.7 s]
/proc/loadavg: 1.17 1.34 1.34 3/216 27446
/proc/meminfo: memFree=20821972/32770624 swapFree=67108860/67108860
[pid=26902] ppid=26899 vsize=10914144 memory=982584 CPUtime=2520.03 cores=0,2,4,6
/proc/26902/stat : 26902 (java) S 26899 26902 24765 0 -1 1077944320 257430 13243 0 0 251711 285 5 2 20 0 15 0 63385317 11176083456 245646 33554432000 4194304 4196468 140722966481792 140722966464336 139667326103287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
/proc/26902/statm: 2728536 245646 3536 1 0 2690189 0
[pid=26902/tid=26955] ppid=26899 vsize=10914144 memory=982584 CPUtime=2458.99 cores=0,2,4,6
/proc/26902/task/26955/stat : 26955 (java) R 26899 26902 24765 0 -1 4202560 94032 13243 0 0 245850 42 5 2 20 0 15 0 63385350 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667297937792 139666933003716 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26956] ppid=26899 vsize=10914144 memory=982584 CPUtime=9.87 cores=0,2,4,6
/proc/26902/task/26956/stat : 26956 (java) S 26899 26902 24765 0 -1 1077944384 12799 13243 0 0 938 42 5 2 20 0 15 0 63385357 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667330345360 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26957] ppid=26899 vsize=10914144 memory=982584 CPUtime=9.91 cores=0,2,4,6
/proc/26902/task/26957/stat : 26957 (java) S 26899 26902 24765 0 -1 1077944384 12216 13243 0 0 944 40 5 2 20 0 15 0 63385357 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667245164816 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26958] ppid=26899 vsize=10914144 memory=982584 CPUtime=9.9 cores=0,2,4,6
/proc/26902/task/26958/stat : 26958 (java) S 26899 26902 24765 0 -1 1077944384 11000 13243 0 0 940 43 5 2 20 0 15 0 63385357 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667244112528 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26959] ppid=26899 vsize=10914144 memory=982584 CPUtime=9.84 cores=0,2,4,6
/proc/26902/task/26959/stat : 26959 (java) S 26899 26902 24765 0 -1 1077944384 14062 13243 0 0 936 41 5 2 20 0 15 0 63385357 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667243059728 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26960] ppid=26899 vsize=10914144 memory=982584 CPUtime=8.61 cores=0,2,4,6
/proc/26902/task/26960/stat : 26960 (java) S 26899 26902 24765 0 -1 1077944384 14949 13243 0 0 817 37 5 2 20 0 15 0 63385358 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666852739696 139667326114434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26961] ppid=26899 vsize=10914144 memory=982584 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26961/stat : 26961 (java) S 26899 26902 24765 0 -1 1077944384 13 13243 0 0 0 0 5 2 20 0 15 0 63385359 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666766423456 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26962] ppid=26899 vsize=10914144 memory=1424 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26962/stat : 26962 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385359 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666632205952 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26963] ppid=26899 vsize=10914144 memory=982584 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26963/stat : 26963 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666028227152 139667326121883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26964] ppid=26899 vsize=10914144 memory=4136 CPUtime=4.81 cores=0,2,4,6
/proc/26902/task/26964/stat : 26964 (java) S 26899 26902 24765 0 -1 1077944384 29165 13243 0 0 470 4 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666851686512 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26965] ppid=26899 vsize=10914144 memory=4616 CPUtime=5.04 cores=0,2,4,6
/proc/26902/task/26965/stat : 26965 (java) S 26899 26902 24765 0 -1 1077944384 34154 13243 0 0 493 4 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666850633712 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26966] ppid=26899 vsize=10914144 memory=1424 CPUtime=2.08 cores=0,2,4,6
/proc/26902/task/26966/stat : 26966 (java) S 26899 26902 24765 0 -1 1077944384 30838 13243 0 0 197 4 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666849581424 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26967] ppid=26899 vsize=10914144 memory=982584 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26967/stat : 26967 (java) S 26899 26902 24765 0 -1 1077944384 3 13243 0 0 0 0 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139665558464992 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26968] ppid=26899 vsize=10914144 memory=4136 CPUtime=1.51 cores=0,2,4,6
/proc/26902/task/26968/stat : 26968 (java) S 26899 26902 24765 0 -1 1077944384 2007 13243 0 0 71 73 5 2 20 0 15 0 63385368 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666848529328 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 982584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2479.73 s]
# the end of solver process 26902 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.19 s, system=2.8885 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2479.7 s]
/proc/loadavg: 1.17 1.34 1.34 3/216 27446
/proc/meminfo: memFree=20821972/32770624 swapFree=67108860/67108860
[pid=26902] ppid=26899 vsize=10914144 memory=982584 CPUtime=2520.03 cores=0,2,4,6
/proc/26902/stat : 26902 (java) S 26899 26902 24765 0 -1 1077944320 257430 13243 0 0 251711 285 5 2 20 0 15 0 63385317 11176083456 245646 33554432000 4194304 4196468 140722966481792 140722966464336 139667326103287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
/proc/26902/statm: 2728536 245646 3536 1 0 2690189 0
[pid=26902/tid=26955] ppid=26899 vsize=10914144 memory=982584 CPUtime=2458.99 cores=0,2,4,6
/proc/26902/task/26955/stat : 26955 (java) R 26899 26902 24765 0 -1 4202560 94032 13243 0 0 245850 42 5 2 20 0 15 0 63385350 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667297937792 139666933003716 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26956] ppid=26899 vsize=10914144 memory=982584 CPUtime=9.87 cores=0,2,4,6
/proc/26902/task/26956/stat : 26956 (java) S 26899 26902 24765 0 -1 1077944384 12799 13243 0 0 938 42 5 2 20 0 15 0 63385357 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667330345360 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26957] ppid=26899 vsize=10914144 memory=982584 CPUtime=9.91 cores=0,2,4,6
/proc/26902/task/26957/stat : 26957 (java) S 26899 26902 24765 0 -1 1077944384 12216 13243 0 0 944 40 5 2 20 0 15 0 63385357 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667245164816 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26958] ppid=26899 vsize=10914144 memory=982584 CPUtime=9.9 cores=0,2,4,6
/proc/26902/task/26958/stat : 26958 (java) S 26899 26902 24765 0 -1 1077944384 11000 13243 0 0 940 43 5 2 20 0 15 0 63385357 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667244112528 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26959] ppid=26899 vsize=10914144 memory=982584 CPUtime=9.84 cores=0,2,4,6
/proc/26902/task/26959/stat : 26959 (java) S 26899 26902 24765 0 -1 1077944384 14062 13243 0 0 936 41 5 2 20 0 15 0 63385357 11176083456 245646 33554432000 4194304 4196468 140722966481792 139667243059728 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26960] ppid=26899 vsize=10914144 memory=982584 CPUtime=8.61 cores=0,2,4,6
/proc/26902/task/26960/stat : 26960 (java) S 26899 26902 24765 0 -1 1077944384 14949 13243 0 0 817 37 5 2 20 0 15 0 63385358 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666852739696 139667326114434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26961] ppid=26899 vsize=10914144 memory=982584 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26961/stat : 26961 (java) S 26899 26902 24765 0 -1 1077944384 13 13243 0 0 0 0 5 2 20 0 15 0 63385359 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666766423456 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26962] ppid=26899 vsize=10914144 memory=1424 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26962/stat : 26962 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385359 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666632205952 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26963] ppid=26899 vsize=10914144 memory=982584 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26963/stat : 26963 (java) S 26899 26902 24765 0 -1 1077944384 2 13243 0 0 0 0 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666028227152 139667326121883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26964] ppid=26899 vsize=10914144 memory=4136 CPUtime=4.81 cores=0,2,4,6
/proc/26902/task/26964/stat : 26964 (java) S 26899 26902 24765 0 -1 1077944384 29165 13243 0 0 470 4 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666851686512 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26965] ppid=26899 vsize=10914144 memory=4616 CPUtime=5.04 cores=0,2,4,6
/proc/26902/task/26965/stat : 26965 (java) S 26899 26902 24765 0 -1 1077944384 34154 13243 0 0 493 4 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666850633712 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26966] ppid=26899 vsize=10914144 memory=1424 CPUtime=2.08 cores=0,2,4,6
/proc/26902/task/26966/stat : 26966 (java) S 26899 26902 24765 0 -1 1077944384 30838 13243 0 0 197 4 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666849581424 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26967] ppid=26899 vsize=10914144 memory=982584 CPUtime=0.07 cores=0,2,4,6
/proc/26902/task/26967/stat : 26967 (java) S 26899 26902 24765 0 -1 1077944384 3 13243 0 0 0 0 5 2 20 0 15 0 63385365 11176083456 245646 33554432000 4194304 4196468 140722966481792 139665558464992 139667326113493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
[pid=26902/tid=26968] ppid=26899 vsize=10914144 memory=4136 CPUtime=1.51 cores=0,2,4,6
/proc/26902/task/26968/stat : 26968 (java) S 26899 26902 24765 0 -1 1077944384 2007 13243 0 0 71 73 5 2 20 0 15 0 63385368 11176083456 245646 33554432000 4194304 4196468 140722966481792 139666848529328 139667326114434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140722966489259 140722966492508 140722966492508 140722966495183 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 982584 KiB
Child status: 143
Real time (s): 2479.73
CPU time (s): 2520.08
CPU user time (s): 2517.19
CPU system time (s): 2.8885
CPU usage (%): 101.627
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 982584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.19
system time used= 2.8885
maximum resident set size= 986704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271852
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 222366
involuntary context switches= 6420
# summary of solver processes directly reported to runsolver:
# pid: 26902
# total CPU time (s): 2520.08
# total CPU user time (s): 2517.19
# total CPU system time (s): 2.8885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9222 second user time and 23.5035 second system time
The end