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 (7544 MiB free)
memory of node 1: 16384 MiB (13940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298715-1532770964/watcher-4298715-1532770964 -o /tmp/evaluation-result-4298715-1532770964/solver-4298715-1532770964 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532740894-20192 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298715-1532770964.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23934, runsolver pid=23931
[startup+0.101095 s]*
/proc/loadavg: 1.58 1.63 1.65 5/215 23949
/proc/meminfo: memFree=21986384/32770624 swapFree=67108688/67108860
[pid=23934] ppid=23931 vsize=10661052 memory=25856 CPUtime=0.12 cores=1,3,5,7
/proc/23934/stat : 23934 (java) S 23931 23934 20160 0 -1 1077944320 5380 0 0 0 11 1 0 0 20 0 15 0 94659305 10916917248 6464 33554432000 4194304 4196468 140729586313936 140729586296480 140691215834871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
/proc/23934/statm: 2665263 6464 2860 1 0 2627263 0
[pid=23934/tid=23936] ppid=23931 vsize=10661052 memory=-8413741653617053819 CPUtime=0.08 cores=1,3,5,7
/proc/23934/task/23936/stat : 23936 (java) R 23931 23934 20160 0 -1 4202560 3206 0 0 0 8 0 0 0 20 0 15 0 94659306 10916917248 6464 33554432000 4194304 4196468 140729586313936 140691220065168 140691208071998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23937] ppid=23931 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23937/stat : 23937 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659307 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690822982032 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23938] ppid=23931 vsize=10661052 memory=139651474777728 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23938/stat : 23938 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659307 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690821929232 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23939] ppid=23931 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23939/stat : 23939 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659307 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690820876944 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23940] ppid=23931 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23940/stat : 23940 (java) S 23931 23934 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94659307 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690819824144 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23941] ppid=23931 vsize=10661052 memory=139651474777728 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23941/stat : 23941 (java) S 23931 23934 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94659308 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690708208240 140691215846018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23942] ppid=23931 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23942/stat : 23942 (java) S 23931 23934 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94659308 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690707154208 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23943] ppid=23931 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23943/stat : 23943 (java) S 23931 23934 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94659309 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690706101872 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23944] ppid=23931 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23944/stat : 23944 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690705050192 140691215853467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23945] ppid=23931 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23945/stat : 23945 (java) S 23931 23934 20160 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 94659311 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690703997040 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23946] ppid=23931 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23946/stat : 23946 (java) S 23931 23934 20160 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 94659311 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690702944240 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23947] ppid=23931 vsize=10661052 memory=139651474777728 CPUtime=0.01 cores=1,3,5,7
/proc/23934/task/23947/stat : 23947 (java) R 23931 23934 20160 0 -1 4202560 375 0 0 0 1 0 0 0 20 0 15 0 94659311 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690701888008 140691199915358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23948] ppid=23931 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23948/stat : 23948 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690700839392 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23949] ppid=23931 vsize=10661052 memory=139651474777728 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23949/stat : 23949 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659312 10916917248 6464 33554432000 4194304 4196468 140729586313936 140690699787184 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 25856 KiB
[startup+0.21045 s]*
/proc/loadavg: 1.58 1.63 1.65 4/215 23949
/proc/meminfo: memFree=21973848/32770624 swapFree=67108688/67108860
[pid=23934] ppid=23931 vsize=10661052 memory=39204 CPUtime=0.33 cores=1,3,5,7
/proc/23934/stat : 23934 (java) S 23931 23934 20160 0 -1 1077944320 8427 0 0 0 31 2 0 0 20 0 15 0 94659305 10916917248 9801 33554432000 4194304 4196468 140729586313936 140729586296480 140691215834871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
/proc/23934/statm: 2665263 9801 2994 1 0 2627263 0
[pid=23934/tid=23936] ppid=23931 vsize=10661052 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/23934/task/23936/stat : 23936 (java) R 23931 23934 20160 0 -1 4202560 5167 0 0 0 18 1 0 0 20 0 15 0 94659306 10916917248 9801 33554432000 4194304 4196468 140729586313936 140691220073792 140691215846806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23937] ppid=23931 vsize=10661052 memory=343 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23937/stat : 23937 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659307 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690822982032 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23938] ppid=23931 vsize=10661052 memory=139651475309045 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23938/stat : 23938 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659307 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690821929232 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23939] ppid=23931 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23939/stat : 23939 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659307 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690820876944 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23940] ppid=23931 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23940/stat : 23940 (java) S 23931 23934 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94659307 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690819824144 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23941] ppid=23931 vsize=10661052 memory=139651474777728 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23941/stat : 23941 (java) S 23931 23934 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94659308 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690708208240 140691215846018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23942] ppid=23931 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23942/stat : 23942 (java) S 23931 23934 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94659308 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690707154208 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23943] ppid=23931 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23943/stat : 23943 (java) S 23931 23934 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94659309 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690706101872 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23944] ppid=23931 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23944/stat : 23944 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690705050192 140691215853467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23945] ppid=23931 vsize=10661052 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23934/task/23945/stat : 23945 (java) R 23931 23934 20160 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 15 0 94659311 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690703997040 140691215846018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23946] ppid=23931 vsize=10661052 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23934/task/23946/stat : 23946 (java) R 23931 23934 20160 0 -1 4202560 445 0 0 0 1 0 0 0 20 0 15 0 94659311 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690702944240 140691201879121 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23947] ppid=23931 vsize=10661052 memory=139651474777728 CPUtime=0.08 cores=1,3,5,7
/proc/23934/task/23947/stat : 23947 (java) R 23931 23934 20160 0 -1 4202560 1019 0 0 0 8 0 0 0 20 0 15 0 94659311 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690701889616 140691194753774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23948] ppid=23931 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23948/stat : 23948 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690700839392 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23949] ppid=23931 vsize=10661052 memory=139651474777728 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23949/stat : 23949 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659312 10916917248 9801 33554432000 4194304 4196468 140729586313936 140690699787184 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 39204 KiB
[startup+0.311224 s]*
/proc/loadavg: 1.58 1.63 1.65 5/215 23949
/proc/meminfo: memFree=21960956/32770624 swapFree=67108688/67108860
[pid=23934] ppid=23931 vsize=10661128 memory=51924 CPUtime=0.68 cores=1,3,5,7
/proc/23934/stat : 23934 (java) S 23931 23934 20160 0 -1 1077944320 10565 0 0 0 65 3 0 0 20 0 15 0 94659305 10916995072 12981 33554432000 4194304 4196468 140729586313936 140729586296480 140691215834871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
/proc/23934/statm: 2665282 12981 3071 1 0 2627263 0
[pid=23934/tid=23936] ppid=23931 vsize=10661128 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/23934/task/23936/stat : 23936 (java) R 23931 23934 20160 0 -1 4202560 5479 0 0 0 28 1 0 0 20 0 15 0 94659306 10916995072 12981 33554432000 4194304 4196468 140729586313936 140691220067648 140690853543794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23937] ppid=23931 vsize=10661128 memory=4294979917 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23937/stat : 23937 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659307 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690822982032 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23938] ppid=23931 vsize=10661128 memory=139651475298811 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23938/stat : 23938 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659307 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690821929232 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23939] ppid=23931 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23939/stat : 23939 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659307 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690820876944 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23940] ppid=23931 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23940/stat : 23940 (java) S 23931 23934 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94659307 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690819824144 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23941] ppid=23931 vsize=10661128 memory=139651474777728 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23941/stat : 23941 (java) S 23931 23934 20160 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94659308 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690708208240 140691215846018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23942] ppid=23931 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23942/stat : 23942 (java) S 23931 23934 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94659308 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690707154208 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23943] ppid=23931 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23943/stat : 23943 (java) S 23931 23934 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94659309 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690706101872 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23944] ppid=23931 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23944/stat : 23944 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690705050192 140691215853467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23945] ppid=23931 vsize=10661128 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23934/task/23945/stat : 23945 (java) R 23931 23934 20160 0 -1 4202560 1032 0 0 0 12 0 0 0 20 0 15 0 94659311 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690703986832 140691195274664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23946] ppid=23931 vsize=10661128 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/23934/task/23946/stat : 23946 (java) R 23931 23934 20160 0 -1 4202560 1218 0 0 0 10 0 0 0 20 0 15 0 94659311 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690702931792 140691199819435 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23947] ppid=23931 vsize=10661128 memory=139651474777728 CPUtime=0.13 cores=1,3,5,7
/proc/23934/task/23947/stat : 23947 (java) R 23931 23934 20160 0 -1 1077944384 1466 0 0 0 13 0 0 0 20 0 15 0 94659311 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690701891952 140691215846018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23948] ppid=23931 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23948/stat : 23948 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690700839392 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23949] ppid=23931 vsize=10661128 memory=139651474777728 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23949/stat : 23949 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659312 10916995072 12981 33554432000 4194304 4196468 140729586313936 140690699787184 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 51924 KiB
[startup+0.700763 s]
/proc/loadavg: 1.58 1.63 1.65 5/215 23949
/proc/meminfo: memFree=21932332/32770624 swapFree=67108688/67108860
[pid=23934] ppid=23931 vsize=10661128 memory=103876 CPUtime=1.87 cores=1,3,5,7
/proc/23934/stat : 23934 (java) S 23931 23934 20160 0 -1 1077944320 11911 0 0 0 183 4 0 0 20 0 15 0 94659305 10916995072 25969 33554432000 4194304 4196468 140729586313936 140729586296480 140691215834871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
/proc/23934/statm: 2665282 25969 3104 1 0 2627263 0
[pid=23934/tid=23936] ppid=23931 vsize=10661128 memory=242477143453924 CPUtime=0.67 cores=1,3,5,7
/proc/23934/task/23936/stat : 23936 (java) R 23931 23934 20160 0 -1 4202560 5830 0 0 0 65 2 0 0 20 0 15 0 94659306 10916995072 25969 33554432000 4194304 4196468 140729586313936 140691220071120 140690853543190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23937] ppid=23931 vsize=10661128 memory=4051047449723404320 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23937/stat : 23937 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659307 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690822982032 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23938] ppid=23931 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23938/stat : 23938 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659307 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690821929232 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23939] ppid=23931 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23939/stat : 23939 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659307 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690820876944 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23940] ppid=23931 vsize=10661128 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23940/stat : 23940 (java) S 23931 23934 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94659307 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690819824144 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23941] ppid=23931 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23941/stat : 23941 (java) S 23931 23934 20160 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94659308 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690708208240 140691215846018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23942] ppid=23931 vsize=10661128 memory=-5935602824819121961 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23942/stat : 23942 (java) S 23931 23934 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94659308 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690707154208 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23943] ppid=23931 vsize=10661128 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23943/stat : 23943 (java) S 23931 23934 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94659309 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690706101872 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23944] ppid=23931 vsize=10661128 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23944/stat : 23944 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690705050192 140691215853467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23945] ppid=23931 vsize=10661128 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/23934/task/23945/stat : 23945 (java) S 23931 23934 20160 0 -1 1077944384 1513 0 0 0 43 0 0 0 20 0 15 0 94659311 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690703997040 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23946] ppid=23931 vsize=10661128 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/23934/task/23946/stat : 23946 (java) S 23931 23934 20160 0 -1 1077944384 1313 0 0 0 40 0 0 0 20 0 15 0 94659311 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690702944240 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23947] ppid=23931 vsize=10661128 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/23934/task/23947/stat : 23947 (java) S 23931 23934 20160 0 -1 1077944384 1885 0 0 0 33 0 0 0 20 0 15 0 94659311 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690701891952 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23948] ppid=23931 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23948/stat : 23948 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690700839392 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23949] ppid=23931 vsize=10661128 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23949/stat : 23949 (java) S 23931 23934 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94659312 10916995072 25969 33554432000 4194304 4196468 140729586313936 140690699787184 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 103876 KiB
[startup+1.50084 s]
/proc/loadavg: 1.58 1.63 1.65 4/215 23949
/proc/meminfo: memFree=21814996/32770624 swapFree=67108688/67108860
[pid=23934] ppid=23931 vsize=10661128 memory=216752 CPUtime=4.13 cores=1,3,5,7
/proc/23934/stat : 23934 (java) S 23931 23934 20160 0 -1 1077944320 17303 0 0 0 404 9 0 0 20 0 15 0 94659305 10916995072 54188 33554432000 4194304 4196468 140729586313936 140729586296480 140691215834871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
/proc/23934/statm: 2665282 54188 3143 1 0 2627263 0
[pid=23934/tid=23936] ppid=23931 vsize=10661128 memory=12848 CPUtime=1.45 cores=1,3,5,7
/proc/23934/task/23936/stat : 23936 (java) R 23931 23934 20160 0 -1 4202560 5938 0 0 0 142 3 0 0 20 0 15 0 94659306 10916995072 54188 33554432000 4194304 4196468 140729586313936 140691220071184 140690858832224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23937] ppid=23931 vsize=10661128 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23937/stat : 23937 (java) S 23931 23934 20160 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 94659307 10916995072 54188 33554432000 4194304 4196468 140729586313936 140690822982032 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23938] ppid=23931 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23938/stat : 23938 (java) S 23931 23934 20160 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 94659307 10916995072 54188 33554432000 4194304 4196468 140729586313936 140690821929232 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23939] ppid=23931 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23939/stat : 23939 (java) S 23931 23934 20160 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 94659307 10916995072 54188 33554432000 4194304 4196468 140729586313936 140690820876944 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23940] ppid=23931 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23940/stat : 23940 (java) S 23931 23934 20160 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 94659307 10916995072 54188 33554432000 4194304 4196468 140729586313936 140690819824144 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23941] ppid=23931 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23941/stat : 23941 (java) S 23931 23934 20160 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 94659308 10916995072 54188 33554432000 4194304 4196468 140729586313936 140690708208240 140691215846018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
################
# More data... #
################
/proc/23934/task/23936/stat : 23936 (java) R 23931 23934 20160 0 -1 4202560 13471 0 0 0 237463 8 0 0 20 0 15 0 94659306 10916995072 54831 33554432000 4194304 4196468 140729586313936 140691220074448 140690859211816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23937] ppid=23931 vsize=10661128 memory=219324 CPUtime=5.46 cores=1,3,5,7
/proc/23934/task/23937/stat : 23937 (java) S 23931 23934 20160 0 -1 1077944384 4176 0 0 0 535 11 0 0 20 0 15 0 94659307 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690822982032 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23938] ppid=23931 vsize=10661128 memory=219324 CPUtime=5.46 cores=1,3,5,7
/proc/23934/task/23938/stat : 23938 (java) S 23931 23934 20160 0 -1 1077944384 4569 0 0 0 535 11 0 0 20 0 15 0 94659307 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690821929232 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23939] ppid=23931 vsize=10661128 memory=219324 CPUtime=5.47 cores=1,3,5,7
/proc/23934/task/23939/stat : 23939 (java) S 23931 23934 20160 0 -1 1077944384 8527 0 0 0 538 9 0 0 20 0 15 0 94659307 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690820876944 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23940] ppid=23931 vsize=10661128 memory=219324 CPUtime=5.47 cores=1,3,5,7
/proc/23934/task/23940/stat : 23940 (java) S 23931 23934 20160 0 -1 1077944384 6685 0 0 0 538 9 0 0 20 0 15 0 94659307 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690819824144 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23941] ppid=23931 vsize=10661128 memory=4140 CPUtime=1.05 cores=1,3,5,7
/proc/23934/task/23941/stat : 23941 (java) S 23931 23934 20160 0 -1 1077944384 5124 0 0 0 96 9 0 0 20 0 15 0 94659308 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690708208240 140691215846018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23942] ppid=23931 vsize=10661128 memory=27424 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23942/stat : 23942 (java) S 23931 23934 20160 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 94659308 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690707154272 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23943] ppid=23931 vsize=10661128 memory=219324 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23943/stat : 23943 (java) S 23931 23934 20160 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 94659309 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690706101872 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23944] ppid=23931 vsize=10661128 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23944/stat : 23944 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690705050192 140691215853467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23945] ppid=23931 vsize=10661128 memory=219324 CPUtime=1.45 cores=1,3,5,7
/proc/23934/task/23945/stat : 23945 (java) S 23931 23934 20160 0 -1 1077944384 5852 0 0 0 144 1 0 0 20 0 15 0 94659311 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690703997040 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23946] ppid=23931 vsize=10661128 memory=4140 CPUtime=1.37 cores=1,3,5,7
/proc/23934/task/23946/stat : 23946 (java) S 23931 23934 20160 0 -1 1077944384 8325 0 0 0 136 1 0 0 20 0 15 0 94659311 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690702944240 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23947] ppid=23931 vsize=10661128 memory=219324 CPUtime=0.45 cores=1,3,5,7
/proc/23934/task/23947/stat : 23947 (java) S 23931 23934 20160 0 -1 1077944384 3282 0 0 0 44 1 0 0 20 0 15 0 94659311 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690701891952 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23948] ppid=23931 vsize=10661128 memory=6946610428894012499 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23948/stat : 23948 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690700839392 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23949] ppid=23931 vsize=10661128 memory=4140 CPUtime=0.5 cores=1,3,5,7
/proc/23934/task/23949/stat : 23949 (java) S 23931 23934 20160 0 -1 1077944384 1320 0 0 0 23 27 0 0 20 0 15 0 94659312 10916995072 54831 33554432000 4194304 4196468 140729586313936 140690699787184 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
Current children cumulated CPU time: 2401.51 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 219324 KiB
[startup+2442.3 s]
/proc/loadavg: 1.38 1.28 1.33 3/216 24201
/proc/meminfo: memFree=22971392/32770624 swapFree=67108688/67108860
[pid=23934] ppid=23931 vsize=10661128 memory=228240 CPUtime=2462.46 cores=1,3,5,7
/proc/23934/stat : 23934 (java) S 23931 23934 20160 0 -1 1077944320 64111 0 0 0 246161 85 0 0 20 0 15 0 94659305 10916995072 57060 33554432000 4194304 4196468 140729586313936 140729586296480 140691215834871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
/proc/23934/statm: 2665282 57060 3154 1 0 2627263 0
[pid=23934/tid=23936] ppid=23931 vsize=10661128 memory=228240 CPUtime=2434.27 cores=1,3,5,7
/proc/23934/task/23936/stat : 23936 (java) R 23931 23934 20160 0 -1 4202560 13678 0 0 0 243419 8 0 0 20 0 15 0 94659306 10916995072 57060 33554432000 4194304 4196468 140729586313936 140691220074128 140690859212285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23937] ppid=23931 vsize=10661128 memory=226192 CPUtime=5.79 cores=1,3,5,7
/proc/23934/task/23937/stat : 23937 (java) S 23931 23934 20160 0 -1 1077944384 4510 0 0 0 567 12 0 0 20 0 15 0 94659307 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690822982032 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23938] ppid=23931 vsize=10661128 memory=228240 CPUtime=5.79 cores=1,3,5,7
/proc/23934/task/23938/stat : 23938 (java) S 23931 23934 20160 0 -1 1077944384 4837 0 0 0 568 11 0 0 20 0 15 0 94659307 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690821929232 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23939] ppid=23931 vsize=10661128 memory=228240 CPUtime=5.8 cores=1,3,5,7
/proc/23934/task/23939/stat : 23939 (java) S 23931 23934 20160 0 -1 1077944384 8636 0 0 0 571 9 0 0 20 0 15 0 94659307 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690820876944 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23940] ppid=23931 vsize=10661128 memory=228240 CPUtime=5.8 cores=1,3,5,7
/proc/23934/task/23940/stat : 23940 (java) S 23931 23934 20160 0 -1 1077944384 6926 0 0 0 570 10 0 0 20 0 15 0 94659307 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690819824144 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23941] ppid=23931 vsize=10661128 memory=104969470478826 CPUtime=1.11 cores=1,3,5,7
/proc/23934/task/23941/stat : 23941 (java) S 23931 23934 20160 0 -1 1077944384 5306 0 0 0 102 9 0 0 20 0 15 0 94659308 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690708208240 140691215846018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23942] ppid=23931 vsize=10661128 memory=228240 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23942/stat : 23942 (java) S 23931 23934 20160 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 94659308 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690707154272 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23943] ppid=23931 vsize=10661128 memory=228240 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23943/stat : 23943 (java) S 23931 23934 20160 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 94659309 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690706101872 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23944] ppid=23931 vsize=10661128 memory=228240 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23944/stat : 23944 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690705050192 140691215853467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23945] ppid=23931 vsize=10661128 memory=228240 CPUtime=1.45 cores=1,3,5,7
/proc/23934/task/23945/stat : 23945 (java) S 23931 23934 20160 0 -1 1077944384 5854 0 0 0 144 1 0 0 20 0 15 0 94659311 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690703997040 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23946] ppid=23931 vsize=10661128 memory=228240 CPUtime=1.37 cores=1,3,5,7
/proc/23934/task/23946/stat : 23946 (java) S 23931 23934 20160 0 -1 1077944384 8327 0 0 0 136 1 0 0 20 0 15 0 94659311 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690702944240 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23947] ppid=23931 vsize=10661128 memory=228240 CPUtime=0.45 cores=1,3,5,7
/proc/23934/task/23947/stat : 23947 (java) S 23931 23934 20160 0 -1 1077944384 3284 0 0 0 44 1 0 0 20 0 15 0 94659311 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690701891952 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23948] ppid=23931 vsize=10661128 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23948/stat : 23948 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690700839392 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23949] ppid=23931 vsize=10661128 memory=27424 CPUtime=0.52 cores=1,3,5,7
/proc/23934/task/23949/stat : 23949 (java) S 23931 23934 20160 0 -1 1077944384 1336 0 0 0 24 28 0 0 20 0 15 0 94659312 10916995072 57060 33554432000 4194304 4196468 140729586313936 140690699787184 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
Current children cumulated CPU time: 2462.46 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 228240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2498.9 s]
/proc/loadavg: 1.41 1.31 1.34 3/216 24202
/proc/meminfo: memFree=22959020/32770624 swapFree=67108688/67108860
[pid=23934] ppid=23931 vsize=10661128 memory=238500 CPUtime=2520.02 cores=1,3,5,7
/proc/23934/stat : 23934 (java) S 23931 23934 20160 0 -1 1077944320 64467 0 0 0 251913 89 0 0 20 0 15 0 94659305 10916995072 59625 33554432000 4194304 4196468 140729586313936 140729586296480 140691215834871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
/proc/23934/statm: 2665282 59625 3154 1 0 2627263 0
[pid=23934/tid=23936] ppid=23931 vsize=10661128 memory=238500 CPUtime=2490.41 cores=1,3,5,7
/proc/23934/task/23936/stat : 23936 (java) R 23931 23934 20160 0 -1 4202560 13785 0 0 0 249033 8 0 0 20 0 15 0 94659306 10916995072 59625 33554432000 4194304 4196468 140729586313936 140691220074208 140690858967436 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23937] ppid=23931 vsize=10661128 memory=238500 CPUtime=6.13 cores=1,3,5,7
/proc/23934/task/23937/stat : 23937 (java) S 23931 23934 20160 0 -1 1077944384 4604 0 0 0 600 13 0 0 20 0 15 0 94659307 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690822982032 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23938] ppid=23931 vsize=10661128 memory=238500 CPUtime=6.12 cores=1,3,5,7
/proc/23934/task/23938/stat : 23938 (java) S 23931 23934 20160 0 -1 1077944384 4864 0 0 0 600 12 0 0 20 0 15 0 94659307 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690821929232 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23939] ppid=23931 vsize=10661128 memory=234296 CPUtime=6.13 cores=1,3,5,7
/proc/23934/task/23939/stat : 23939 (java) S 23931 23934 20160 0 -1 1077944384 8729 0 0 0 604 9 0 0 20 0 15 0 94659307 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690820876944 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23940] ppid=23931 vsize=10661128 memory=232248 CPUtime=6.14 cores=1,3,5,7
/proc/23934/task/23940/stat : 23940 (java) S 23931 23934 20160 0 -1 1077944384 6950 0 0 0 603 11 0 0 20 0 15 0 94659307 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690819824144 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23941] ppid=23931 vsize=10661128 memory=236452 CPUtime=1.17 cores=1,3,5,7
/proc/23934/task/23941/stat : 23941 (java) S 23931 23934 20160 0 -1 1077944384 5313 0 0 0 108 9 0 0 20 0 15 0 94659308 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690708208240 140691215846018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23942] ppid=23931 vsize=10661128 memory=238500 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23942/stat : 23942 (java) S 23931 23934 20160 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 94659308 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690707154272 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23943] ppid=23931 vsize=10661128 memory=238500 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23943/stat : 23943 (java) S 23931 23934 20160 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 94659309 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690706101872 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23944] ppid=23931 vsize=10661128 memory=238500 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23944/stat : 23944 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690705050192 140691215853467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23945] ppid=23931 vsize=10661128 memory=236452 CPUtime=1.45 cores=1,3,5,7
/proc/23934/task/23945/stat : 23945 (java) S 23931 23934 20160 0 -1 1077944384 5854 0 0 0 144 1 0 0 20 0 15 0 94659311 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690703997040 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23946] ppid=23931 vsize=10661128 memory=238500 CPUtime=1.37 cores=1,3,5,7
/proc/23934/task/23946/stat : 23946 (java) S 23931 23934 20160 0 -1 1077944384 8327 0 0 0 136 1 0 0 20 0 15 0 94659311 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690702944240 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23947] ppid=23931 vsize=10661128 memory=4124 CPUtime=0.45 cores=1,3,5,7
/proc/23934/task/23947/stat : 23947 (java) S 23931 23934 20160 0 -1 1077944384 3284 0 0 0 44 1 0 0 20 0 15 0 94659311 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690701891952 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23948] ppid=23931 vsize=10661128 memory=238500 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23948/stat : 23948 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690700839392 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23949] ppid=23931 vsize=10661128 memory=27424 CPUtime=0.54 cores=1,3,5,7
/proc/23934/task/23949/stat : 23949 (java) S 23931 23934 20160 0 -1 1077944384 1340 0 0 0 25 29 0 0 20 0 15 0 94659312 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690699787184 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 238500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2498.92 s]
# the end of solver process 23934 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.15 s, system=0.89328 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2498.9 s]
/proc/loadavg: 1.41 1.31 1.34 3/216 24202
/proc/meminfo: memFree=22959020/32770624 swapFree=67108688/67108860
[pid=23934] ppid=23931 vsize=10661128 memory=238500 CPUtime=2520.02 cores=1,3,5,7
/proc/23934/stat : 23934 (java) S 23931 23934 20160 0 -1 1077944320 64467 0 0 0 251913 89 0 0 20 0 15 0 94659305 10916995072 59625 33554432000 4194304 4196468 140729586313936 140729586296480 140691215834871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
/proc/23934/statm: 2665282 59625 3154 1 0 2627263 0
[pid=23934/tid=23936] ppid=23931 vsize=10661128 memory=238500 CPUtime=2490.41 cores=1,3,5,7
/proc/23934/task/23936/stat : 23936 (java) R 23931 23934 20160 0 -1 4202560 13785 0 0 0 249033 8 0 0 20 0 15 0 94659306 10916995072 59625 33554432000 4194304 4196468 140729586313936 140691220074208 140690858967436 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23937] ppid=23931 vsize=10661128 memory=238500 CPUtime=6.13 cores=1,3,5,7
/proc/23934/task/23937/stat : 23937 (java) S 23931 23934 20160 0 -1 1077944384 4604 0 0 0 600 13 0 0 20 0 15 0 94659307 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690822982032 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23938] ppid=23931 vsize=10661128 memory=238500 CPUtime=6.12 cores=1,3,5,7
/proc/23934/task/23938/stat : 23938 (java) S 23931 23934 20160 0 -1 1077944384 4864 0 0 0 600 12 0 0 20 0 15 0 94659307 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690821929232 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23939] ppid=23931 vsize=10661128 memory=234296 CPUtime=6.13 cores=1,3,5,7
/proc/23934/task/23939/stat : 23939 (java) S 23931 23934 20160 0 -1 1077944384 8729 0 0 0 604 9 0 0 20 0 15 0 94659307 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690820876944 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23940] ppid=23931 vsize=10661128 memory=232248 CPUtime=6.14 cores=1,3,5,7
/proc/23934/task/23940/stat : 23940 (java) S 23931 23934 20160 0 -1 1077944384 6950 0 0 0 603 11 0 0 20 0 15 0 94659307 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690819824144 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23941] ppid=23931 vsize=10661128 memory=236452 CPUtime=1.17 cores=1,3,5,7
/proc/23934/task/23941/stat : 23941 (java) S 23931 23934 20160 0 -1 1077944384 5313 0 0 0 108 9 0 0 20 0 15 0 94659308 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690708208240 140691215846018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23942] ppid=23931 vsize=10661128 memory=238500 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23942/stat : 23942 (java) S 23931 23934 20160 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 94659308 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690707154272 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23943] ppid=23931 vsize=10661128 memory=238500 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23943/stat : 23943 (java) S 23931 23934 20160 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 94659309 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690706101872 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23944] ppid=23931 vsize=10661128 memory=238500 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23944/stat : 23944 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690705050192 140691215853467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23945] ppid=23931 vsize=10661128 memory=236452 CPUtime=1.45 cores=1,3,5,7
/proc/23934/task/23945/stat : 23945 (java) S 23931 23934 20160 0 -1 1077944384 5854 0 0 0 144 1 0 0 20 0 15 0 94659311 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690703997040 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23946] ppid=23931 vsize=10661128 memory=238500 CPUtime=1.37 cores=1,3,5,7
/proc/23934/task/23946/stat : 23946 (java) S 23931 23934 20160 0 -1 1077944384 8327 0 0 0 136 1 0 0 20 0 15 0 94659311 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690702944240 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23947] ppid=23931 vsize=10661128 memory=4124 CPUtime=0.45 cores=1,3,5,7
/proc/23934/task/23947/stat : 23947 (java) S 23931 23934 20160 0 -1 1077944384 3284 0 0 0 44 1 0 0 20 0 15 0 94659311 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690701891952 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23948] ppid=23931 vsize=10661128 memory=238500 CPUtime=0 cores=1,3,5,7
/proc/23934/task/23948/stat : 23948 (java) S 23931 23934 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94659311 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690700839392 140691215845077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
[pid=23934/tid=23949] ppid=23931 vsize=10661128 memory=27424 CPUtime=0.54 cores=1,3,5,7
/proc/23934/task/23949/stat : 23949 (java) S 23931 23934 20160 0 -1 1077944384 1340 0 0 0 25 29 0 0 20 0 15 0 94659312 10916995072 59625 33554432000 4194304 4196468 140729586313936 140690699787184 140691215846018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17694720 140729586320557 140729586320649 140729586320649 140729586323407 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 238500 KiB
Child status: 143
Real time (s): 2498.92
CPU time (s): 2520.04
CPU user time (s): 2519.15
CPU system time (s): 0.89328
CPU usage (%): 100.845
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 393772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.15
system time used= 0.89328
maximum resident set size= 394284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82618
involuntary context switches= 3356
# summary of solver processes directly reported to runsolver:
# pid: 23934
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.15
# total CPU system time (s): 0.89328
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6191 second user time and 20.6876 second system time
The end