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 (14931 MiB free)
memory of node 1: 16384 MiB (15272 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401464-1568673331/watcher-4401464-1568673331 -o /tmp/evaluation-result-4401464-1568673331/solver-4401464-1568673331 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568673289-14478 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401464-1568673331.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=14507, runsolver pid=14501
[startup+0.100125 s]*
/proc/loadavg: 0.17 2.02 3.01 2/206 14565
/proc/meminfo: memFree=30926528/32770624 swapFree=66922216/67108860
[pid=14507] ppid=14501 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/14507/stat : 14507 (bash) S 14501 14507 14447 0 -1 4202496 889 5700 0 0 0 0 0 1 20 0 1 0 443271530 115974144 404 33554432000 4194304 5098028 140729322920400 140729322914408 139824402942976 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 1 0 0 7196144 7232144 32083968 140729322923028 140729322923153 140729322923153 140729322926062 0
/proc/14507/statm: 28314 404 320 221 0 119 0
[pid=14563] ppid=14507 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/14563/stat : 14563 (bash) S 14507 14507 14447 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443271533 115974144 178 33554432000 4194304 5098028 140729322920400 140729322913080 139824402768508 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32083968 140729322923028 140729322923153 140729322923153 140729322926062 0
/proc/14563/statm: 28314 178 94 221 0 119 0
[pid=14564] ppid=14563 vsize=296 memory=4 CPUtime=0 cores=0,2,4,6
/proc/14564/stat : 14564 (java) D 14563 14507 14447 0 -1 1077936128 155 0 0 0 0 0 0 0 20 0 1 0 443271533 303104 1 33554432000 4194304 4196468 140721643990112 140721643987384 140211407083207 0 0 4096 0 18446744072101584420 0 0 17 2 0 0 0 0 0 6293624 6294260 25047040 140721643996300 140721643996314 140721643996314 140721643999183 0
/proc/14564/statm: 74 1 0 1 0 38 0
[pid=14565] ppid=14563 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/14565/stat : 14565 (awk) S 14563 14507 14447 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443271533 116211712 243 33554432000 4194304 4609284 140728019056656 140728019055832 139933189962752 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 20733952 140728019063996 140728019064026 140728019064026 140728019066863 0
/proc/14565/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340296 KiB
Current children cumulated memory: 3304 KiB
[startup+0.210415 s]*
/proc/loadavg: 0.17 2.02 3.01 3/208 14567
/proc/meminfo: memFree=30924036/32770624 swapFree=66922216/67108860
[pid=14507] ppid=14501 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/14507/stat : 14507 (bash) S 14501 14507 14447 0 -1 4202496 889 5700 0 0 0 0 0 1 20 0 1 0 443271530 115974144 404 33554432000 4194304 5098028 140729322920400 140729322914408 139824402942976 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 1 0 0 7196144 7232144 32083968 140729322923028 140729322923153 140729322923153 140729322926062 0
/proc/14507/statm: 28314 404 320 221 0 119 0
[pid=14563] ppid=14507 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/14563/stat : 14563 (bash) S 14507 14507 14447 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443271533 115974144 178 33554432000 4194304 5098028 140729322920400 140729322913080 139824402768508 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32083968 140729322923028 140729322923153 140729322923153 140729322926062 0
/proc/14563/statm: 28314 178 94 221 0 119 0
[pid=14564] ppid=14563 vsize=111596 memory=5612 CPUtime=0 cores=0,2,4,6
/proc/14564/stat : 14564 (java) S 14563 14507 14447 0 -1 1077944320 1720 0 0 0 0 0 0 0 20 0 2 0 443271533 114274304 1403 33554432000 4194304 4196468 140721643990112 140721643972656 140211404807927 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25047040 140721643996300 140721643996314 140721643996314 140721643999183 0
/proc/14564/statm: 27899 1403 1063 1 0 16810 0
[pid=14564/tid=14567] ppid=14563 vsize=111596 memory=8326441210107759528 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (java) D 14563 14507 14447 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 2 0 443271545 114274304 1403 33554432000 4194304 4196468 140721643990112 140211409047784 140211397485941 0 4 0 16784584 18446744072101584420 0 0 -1 0 0 0 0 0 0 6293624 6294260 25047040 140721643996300 140721643996314 140721643996314 140721643999183 0
[pid=14565] ppid=14563 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/14565/stat : 14565 (awk) S 14563 14507 14447 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443271533 116211712 243 33554432000 4194304 4609284 140728019056656 140728019055832 139933189962752 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 20733952 140728019063996 140728019064026 140728019064026 140728019066863 0
/proc/14565/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 451596 KiB
Current children cumulated memory: 8912 KiB
[startup+0.309875 s]*
/proc/loadavg: 0.17 2.02 3.01 1/222 14581
/proc/meminfo: memFree=30902624/32770624 swapFree=66922216/67108860
[pid=14507] ppid=14501 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/14507/stat : 14507 (bash) S 14501 14507 14447 0 -1 4202496 889 5700 0 0 0 0 0 1 20 0 1 0 443271530 115974144 404 33554432000 4194304 5098028 140729322920400 140729322914408 139824402942976 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 1 0 0 7196144 7232144 32083968 140729322923028 140729322923153 140729322923153 140729322926062 0
/proc/14507/statm: 28314 404 320 221 0 119 0
[pid=14563] ppid=14507 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/14563/stat : 14563 (bash) S 14507 14507 14447 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443271533 115974144 178 33554432000 4194304 5098028 140729322920400 140729322913080 139824402768508 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32083968 140729322923028 140729322923153 140729322923153 140729322926062 0
/proc/14563/statm: 28314 178 94 221 0 119 0
[pid=14564] ppid=14563 vsize=10260324 memory=21632 CPUtime=0.04 cores=0,2,4,6
/proc/14564/stat : 14564 (java) S 14563 14507 14447 0 -1 1077944320 4326 0 0 0 3 1 0 0 20 0 9 0 443271533 10506571776 5408 33554432000 4194304 4196468 140721643990112 140721643972656 140211404807927 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25047040 140721643996300 140721643996314 140721643996314 140721643999183 0
/proc/14564/statm: 2565081 5408 2161 1 0 2527622 0
[pid=14564/tid=14567] ppid=14563 vsize=10260324 memory=288355116380323867 CPUtime=0.03 cores=0,2,4,6
/proc/14564/task/14567/stat : 14567 (java) D 14563 14507 14447 0 -1 1077944384 2980 0 0 0 3 0 0 0 20 0 9 0 443271545 10506571776 5408 33554432000 4194304 4196468 140721643990112 140211409043240 140211397485941 0 4 0 16800971 18446744072101584420 0 0 -1 0 0 0 0 0 0 6293624 6294260 25047040 140721643996300 140721643996314 140721643996314 140721643999183 0
[pid=14564/tid=14568] ppid=14563 vsize=10260324 memory=4294967596 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14568/stat : 14568 (java) S 14563 14507 14447 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443271555 10506571776 5408 33554432000 4194304 4196468 140721643990112 140211357428368 140211404818133 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25047040 140721643996300 140721643996314 140721643996314 140721643999183 0
[pid=14564/tid=14569] ppid=14563 vsize=10260324 memory=140036107981491 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14569/stat : 14569 (java) S 14563 14507 14447 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443271555 10506571776 5408 33554432000 4194304 4196468 140721643990112 140211356375568 140211404818133 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25047040 140721643996300 140721643996314 140721643996314 140721643999183 0
[pid=14564/tid=14570] ppid=14563 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14570/stat : 14570 (java) S 14563 14507 14447 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443271555 10506571776 5408 33554432000 4194304 4196468 140721643990112 140211009542544 140211404818133 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25047040 140721643996300 140721643996314 140721643996314 140721643999183 0
[pid=14564/tid=14571] ppid=14563 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14571/stat : 14571 (java) S 14563 14507 14447 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443271555 10506571776 5408 33554432000 4194304 4196468 140721643990112 140211008489744 140211404818133 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25047040 140721643996300 140721643996314 140721643996314 140721643999183 0
[pid=14564/tid=14576] ppid=14563 vsize=10260324 memory=140036107970176 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14576/stat : 14576 (java) S 14563 14507 14447 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443271557 10506571776 5408 33554432000 4194304 4196468 140721643990112 140210709109616 140211404819074 0 0 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25047040 140721643996300 140721643996314 140721643996314 140721643999183 0
[pid=14564/tid=14578] ppid=14563 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14578/stat : 14578 (java) S 14563 14507 14447 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 443271558 10506571776 5408 33554432000 4194304 4196468 140721643990112 140210708055584 140211404818133 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25047040 140721643996300 140721643996314 140721643996314 140721643999183 0
[pid=14564/tid=14580] ppid=14563 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14564/task/14580/stat : 14580 (java) S 14563 14507 14447 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 443271558 10506571776 5408 33554432000 4194304 4196468 140721643990112 140210707002736 140211404818133 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25047040 140721643996300 140721643996314 140721643996314 140721643999183 0
[pid=14565] ppid=14563 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/14565/stat : 14565 (awk) S 14563 14507 14447 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443271533 116211712 243 33554432000 4194304 4609284 140728019056656 140728019055832 139933189962752 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 20733952 140728019063996 140728019064026 140728019064026 140728019066863 0
/proc/14565/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 24932 KiB
[startup+0.700493 s]
/proc/loadavg: 0.17 2.02 3.01 2/206 14617
/proc/meminfo: memFree=30918784/32770624 swapFree=66922216/67108860
[pid=14507] ppid=14501 vsize=10820196 memory=40408 CPUtime=0.26 cores=0,2,4,6
/proc/14507/stat : 14507 (java) S 14501 14507 14447 0 -1 1077944320 7024 13406 0 0 15 2 6 3 20 0 15 0 443271530 11079880704 10102 33554432000 4194304 4196468 140731183161216 140731183143760 139983971278583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
/proc/14507/statm: 2705049 10102 3281 1 0 2667149 0
[pid=14507/tid=14613] ppid=14501 vsize=10820196 memory=11620 CPUtime=0.19 cores=0,2,4,6
/proc/14507/task/14613/stat : 14613 (java) D 14501 14507 14447 0 -1 1077944384 3506 13406 0 0 9 1 6 3 20 0 15 0 443271580 11079880704 10102 33554432000 4194304 4196468 140731183161216 139983943092624 139983971300605 0 4 0 16800975 18446744072101584420 0 0 -1 0 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14618] ppid=14501 vsize=10820196 memory=3992 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14618/stat : 14618 (java) S 14501 14507 14447 0 -1 1077944384 1 13406 0 0 0 0 6 3 20 0 15 0 443271581 11079880704 10102 33554432000 4194304 4196468 140731183161216 139983975521040 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14619] ppid=14501 vsize=10820196 memory=2828 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14619/stat : 14619 (java) S 14501 14507 14447 0 -1 1077944384 1 13406 0 0 0 0 6 3 20 0 15 0 443271581 11079880704 10102 33554432000 4194304 4196468 140731183161216 139983863794576 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14620] ppid=14501 vsize=10820196 memory=1000 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14620/stat : 14620 (java) S 14501 14507 14447 0 -1 1077944384 2 13406 0 0 0 0 6 3 20 0 15 0 443271581 11079880704 10102 33554432000 4194304 4196468 140731183161216 139983862742032 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14621] ppid=14501 vsize=10820196 memory=1560 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14621/stat : 14621 (java) S 14501 14507 14447 0 -1 1077944384 2 13406 0 0 0 0 6 3 20 0 15 0 443271581 11079880704 10102 33554432000 4194304 4196468 140731183161216 139983861689488 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 40408 KiB
[startup+1.50309 s]
/proc/loadavg: 0.17 2.02 3.01 4/228 14639
/proc/meminfo: memFree=30824868/32770624 swapFree=66922216/67108860
[pid=14507] ppid=14501 vsize=10826488 memory=104144 CPUtime=1.73 cores=0,2,4,6
/proc/14507/stat : 14507 (java) S 14501 14507 14447 0 -1 1077944320 15992 13406 0 0 157 7 6 3 20 0 15 0 443271530 11086323712 26036 33554432000 4194304 4196468 140731183161216 140731183143760 139983971278583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
/proc/14507/statm: 2706622 26036 3548 1 0 2668685 0
[pid=14507/tid=14613] ppid=14501 vsize=10826488 memory=5 CPUtime=0.89 cores=0,2,4,6
/proc/14507/task/14613/stat : 14613 (java) R 14501 14507 14447 0 -1 4202560 10738 13406 0 0 75 5 6 3 20 0 15 0 443271580 11086323712 26036 33554432000 4194304 4196468 140731183161216 139983943111616 139983540634656 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14618] ppid=14501 vsize=10826488 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14618/stat : 14618 (java) S 14501 14507 14447 0 -1 1077944384 1 13406 0 0 0 0 6 3 20 0 15 0 443271581 11086323712 26036 33554432000 4194304 4196468 140731183161216 139983975521040 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14619] ppid=14501 vsize=10826488 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14619/stat : 14619 (java) S 14501 14507 14447 0 -1 1077944384 1 13406 0 0 0 0 6 3 20 0 15 0 443271581 11086323712 26036 33554432000 4194304 4196468 140731183161216 139983863794576 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14620] ppid=14501 vsize=10826488 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14620/stat : 14620 (java) S 14501 14507 14447 0 -1 1077944384 2 13406 0 0 0 0 6 3 20 0 15 0 443271581 11086323712 26036 33554432000 4194304 4196468 140731183161216 139983862742032 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14621] ppid=14501 vsize=10826488 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14621/stat : 14621 (java) S 14501 14507 14447 0 -1 1077944384 2 13406 0 0 0 0 6 3 20 0 15 0 443271581 11086323712 26036 33554432000 4194304 4196468 140731183161216 139983861689488 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14623] ppid=14501 vsize=10826488 memory=1704 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14623/stat : 14623 (java) S 14501 14507 14447 0 -1 1077944384 6 13406 0 0 0 0 6 3 20 0 15 0 443271583 11086323712 26036 33554432000 4194304 4196468 140731183161216 139983430027248 139983971289730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14626] ppid=14501 vsize=10826488 memory=5972 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14626/stat : 14626 (java) S 14501 14507 14447 0 -1 1077944384 33 13406 0 0 0 0 6 3 20 0 15 0 443271583 11086323712 26036 33554432000 4194304 4196468 140731183161216 139983428973472 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14627] ppid=14501 vsize=10826488 memory=588 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14627/stat : 14627 (java) S 14501 14507 14447 0 -1 1077944384 1 13406 0 0 0 0 6 3 20 0 15 0 443271583 11086323712 26036 33554432000 4194304 4196468 140731183161216 139982849172464 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14632] ppid=14501 vsize=10826488 memory=780 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14632/stat : 14632 (java) S 14501 14507 14447 0 -1 1077944384 3 13406 0 0 0 0 6 3 20 0 15 0 443271587 11086323712 26036 33554432000 4194304 4196468 140731183161216 139982541773008 139983971297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14634] ppid=14501 vsize=10826488 memory=1056 CPUtime=0.34 cores=0,2,4,6
/proc/14507/task/14634/stat : 14634 (java) R 14501 14507 14447 0 -1 4202560 1027 13406 0 0 25 0 6 3 20 0 15 0 443271587 11086323712 26036 33554432000 4194304 4196468 140731183161216 139983395400400 139983951122154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14635] ppid=14501 vsize=10826488 memory=11620 CPUtime=0.3 cores=0,2,4,6
/proc/14507/task/14635/stat : 14635 (java) R 14501 14507 14447 0 -1 4202560 789 13406 0 0 21 0 6 3 20 0 15 0 443271587 11086323712 26036 33554432000 4194304 4196468 140731183161216 139983394353808 139983971290518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14636] ppid=14501 vsize=10826488 memory=1804 CPUtime=0.42 cores=0,2,4,6
/proc/14507/task/14636/stat : 14636 (java) R 14501 14507 14447 0 -1 1077944384 1177 13406 0 0 33 0 6 3 20 0 15 0 443271587 11086323712 26036 33554432000 4194304 4196468 140731183161216 139983393309264 139983971288789 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14637] ppid=14501 vsize=10826488 memory=916 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14637/stat : 14637 (java) S 14501 14507 14447 0 -1 1077944384 3 13406 0 0 0 0 6 3 20 0 15 0 443271587 11086323712 26036 33554432000 4194304 4196468 140731183161216 139982508215392 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14639] ppid=14501 vsize=10826488 memory=3804 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14639/stat : 14639 (java) S 14501 14507 14447 0 -1 1077944384 1 13406 0 0 0 0 6 3 20 0 15 0 443271592 11086323712 26036 33554432000 4194304 4196468 140731183161216 139983392258352 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 10826488 KiB
Current children cumulated memory: 104144 KiB
[startup+3.11062 s]
/proc/loadavg: 0.32 2.02 3.01 9/228 14639
/proc/meminfo: memFree=30521236/32770624 swapFree=66922216/67108860
[pid=14507] ppid=14501 vsize=10840844 memory=214484 CPUtime=5.51 cores=0,2,4,6
/proc/14507/stat : 14507 (java) S 14501 14507 14447 0 -1 1077944320 32254 13406 0 0 529 13 6 3 20 0 15 0 443271530 11101024256 53621 33554432000 4194304 4196468 140731183161216 140731183143760 139983971278583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
/proc/14507/statm: 2710211 53621 3607 1 0 2672269 0
[pid=14507/tid=14613] ppid=14501 vsize=10840844 memory=49204 CPUtime=2.45 cores=0,2,4,6
/proc/14507/task/14613/stat : 14613 (java) R 14501 14507 14447 0 -1 4202560 17456 13406 0 0 229 7 6 3 20 0 15 0 443271580 11101024256 53621 33554432000 4194304 4196468 140731183161216 139983943111536 139983955322213 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14618] ppid=14501 vsize=10840844 memory=14008 CPUtime=0.1 cores=0,2,4,6
/proc/14507/task/14618/stat : 14618 (java) S 14501 14507 14447 0 -1 1077944384 30 13406 0 0 1 0 6 3 20 0 15 0 443271581 11101024256 53621 33554432000 4194304 4196468 140731183161216 139983975521040 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14619] ppid=14501 vsize=10840844 memory=14076 CPUtime=0.1 cores=0,2,4,6
/proc/14507/task/14619/stat : 14619 (java) S 14501 14507 14447 0 -1 1077944384 71 13406 0 0 1 0 6 3 20 0 15 0 443271581 11101024256 53621 33554432000 4194304 4196468 140731183161216 139983863794576 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14620] ppid=14501 vsize=10840844 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/14507/task/14620/stat : 14620 (java) S 14501 14507 14447 0 -1 1077944384 76 13406 0 0 1 0 6 3 20 0 15 0 443271581 11101024256 53621 33554432000 4194304 4196468 140731183161216 139983862742032 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14621] ppid=14501 vsize=10840844 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14621/stat : 14621 (java) S 14501 14507 14447 0 -1 1077944384 311 13406 0 0 0 0 6 3 20 0 15 0 443271581 11101024256 53621 33554432000 4194304 4196468 140731183161216 139983861689488 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14623] ppid=14501 vsize=10840844 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/14507/task/14623/stat : 14623 (java) S 14501 14507 14447 0 -1 1077944384 137 13406 0 0 1 0 6 3 20 0 15 0 443271583 11101024256 53621 33554432000 4194304 4196468 140731183161216 139983430027248 139983971289730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14626] ppid=14501 vsize=10840844 memory=205816 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14626/stat : 14626 (java) S 14501 14507 14447 0 -1 1077944384 34 13406 0 0 0 0 6 3 20 0 15 0 443271583 11101024256 53621 33554432000 4194304 4196468 140731183161216 139983428973536 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14627] ppid=14501 vsize=10840844 memory=288230596017389863 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14627/stat : 14627 (java) S 14501 14507 14447 0 -1 1077944384 1 13406 0 0 0 0 6 3 20 0 15 0 443271583 11101024256 53621 33554432000 4194304 4196468 140731183161216 139982849172480 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14632] ppid=14501 vsize=10840844 memory=13564890522584532 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14632/stat : 14632 (java) S 14501 14507 14447 0 -1 1077944384 3 13406 0 0 0 0 6 3 20 0 15 0 443271587 11101024256 53621 33554432000 4194304 4196468 140731183161216 139982541773008 139983971297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14634] ppid=14501 vsize=10840844 memory=0 CPUtime=1.08 cores=0,2,4,6
/proc/14507/task/14634/stat : 14634 (java) R 14501 14507 14447 0 -1 4202560 3291 13406 0 0 99 0 6 3 20 0 15 0 443271587 11101024256 53621 33554432000 4194304 4196468 140731183161216 139983395403344 139983956404694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14635] ppid=14501 vsize=10840844 memory=38 CPUtime=1.01 cores=0,2,4,6
/proc/14507/task/14635/stat : 14635 (java) R 14501 14507 14447 0 -1 4202560 3999 13406 0 0 92 0 6 3 20 0 15 0 443271587 11101024256 53621 33554432000 4194304 4196468 140731183161216 139983394364016 139983964375419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14636] ppid=14501 vsize=10840844 memory=26 CPUtime=1.1 cores=0,2,4,6
/proc/14507/task/14636/stat : 14636 (java) S 14501 14507 14447 0 -1 1077944384 4637 13406 0 0 100 1 6 3 20 0 15 0 443271587 11101024256 53621 33554432000 4194304 4196468 140731183161216 139983393311472 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14637] ppid=14501 vsize=10840844 memory=38 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14637/stat : 14637 (java) S 14501 14507 14447 0 -1 1077944384 3 13406 0 0 0 0 6 3 20 0 15 0 443271587 11101024256 53621 33554432000 4194304 4196468 140731183161216 139982508215392 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14639] ppid=14501 vsize=10840844 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14639/stat : 14639 (java) S 14501 14507 14447 0 -1 1077944384 1 13406 0 0 0 0 6 3 20 0 15 0 443271592 11101024256 53621 33554432000 4194304 4196468 140731183161216 139983392258352 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
Current children cumulated CPU time: 5.51 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 214484 KiB
################
# More data... #
################
/proc/14507/task/14613/stat : 14613 (java) R 14501 14507 14447 0 -1 4202560 173110 13406 0 0 218989 69 6 3 20 0 15 0 443271580 11109412864 826690 33554432000 4194304 4196468 140731183161216 139983943112720 139983550846092 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14618] ppid=14501 vsize=10849036 memory=3302556 CPUtime=9.47 cores=0,2,4,6
/proc/14507/task/14618/stat : 14618 (java) S 14501 14507 14447 0 -1 1077944384 25672 13406 0 0 898 40 6 3 20 0 15 0 443271581 11109412864 826690 33554432000 4194304 4196468 140731183161216 139983975521040 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14619] ppid=14501 vsize=10849036 memory=3306760 CPUtime=9.52 cores=0,2,4,6
/proc/14507/task/14619/stat : 14619 (java) S 14501 14507 14447 0 -1 1077944384 28263 13406 0 0 902 41 6 3 20 0 15 0 443271581 11109412864 826690 33554432000 4194304 4196468 140731183161216 139983863794576 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14620] ppid=14501 vsize=10849036 memory=3302544 CPUtime=9.47 cores=0,2,4,6
/proc/14507/task/14620/stat : 14620 (java) S 14501 14507 14447 0 -1 1077944384 24947 13406 0 0 897 41 6 3 20 0 15 0 443271581 11109412864 826690 33554432000 4194304 4196468 140731183161216 139983862742032 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14621] ppid=14501 vsize=10849036 memory=3302556 CPUtime=9.52 cores=0,2,4,6
/proc/14507/task/14621/stat : 14621 (java) S 14501 14507 14447 0 -1 1077944384 29157 13406 0 0 899 44 6 3 20 0 15 0 443271581 11109412864 826690 33554432000 4194304 4196468 140731183161216 139983861689488 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14623] ppid=14501 vsize=10849036 memory=3302556 CPUtime=1.42 cores=0,2,4,6
/proc/14507/task/14623/stat : 14623 (java) S 14501 14507 14447 0 -1 1077944384 25379 13406 0 0 116 17 6 3 20 0 15 0 443271583 11109412864 826690 33554432000 4194304 4196468 140731183161216 139983430027248 139983971289730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14626] ppid=14501 vsize=10849036 memory=3302556 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14626/stat : 14626 (java) S 14501 14507 14447 0 -1 1077944384 69 13406 0 0 0 0 6 3 20 0 15 0 443271583 11109412864 826690 33554432000 4194304 4196468 140731183161216 139983428973600 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14627] ppid=14501 vsize=10849036 memory=3306760 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14627/stat : 14627 (java) S 14501 14507 14447 0 -1 1077944384 16 13406 0 0 0 0 6 3 20 0 15 0 443271583 11109412864 826690 33554432000 4194304 4196468 140731183161216 139982849172480 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14632] ppid=14501 vsize=10849036 memory=3306760 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14632/stat : 14632 (java) S 14501 14507 14447 0 -1 1077944384 3 13406 0 0 0 0 6 3 20 0 15 0 443271587 11109412864 826690 33554432000 4194304 4196468 140731183161216 139982541773008 139983971297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14634] ppid=14501 vsize=10849036 memory=3306760 CPUtime=11.14 cores=0,2,4,6
/proc/14507/task/14634/stat : 14634 (java) S 14501 14507 14447 0 -1 1077944384 60131 13406 0 0 1099 6 6 3 20 0 15 0 443271587 11109412864 826690 33554432000 4194304 4196468 140731183161216 139983395416560 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14635] ppid=14501 vsize=10849036 memory=3306760 CPUtime=10.68 cores=0,2,4,6
/proc/14507/task/14635/stat : 14635 (java) S 14501 14507 14447 0 -1 1077944384 51733 13406 0 0 1054 5 6 3 20 0 15 0 443271587 11109412864 826690 33554432000 4194304 4196468 140731183161216 139983394364016 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14636] ppid=14501 vsize=10849036 memory=3306760 CPUtime=2.89 cores=0,2,4,6
/proc/14507/task/14636/stat : 14636 (java) S 14501 14507 14447 0 -1 1077944384 54965 13406 0 0 271 9 6 3 20 0 15 0 443271587 11109412864 826690 33554432000 4194304 4196468 140731183161216 139983393311472 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14637] ppid=14501 vsize=10849036 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14637/stat : 14637 (java) S 14501 14507 14447 0 -1 1077944384 3 13406 0 0 0 0 6 3 20 0 15 0 443271587 11109412864 826690 33554432000 4194304 4196468 140731183161216 139982508215392 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14639] ppid=14501 vsize=10849036 memory=280071998800112 CPUtime=1.48 cores=0,2,4,6
/proc/14507/task/14639/stat : 14639 (java) S 14501 14507 14447 0 -1 1077944384 2022 13406 0 0 71 68 6 3 20 0 15 0 443271592 11109412864 826690 33554432000 4194304 4196468 140731183161216 139983392258352 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
Current children cumulated CPU time: 2255.56 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3306760 KiB
[startup+2262.3 s]
/proc/loadavg: 1.67 1.80 1.89 4/228 14877
/proc/meminfo: memFree=24995508/32770624 swapFree=66922232/67108860
[pid=14507] ppid=14501 vsize=10849036 memory=3307144 CPUtime=2316.5 cores=0,2,4,6
/proc/14507/stat : 14507 (java) S 14501 14507 14447 0 -1 1077944320 486235 13406 0 0 231314 327 6 3 20 0 15 0 443271530 11109412864 826786 33554432000 4194304 4196468 140731183161216 140731183143760 139983971278583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
/proc/14507/statm: 2712259 826786 3647 1 0 2674317 0
[pid=14507/tid=14613] ppid=14501 vsize=10849036 memory=3307144 CPUtime=2250.36 cores=0,2,4,6
/proc/14507/task/14613/stat : 14613 (java) R 14501 14507 14447 0 -1 4202560 178365 13406 0 0 224957 70 6 3 20 0 15 0 443271580 11109412864 826786 33554432000 4194304 4196468 140731183161216 139983943112240 139983549873779 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14618] ppid=14501 vsize=10849036 memory=3309712 CPUtime=9.76 cores=0,2,4,6
/proc/14507/task/14618/stat : 14618 (java) S 14501 14507 14447 0 -1 1077944384 27492 13406 0 0 926 41 6 3 20 0 15 0 443271581 11109412864 826786 33554432000 4194304 4196468 140731183161216 139983975521040 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14619] ppid=14501 vsize=10849036 memory=3309712 CPUtime=9.83 cores=0,2,4,6
/proc/14507/task/14619/stat : 14619 (java) S 14501 14507 14447 0 -1 1077944384 28639 13406 0 0 932 42 6 3 20 0 15 0 443271581 11109412864 826786 33554432000 4194304 4196468 140731183161216 139983863794576 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14620] ppid=14501 vsize=10849036 memory=3309712 CPUtime=9.77 cores=0,2,4,6
/proc/14507/task/14620/stat : 14620 (java) S 14501 14507 14447 0 -1 1077944384 25287 13406 0 0 927 41 6 3 20 0 15 0 443271581 11109412864 826786 33554432000 4194304 4196468 140731183161216 139983862742032 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14621] ppid=14501 vsize=10849036 memory=3307144 CPUtime=9.82 cores=0,2,4,6
/proc/14507/task/14621/stat : 14621 (java) S 14501 14507 14447 0 -1 1077944384 29551 13406 0 0 928 45 6 3 20 0 15 0 443271581 11109412864 826786 33554432000 4194304 4196468 140731183161216 139983861689488 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14623] ppid=14501 vsize=10849036 memory=3307144 CPUtime=1.43 cores=0,2,4,6
/proc/14507/task/14623/stat : 14623 (java) S 14501 14507 14447 0 -1 1077944384 25708 13406 0 0 117 17 6 3 20 0 15 0 443271583 11109412864 826786 33554432000 4194304 4196468 140731183161216 139983430027248 139983971289730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14626] ppid=14501 vsize=10849036 memory=3307144 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14626/stat : 14626 (java) S 14501 14507 14447 0 -1 1077944384 69 13406 0 0 0 0 6 3 20 0 15 0 443271583 11109412864 826786 33554432000 4194304 4196468 140731183161216 139983428973600 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14627] ppid=14501 vsize=10849036 memory=3307144 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14627/stat : 14627 (java) S 14501 14507 14447 0 -1 1077944384 16 13406 0 0 0 0 6 3 20 0 15 0 443271583 11109412864 826786 33554432000 4194304 4196468 140731183161216 139982849172480 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14632] ppid=14501 vsize=10849036 memory=3307144 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14632/stat : 14632 (java) S 14501 14507 14447 0 -1 1077944384 3 13406 0 0 0 0 6 3 20 0 15 0 443271587 11109412864 826786 33554432000 4194304 4196468 140731183161216 139982541773008 139983971297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14634] ppid=14501 vsize=10849036 memory=280071999041016 CPUtime=11.14 cores=0,2,4,6
/proc/14507/task/14634/stat : 14634 (java) S 14501 14507 14447 0 -1 1077944384 60133 13406 0 0 1099 6 6 3 20 0 15 0 443271587 11109412864 826786 33554432000 4194304 4196468 140731183161216 139983395416560 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14635] ppid=14501 vsize=10849036 memory=3307144 CPUtime=10.68 cores=0,2,4,6
/proc/14507/task/14635/stat : 14635 (java) S 14501 14507 14447 0 -1 1077944384 51736 13406 0 0 1054 5 6 3 20 0 15 0 443271587 11109412864 826786 33554432000 4194304 4196468 140731183161216 139983394364016 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14636] ppid=14501 vsize=10849036 memory=3307144 CPUtime=2.89 cores=0,2,4,6
/proc/14507/task/14636/stat : 14636 (java) S 14501 14507 14447 0 -1 1077944384 54967 13406 0 0 271 9 6 3 20 0 15 0 443271587 11109412864 826786 33554432000 4194304 4196468 140731183161216 139983393311472 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14637] ppid=14501 vsize=10849036 memory=988 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14637/stat : 14637 (java) S 14501 14507 14447 0 -1 1077944384 3 13406 0 0 0 0 6 3 20 0 15 0 443271587 11109412864 826786 33554432000 4194304 4196468 140731183161216 139982508215392 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14639] ppid=14501 vsize=10849036 memory=3309712 CPUtime=1.52 cores=0,2,4,6
/proc/14507/task/14639/stat : 14639 (java) S 14501 14507 14447 0 -1 1077944384 2058 13406 0 0 73 70 6 3 20 0 15 0 443271592 11109412864 826786 33554432000 4194304 4196468 140731183161216 139983392258352 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
Current children cumulated CPU time: 2316.5 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3307144 KiB
[startup+2322.3 s]
/proc/loadavg: 1.62 1.76 1.87 4/228 14881
/proc/meminfo: memFree=24994112/32770624 swapFree=66922232/67108860
[pid=14507] ppid=14501 vsize=10849036 memory=3309204 CPUtime=2376.8 cores=0,2,4,6
/proc/14507/stat : 14507 (java) S 14501 14507 14447 0 -1 1077944320 498301 13406 0 0 237341 330 6 3 20 0 15 0 443271530 11109412864 827301 33554432000 4194304 4196468 140731183161216 140731183143760 139983971278583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
/proc/14507/statm: 2712259 827301 3647 1 0 2674317 0
[pid=14507/tid=14613] ppid=14501 vsize=10849036 memory=3309200 CPUtime=2310.26 cores=0,2,4,6
/proc/14507/task/14613/stat : 14613 (java) R 14501 14507 14447 0 -1 4202560 184380 13406 0 0 230946 71 6 3 20 0 15 0 443271580 11109412864 827301 33554432000 4194304 4196468 140731183161216 139983943112528 139983539655012 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14618] ppid=14501 vsize=10849036 memory=132 CPUtime=9.85 cores=0,2,4,6
/proc/14507/task/14618/stat : 14618 (java) S 14501 14507 14447 0 -1 1077944384 27761 13406 0 0 935 41 6 3 20 0 15 0 443271581 11109412864 827301 33554432000 4194304 4196468 140731183161216 139983975521040 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14619] ppid=14501 vsize=10849036 memory=3309200 CPUtime=9.91 cores=0,2,4,6
/proc/14507/task/14619/stat : 14619 (java) S 14501 14507 14447 0 -1 1077944384 29106 13406 0 0 940 42 6 3 20 0 15 0 443271581 11109412864 827301 33554432000 4194304 4196468 140731183161216 139983863794576 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14620] ppid=14501 vsize=10849036 memory=3309200 CPUtime=9.85 cores=0,2,4,6
/proc/14507/task/14620/stat : 14620 (java) S 14501 14507 14447 0 -1 1077944384 27119 13406 0 0 935 41 6 3 20 0 15 0 443271581 11109412864 827301 33554432000 4194304 4196468 140731183161216 139983862742032 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14621] ppid=14501 vsize=10849036 memory=3309200 CPUtime=9.91 cores=0,2,4,6
/proc/14507/task/14621/stat : 14621 (java) S 14501 14507 14447 0 -1 1077944384 29928 13406 0 0 937 45 6 3 20 0 15 0 443271581 11109412864 827301 33554432000 4194304 4196468 140731183161216 139983861689488 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14623] ppid=14501 vsize=10849036 memory=3309200 CPUtime=1.44 cores=0,2,4,6
/proc/14507/task/14623/stat : 14623 (java) S 14501 14507 14447 0 -1 1077944384 26044 13406 0 0 118 17 6 3 20 0 15 0 443271583 11109412864 827301 33554432000 4194304 4196468 140731183161216 139983430027248 139983971289730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14626] ppid=14501 vsize=10849036 memory=3309204 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14626/stat : 14626 (java) S 14501 14507 14447 0 -1 1077944384 69 13406 0 0 0 0 6 3 20 0 15 0 443271583 11109412864 827301 33554432000 4194304 4196468 140731183161216 139983428973600 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14627] ppid=14501 vsize=10849036 memory=3309204 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14627/stat : 14627 (java) S 14501 14507 14447 0 -1 1077944384 16 13406 0 0 0 0 6 3 20 0 15 0 443271583 11109412864 827301 33554432000 4194304 4196468 140731183161216 139982849172480 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14632] ppid=14501 vsize=10849036 memory=3309204 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14632/stat : 14632 (java) S 14501 14507 14447 0 -1 1077944384 3 13406 0 0 0 0 6 3 20 0 15 0 443271587 11109412864 827301 33554432000 4194304 4196468 140731183161216 139982541773008 139983971297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14634] ppid=14501 vsize=10849036 memory=3309204 CPUtime=11.14 cores=0,2,4,6
/proc/14507/task/14634/stat : 14634 (java) S 14501 14507 14447 0 -1 1077944384 60136 13406 0 0 1099 6 6 3 20 0 15 0 443271587 11109412864 827301 33554432000 4194304 4196468 140731183161216 139983395416560 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14635] ppid=14501 vsize=10849036 memory=3309204 CPUtime=10.68 cores=0,2,4,6
/proc/14507/task/14635/stat : 14635 (java) S 14501 14507 14447 0 -1 1077944384 51738 13406 0 0 1054 5 6 3 20 0 15 0 443271587 11109412864 827301 33554432000 4194304 4196468 140731183161216 139983394364016 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14636] ppid=14501 vsize=10849036 memory=3309200 CPUtime=2.9 cores=0,2,4,6
/proc/14507/task/14636/stat : 14636 (java) S 14501 14507 14447 0 -1 1077944384 57705 13406 0 0 272 9 6 3 20 0 15 0 443271587 11109412864 827301 33554432000 4194304 4196468 140731183161216 139983393311472 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14637] ppid=14501 vsize=10849036 memory=3309204 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14637/stat : 14637 (java) S 14501 14507 14447 0 -1 1077944384 3 13406 0 0 0 0 6 3 20 0 15 0 443271587 11109412864 827301 33554432000 4194304 4196468 140731183161216 139982508215392 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14639] ppid=14501 vsize=10849036 memory=988 CPUtime=1.56 cores=0,2,4,6
/proc/14507/task/14639/stat : 14639 (java) S 14501 14507 14447 0 -1 1077944384 2085 13406 0 0 75 72 6 3 20 0 15 0 443271592 11109412864 827301 33554432000 4194304 4196468 140731183161216 139983392258352 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
Current children cumulated CPU time: 2376.8 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3309204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2345.4 s]
/proc/loadavg: 1.65 1.76 1.87 4/228 14884
/proc/meminfo: memFree=24993024/32770624 swapFree=66922232/67108860
[pid=14507] ppid=14501 vsize=10849036 memory=3309212 CPUtime=2400.02 cores=0,2,4,6
/proc/14507/stat : 14507 (java) S 14501 14507 14447 0 -1 1077944320 499653 13406 0 0 239662 331 6 3 20 0 15 0 443271530 11109412864 827303 33554432000 4194304 4196468 140731183161216 140731183143760 139983971278583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
/proc/14507/statm: 2712259 827303 3647 1 0 2674317 0
[pid=14507/tid=14613] ppid=14501 vsize=10849036 memory=2811039 CPUtime=2333.34 cores=0,2,4,6
/proc/14507/task/14613/stat : 14613 (java) R 14501 14507 14447 0 -1 4202560 185705 13406 0 0 233253 72 6 3 20 0 15 0 443271580 11109412864 827303 33554432000 4194304 4196468 140731183161216 139983943112528 139983558136835 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14618] ppid=14501 vsize=10849036 memory=2815725 CPUtime=9.88 cores=0,2,4,6
/proc/14507/task/14618/stat : 14618 (java) S 14501 14507 14447 0 -1 1077944384 27761 13406 0 0 938 41 6 3 20 0 15 0 443271581 11109412864 827303 33554432000 4194304 4196468 140731183161216 139983975521040 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14619] ppid=14501 vsize=10849036 memory=7302976372154459730 CPUtime=9.94 cores=0,2,4,6
/proc/14507/task/14619/stat : 14619 (java) S 14501 14507 14447 0 -1 1077944384 29107 13406 0 0 943 42 6 3 20 0 15 0 443271581 11109412864 827303 33554432000 4194304 4196468 140731183161216 139983863794576 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14620] ppid=14501 vsize=10849036 memory=7301858164987948385 CPUtime=9.88 cores=0,2,4,6
/proc/14507/task/14620/stat : 14620 (java) S 14501 14507 14447 0 -1 1077944384 27125 13406 0 0 938 41 6 3 20 0 15 0 443271581 11109412864 827303 33554432000 4194304 4196468 140731183161216 139983862742032 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14621] ppid=14501 vsize=10849036 memory=-5874771483550381248 CPUtime=9.94 cores=0,2,4,6
/proc/14507/task/14621/stat : 14621 (java) S 14501 14507 14447 0 -1 1077944384 29936 13406 0 0 940 45 6 3 20 0 15 0 443271581 11109412864 827303 33554432000 4194304 4196468 140731183161216 139983861689488 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14623] ppid=14501 vsize=10849036 memory=-6736937045019192452 CPUtime=1.45 cores=0,2,4,6
/proc/14507/task/14623/stat : 14623 (java) S 14501 14507 14447 0 -1 1077944384 26049 13406 0 0 119 17 6 3 20 0 15 0 443271583 11109412864 827303 33554432000 4194304 4196468 140731183161216 139983430027248 139983971289730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14626] ppid=14501 vsize=10849036 memory=-7025452035940392864 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14626/stat : 14626 (java) S 14501 14507 14447 0 -1 1077944384 72 13406 0 0 0 0 6 3 20 0 15 0 443271583 11109412864 827303 33554432000 4194304 4196468 140731183161216 139983428973600 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14627] ppid=14501 vsize=10849036 memory=7682744562830902035 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14627/stat : 14627 (java) S 14501 14507 14447 0 -1 1077944384 18 13406 0 0 0 0 6 3 20 0 15 0 443271583 11109412864 827303 33554432000 4194304 4196468 140731183161216 139982849172480 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14632] ppid=14501 vsize=10849036 memory=4137287014106042739 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14632/stat : 14632 (java) S 14501 14507 14447 0 -1 1077944384 3 13406 0 0 0 0 6 3 20 0 15 0 443271587 11109412864 827303 33554432000 4194304 4196468 140731183161216 139982541773008 139983971297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14634] ppid=14501 vsize=10849036 memory=8259761640030508194 CPUtime=11.14 cores=0,2,4,6
/proc/14507/task/14634/stat : 14634 (java) S 14501 14507 14447 0 -1 1077944384 60136 13406 0 0 1099 6 6 3 20 0 15 0 443271587 11109412864 827303 33554432000 4194304 4196468 140731183161216 139983395416560 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14635] ppid=14501 vsize=10849036 memory=-3833726747341067623 CPUtime=10.68 cores=0,2,4,6
/proc/14507/task/14635/stat : 14635 (java) S 14501 14507 14447 0 -1 1077944384 51738 13406 0 0 1054 5 6 3 20 0 15 0 443271587 11109412864 827303 33554432000 4194304 4196468 140731183161216 139983394364016 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14636] ppid=14501 vsize=10849036 memory=6944613755479294112 CPUtime=2.9 cores=0,2,4,6
/proc/14507/task/14636/stat : 14636 (java) S 14501 14507 14447 0 -1 1077944384 57705 13406 0 0 272 9 6 3 20 0 15 0 443271587 11109412864 827303 33554432000 4194304 4196468 140731183161216 139983393311472 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14637] ppid=14501 vsize=10849036 memory=7306634443314586726 CPUtime=0.09 cores=0,2,4,6
/proc/14507/task/14637/stat : 14637 (java) S 14501 14507 14447 0 -1 1077944384 3 13406 0 0 0 0 6 3 20 0 15 0 443271587 11109412864 827303 33554432000 4194304 4196468 140731183161216 139982508215392 139983971288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
[pid=14507/tid=14639] ppid=14501 vsize=10849036 memory=0 CPUtime=1.58 cores=0,2,4,6
/proc/14507/task/14639/stat : 14639 (java) S 14501 14507 14447 0 -1 1077944384 2087 13406 0 0 76 73 6 3 20 0 15 0 443271592 11109412864 827303 33554432000 4194304 4196468 140731183161216 139983392258352 139983971289730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140731183164143 140731183166661 140731183166661 140731183169487 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3309212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2345.45 s]
# the end of solver process 14507 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.71 s, system=3.3691 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2345.45
CPU time (s): 2400.08
CPU user time (s): 2396.71
CPU system time (s): 3.3691
CPU usage (%): 102.329
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 3314308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.71
system time used= 3.3691
maximum resident set size= 3315336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 514429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79322
involuntary context switches= 3470
# summary of solver processes directly reported to runsolver:
# pid: 14507
# total CPU time (s): 2400.08
# total CPU user time (s): 2396.71
# total CPU system time (s): 3.3691
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5108 second user time and 22.8461 second system time
The end