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 (11551 MiB free)
memory of node 1: 16384 MiB (12476 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387084-1568289870/watcher-4387084-1568289870 -o /tmp/evaluation-result-4387084-1568289870/solver-4387084-1568289870 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568289834-11523 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=510231952 HOME/instance-4387084-1568289870.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=11553, runsolver pid=11546
[startup+0.100147 s]*
/proc/loadavg: 3.35 4.54 5.00 4/222 11626
/proc/meminfo: memFree=24579552/32770624 swapFree=67004040/67108860
[pid=11553] ppid=11546 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/11553/stat : 11553 (bash) S 11546 11553 8208 0 -1 4202496 896 5685 0 0 0 0 0 1 20 0 1 0 405148692 115974144 404 33554432000 4194304 5098028 140720458164368 140720458158376 140517305633792 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 1 0 0 7196144 7232144 37806080 140720458167317 140720458167441 140720458167441 140720458170350 0
/proc/11553/statm: 28314 404 320 221 0 119 0
[pid=11606] ppid=11553 vsize=113256 memory=708 CPUtime=0 cores=0,2,4,6
/proc/11606/stat : 11606 (bash) S 11553 11553 8208 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 1 0 405148698 115974144 177 33554432000 4194304 5098028 140720458164368 140720458157048 140517305459324 0 65536 4096 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37806080 140720458167317 140720458167441 140720458167441 140720458170350 0
/proc/11606/statm: 28314 177 93 221 0 119 0
[pid=11609] ppid=11606 vsize=10260324 memory=21028 CPUtime=0.04 cores=0,2,4,6
/proc/11609/stat : 11609 (java) S 11606 11553 8208 0 -1 1077944320 4132 0 0 0 3 1 0 0 20 0 9 0 405148698 10506571776 5257 33554432000 4194304 4196468 140735442760848 140735442743392 140649548259063 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12890112 140735442769036 140735442769050 140735442769050 140735442771919 0
/proc/11609/statm: 2565081 5257 2193 1 0 2527622 0
[pid=11609/tid=11612] ppid=11606 vsize=10260324 memory=576460756329984031 CPUtime=0.04 cores=0,2,4,6
/proc/11609/task/11612/stat : 11612 (java) R 11606 11553 8208 0 -1 4202560 2791 0 0 0 3 1 0 0 20 0 9 0 405148698 10506571776 5257 33554432000 4194304 4196468 140735442760848 140649552494456 140649548280989 0 4 0 16800971 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140735442769036 140735442769050 140735442769050 140735442771919 0
[pid=11609/tid=11617] ppid=11606 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11609/task/11617/stat : 11617 (java) S 11606 11553 8208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 405148699 10506571776 5257 33554432000 4194304 4196468 140735442760848 140649154976784 140649548269269 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140735442769036 140735442769050 140735442769050 140735442771919 0
[pid=11609/tid=11618] ppid=11606 vsize=10260324 memory=4049357500351512608 CPUtime=0 cores=0,2,4,6
/proc/11609/task/11618/stat : 11618 (java) S 11606 11553 8208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 405148699 10506571776 5257 33554432000 4194304 4196468 140735442760848 140649153924240 140649548269269 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140735442769036 140735442769050 140735442769050 140735442771919 0
[pid=11609/tid=11619] ppid=11606 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11609/task/11619/stat : 11619 (java) S 11606 11553 8208 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 405148699 10506571776 5257 33554432000 4194304 4196468 140735442760848 140649152871184 140649548269269 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140735442769036 140735442769050 140735442769050 140735442771919 0
[pid=11609/tid=11620] ppid=11606 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11609/task/11620/stat : 11620 (java) S 11606 11553 8208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 405148699 10506571776 5257 33554432000 4194304 4196468 140735442760848 140649151818640 140649548269269 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12890112 140735442769036 140735442769050 140735442769050 140735442771919 0
[pid=11609/tid=11622] ppid=11606 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11609/task/11622/stat : 11622 (java) S 11606 11553 8208 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 405148700 10506571776 5257 33554432000 4194304 4196468 140735442760848 140649107376368 140649548270210 0 0 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140735442769036 140735442769050 140735442769050 140735442771919 0
[pid=11609/tid=11624] ppid=11606 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11609/task/11624/stat : 11624 (java) S 11606 11553 8208 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 405148701 10506571776 5257 33554432000 4194304 4196468 140735442760848 140649038865568 140649548269269 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140735442769036 140735442769050 140735442769050 140735442771919 0
[pid=11609/tid=11626] ppid=11606 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11609/task/11626/stat : 11626 (java) S 11606 11553 8208 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 405148701 10506571776 5257 33554432000 4194304 4196468 140735442760848 140649037812464 140649548269269 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140735442769036 140735442769050 140735442769050 140735442771919 0
[pid=11610] ppid=11606 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/11610/stat : 11610 (awk) S 11606 11553 8208 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 405148698 116211712 243 33554432000 4194304 4609284 140737077420512 140737077419688 140544226290688 0 0 4096 1216 18446744071580971376 0 0 17 2 0 0 0 0 0 6708720 6711756 28446720 140737077429436 140737077429466 140737077429466 140737077432303 0
/proc/11610/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 24324 KiB
[startup+0.210362 s]*
/proc/loadavg: 3.35 4.54 5.00 5/226 11682
/proc/meminfo: memFree=24562780/32770624 swapFree=67004040/67108860
[pid=11553] ppid=11546 vsize=10818520 memory=32640 CPUtime=0.15 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11546 11553 8208 0 -1 1077944320 5985 13129 0 1 6 1 5 3 20 0 15 0 405148692 11078164480 8160 33554432000 4194304 4196468 140731993704368 140731993686912 140415405739767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
/proc/11553/statm: 2704630 8160 2753 1 0 2667149 0
[pid=11553/tid=11658] ppid=11546 vsize=10818520 memory=720575944405811505 CPUtime=0.14 cores=0,2,4,6
/proc/11553/task/11658/stat : 11658 (java) R 11546 11553 8208 0 -1 4202560 3065 13129 0 1 5 1 5 3 20 0 15 0 405148706 11078164480 8160 33554432000 4194304 4196468 140731993704368 140415377582688 140415405761693 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11663] ppid=11546 vsize=10818520 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11663/stat : 11663 (java) S 11546 11553 8208 0 -1 1077944384 1 13129 0 1 0 0 5 3 20 0 15 0 405148706 11078164480 8160 33554432000 4194304 4196468 140731993704368 140415409982480 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11664] ppid=11546 vsize=10818520 memory=3474167045383984800 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11664/stat : 11664 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148706 11078164480 8160 33554432000 4194304 4196468 140731993704368 140415308872848 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11665] ppid=11546 vsize=10818520 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11665/stat : 11665 (java) S 11546 11553 8208 0 -1 1077944384 1 13129 0 1 0 0 5 3 20 0 15 0 405148706 11078164480 8160 33554432000 4194304 4196468 140731993704368 140415307819792 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11666] ppid=11546 vsize=10818520 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11666/stat : 11666 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148706 11078164480 8160 33554432000 4194304 4196468 140731993704368 140415306767248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11668] ppid=11546 vsize=10818520 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11668/stat : 11668 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148708 11078164480 8160 33554432000 4194304 4196468 140731993704368 140414864357616 140415405750914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11670] ppid=11546 vsize=10818520 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11670/stat : 11670 (java) S 11546 11553 8208 0 -1 1077944384 33 13129 0 1 0 0 5 3 20 0 15 0 405148708 11078164480 8160 33554432000 4194304 4196468 140731993704368 140414863303840 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11672] ppid=11546 vsize=10818520 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11672/stat : 11672 (java) S 11546 11553 8208 0 -1 1077944384 1 13129 0 1 0 0 5 3 20 0 15 0 405148708 11078164480 8160 33554432000 4194304 4196468 140731993704368 140414761820912 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11677] ppid=11546 vsize=10818520 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11677/stat : 11677 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148711 11078164480 8160 33554432000 4194304 4196468 140731993704368 140414157842384 140415405758363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11680] ppid=11546 vsize=10818520 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11680/stat : 11680 (java) S 11546 11553 8208 0 -1 1077944384 155 13129 0 1 0 0 5 3 20 0 15 0 405148713 11078164480 8160 33554432000 4194304 4196468 140731993704368 140414728264432 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11681] ppid=11546 vsize=10818520 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11681/stat : 11681 (java) S 11546 11553 8208 0 -1 1077944384 288 13129 0 1 0 0 5 3 20 0 15 0 405148713 11078164480 8160 33554432000 4194304 4196468 140731993704368 140414727211888 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11682] ppid=11546 vsize=10818520 memory=140003677509248 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11682/stat : 11682 (java) S 11546 11553 8208 0 -1 1077944384 223 13129 0 1 0 0 5 3 20 0 15 0 405148713 11078164480 8160 33554432000 4194304 4196468 140731993704368 140414726158832 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11683] ppid=11546 vsize=10818520 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11683/stat : 11683 (java) S 11546 11553 8208 0 -1 1077944384 3 13129 0 1 0 0 5 3 20 0 15 0 405148713 11078164480 8160 33554432000 4194304 4196468 140731993704368 140413688081248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11684] ppid=11546 vsize=10818520 memory=140003677509248 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11684/stat : 11684 (java) S 11546 11553 8208 0 -1 1077944384 1 13129 0 1 0 0 5 3 20 0 15 0 405148713 11078164480 8160 33554432000 4194304 4196468 140731993704368 140414725106224 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10818520 KiB
Current children cumulated memory: 32640 KiB
[startup+0.310227 s]*
/proc/loadavg: 3.35 4.54 5.00 4/228 11684
/proc/meminfo: memFree=24528940/32770624 swapFree=67004040/67108860
[pid=11553] ppid=11546 vsize=10819084 memory=46624 CPUtime=0.32 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11546 11553 8208 0 -1 1077944320 9868 13129 0 1 21 3 5 3 20 0 15 0 405148692 11078742016 11656 33554432000 4194304 4196468 140731993704368 140731993686912 140415405739767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
/proc/11553/statm: 2704771 11656 3016 1 0 2667149 0
[pid=11553/tid=11658] ppid=11546 vsize=10819084 memory=7311146985107750967 CPUtime=0.23 cores=0,2,4,6
/proc/11553/task/11658/stat : 11658 (java) R 11546 11553 8208 0 -1 4202560 6351 13129 0 1 13 2 5 3 20 0 15 0 405148706 11078742016 11656 33554432000 4194304 4196468 140731993704368 140415377551776 140415389820254 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11663] ppid=11546 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11663/stat : 11663 (java) S 11546 11553 8208 0 -1 1077944384 1 13129 0 1 0 0 5 3 20 0 15 0 405148706 11078742016 11656 33554432000 4194304 4196468 140731993704368 140415409982480 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11664] ppid=11546 vsize=10819084 memory=140003680435061 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11664/stat : 11664 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148706 11078742016 11656 33554432000 4194304 4196468 140731993704368 140415308872848 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11665] ppid=11546 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11665/stat : 11665 (java) S 11546 11553 8208 0 -1 1077944384 1 13129 0 1 0 0 5 3 20 0 15 0 405148706 11078742016 11656 33554432000 4194304 4196468 140731993704368 140415307819792 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11666] ppid=11546 vsize=10819084 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11666/stat : 11666 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148706 11078742016 11656 33554432000 4194304 4196468 140731993704368 140415306767248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11668] ppid=11546 vsize=10819084 memory=140003677509248 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11668/stat : 11668 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148708 11078742016 11656 33554432000 4194304 4196468 140731993704368 140414864357616 140415405750914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11670] ppid=11546 vsize=10819084 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11670/stat : 11670 (java) S 11546 11553 8208 0 -1 1077944384 33 13129 0 1 0 0 5 3 20 0 15 0 405148708 11078742016 11656 33554432000 4194304 4196468 140731993704368 140414863303840 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11672] ppid=11546 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11672/stat : 11672 (java) S 11546 11553 8208 0 -1 1077944384 1 13129 0 1 0 0 5 3 20 0 15 0 405148708 11078742016 11656 33554432000 4194304 4196468 140731993704368 140414761820912 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11677] ppid=11546 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11677/stat : 11677 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148711 11078742016 11656 33554432000 4194304 4196468 140731993704368 140414157842384 140415405758363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11680] ppid=11546 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11680/stat : 11680 (java) S 11546 11553 8208 0 -1 1077944384 203 13129 0 1 0 0 5 3 20 0 15 0 405148713 11078742016 11656 33554432000 4194304 4196468 140731993704368 140414728264432 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11681] ppid=11546 vsize=10819084 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11553/task/11681/stat : 11681 (java) S 11546 11553 8208 0 -1 1077944384 442 13129 0 1 1 0 5 3 20 0 15 0 405148713 11078742016 11656 33554432000 4194304 4196468 140731993704368 140414727211888 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11682] ppid=11546 vsize=10819084 memory=140003677509248 CPUtime=0.12 cores=0,2,4,6
/proc/11553/task/11682/stat : 11682 (java) S 11546 11553 8208 0 -1 1077944384 618 13129 0 1 4 0 5 3 20 0 15 0 405148713 11078742016 11656 33554432000 4194304 4196468 140731993704368 140414726158832 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11683] ppid=11546 vsize=10819084 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11683/stat : 11683 (java) S 11546 11553 8208 0 -1 1077944384 3 13129 0 1 0 0 5 3 20 0 15 0 405148713 11078742016 11656 33554432000 4194304 4196468 140731993704368 140413688081248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11684] ppid=11546 vsize=10819084 memory=140003677509248 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11684/stat : 11684 (java) S 11546 11553 8208 0 -1 1077944384 1 13129 0 1 0 0 5 3 20 0 15 0 405148713 11078742016 11656 33554432000 4194304 4196468 140731993704368 140414725106224 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 46624 KiB
[startup+0.701099 s]
/proc/loadavg: 3.35 4.54 5.00 5/228 11684
/proc/meminfo: memFree=24506720/32770624 swapFree=67004040/67108860
[pid=11553] ppid=11546 vsize=10822292 memory=78264 CPUtime=1 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11546 11553 8208 0 -1 1077944320 14213 13129 0 1 87 5 5 3 20 0 15 0 405148692 11082027008 19566 33554432000 4194304 4196468 140731993704368 140731993686912 140415405739767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
/proc/11553/statm: 2705573 19566 3494 1 0 2667661 0
[pid=11553/tid=11658] ppid=11546 vsize=10822292 memory=776 CPUtime=0.61 cores=0,2,4,6
/proc/11553/task/11658/stat : 11658 (java) R 11546 11553 8208 0 -1 4202560 9940 13129 0 1 50 3 5 3 20 0 15 0 405148706 11082027008 19566 33554432000 4194304 4196468 140731993704368 140415377567904 140414980042867 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11663] ppid=11546 vsize=10822292 memory=1160 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11663/stat : 11663 (java) S 11546 11553 8208 0 -1 1077944384 1 13129 0 1 0 0 5 3 20 0 15 0 405148706 11082027008 19566 33554432000 4194304 4196468 140731993704368 140415409982480 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11664] ppid=11546 vsize=10822292 memory=1720 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11664/stat : 11664 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148706 11082027008 19566 33554432000 4194304 4196468 140731993704368 140415308872848 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11665] ppid=11546 vsize=10822292 memory=4639098309541128813 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11665/stat : 11665 (java) S 11546 11553 8208 0 -1 1077944384 1 13129 0 1 0 0 5 3 20 0 15 0 405148706 11082027008 19566 33554432000 4194304 4196468 140731993704368 140415307819792 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11666] ppid=11546 vsize=10822292 memory=7525347204445000290 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11666/stat : 11666 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148706 11082027008 19566 33554432000 4194304 4196468 140731993704368 140415306767248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11668] ppid=11546 vsize=10822292 memory=5788908277929698645 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11668/stat : 11668 (java) S 11546 11553 8208 0 -1 1077944384 5 13129 0 1 0 0 5 3 20 0 15 0 405148708 11082027008 19566 33554432000 4194304 4196468 140731993704368 140414864357616 140415405750914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11670] ppid=11546 vsize=10822292 memory=7300456403473294935 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11670/stat : 11670 (java) S 11546 11553 8208 0 -1 1077944384 33 13129 0 1 0 0 5 3 20 0 15 0 405148708 11082027008 19566 33554432000 4194304 4196468 140731993704368 140414863303840 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11672] ppid=11546 vsize=10822292 memory=54 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11672/stat : 11672 (java) S 11546 11553 8208 0 -1 1077944384 1 13129 0 1 0 0 5 3 20 0 15 0 405148708 11082027008 19566 33554432000 4194304 4196468 140731993704368 140414761820912 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11677] ppid=11546 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11677/stat : 11677 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148711 11082027008 19566 33554432000 4194304 4196468 140731993704368 140414157842384 140415405758363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11680] ppid=11546 vsize=10822292 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/11553/task/11680/stat : 11680 (java) R 11546 11553 8208 0 -1 4202560 469 13129 0 1 9 0 5 3 20 0 15 0 405148713 11082027008 19566 33554432000 4194304 4196468 140731993704368 140414728253424 140415388956497 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11681] ppid=11546 vsize=10822292 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/11553/task/11681/stat : 11681 (java) R 11546 11553 8208 0 -1 4202560 753 13129 0 1 12 0 5 3 20 0 15 0 405148713 11082027008 19566 33554432000 4194304 4196468 140731993704368 140414727192160 140415387265063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11682] ppid=11546 vsize=10822292 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/11553/task/11682/stat : 11682 (java) S 11546 11553 8208 0 -1 1077944384 790 13129 0 1 16 0 5 3 20 0 15 0 405148713 11082027008 19566 33554432000 4194304 4196468 140731993704368 140414726158832 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11683] ppid=11546 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11683/stat : 11683 (java) S 11546 11553 8208 0 -1 1077944384 3 13129 0 1 0 0 5 3 20 0 15 0 405148713 11082027008 19566 33554432000 4194304 4196468 140731993704368 140413688081248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11684] ppid=11546 vsize=10822292 memory=72 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11684/stat : 11684 (java) S 11546 11553 8208 0 -1 1077944384 1 13129 0 1 0 0 5 3 20 0 15 0 405148713 11082027008 19566 33554432000 4194304 4196468 140731993704368 140414725106224 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 78264 KiB
[startup+1.50066 s]
/proc/loadavg: 3.35 4.54 5.00 5/228 11684
/proc/meminfo: memFree=24430400/32770624 swapFree=67004040/67108860
[pid=11553] ppid=11546 vsize=10834656 memory=171268 CPUtime=2.44 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11546 11553 8208 0 -1 1077944320 23492 13129 0 1 226 10 5 3 20 0 15 0 405148692 11094687744 42817 33554432000 4194304 4196468 140731993704368 140731993686912 140415405739767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
/proc/11553/statm: 2708664 42817 3581 1 0 2670733 0
[pid=11553/tid=11658] ppid=11546 vsize=10834656 memory=1882 CPUtime=1.38 cores=0,2,4,6
/proc/11553/task/11658/stat : 11658 (java) R 11546 11553 8208 0 -1 4202560 15910 13129 0 1 124 6 5 3 20 0 15 0 405148706 11094687744 42817 33554432000 4194304 4196468 140731993704368 140415377563648 140415405751702 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11663] ppid=11546 vsize=10834656 memory=78264 CPUtime=0.09 cores=0,2,4,6
/proc/11553/task/11663/stat : 11663 (java) S 11546 11553 8208 0 -1 1077944384 26 13129 0 1 1 0 5 3 20 0 15 0 405148706 11094687744 42817 33554432000 4194304 4196468 140731993704368 140415409982480 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11664] ppid=11546 vsize=10834656 memory=776 CPUtime=0.09 cores=0,2,4,6
/proc/11553/task/11664/stat : 11664 (java) S 11546 11553 8208 0 -1 1077944384 47 13129 0 1 1 0 5 3 20 0 15 0 405148706 11094687744 42817 33554432000 4194304 4196468 140731993704368 140415308872848 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11665] ppid=11546 vsize=10834656 memory=1160 CPUtime=0.09 cores=0,2,4,6
/proc/11553/task/11665/stat : 11665 (java) S 11546 11553 8208 0 -1 1077944384 91 13129 0 1 1 0 5 3 20 0 15 0 405148706 11094687744 42817 33554432000 4194304 4196468 140731993704368 140415307819792 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11666] ppid=11546 vsize=10834656 memory=280007037437344 CPUtime=0.09 cores=0,2,4,6
/proc/11553/task/11666/stat : 11666 (java) S 11546 11553 8208 0 -1 1077944384 354 13129 0 1 1 0 5 3 20 0 15 0 405148706 11094687744 42817 33554432000 4194304 4196468 140731993704368 140415306767248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11668] ppid=11546 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11553/task/11668/stat : 11668 (java) S 11546 11553 8208 0 -1 1077944384 1589 13129 0 1 1 0 5 3 20 0 15 0 405148708 11094687744 42817 33554432000 4194304 4196468 140731993704368 140414864357616 140415405750914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11670] ppid=11546 vsize=10834656 memory=140003518730336 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11670/stat : 11670 (java) S 11546 11553 8208 0 -1 1077944384 33 13129 0 1 0 0 5 3 20 0 15 0 405148708 11094687744 42817 33554432000 4194304 4196468 140731993704368 140414863303840 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11672] ppid=11546 vsize=10834656 memory=140003518732336 CPUtime=0.08 cores=0,2,4,6
################
# More data... #
################
/proc/11553/task/11658/stat : 11658 (java) R 11546 11553 8208 0 -1 4202560 77224 13129 0 1 235710 53 5 3 20 0 15 0 405148706 11107291136 278995 33554432000 4194304 4196468 140731993704368 140415377574912 140414998676786 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11663] ppid=11546 vsize=10846964 memory=1115980 CPUtime=13 cores=0,2,4,6
/proc/11553/task/11663/stat : 11663 (java) S 11546 11553 8208 0 -1 1077944384 18053 13129 0 1 1241 51 5 3 20 0 15 0 405148706 11107291136 278995 33554432000 4194304 4196468 140731993704368 140415409982480 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11664] ppid=11546 vsize=10846964 memory=1115980 CPUtime=12.95 cores=0,2,4,6
/proc/11553/task/11664/stat : 11664 (java) S 11546 11553 8208 0 -1 1077944384 22418 13129 0 1 1240 47 5 3 20 0 15 0 405148706 11107291136 278995 33554432000 4194304 4196468 140731993704368 140415308872848 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11665] ppid=11546 vsize=10846964 memory=1115980 CPUtime=12.97 cores=0,2,4,6
/proc/11553/task/11665/stat : 11665 (java) S 11546 11553 8208 0 -1 1077944384 28360 13129 0 1 1238 51 5 3 20 0 15 0 405148706 11107291136 278995 33554432000 4194304 4196468 140731993704368 140415307819792 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11666] ppid=11546 vsize=10846964 memory=1115980 CPUtime=12.95 cores=0,2,4,6
/proc/11553/task/11666/stat : 11666 (java) S 11546 11553 8208 0 -1 1077944384 19992 13129 0 1 1232 55 5 3 20 0 15 0 405148706 11107291136 278995 33554432000 4194304 4196468 140731993704368 140415306767248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11668] ppid=11546 vsize=10846964 memory=1115980 CPUtime=9.29 cores=0,2,4,6
/proc/11553/task/11668/stat : 11668 (java) S 11546 11553 8208 0 -1 1077944384 21445 13129 0 1 866 55 5 3 20 0 15 0 405148708 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414864357616 140415405750914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11670] ppid=11546 vsize=10846964 memory=1115980 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11670/stat : 11670 (java) S 11546 11553 8208 0 -1 1077944384 44 13129 0 1 0 0 5 3 20 0 15 0 405148708 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414863303904 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11672] ppid=11546 vsize=10846964 memory=1115980 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11672/stat : 11672 (java) S 11546 11553 8208 0 -1 1077944384 10 13129 0 1 0 0 5 3 20 0 15 0 405148708 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414761820928 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11677] ppid=11546 vsize=10846964 memory=3588 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11677/stat : 11677 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148711 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414157842384 140415405758363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11680] ppid=11546 vsize=10846964 memory=36696 CPUtime=11.03 cores=0,2,4,6
/proc/11553/task/11680/stat : 11680 (java) S 11546 11553 8208 0 -1 1077944384 23318 13129 0 1 1089 6 5 3 20 0 15 0 405148713 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414728264432 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11681] ppid=11546 vsize=10846964 memory=984 CPUtime=10.62 cores=0,2,4,6
/proc/11553/task/11681/stat : 11681 (java) S 11546 11553 8208 0 -1 1077944384 25924 13129 0 1 1049 5 5 3 20 0 15 0 405148713 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414727211888 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11682] ppid=11546 vsize=10846964 memory=792 CPUtime=5.04 cores=0,2,4,6
/proc/11553/task/11682/stat : 11682 (java) S 11546 11553 8208 0 -1 1077944384 25735 13129 0 1 486 10 5 3 20 0 15 0 405148713 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414726158832 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11683] ppid=11546 vsize=10846964 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11683/stat : 11683 (java) S 11546 11553 8208 0 -1 1077944384 3 13129 0 1 0 0 5 3 20 0 15 0 405148713 11107291136 278995 33554432000 4194304 4196468 140731993704368 140413688081248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11684] ppid=11546 vsize=10846964 memory=1964 CPUtime=1.33 cores=0,2,4,6
/proc/11553/task/11684/stat : 11684 (java) S 11546 11553 8208 0 -1 1077944384 2000 13129 0 1 65 60 5 3 20 0 15 0 405148713 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414725106224 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
Current children cumulated CPU time: 2446.28 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1115980 KiB
[startup+2442.3 s]
/proc/loadavg: 1.56 1.40 1.62 4/228 11909
/proc/meminfo: memFree=23008052/32770624 swapFree=67004044/67108860
[pid=11553] ppid=11546 vsize=10846964 memory=1115980 CPUtime=2507.39 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11546 11553 8208 0 -1 1077944320 267946 13129 0 1 250372 359 5 3 20 0 15 0 405148692 11107291136 278995 33554432000 4194304 4196468 140731993704368 140731993686912 140415405739767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
/proc/11553/statm: 2711741 278995 3626 1 0 2673805 0
[pid=11553/tid=11658] ppid=11546 vsize=10846964 memory=1115980 CPUtime=2417.03 cores=0,2,4,6
/proc/11553/task/11658/stat : 11658 (java) R 11546 11553 8208 0 -1 4202560 77869 13129 0 1 241641 54 5 3 20 0 15 0 405148706 11107291136 278995 33554432000 4194304 4196468 140731993704368 140415377574896 140415389123743 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11663] ppid=11546 vsize=10846964 memory=1115980 CPUtime=13.37 cores=0,2,4,6
/proc/11553/task/11663/stat : 11663 (java) S 11546 11553 8208 0 -1 1077944384 18118 13129 0 1 1278 51 5 3 20 0 15 0 405148706 11107291136 278995 33554432000 4194304 4196468 140731993704368 140415409982480 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11664] ppid=11546 vsize=10846964 memory=1115980 CPUtime=13.33 cores=0,2,4,6
/proc/11553/task/11664/stat : 11664 (java) S 11546 11553 8208 0 -1 1077944384 22573 13129 0 1 1277 48 5 3 20 0 15 0 405148706 11107291136 278995 33554432000 4194304 4196468 140731993704368 140415308872848 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11665] ppid=11546 vsize=10846964 memory=1115980 CPUtime=13.34 cores=0,2,4,6
/proc/11553/task/11665/stat : 11665 (java) S 11546 11553 8208 0 -1 1077944384 28408 13129 0 1 1274 52 5 3 20 0 15 0 405148706 11107291136 278995 33554432000 4194304 4196468 140731993704368 140415307819792 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11666] ppid=11546 vsize=10846964 memory=1115980 CPUtime=13.33 cores=0,2,4,6
/proc/11553/task/11666/stat : 11666 (java) S 11546 11553 8208 0 -1 1077944384 20047 13129 0 1 1269 56 5 3 20 0 15 0 405148706 11107291136 278995 33554432000 4194304 4196468 140731993704368 140415306767248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11668] ppid=11546 vsize=10846964 memory=1115980 CPUtime=9.54 cores=0,2,4,6
/proc/11553/task/11668/stat : 11668 (java) S 11546 11553 8208 0 -1 1077944384 21663 13129 0 1 889 57 5 3 20 0 15 0 405148708 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414864357616 140415405750914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11670] ppid=11546 vsize=10846964 memory=1115980 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11670/stat : 11670 (java) S 11546 11553 8208 0 -1 1077944384 44 13129 0 1 0 0 5 3 20 0 15 0 405148708 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414863303904 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11672] ppid=11546 vsize=10846964 memory=1115980 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11672/stat : 11672 (java) S 11546 11553 8208 0 -1 1077944384 10 13129 0 1 0 0 5 3 20 0 15 0 405148708 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414761820928 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11677] ppid=11546 vsize=10846964 memory=1115980 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11677/stat : 11677 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148711 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414157842384 140415405758363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11680] ppid=11546 vsize=10846964 memory=804 CPUtime=11.03 cores=0,2,4,6
/proc/11553/task/11680/stat : 11680 (java) S 11546 11553 8208 0 -1 1077944384 23320 13129 0 1 1089 6 5 3 20 0 15 0 405148713 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414728264432 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11681] ppid=11546 vsize=10846964 memory=7739812359470411111 CPUtime=10.62 cores=0,2,4,6
/proc/11553/task/11681/stat : 11681 (java) S 11546 11553 8208 0 -1 1077944384 25926 13129 0 1 1049 5 5 3 20 0 15 0 405148713 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414727211888 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11682] ppid=11546 vsize=10846964 memory=6791534058613427641 CPUtime=5.04 cores=0,2,4,6
/proc/11553/task/11682/stat : 11682 (java) S 11546 11553 8208 0 -1 1077944384 25737 13129 0 1 486 10 5 3 20 0 15 0 405148713 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414726158832 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11683] ppid=11546 vsize=10846964 memory=1160 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11683/stat : 11683 (java) S 11546 11553 8208 0 -1 1077944384 3 13129 0 1 0 0 5 3 20 0 15 0 405148713 11107291136 278995 33554432000 4194304 4196468 140731993704368 140413688081248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11684] ppid=11546 vsize=10846964 memory=1115980 CPUtime=1.37 cores=0,2,4,6
/proc/11553/task/11684/stat : 11684 (java) S 11546 11553 8208 0 -1 1077944384 2016 13129 0 1 67 62 5 3 20 0 15 0 405148713 11107291136 278995 33554432000 4194304 4196468 140731993704368 140414725106224 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
Current children cumulated CPU time: 2507.39 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1115980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2454.7 s]
/proc/loadavg: 1.52 1.40 1.61 5/229 12039
/proc/meminfo: memFree=23184768/32770624 swapFree=67004044/67108860
[pid=11553] ppid=11546 vsize=10846964 memory=1118028 CPUtime=2520.03 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11546 11553 8208 0 -1 1077944320 268392 13129 0 1 251634 361 5 3 20 0 15 0 405148692 11107291136 279507 33554432000 4194304 4196468 140731993704368 140731993686912 140415405739767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
/proc/11553/statm: 2711741 279507 3626 1 0 2673805 0
[pid=11553/tid=11658] ppid=11546 vsize=10846964 memory=1115980 CPUtime=2429.29 cores=0,2,4,6
/proc/11553/task/11658/stat : 11658 (java) R 11546 11553 8208 0 -1 4202560 78061 13129 0 1 242865 56 5 3 20 0 15 0 405148706 11107291136 279507 33554432000 4194304 4196468 140731993704368 140415377575472 140414991221156 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11663] ppid=11546 vsize=10846964 memory=6791534058613427641 CPUtime=13.45 cores=0,2,4,6
/proc/11553/task/11663/stat : 11663 (java) S 11546 11553 8208 0 -1 1077944384 18124 13129 0 1 1286 51 5 3 20 0 15 0 405148706 11107291136 279507 33554432000 4194304 4196468 140731993704368 140415409982480 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11664] ppid=11546 vsize=10846964 memory=1115980 CPUtime=13.41 cores=0,2,4,6
/proc/11553/task/11664/stat : 11664 (java) S 11546 11553 8208 0 -1 1077944384 22632 13129 0 1 1285 48 5 3 20 0 15 0 405148706 11107291136 279507 33554432000 4194304 4196468 140731993704368 140415308872848 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11665] ppid=11546 vsize=10846964 memory=1115980 CPUtime=13.42 cores=0,2,4,6
/proc/11553/task/11665/stat : 11665 (java) S 11546 11553 8208 0 -1 1077944384 28556 13129 0 1 1282 52 5 3 20 0 15 0 405148706 11107291136 279507 33554432000 4194304 4196468 140731993704368 140415307819792 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11666] ppid=11546 vsize=10846964 memory=1115980 CPUtime=13.41 cores=0,2,4,6
/proc/11553/task/11666/stat : 11666 (java) S 11546 11553 8208 0 -1 1077944384 20049 13129 0 1 1277 56 5 3 20 0 15 0 405148706 11107291136 279507 33554432000 4194304 4196468 140731993704368 140415306767248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11668] ppid=11546 vsize=10846964 memory=1115980 CPUtime=9.58 cores=0,2,4,6
/proc/11553/task/11668/stat : 11668 (java) S 11546 11553 8208 0 -1 1077944384 21692 13129 0 1 893 57 5 3 20 0 15 0 405148708 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414864357616 140415405750914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11670] ppid=11546 vsize=10846964 memory=1115980 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11670/stat : 11670 (java) S 11546 11553 8208 0 -1 1077944384 44 13129 0 1 0 0 5 3 20 0 15 0 405148708 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414863303904 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11672] ppid=11546 vsize=10846964 memory=1115980 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11672/stat : 11672 (java) S 11546 11553 8208 0 -1 1077944384 10 13129 0 1 0 0 5 3 20 0 15 0 405148708 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414761820928 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11677] ppid=11546 vsize=10846964 memory=1115980 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11677/stat : 11677 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148711 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414157842384 140415405758363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11680] ppid=11546 vsize=10846964 memory=1118028 CPUtime=11.03 cores=0,2,4,6
/proc/11553/task/11680/stat : 11680 (java) S 11546 11553 8208 0 -1 1077944384 23322 13129 0 1 1089 6 5 3 20 0 15 0 405148713 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414728264432 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11681] ppid=11546 vsize=10846964 memory=7739812359470411111 CPUtime=10.62 cores=0,2,4,6
/proc/11553/task/11681/stat : 11681 (java) S 11546 11553 8208 0 -1 1077944384 25928 13129 0 1 1049 5 5 3 20 0 15 0 405148713 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414727211888 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11682] ppid=11546 vsize=10846964 memory=1118028 CPUtime=5.04 cores=0,2,4,6
/proc/11553/task/11682/stat : 11682 (java) S 11546 11553 8208 0 -1 1077944384 25739 13129 0 1 486 10 5 3 20 0 15 0 405148713 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414726158832 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11683] ppid=11546 vsize=10846964 memory=1118028 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11683/stat : 11683 (java) S 11546 11553 8208 0 -1 1077944384 3 13129 0 1 0 0 5 3 20 0 15 0 405148713 11107291136 279507 33554432000 4194304 4196468 140731993704368 140413688081248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11684] ppid=11546 vsize=10846964 memory=36696 CPUtime=1.37 cores=0,2,4,6
/proc/11553/task/11684/stat : 11684 (java) S 11546 11553 8208 0 -1 1077944384 2020 13129 0 1 67 62 5 3 20 0 15 0 405148713 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414725106224 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1118028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2454.73 s]
# the end of solver process 11553 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.42 s, system=3.66556 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2454.7 s]
/proc/loadavg: 1.52 1.40 1.61 5/229 12039
/proc/meminfo: memFree=23184768/32770624 swapFree=67004044/67108860
[pid=11553] ppid=11546 vsize=10846964 memory=1118028 CPUtime=2520.03 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11546 11553 8208 0 -1 1077944320 268392 13129 0 1 251634 361 5 3 20 0 15 0 405148692 11107291136 279507 33554432000 4194304 4196468 140731993704368 140731993686912 140415405739767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
/proc/11553/statm: 2711741 279507 3626 1 0 2673805 0
[pid=11553/tid=11658] ppid=11546 vsize=10846964 memory=1115980 CPUtime=2429.29 cores=0,2,4,6
/proc/11553/task/11658/stat : 11658 (java) R 11546 11553 8208 0 -1 4202560 78061 13129 0 1 242865 56 5 3 20 0 15 0 405148706 11107291136 279507 33554432000 4194304 4196468 140731993704368 140415377575472 140414991221156 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11663] ppid=11546 vsize=10846964 memory=6791534058613427641 CPUtime=13.45 cores=0,2,4,6
/proc/11553/task/11663/stat : 11663 (java) S 11546 11553 8208 0 -1 1077944384 18124 13129 0 1 1286 51 5 3 20 0 15 0 405148706 11107291136 279507 33554432000 4194304 4196468 140731993704368 140415409982480 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11664] ppid=11546 vsize=10846964 memory=1115980 CPUtime=13.41 cores=0,2,4,6
/proc/11553/task/11664/stat : 11664 (java) S 11546 11553 8208 0 -1 1077944384 22632 13129 0 1 1285 48 5 3 20 0 15 0 405148706 11107291136 279507 33554432000 4194304 4196468 140731993704368 140415308872848 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11665] ppid=11546 vsize=10846964 memory=1115980 CPUtime=13.42 cores=0,2,4,6
/proc/11553/task/11665/stat : 11665 (java) S 11546 11553 8208 0 -1 1077944384 28556 13129 0 1 1282 52 5 3 20 0 15 0 405148706 11107291136 279507 33554432000 4194304 4196468 140731993704368 140415307819792 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11666] ppid=11546 vsize=10846964 memory=1115980 CPUtime=13.41 cores=0,2,4,6
/proc/11553/task/11666/stat : 11666 (java) S 11546 11553 8208 0 -1 1077944384 20049 13129 0 1 1277 56 5 3 20 0 15 0 405148706 11107291136 279507 33554432000 4194304 4196468 140731993704368 140415306767248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11668] ppid=11546 vsize=10846964 memory=1115980 CPUtime=9.58 cores=0,2,4,6
/proc/11553/task/11668/stat : 11668 (java) S 11546 11553 8208 0 -1 1077944384 21692 13129 0 1 893 57 5 3 20 0 15 0 405148708 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414864357616 140415405750914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11670] ppid=11546 vsize=10846964 memory=1115980 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11670/stat : 11670 (java) S 11546 11553 8208 0 -1 1077944384 44 13129 0 1 0 0 5 3 20 0 15 0 405148708 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414863303904 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11672] ppid=11546 vsize=10846964 memory=1115980 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11672/stat : 11672 (java) S 11546 11553 8208 0 -1 1077944384 10 13129 0 1 0 0 5 3 20 0 15 0 405148708 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414761820928 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11677] ppid=11546 vsize=10846964 memory=1115980 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11677/stat : 11677 (java) S 11546 11553 8208 0 -1 1077944384 2 13129 0 1 0 0 5 3 20 0 15 0 405148711 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414157842384 140415405758363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11680] ppid=11546 vsize=10846964 memory=1118028 CPUtime=11.03 cores=0,2,4,6
/proc/11553/task/11680/stat : 11680 (java) S 11546 11553 8208 0 -1 1077944384 23322 13129 0 1 1089 6 5 3 20 0 15 0 405148713 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414728264432 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11681] ppid=11546 vsize=10846964 memory=7739812359470411111 CPUtime=10.62 cores=0,2,4,6
/proc/11553/task/11681/stat : 11681 (java) S 11546 11553 8208 0 -1 1077944384 25928 13129 0 1 1049 5 5 3 20 0 15 0 405148713 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414727211888 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11682] ppid=11546 vsize=10846964 memory=1118028 CPUtime=5.04 cores=0,2,4,6
/proc/11553/task/11682/stat : 11682 (java) S 11546 11553 8208 0 -1 1077944384 25739 13129 0 1 486 10 5 3 20 0 15 0 405148713 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414726158832 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11683] ppid=11546 vsize=10846964 memory=1118028 CPUtime=0.08 cores=0,2,4,6
/proc/11553/task/11683/stat : 11683 (java) S 11546 11553 8208 0 -1 1077944384 3 13129 0 1 0 0 5 3 20 0 15 0 405148713 11107291136 279507 33554432000 4194304 4196468 140731993704368 140413688081248 140415405749973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
[pid=11553/tid=11684] ppid=11546 vsize=10846964 memory=36696 CPUtime=1.37 cores=0,2,4,6
/proc/11553/task/11684/stat : 11684 (java) S 11546 11553 8208 0 -1 1077944384 2020 13129 0 1 67 62 5 3 20 0 15 0 405148713 11107291136 279507 33554432000 4194304 4196468 140731993704368 140414725106224 140415405750914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27430912 140731993713398 140731993715909 140731993715909 140731993718735 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1118028 KiB
Child status: 143
Real time (s): 2454.73
CPU time (s): 2520.09
CPU user time (s): 2516.42
CPU system time (s): 3.66556
CPU usage (%): 102.663
Max. virtual memory (cumulated for all children) (KiB): 10852280
Max. memory (cumulated for all children) (KiB): 1481176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.42
system time used= 3.66556
maximum resident set size= 1481688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284069
page faults= 1
swaps= 0
block input operations= 64
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276041
involuntary context switches= 7161
# summary of solver processes directly reported to runsolver:
# pid: 11553
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.42
# total CPU system time (s): 3.66556
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7611 second user time and 21.0162 second system time
The end