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 (7581 MiB free)
memory of node 1: 16384 MiB (5867 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304469-1534093409/watcher-4304469-1534093409 -o /tmp/evaluation-result-4304469-1534093409/solver-4304469-1534093409 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534093409-26323 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1939014516 HOME/instance-4304469-1534093409.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
solver pid=26342, runsolver pid=26339
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 1.39 1.17 1.56 3/200 26384
/proc/meminfo: memFree=13748684/32770624 swapFree=67108404/67108860
[pid=26342] ppid=26339 vsize=113256 memory=1612 CPUtime=0.07 cores=0,2,4,6
/proc/26342/stat : 26342 (bash) S 26339 26342 21340 0 -1 4202496 975 12303 0 0 0 0 4 3 20 0 1 0 226904076 115974144 403 33554432000 4194304 5098028 140721937996720 140721937992552 140607908858880 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 0 0 0 7196144 7232144 11386880 140721937999019 140721937999144 140721937999144 140721938001902 0
/proc/26342/statm: 28314 403 319 221 0 119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1612 KiB
[startup+0.209841 s]*
/proc/loadavg: 1.39 1.17 1.56 3/198 26408
/proc/meminfo: memFree=13725924/32770624 swapFree=67108404/67108860
[pid=26342] ppid=26339 vsize=10982744 memory=41432 CPUtime=0.22 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26339 26342 21340 0 -1 1077944320 6562 12996 0 0 13 2 4 3 20 0 15 0 226904076 11246329856 10358 33554432000 4194304 4196468 140720846335232 140720846317776 140206637194999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
/proc/26342/statm: 2745686 10358 2946 1 0 2708109 0
[pid=26342/tid=26395] ppid=26339 vsize=10982744 memory=7311146985107750967 CPUtime=0.16 cores=0,2,4,6
/proc/26342/task/26395/stat : 26395 (java) R 26339 26342 21340 0 -1 4202560 3110 12996 0 0 8 1 4 3 20 0 15 0 226904087 11246329856 10358 33554432000 4194304 4196468 140720846335232 140206609010256 140206621275486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26396] ppid=26339 vsize=10982744 memory=9030 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26396/stat : 26396 (java) S 26339 26342 21340 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 226904088 11246329856 10358 33554432000 4194304 4196468 140720846335232 140206641437072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26397] ppid=26339 vsize=10982744 memory=140569344271432 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26397/stat : 26397 (java) S 26339 26342 21340 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 226904088 11246329856 10358 33554432000 4194304 4196468 140720846335232 140206526634256 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26398] ppid=26339 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26398/stat : 26398 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904088 11246329856 10358 33554432000 4194304 4196468 140720846335232 140206525581968 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26399] ppid=26339 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26399/stat : 26399 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904088 11246329856 10358 33554432000 4194304 4196468 140720846335232 140206524529168 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26400] ppid=26339 vsize=10982744 memory=140569344247424 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26400/stat : 26400 (java) S 26339 26342 21340 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 226904089 11246329856 10358 33554432000 4194304 4196468 140720846335232 140206130248304 140206637206146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26401] ppid=26339 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26401/stat : 26401 (java) S 26339 26342 21340 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 226904090 11246329856 10358 33554432000 4194304 4196468 140720846335232 140205530015008 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26402] ppid=26339 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26402/stat : 26402 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904090 11246329856 10358 33554432000 4194304 4196468 140720846335232 140205382166128 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26403] ppid=26339 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26403/stat : 26403 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11246329856 10358 33554432000 4194304 4196468 140720846335232 140205074766416 140206637213595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26404] ppid=26339 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26404/stat : 26404 (java) S 26339 26342 21340 0 -1 1077944384 352 12996 0 0 1 0 4 3 20 0 15 0 226904093 11246329856 10358 33554432000 4194304 4196468 140720846335232 140206129195120 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26405] ppid=26339 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26405/stat : 26405 (java) S 26339 26342 21340 0 -1 1077944384 256 12996 0 0 0 0 4 3 20 0 15 0 226904093 11246329856 10358 33554432000 4194304 4196468 140720846335232 140206128142320 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26406] ppid=26339 vsize=10982744 memory=140569344247424 CPUtime=0.09 cores=0,2,4,6
/proc/26342/task/26406/stat : 26406 (java) R 26339 26342 21340 0 -1 4202560 626 12996 0 0 2 0 4 3 20 0 15 0 226904093 11246329856 10358 33554432000 4194304 4196468 140720846335232 140206127090032 140206204256377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26407] ppid=26339 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26407/stat : 26407 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11246329856 10358 33554432000 4194304 4196468 140720846335232 140204643969504 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26408] ppid=26339 vsize=10982744 memory=140569344247424 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26408/stat : 26408 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904093 11246329856 10358 33554432000 4194304 4196468 140720846335232 140206126037936 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41432 KiB
[startup+0.310462 s]*
/proc/loadavg: 1.39 1.17 1.56 5/198 26408
/proc/meminfo: memFree=13703556/32770624 swapFree=67108404/67108860
[pid=26342] ppid=26339 vsize=10983192 memory=54940 CPUtime=0.35 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26339 26342 21340 0 -1 1077944320 9799 12996 0 0 25 3 4 3 20 0 15 0 226904076 11246788608 13735 33554432000 4194304 4196468 140720846335232 140720846317776 140206637194999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
/proc/26342/statm: 2745798 13735 3065 1 0 2708109 0
[pid=26342/tid=26395] ppid=26339 vsize=10983192 memory=6791534058613427641 CPUtime=0.26 cores=0,2,4,6
/proc/26342/task/26395/stat : 26395 (java) R 26339 26342 21340 0 -1 4202560 6318 12996 0 0 17 2 4 3 20 0 15 0 226904087 11246788608 13735 33554432000 4194304 4196468 140720846335232 140206609007008 140206637216925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26396] ppid=26339 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26396/stat : 26396 (java) S 26339 26342 21340 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 226904088 11246788608 13735 33554432000 4194304 4196468 140720846335232 140206641437072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26397] ppid=26339 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26397/stat : 26397 (java) S 26339 26342 21340 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 226904088 11246788608 13735 33554432000 4194304 4196468 140720846335232 140206526634256 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26398] ppid=26339 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26398/stat : 26398 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904088 11246788608 13735 33554432000 4194304 4196468 140720846335232 140206525581968 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26399] ppid=26339 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26399/stat : 26399 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904088 11246788608 13735 33554432000 4194304 4196468 140720846335232 140206524529168 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26400] ppid=26339 vsize=10983192 memory=140569344247424 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26400/stat : 26400 (java) S 26339 26342 21340 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 226904089 11246788608 13735 33554432000 4194304 4196468 140720846335232 140206130248304 140206637206146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26401] ppid=26339 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26401/stat : 26401 (java) S 26339 26342 21340 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 226904090 11246788608 13735 33554432000 4194304 4196468 140720846335232 140205530015008 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26402] ppid=26339 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26402/stat : 26402 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904090 11246788608 13735 33554432000 4194304 4196468 140720846335232 140205382166128 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26403] ppid=26339 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26403/stat : 26403 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11246788608 13735 33554432000 4194304 4196468 140720846335232 140205074766416 140206637213595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26404] ppid=26339 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26404/stat : 26404 (java) S 26339 26342 21340 0 -1 1077944384 353 12996 0 0 1 0 4 3 20 0 15 0 226904093 11246788608 13735 33554432000 4194304 4196468 140720846335232 140206129195120 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26405] ppid=26339 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26405/stat : 26405 (java) S 26339 26342 21340 0 -1 1077944384 256 12996 0 0 1 0 4 3 20 0 15 0 226904093 11246788608 13735 33554432000 4194304 4196468 140720846335232 140206128142320 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26406] ppid=26339 vsize=10983192 memory=140569344247424 CPUtime=0.11 cores=0,2,4,6
/proc/26342/task/26406/stat : 26406 (java) S 26339 26342 21340 0 -1 1077944384 653 12996 0 0 4 0 4 3 20 0 15 0 226904093 11246788608 13735 33554432000 4194304 4196468 140720846335232 140206127090032 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26407] ppid=26339 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26407/stat : 26407 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11246788608 13735 33554432000 4194304 4196468 140720846335232 140204643969504 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26408] ppid=26339 vsize=10983192 memory=140569344247424 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26408/stat : 26408 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904093 11246788608 13735 33554432000 4194304 4196468 140720846335232 140206126037936 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54940 KiB
[startup+0.7008 s]
/proc/loadavg: 1.39 1.17 1.56 3/198 26408
/proc/meminfo: memFree=13671872/32770624 swapFree=67108404/67108860
[pid=26342] ppid=26339 vsize=10983192 memory=90180 CPUtime=0.95 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26339 26342 21340 0 -1 1077944320 16642 12996 0 0 83 5 4 3 20 0 15 0 226904076 11246788608 22545 33554432000 4194304 4196468 140720846335232 140720846317776 140206637194999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
/proc/26342/statm: 2745798 22545 3246 1 0 2708109 0
[pid=26342/tid=26395] ppid=26339 vsize=10983192 memory=277 CPUtime=0.63 cores=0,2,4,6
/proc/26342/task/26395/stat : 26395 (java) R 26339 26342 21340 0 -1 4202560 12090 12996 0 0 53 3 4 3 20 0 15 0 226904087 11246788608 22545 33554432000 4194304 4196468 140720846335232 140206609018000 140206617470759 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26396] ppid=26339 vsize=10983192 memory=1022 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26396/stat : 26396 (java) S 26339 26342 21340 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 226904088 11246788608 22545 33554432000 4194304 4196468 140720846335232 140206641437072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26397] ppid=26339 vsize=10983192 memory=344 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26397/stat : 26397 (java) S 26339 26342 21340 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 226904088 11246788608 22545 33554432000 4194304 4196468 140720846335232 140206526634256 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26398] ppid=26339 vsize=10983192 memory=648 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26398/stat : 26398 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904088 11246788608 22545 33554432000 4194304 4196468 140720846335232 140206525581968 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26399] ppid=26339 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26399/stat : 26399 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904088 11246788608 22545 33554432000 4194304 4196468 140720846335232 140206524529168 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26400] ppid=26339 vsize=10983192 memory=2100 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26400/stat : 26400 (java) S 26339 26342 21340 0 -1 1077944384 5 12996 0 0 0 0 4 3 20 0 15 0 226904089 11246788608 22545 33554432000 4194304 4196468 140720846335232 140206130248304 140206637206146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26401] ppid=26339 vsize=10983192 memory=498 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26401/stat : 26401 (java) S 26339 26342 21340 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 226904090 11246788608 22545 33554432000 4194304 4196468 140720846335232 140205530015008 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26402] ppid=26339 vsize=10983192 memory=7881 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26402/stat : 26402 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904090 11246788608 22545 33554432000 4194304 4196468 140720846335232 140205382166128 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26403] ppid=26339 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26403/stat : 26403 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11246788608 22545 33554432000 4194304 4196468 140720846335232 140205074766416 140206637213595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26404] ppid=26339 vsize=10983192 memory=5859273749041463392 CPUtime=0.14 cores=0,2,4,6
/proc/26342/task/26404/stat : 26404 (java) S 26339 26342 21340 0 -1 1077944384 727 12996 0 0 7 0 4 3 20 0 15 0 226904093 11246788608 22545 33554432000 4194304 4196468 140720846335232 140206129195120 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26405] ppid=26339 vsize=10983192 memory=1156 CPUtime=0.16 cores=0,2,4,6
/proc/26342/task/26405/stat : 26405 (java) S 26339 26342 21340 0 -1 1077944384 858 12996 0 0 9 0 4 3 20 0 15 0 226904093 11246788608 22545 33554432000 4194304 4196468 140720846335232 140206128142320 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26406] ppid=26339 vsize=10983192 memory=15212 CPUtime=0.19 cores=0,2,4,6
/proc/26342/task/26406/stat : 26406 (java) S 26339 26342 21340 0 -1 1077944384 745 12996 0 0 12 0 4 3 20 0 15 0 226904093 11246788608 22545 33554432000 4194304 4196468 140720846335232 140206127090032 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26407] ppid=26339 vsize=10983192 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26407/stat : 26407 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11246788608 22545 33554432000 4194304 4196468 140720846335232 140204643969504 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26408] ppid=26339 vsize=10983192 memory=34060 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26408/stat : 26408 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904093 11246788608 22545 33554432000 4194304 4196468 140720846335232 140206126037936 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90180 KiB
[startup+1.50292 s]
/proc/loadavg: 1.39 1.17 1.56 3/196 26408
/proc/meminfo: memFree=13599904/32770624 swapFree=67108404/67108860
[pid=26342] ppid=26339 vsize=10998092 memory=188604 CPUtime=2.43 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26339 26342 21340 0 -1 1077944320 24092 12996 0 0 226 10 4 3 20 0 15 0 226904076 11262046208 47151 33554432000 4194304 4196468 140720846335232 140720846317776 140206637194999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
/proc/26342/statm: 2749523 47151 3472 1 0 2711181 0
[pid=26342/tid=26395] ppid=26339 vsize=10998092 memory=61764 CPUtime=1.4 cores=0,2,4,6
/proc/26342/task/26395/stat : 26395 (java) R 26339 26342 21340 0 -1 4202560 17618 12996 0 0 127 6 4 3 20 0 15 0 226904087 11262046208 47151 33554432000 4194304 4196468 140720846335232 140206609020120 140206621275486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26396] ppid=26339 vsize=10998092 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26396/stat : 26396 (java) S 26339 26342 21340 0 -1 1077944384 55 12996 0 0 1 0 4 3 20 0 15 0 226904088 11262046208 47151 33554432000 4194304 4196468 140720846335232 140206641437072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26397] ppid=26339 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26397/stat : 26397 (java) S 26339 26342 21340 0 -1 1077944384 188 12996 0 0 1 0 4 3 20 0 15 0 226904088 11262046208 47151 33554432000 4194304 4196468 140720846335232 140206526634256 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26398] ppid=26339 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26398/stat : 26398 (java) S 26339 26342 21340 0 -1 1077944384 14 12996 0 0 1 0 4 3 20 0 15 0 226904088 11262046208 47151 33554432000 4194304 4196468 140720846335232 140206525581968 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26399] ppid=26339 vsize=10998092 memory=281138493288624 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26399/stat : 26399 (java) S 26339 26342 21340 0 -1 1077944384 28 12996 0 0 1 0 4 3 20 0 15 0 226904088 11262046208 47151 33554432000 4194304 4196468 140720846335232 140206524529168 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26400] ppid=26339 vsize=10998092 memory=140569246438168 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26400/stat : 26400 (java) S 26339 26342 21340 0 -1 1077944384 92 12996 0 0 1 0 4 3 20 0 15 0 226904089 11262046208 47151 33554432000 4194304 4196468 140720846335232 140206130248304 140206637206146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26401] ppid=26339 vsize=10998092 memory=2044 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26401/stat : 26401 (java) S 26339 26342 21340 0 -1 1077944384 14 12996 0 0 0 0 4 3 20 0 15 0 226904090 11262046208 47151 33554432000 4194304 4196468 140720846335232 140205530015072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26402] ppid=26339 vsize=10998092 memory=281138493445120 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26402/stat : 26402 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904090 11262046208 47151 33554432000 4194304 4196468 140720846335232 140205382166144 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26403] ppid=26339 vsize=10998092 memory=281138493451840 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26403/stat : 26403 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11262046208 47151 33554432000 4194304 4196468 140720846335232 140205074766416 140206637213595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26404] ppid=26339 vsize=10998092 memory=140569246733388 CPUtime=0.31 cores=0,2,4,6
/proc/26342/task/26404/stat : 26404 (java) S 26339 26342 21340 0 -1 1077944384 1104 12996 0 0 24 0 4 3 20 0 15 0 226904093 11262046208 47151 33554432000 4194304 4196468 140720846335232 140206129195120 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26405] ppid=26339 vsize=10998092 memory=281138493458368 CPUtime=0.4 cores=0,2,4,6
/proc/26342/task/26405/stat : 26405 (java) S 26339 26342 21340 0 -1 1077944384 1363 12996 0 0 33 0 4 3 20 0 15 0 226904093 11262046208 47151 33554432000 4194304 4196468 140720846335232 140206128142320 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26406] ppid=26339 vsize=10998092 memory=142492 CPUtime=0.42 cores=0,2,4,6
/proc/26342/task/26406/stat : 26406 (java) S 26339 26342 21340 0 -1 1077944384 1419 12996 0 0 35 0 4 3 20 0 15 0 226904093 11262046208 47151 33554432000 4194304 4196468 140720846335232 140206127090032 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26407] ppid=26339 vsize=10998092 memory=277 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26407/stat : 26407 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11262046208 47151 33554432000 4194304 4196468 140720846335232 140204643969504 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26408] ppid=26339 vsize=10998092 memory=1160 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26408/stat : 26408 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904093 11262046208 47151 33554432000 4194304 4196468 140720846335232 140206126037936 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 188604 KiB
[startup+3.11045 s]
/proc/loadavg: 1.68 1.23 1.58 7/216 26484
/proc/meminfo: memFree=12955632/32770624 swapFree=67108404/67108860
[pid=26342] ppid=26339 vsize=11006304 memory=308284 CPUtime=5.99 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26339 26342 21340 0 -1 1077944320 34690 12996 0 0 576 16 4 3 20 0 15 0 226904076 11270455296 77071 33554432000 4194304 4196468 140720846335232 140720846317776 140206637194999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
/proc/26342/statm: 2751576 77071 3490 1 0 2713229 0
[pid=26342/tid=26395] ppid=26339 vsize=11006304 memory=0 CPUtime=2.99 cores=0,2,4,6
/proc/26342/task/26395/stat : 26395 (java) R 26339 26342 21340 0 -1 4202560 25623 12996 0 0 283 9 4 3 20 0 15 0 226904087 11270455296 77071 33554432000 4194304 4196468 140720846335232 140206609025456 140206212897591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
################
# More data... #
################
[startup+4.37068 s]
# the end of solver process 26342 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.6245 s, system=0.26161 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20113 s]
/proc/loadavg: 1.68 1.23 1.58 7/216 26484
/proc/meminfo: memFree=12955632/32770624 swapFree=67108404/67108860
[pid=26342] ppid=26339 vsize=11006304 memory=308804 CPUtime=6.28 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26339 26342 21340 0 -1 1077944320 38321 12996 0 0 604 17 4 3 20 0 15 0 226904076 11270455296 77201 33554432000 4194304 4196468 140720846335232 140720846317776 140206637194999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
/proc/26342/statm: 2751576 77201 3490 1 0 2713229 0
[pid=26342/tid=26395] ppid=26339 vsize=11006304 memory=6081671914888521057 CPUtime=3.08 cores=0,2,4,6
/proc/26342/task/26395/stat : 26395 (java) R 26339 26342 21340 0 -1 4202560 26488 12996 0 0 292 9 4 3 20 0 15 0 226904087 11270455296 77201 33554432000 4194304 4196468 140720846335232 140206609021344 140206213756640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26396] ppid=26339 vsize=11006304 memory=7524221309083477356 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26396/stat : 26396 (java) S 26339 26342 21340 0 -1 1077944384 61 12996 0 0 1 0 4 3 20 0 15 0 226904088 11270455296 77201 33554432000 4194304 4196468 140720846335232 140206641437072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26397] ppid=26339 vsize=11006304 memory=7669740569246656869 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26397/stat : 26397 (java) S 26339 26342 21340 0 -1 1077944384 197 12996 0 0 1 0 4 3 20 0 15 0 226904088 11270455296 77201 33554432000 4194304 4196468 140720846335232 140206526634256 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26398] ppid=26339 vsize=11006304 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26398/stat : 26398 (java) S 26339 26342 21340 0 -1 1077944384 23 12996 0 0 1 0 4 3 20 0 15 0 226904088 11270455296 77201 33554432000 4194304 4196468 140720846335232 140206525581968 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26399] ppid=26339 vsize=11006304 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26399/stat : 26399 (java) S 26339 26342 21340 0 -1 1077944384 34 12996 0 0 1 0 4 3 20 0 15 0 226904088 11270455296 77201 33554432000 4194304 4196468 140720846335232 140206524529168 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26400] ppid=26339 vsize=11006304 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26342/task/26400/stat : 26400 (java) S 26339 26342 21340 0 -1 1077944384 113 12996 0 0 1 0 4 3 20 0 15 0 226904089 11270455296 77201 33554432000 4194304 4196468 140720846335232 140206130248304 140206637206146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26401] ppid=26339 vsize=11006304 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26401/stat : 26401 (java) S 26339 26342 21340 0 -1 1077944384 14 12996 0 0 0 0 4 3 20 0 15 0 226904090 11270455296 77201 33554432000 4194304 4196468 140720846335232 140205530015072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26402] ppid=26339 vsize=11006304 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26402/stat : 26402 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904090 11270455296 77201 33554432000 4194304 4196468 140720846335232 140205382166144 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26403] ppid=26339 vsize=11006304 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26403/stat : 26403 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11270455296 77201 33554432000 4194304 4196468 140720846335232 140205074766416 140206637213595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26404] ppid=26339 vsize=11006304 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/26342/task/26404/stat : 26404 (java) R 26339 26342 21340 0 -1 4202560 3242 12996 0 0 96 1 4 3 20 0 15 0 226904093 11270455296 77201 33554432000 4194304 4196468 140720846335232 140206129178720 140206621591686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26405] ppid=26339 vsize=11006304 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/26342/task/26405/stat : 26405 (java) R 26339 26342 21340 0 -1 4202560 2732 12996 0 0 109 1 4 3 20 0 15 0 226904093 11270455296 77201 33554432000 4194304 4196468 140720846335232 140206128126912 140206621592204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26406] ppid=26339 vsize=11006304 memory=0 CPUtime=1.03 cores=0,2,4,6
/proc/26342/task/26406/stat : 26406 (java) S 26339 26342 21340 0 -1 1077944384 3259 12996 0 0 95 1 4 3 20 0 15 0 226904093 11270455296 77201 33554432000 4194304 4196468 140720846335232 140206127090032 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26407] ppid=26339 vsize=11006304 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26407/stat : 26407 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11270455296 77201 33554432000 4194304 4196468 140720846335232 140204643969504 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26408] ppid=26339 vsize=11006304 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26408/stat : 26408 (java) S 26339 26342 21340 0 -1 1077944384 10 12996 0 0 0 0 4 3 20 0 15 0 226904093 11270455296 77201 33554432000 4194304 4196468 140720846335232 140206126037936 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 308804 KiB
[startup+4.00062 s]*
/proc/loadavg: 1.68 1.23 1.58 5/216 26484
/proc/meminfo: memFree=12671608/32770624 swapFree=67108404/67108860
[pid=26342] ppid=26339 vsize=11012448 memory=323280 CPUtime=8.89 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26339 26342 21340 0 -1 1077944320 49900 12996 0 0 863 19 4 3 20 0 15 0 226904076 11276746752 80820 33554432000 4194304 4196468 140720846335232 140720846317776 140206637194999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
/proc/26342/statm: 2753112 80820 3499 1 0 2714765 0
[pid=26342/tid=26395] ppid=26339 vsize=11012448 memory=350312451 CPUtime=3.84 cores=0,2,4,6
/proc/26342/task/26395/stat : 26395 (java) R 26339 26342 21340 0 -1 4202560 31711 12996 0 0 366 11 4 3 20 0 15 0 226904087 11276746752 80820 33554432000 4194304 4196468 140720846335232 140206609024544 140206617470745 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26396] ppid=26339 vsize=11012448 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/26342/task/26396/stat : 26396 (java) S 26339 26342 21340 0 -1 1077944384 79 12996 0 0 4 0 4 3 20 0 15 0 226904088 11276746752 80820 33554432000 4194304 4196468 140720846335232 140206641437072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26397] ppid=26339 vsize=11012448 memory=140569571151499 CPUtime=0.09 cores=0,2,4,6
/proc/26342/task/26397/stat : 26397 (java) S 26339 26342 21340 0 -1 1077944384 371 12996 0 0 2 0 4 3 20 0 15 0 226904088 11276746752 80820 33554432000 4194304 4196468 140720846335232 140206526634256 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26398] ppid=26339 vsize=11012448 memory=281138493512568 CPUtime=0.1 cores=0,2,4,6
/proc/26342/task/26398/stat : 26398 (java) S 26339 26342 21340 0 -1 1077944384 158 12996 0 0 3 0 4 3 20 0 15 0 226904088 11276746752 80820 33554432000 4194304 4196468 140720846335232 140206525581968 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26399] ppid=26339 vsize=11012448 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/26342/task/26399/stat : 26399 (java) S 26339 26342 21340 0 -1 1077944384 48 12996 0 0 3 0 4 3 20 0 15 0 226904088 11276746752 80820 33554432000 4194304 4196468 140720846335232 140206524529168 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26400] ppid=26339 vsize=11012448 memory=2319529807517820592 CPUtime=0.1 cores=0,2,4,6
/proc/26342/task/26400/stat : 26400 (java) S 26339 26342 21340 0 -1 1077944384 3042 12996 0 0 3 0 4 3 20 0 15 0 226904089 11276746752 80820 33554432000 4194304 4196468 140720846335232 140206130248304 140206637206146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26401] ppid=26339 vsize=11012448 memory=2320815291802924344 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26401/stat : 26401 (java) S 26339 26342 21340 0 -1 1077944384 14 12996 0 0 0 0 4 3 20 0 15 0 226904090 11276746752 80820 33554432000 4194304 4196468 140720846335232 140205530015072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26402] ppid=26339 vsize=11012448 memory=8514726395715219349 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26402/stat : 26402 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904090 11276746752 80820 33554432000 4194304 4196468 140720846335232 140205382166144 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26403] ppid=26339 vsize=11012448 memory=-5345911753256963030 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26403/stat : 26403 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11276746752 80820 33554432000 4194304 4196468 140720846335232 140205074766416 140206637213595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26404] ppid=26339 vsize=11012448 memory=0 CPUtime=1.76 cores=0,2,4,6
/proc/26342/task/26404/stat : 26404 (java) R 26339 26342 21340 0 -1 4202560 4341 12996 0 0 168 1 4 3 20 0 15 0 226904093 11276746752 80820 33554432000 4194304 4196468 140720846335232 140206129181968 140206622318618 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26405] ppid=26339 vsize=11012448 memory=32213995742560408 CPUtime=1.97 cores=0,2,4,6
/proc/26342/task/26405/stat : 26405 (java) R 26339 26342 21340 0 -1 4202560 3476 12996 0 0 189 1 4 3 20 0 15 0 226904093 11276746752 80820 33554432000 4194304 4196468 140720846335232 140206128132032 140206617031275 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26406] ppid=26339 vsize=11012448 memory=301741394966618954 CPUtime=1.28 cores=0,2,4,6
/proc/26342/task/26406/stat : 26406 (java) R 26339 26342 21340 0 -1 1077944384 4453 12996 0 0 119 2 4 3 20 0 15 0 226904093 11276746752 80820 33554432000 4194304 4196468 140720846335232 140206127090032 140206637206146 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26407] ppid=26339 vsize=11012448 memory=3834595387361209278 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26407/stat : 26407 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11276746752 80820 33554432000 4194304 4196468 140720846335232 140204643969504 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26408] ppid=26339 vsize=11012448 memory=7679937539659563834 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26408/stat : 26408 (java) S 26339 26342 21340 0 -1 1077944384 10 12996 0 0 0 0 4 3 20 0 15 0 226904093 11276746752 80820 33554432000 4194304 4196468 140720846335232 140206126037936 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
Current children cumulated CPU time: 8.89 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 323280 KiB
[startup+4.20194 s]
/proc/loadavg: 1.68 1.23 1.58 5/216 26484
/proc/meminfo: memFree=12671608/32770624 swapFree=67108404/67108860
[pid=26342] ppid=26339 vsize=11077984 memory=354284 CPUtime=9.39 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26339 26342 21340 0 -1 1077944320 63980 12996 0 0 912 20 4 3 20 0 15 0 226904076 11343855616 88571 33554432000 4194304 4196468 140720846335232 140720846317776 140206637194999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
/proc/26342/statm: 2769496 88571 3499 1 0 2731149 0
[pid=26342/tid=26395] ppid=26339 vsize=11077984 memory=7684433391216329530 CPUtime=4.03 cores=0,2,4,6
/proc/26342/task/26395/stat : 26395 (java) R 26339 26342 21340 0 -1 4202560 44547 12996 0 0 384 12 4 3 20 0 15 0 226904087 11343855616 88571 33554432000 4194304 4196468 140720846335232 140206609025680 140206215856036 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26396] ppid=26339 vsize=11077984 memory=7684433391233106746 CPUtime=0.11 cores=0,2,4,6
/proc/26342/task/26396/stat : 26396 (java) S 26339 26342 21340 0 -1 1077944384 79 12996 0 0 4 0 4 3 20 0 15 0 226904088 11343855616 88571 33554432000 4194304 4196468 140720846335232 140206641437072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26397] ppid=26339 vsize=11077984 memory=6944656591801720226 CPUtime=0.09 cores=0,2,4,6
/proc/26342/task/26397/stat : 26397 (java) S 26339 26342 21340 0 -1 1077944384 371 12996 0 0 2 0 4 3 20 0 15 0 226904088 11343855616 88571 33554432000 4194304 4196468 140720846335232 140206526634256 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26398] ppid=26339 vsize=11077984 memory=8187704045996132563 CPUtime=0.1 cores=0,2,4,6
/proc/26342/task/26398/stat : 26398 (java) S 26339 26342 21340 0 -1 1077944384 158 12996 0 0 3 0 4 3 20 0 15 0 226904088 11343855616 88571 33554432000 4194304 4196468 140720846335232 140206525581968 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26399] ppid=26339 vsize=11077984 memory=-7751062316387021378 CPUtime=0.1 cores=0,2,4,6
/proc/26342/task/26399/stat : 26399 (java) S 26339 26342 21340 0 -1 1077944384 48 12996 0 0 3 0 4 3 20 0 15 0 226904088 11343855616 88571 33554432000 4194304 4196468 140720846335232 140206524529168 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26400] ppid=26339 vsize=11077984 memory=6944656575208382560 CPUtime=0.1 cores=0,2,4,6
/proc/26342/task/26400/stat : 26400 (java) S 26339 26342 21340 0 -1 1077944384 3042 12996 0 0 3 0 4 3 20 0 15 0 226904089 11343855616 88571 33554432000 4194304 4196468 140720846335232 140206130248304 140206637206146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26401] ppid=26339 vsize=11077984 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26401/stat : 26401 (java) S 26339 26342 21340 0 -1 1077944384 14 12996 0 0 0 0 4 3 20 0 15 0 226904090 11343855616 88571 33554432000 4194304 4196468 140720846335232 140205530015072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26402] ppid=26339 vsize=11077984 memory=-5874771483550381248 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26402/stat : 26402 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904090 11343855616 88571 33554432000 4194304 4196468 140720846335232 140205382166144 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26403] ppid=26339 vsize=11077984 memory=-8412661042793834637 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26403/stat : 26403 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11343855616 88571 33554432000 4194304 4196468 140720846335232 140205074766416 140206637213595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26404] ppid=26339 vsize=11077984 memory=288230574492221466 CPUtime=1.86 cores=0,2,4,6
/proc/26342/task/26404/stat : 26404 (java) R 26339 26342 21340 0 -1 4202560 4361 12996 0 0 178 1 4 3 20 0 15 0 226904093 11343855616 88571 33554432000 4194304 4196468 140720846335232 140206129174960 140206622310054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26405] ppid=26339 vsize=11077984 memory=0 CPUtime=2.16 cores=0,2,4,6
/proc/26342/task/26405/stat : 26405 (java) R 26339 26342 21340 0 -1 4202560 4639 12996 0 0 208 1 4 3 20 0 15 0 226904093 11343855616 88571 33554432000 4194304 4196468 140720846335232 140206128123336 140206621587216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26406] ppid=26339 vsize=11077984 memory=6944656592455360569 CPUtime=1.31 cores=0,2,4,6
/proc/26342/task/26406/stat : 26406 (java) S 26339 26342 21340 0 -1 1077944384 4513 12996 0 0 122 2 4 3 20 0 15 0 226904093 11343855616 88571 33554432000 4194304 4196468 140720846335232 140206127090032 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26407] ppid=26339 vsize=11077984 memory=8514726395714825349 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26407/stat : 26407 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11343855616 88571 33554432000 4194304 4196468 140720846335232 140204643969504 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26408] ppid=26339 vsize=11077984 memory=-8634980985311890526 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26408/stat : 26408 (java) R 26339 26342 21340 0 -1 1077944384 11 12996 0 0 0 0 4 3 20 0 15 0 226904093 11343855616 88571 33554432000 4194304 4196468 140720846335232 140206126037936 140206637206146 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
Current children cumulated CPU time: 9.39 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 354284 KiB
[startup+4.30066 s]
/proc/loadavg: 1.68 1.23 1.58 5/216 26484
/proc/meminfo: memFree=12671608/32770624 swapFree=67108404/67108860
[pid=26342] ppid=26339 vsize=11077984 memory=356624 CPUtime=9.72 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26339 26342 21340 0 -1 1077944320 64552 12996 0 0 945 20 4 3 20 0 15 0 226904076 11343855616 89156 33554432000 4194304 4196468 140720846335232 140720846317776 140206637194999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
/proc/26342/statm: 2769496 89156 3503 1 0 2731149 0
[pid=26342/tid=26395] ppid=26339 vsize=11077984 memory=-2541025662029814883 CPUtime=4.13 cores=0,2,4,6
/proc/26342/task/26395/stat : 26395 (java) R 26339 26342 21340 0 -1 4202560 44676 12996 0 0 394 12 4 3 20 0 15 0 226904087 11343855616 89156 33554432000 4194304 4196468 140720846335232 140206609024304 140206637216925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26396] ppid=26339 vsize=11077984 memory=352160 CPUtime=0.11 cores=0,2,4,6
/proc/26342/task/26396/stat : 26396 (java) S 26339 26342 21340 0 -1 1077944384 79 12996 0 0 4 0 4 3 20 0 15 0 226904088 11343855616 89156 33554432000 4194304 4196468 140720846335232 140206641437072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26397] ppid=26339 vsize=11077984 memory=7740114823784587858 CPUtime=0.09 cores=0,2,4,6
/proc/26342/task/26397/stat : 26397 (java) S 26339 26342 21340 0 -1 1077944384 371 12996 0 0 2 0 4 3 20 0 15 0 226904088 11343855616 89156 33554432000 4194304 4196468 140720846335232 140206526634256 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26398] ppid=26339 vsize=11077984 memory=6791534058613427641 CPUtime=0.1 cores=0,2,4,6
/proc/26342/task/26398/stat : 26398 (java) S 26339 26342 21340 0 -1 1077944384 158 12996 0 0 3 0 4 3 20 0 15 0 226904088 11343855616 89156 33554432000 4194304 4196468 140720846335232 140206525581968 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26399] ppid=26339 vsize=11077984 memory=6153166562781646956 CPUtime=0.1 cores=0,2,4,6
/proc/26342/task/26399/stat : 26399 (java) S 26339 26342 21340 0 -1 1077944384 48 12996 0 0 3 0 4 3 20 0 15 0 226904088 11343855616 89156 33554432000 4194304 4196468 140720846335232 140206524529168 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26400] ppid=26339 vsize=11077984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26342/task/26400/stat : 26400 (java) S 26339 26342 21340 0 -1 1077944384 3042 12996 0 0 3 0 4 3 20 0 15 0 226904089 11343855616 89156 33554432000 4194304 4196468 140720846335232 140206130248304 140206637206146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26401] ppid=26339 vsize=11077984 memory=308284 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26401/stat : 26401 (java) S 26339 26342 21340 0 -1 1077944384 14 12996 0 0 0 0 4 3 20 0 15 0 226904090 11343855616 89156 33554432000 4194304 4196468 140720846335232 140205530015072 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26402] ppid=26339 vsize=11077984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26402/stat : 26402 (java) S 26339 26342 21340 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 226904090 11343855616 89156 33554432000 4194304 4196468 140720846335232 140205382166144 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26403] ppid=26339 vsize=11077984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26403/stat : 26403 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11343855616 89156 33554432000 4194304 4196468 140720846335232 140205074766416 140206637213595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26404] ppid=26339 vsize=11077984 memory=313592 CPUtime=1.95 cores=0,2,4,6
/proc/26342/task/26404/stat : 26404 (java) S 26339 26342 21340 0 -1 1077944384 4402 12996 0 0 187 1 4 3 20 0 15 0 226904093 11343855616 89156 33554432000 4194304 4196468 140720846335232 140206129195120 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26405] ppid=26339 vsize=11077984 memory=7971542655782669194 CPUtime=2.26 cores=0,2,4,6
/proc/26342/task/26405/stat : 26405 (java) R 26339 26342 21340 0 -1 4202560 4962 12996 0 0 218 1 4 3 20 0 15 0 226904093 11343855616 89156 33554432000 4194304 4196468 140720846335232 140206128123336 140206617893360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26406] ppid=26339 vsize=11077984 memory=312556 CPUtime=1.35 cores=0,2,4,6
/proc/26342/task/26406/stat : 26406 (java) S 26339 26342 21340 0 -1 1077944384 4592 12996 0 0 126 2 4 3 20 0 15 0 226904093 11343855616 89156 33554432000 4194304 4196468 140720846335232 140206127090032 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26407] ppid=26339 vsize=11077984 memory=4714307413797671827 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26407/stat : 26407 (java) S 26339 26342 21340 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 226904093 11343855616 89156 33554432000 4194304 4196468 140720846335232 140204643969504 140206637205205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
[pid=26342/tid=26408] ppid=26339 vsize=11077984 memory=-8171376296011865461 CPUtime=0.07 cores=0,2,4,6
/proc/26342/task/26408/stat : 26408 (java) S 26339 26342 21340 0 -1 1077944384 11 12996 0 0 0 0 4 3 20 0 15 0 226904093 11343855616 89156 33554432000 4194304 4196468 140720846335232 140206126037936 140206637206146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12312576 140720846338668 140720846341468 140720846341468 140720846344143 0
Current children cumulated CPU time: 9.72 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 356624 KiB
Child status: 0
Real time (s): 4.37073
CPU time (s): 9.88611
CPU user time (s): 9.6245
CPU system time (s): 0.26161
CPU usage (%): 226.189
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 356624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.6245
system time used= 0.26161
maximum resident set size= 359260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77758
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5875
involuntary context switches= 157
# summary of solver processes directly reported to runsolver:
# pid: 26342
# total CPU time (s): 9.88611
# total CPU user time (s): 9.6245
# total CPU system time (s): 0.26161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050779 second user time and 0.083191 second system time
The end