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 (9238 MiB free)
memory of node 1: 16384 MiB (13756 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259410-1502649391/watcher-4259410-1502649391 -o /tmp/evaluation-result-4259410-1502649391/solver-4259410-1502649391 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502644582-9045 --watchdog 312 bin/concrete HOME/instance-4259410-1502649391.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=13793, runsolver pid=13790
Current StackSize limit: 8192 KiB
[startup+0.10682 s]*
/proc/loadavg: 2.15 2.15 2.07 3/208 13848
/proc/meminfo: memFree=23537908/32770624 swapFree=67108860/67108860
[pid=13793] ppid=13790 vsize=13578732 memory=17596 CPUtime=0.09 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 3242 0 -1 1077944320 4582 12464 0 0 2 0 5 2 20 0 9 0 98020112 13904621568 4399 33554432000 4194304 4196468 140736177116384 140736177098928 140398812262135 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
/proc/13793/statm: 3394683 4399 2090 1 0 3383121 0
[pid=13793/tid=13843] ppid=13790 vsize=13578732 memory=4279135704014094990 CPUtime=0.08 cores=1,3,5,7
/proc/13793/task/13843/stat : 13843 (java) R 13790 13793 3242 0 -1 4202560 2391 12464 0 0 1 0 5 2 20 0 9 0 98020121 13904621568 4464 33554432000 4194304 4196468 140736177116384 140398816497520 140398797944627 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13844] ppid=13790 vsize=13578732 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13844/stat : 13844 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 9 0 98020121 13904621568 4464 33554432000 4194304 4196468 140736177116384 140398727330832 140398812272341 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13845] ppid=13790 vsize=13578732 memory=140373218489984 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13845/stat : 13845 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 9 0 98020121 13904621568 4464 33554432000 4194304 4196468 140736177116384 140398726278288 140398812272341 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13846] ppid=13790 vsize=13578732 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13846/stat : 13846 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 9 0 98020121 13904621568 4464 33554432000 4194304 4196468 140736177116384 140398725225232 140398812272341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13847] ppid=13790 vsize=13578732 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13847/stat : 13847 (java) S 13790 13793 3242 0 -1 1077944384 2 12464 0 0 0 0 5 2 20 0 9 0 98020121 13904621568 4464 33554432000 4194304 4196468 140736177116384 140398724172688 140398812272341 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13848] ppid=13790 vsize=13578732 memory=140373218489984 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13848/stat : 13848 (java) S 13790 13793 3242 0 -1 1077944384 2 12464 0 0 0 0 5 2 20 0 9 0 98020123 13904621568 4464 33554432000 4194304 4196468 140736177116384 140398286555376 140398812273282 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13849] ppid=13790 vsize=13578732 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13849/stat : 13849 (java) S 13790 13793 3242 0 -1 1077944384 33 12464 0 0 0 0 5 2 20 0 9 0 98020123 13904621568 4464 33554432000 4194304 4196468 140736177116384 140398285501600 140398812272341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13850] ppid=13790 vsize=13578732 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13850/stat : 13850 (java) S 13790 13793 3242 0 -1 1077944384 21 12464 0 0 0 0 5 2 20 0 9 0 98020123 13904621568 4464 33554432000 4194304 4196468 140736177116384 140398284448560 140398812272341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13578732 KiB
Current children cumulated memory: 17596 KiB
[startup+0.21008 s]*
/proc/loadavg: 2.15 2.15 2.07 3/216 13856
/proc/meminfo: memFree=23520360/32770624 swapFree=67108860/67108860
[pid=13793] ppid=13790 vsize=13978600 memory=40888 CPUtime=0.26 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 3242 0 -1 1077944320 8637 12464 0 0 17 2 5 2 20 0 15 0 98020112 14314086400 10222 33554432000 4194304 4196468 140736177116384 140736177098928 140398812262135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
/proc/13793/statm: 3494650 10222 2966 1 0 3482967 0
[pid=13793/tid=13843] ppid=13790 vsize=13978600 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/13793/task/13843/stat : 13843 (java) R 13790 13793 3242 0 -1 4202560 5235 12464 0 0 10 1 5 2 20 0 15 0 98020121 14314086400 10288 33554432000 4194304 4196468 140736177116384 140398816437520 140398792537963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13844] ppid=13790 vsize=13978600 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13844/stat : 13844 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 15 0 98020121 14314086400 10288 33554432000 4194304 4196468 140736177116384 140398727330832 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13845] ppid=13790 vsize=13978600 memory=140373219211760 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13845/stat : 13845 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 15 0 98020121 14314086400 10288 33554432000 4194304 4196468 140736177116384 140398726278288 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13846] ppid=13790 vsize=13978600 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13846/stat : 13846 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 15 0 98020121 14314086400 10288 33554432000 4194304 4196468 140736177116384 140398725225232 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13847] ppid=13790 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13847/stat : 13847 (java) S 13790 13793 3242 0 -1 1077944384 2 12464 0 0 0 0 5 2 20 0 15 0 98020121 14314086400 10354 33554432000 4194304 4196468 140736177116384 140398724172688 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13848] ppid=13790 vsize=13978600 memory=140373218489984 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13848/stat : 13848 (java) S 13790 13793 3242 0 -1 1077944384 2 12464 0 0 0 0 5 2 20 0 15 0 98020123 14314086400 10354 33554432000 4194304 4196468 140736177116384 140398286555376 140398812273282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13849] ppid=13790 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13849/stat : 13849 (java) S 13790 13793 3242 0 -1 1077944384 33 12464 0 0 0 0 5 2 20 0 15 0 98020123 14314086400 10354 33554432000 4194304 4196468 140736177116384 140398285501600 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13850] ppid=13790 vsize=13978600 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13850/stat : 13850 (java) S 13790 13793 3242 0 -1 1077944384 21 12464 0 0 0 0 5 2 20 0 15 0 98020123 14314086400 10354 33554432000 4194304 4196468 140736177116384 140398284448496 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13851] ppid=13790 vsize=13978600 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13851/stat : 13851 (java) S 13790 13793 3242 0 -1 1077944384 3 12464 0 0 0 0 5 2 20 0 15 0 98020126 14314086400 10354 33554432000 4194304 4196468 140736177116384 140398283397072 140398812280731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13852] ppid=13790 vsize=13978600 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13793/task/13852/stat : 13852 (java) S 13790 13793 3242 0 -1 1077944384 606 12464 0 0 1 0 5 2 20 0 15 0 98020126 14314086400 10354 33554432000 4194304 4196468 140736177116384 140398282345200 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13853] ppid=13790 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13853/stat : 13853 (java) S 13790 13793 3242 0 -1 1077944384 147 12464 0 0 0 0 5 2 20 0 15 0 98020126 14314086400 10354 33554432000 4194304 4196468 140736177116384 140398281292656 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13854] ppid=13790 vsize=13978600 memory=140373218489984 CPUtime=0.1 cores=1,3,5,7
/proc/13793/task/13854/stat : 13854 (java) S 13790 13793 3242 0 -1 1077944384 515 12464 0 0 3 0 5 2 20 0 15 0 98020126 14314086400 10354 33554432000 4194304 4196468 140736177116384 140398280239600 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13855] ppid=13790 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13855/stat : 13855 (java) S 13790 13793 3242 0 -1 1077944384 3 12464 0 0 0 0 5 2 20 0 15 0 98020126 14314086400 10354 33554432000 4194304 4196468 140736177116384 140398279187296 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13856] ppid=13790 vsize=13978600 memory=140373218489984 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13856/stat : 13856 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 15 0 98020126 14314086400 10354 33554432000 4194304 4196468 140736177116384 140398278134320 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13978600 KiB
Current children cumulated memory: 40888 KiB
[startup+0.310132 s]*
/proc/loadavg: 2.15 2.15 2.07 3/216 13856
/proc/meminfo: memFree=23510128/32770624 swapFree=67108860/67108860
[pid=13793] ppid=13790 vsize=13979028 memory=49132 CPUtime=0.37 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 3242 0 -1 1077944320 10343 12464 0 0 28 2 5 2 20 0 15 0 98020112 14314524672 12283 33554432000 4194304 4196468 140736177116384 140736177098928 140398812262135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
/proc/13793/statm: 3494757 12283 3080 1 0 3482967 0
[pid=13793/tid=13843] ppid=13790 vsize=13979028 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/13793/task/13843/stat : 13843 (java) R 13790 13793 3242 0 -1 4202560 6852 12464 0 0 20 2 5 2 20 0 15 0 98020121 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398816472160 140398793827105 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13844] ppid=13790 vsize=13979028 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13844/stat : 13844 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 15 0 98020121 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398727330832 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13845] ppid=13790 vsize=13979028 memory=140373218500577 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13845/stat : 13845 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 15 0 98020121 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398726278288 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13846] ppid=13790 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13846/stat : 13846 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 15 0 98020121 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398725225232 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13847] ppid=13790 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13847/stat : 13847 (java) S 13790 13793 3242 0 -1 1077944384 2 12464 0 0 0 0 5 2 20 0 15 0 98020121 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398724172688 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13848] ppid=13790 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13848/stat : 13848 (java) S 13790 13793 3242 0 -1 1077944384 2 12464 0 0 0 0 5 2 20 0 15 0 98020123 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398286555376 140398812273282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13849] ppid=13790 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13849/stat : 13849 (java) S 13790 13793 3242 0 -1 1077944384 33 12464 0 0 0 0 5 2 20 0 15 0 98020123 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398285501600 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13850] ppid=13790 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13850/stat : 13850 (java) S 13790 13793 3242 0 -1 1077944384 21 12464 0 0 0 0 5 2 20 0 15 0 98020123 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398284448496 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13851] ppid=13790 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13851/stat : 13851 (java) S 13790 13793 3242 0 -1 1077944384 3 12464 0 0 0 0 5 2 20 0 15 0 98020126 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398283397072 140398812280731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13852] ppid=13790 vsize=13979028 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13793/task/13852/stat : 13852 (java) S 13790 13793 3242 0 -1 1077944384 608 12464 0 0 1 0 5 2 20 0 15 0 98020126 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398282345200 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13853] ppid=13790 vsize=13979028 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13853/stat : 13853 (java) S 13790 13793 3242 0 -1 1077944384 150 12464 0 0 0 0 5 2 20 0 15 0 98020126 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398281292656 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13854] ppid=13790 vsize=13979028 memory=140373218489984 CPUtime=0.12 cores=1,3,5,7
/proc/13793/task/13854/stat : 13854 (java) S 13790 13793 3242 0 -1 1077944384 521 12464 0 0 5 0 5 2 20 0 15 0 98020126 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398280239600 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13855] ppid=13790 vsize=13979028 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13855/stat : 13855 (java) S 13790 13793 3242 0 -1 1077944384 3 12464 0 0 0 0 5 2 20 0 15 0 98020126 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398279187296 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13856] ppid=13790 vsize=13979028 memory=140373218489984 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13856/stat : 13856 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 15 0 98020126 14314524672 12283 33554432000 4194304 4196468 140736177116384 140398278134320 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 13979028 KiB
Current children cumulated memory: 49132 KiB
[startup+0.700746 s]
/proc/loadavg: 2.15 2.15 2.07 6/216 13856
/proc/meminfo: memFree=23501816/32770624 swapFree=67108860/67108860
[pid=13793] ppid=13790 vsize=13979412 memory=84068 CPUtime=0.98 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 3242 0 -1 1077944320 16664 12464 0 0 86 5 5 2 20 0 15 0 98020112 14314917888 21017 33554432000 4194304 4196468 140736177116384 140736177098928 140398812262135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
/proc/13793/statm: 3494853 21017 3336 1 0 3482967 0
[pid=13793/tid=13843] ppid=13790 vsize=13979412 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/13793/task/13843/stat : 13843 (java) R 13790 13793 3242 0 -1 4202560 12368 12464 0 0 56 3 5 2 20 0 15 0 98020121 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398816479216 140398796342622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13844] ppid=13790 vsize=13979412 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13844/stat : 13844 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 15 0 98020121 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398727330832 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13845] ppid=13790 vsize=13979412 memory=2444507481601 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13845/stat : 13845 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 15 0 98020121 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398726278288 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13846] ppid=13790 vsize=13979412 memory=218122166 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13846/stat : 13846 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 15 0 98020121 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398725225232 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13847] ppid=13790 vsize=13979412 memory=7295942822962683291 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13847/stat : 13847 (java) S 13790 13793 3242 0 -1 1077944384 2 12464 0 0 0 0 5 2 20 0 15 0 98020121 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398724172688 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13848] ppid=13790 vsize=13979412 memory=18476 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13848/stat : 13848 (java) S 13790 13793 3242 0 -1 1077944384 5 12464 0 0 0 0 5 2 20 0 15 0 98020123 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398286555376 140398812273282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13849] ppid=13790 vsize=13979412 memory=16976 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13849/stat : 13849 (java) S 13790 13793 3242 0 -1 1077944384 33 12464 0 0 0 0 5 2 20 0 15 0 98020123 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398285501600 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13850] ppid=13790 vsize=13979412 memory=4048 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13850/stat : 13850 (java) S 13790 13793 3242 0 -1 1077944384 21 12464 0 0 0 0 5 2 20 0 15 0 98020123 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398284448496 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13851] ppid=13790 vsize=13979412 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13851/stat : 13851 (java) S 13790 13793 3242 0 -1 1077944384 3 12464 0 0 0 0 5 2 20 0 15 0 98020126 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398283397072 140398812280731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13852] ppid=13790 vsize=13979412 memory=648 CPUtime=0.16 cores=1,3,5,7
/proc/13793/task/13852/stat : 13852 (java) S 13790 13793 3242 0 -1 1077944384 1099 12464 0 0 9 0 5 2 20 0 15 0 98020126 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398282345200 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13853] ppid=13790 vsize=13979412 memory=1240 CPUtime=0.13 cores=1,3,5,7
/proc/13793/task/13853/stat : 13853 (java) S 13790 13793 3242 0 -1 1077944384 402 12464 0 0 6 0 5 2 20 0 15 0 98020126 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398281292656 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13854] ppid=13790 vsize=13979412 memory=960 CPUtime=0.2 cores=1,3,5,7
/proc/13793/task/13854/stat : 13854 (java) S 13790 13793 3242 0 -1 1077944384 582 12464 0 0 13 0 5 2 20 0 15 0 98020126 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398280239600 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13855] ppid=13790 vsize=13979412 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13855/stat : 13855 (java) S 13790 13793 3242 0 -1 1077944384 3 12464 0 0 0 0 5 2 20 0 15 0 98020126 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398279187296 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13856] ppid=13790 vsize=13979412 memory=7379241883359864663 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13856/stat : 13856 (java) S 13790 13793 3242 0 -1 1077944384 1 12464 0 0 0 0 5 2 20 0 15 0 98020126 14314917888 21017 33554432000 4194304 4196468 140736177116384 140398278134320 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 13979412 KiB
Current children cumulated memory: 84068 KiB
[startup+1.50303 s]
/proc/loadavg: 2.15 2.15 2.07 3/216 13856
/proc/meminfo: memFree=23443080/32770624 swapFree=67108860/67108860
[pid=13793] ppid=13790 vsize=13991700 memory=174904 CPUtime=2.22 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 3242 0 -1 1077944320 27334 12464 0 0 205 10 5 2 20 0 15 0 98020112 14327500800 43726 33554432000 4194304 4196468 140736177116384 140736177098928 140398812262135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
/proc/13793/statm: 3497925 43726 3405 1 0 3486039 0
[pid=13793/tid=13843] ppid=13790 vsize=13991700 memory=7307184289356141155 CPUtime=1.43 cores=1,3,5,7
/proc/13793/task/13843/stat : 13843 (java) R 13790 13793 3242 0 -1 4202560 19759 12464 0 0 130 6 5 2 20 0 15 0 98020121 14327500800 43726 33554432000 4194304 4196468 140736177116384 140398816492912 140398812274070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13844] ppid=13790 vsize=13991700 memory=7307184289356141155 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13844/stat : 13844 (java) S 13790 13793 3242 0 -1 1077944384 58 12464 0 0 0 0 5 2 20 0 15 0 98020121 14327500800 43726 33554432000 4194304 4196468 140736177116384 140398727330832 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13845] ppid=13790 vsize=13991700 memory=5936396772060194151 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13845/stat : 13845 (java) S 13790 13793 3242 0 -1 1077944384 38 12464 0 0 0 0 5 2 20 0 15 0 98020121 14327500800 43726 33554432000 4194304 4196468 140736177116384 140398726278288 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13846] ppid=13790 vsize=13991700 memory=-7595718147998060693 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13846/stat : 13846 (java) S 13790 13793 3242 0 -1 1077944384 54 12464 0 0 0 0 5 2 20 0 15 0 98020121 14327500800 43726 33554432000 4194304 4196468 140736177116384 140398725225232 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13847] ppid=13790 vsize=13991700 memory=-7175204567652784766 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13847/stat : 13847 (java) S 13790 13793 3242 0 -1 1077944384 231 12464 0 0 0 0 5 2 20 0 15 0 98020121 14327500800 43726 33554432000 4194304 4196468 140736177116384 140398724172688 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13848] ppid=13790 vsize=13991700 memory=3054156605268465310 CPUtime=0.08 cores=1,3,5,7
/proc/13793/task/13848/stat : 13848 (java) S 13790 13793 3242 0 -1 1077944384 1490 12464 0 0 1 0 5 2 20 0 15 0 98020123 14327500800 43726 33554432000 4194304 4196468 140736177116384 140398286555376 140398812273282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13849] ppid=13790 vsize=13991700 memory=4715433313220523562 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13849/stat : 13849 (java) S 13790 13793 3242 0 -1 1077944384 54 12464 0 0 0 0 5 2 20 0 15 0 98020123 14327500800 43726 33554432000 4194304 4196468 140736177116384 140398285501664 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13850] ppid=13790 vsize=13991700 memory=-8412652177879177843 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13850/stat : 13850 (java) S 13790 13793 3242 0 -1 1077944384 44 12464 0 0 0 0 5 2 20 0 15 0 98020123 14327500800 43726 33554432000 4194304 4196468 140736177116384 140398284448512 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13851] ppid=13790 vsize=13991700 memory=-8341965534556230502 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13851/stat : 13851 (java) S 13790 13793 3242 0 -1 1077944384 3 12464 0 0 0 0 5 2 20 0 15 0 98020126 14327500800 43726 33554432000 4194304 4196468 140736177116384 140398283397072 140398812280731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13852] ppid=13790 vsize=13991700 memory=8514726395714825349 CPUtime=0.25 cores=1,3,5,7
/proc/13793/task/13852/stat : 13852 (java) S 13790 13793 3242 0 -1 1077944384 1344 12464 0 0 18 0 5 2 20 0 15 0 98020126 14327500800 43726 33554432000 4194304 4196468 140736177116384 140398282345200 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13853] ppid=13790 vsize=13991700 memory=-8253362762722141311 CPUtime=0.23 cores=1,3,5,7
/proc/13793/task/13853/stat : 13853 (java) R 13790 13793 3242 0 -1 4202560 682 12464 0 0 16 0 5 2 20 0 15 0 98020126 14327500800 43726 33554432000 4194304 4196468 140736177116384 140398281280800 140398793806323 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13854] ppid=13790 vsize=13991700 memory=-8707038579349950309 CPUtime=0.4 cores=1,3,5,7
/proc/13793/task/13854/stat : 13854 (java) R 13790 13793 3242 0 -1 1077944384 1426 12464 0 0 33 0 5 2 20 0 15 0 98020126 14327500800 43726 33554432000 4194304 4196468 140736177116384 140398280239600 140398812273282 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
################
# More data... #
################
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+213.801 s]
/proc/loadavg: 1.92 2.02 2.03 3/215 13985
/proc/meminfo: memFree=16747264/32770624 swapFree=67108860/67108860
[pid=13793] ppid=13790 vsize=14073808 memory=5709780 CPUtime=252.04 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 3242 0 -1 1077944320 175069 12464 0 0 24710 487 5 2 20 0 15 0 98020112 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140736177098928 140398812262135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
/proc/13793/statm: 3518452 1427445 3506 1 0 3506007 0
[pid=13793/tid=13843] ppid=13790 vsize=14073808 memory=2244 CPUtime=205.06 cores=1,3,5,7
/proc/13793/task/13843/stat : 13843 (java) R 13790 13793 3242 0 -1 4202560 76336 12464 0 0 20466 33 5 2 20 0 15 0 98020121 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398816496272 140398418231096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13844] ppid=13790 vsize=14073808 memory=4124 CPUtime=7.5 cores=1,3,5,7
/proc/13793/task/13844/stat : 13844 (java) S 13790 13793 3242 0 -1 1077944384 6467 12464 0 0 635 108 5 2 20 0 15 0 98020121 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398727330832 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13845] ppid=13790 vsize=14073808 memory=6791534058613427641 CPUtime=7.46 cores=1,3,5,7
/proc/13793/task/13845/stat : 13845 (java) S 13790 13793 3242 0 -1 1077944384 7753 12464 0 0 631 108 5 2 20 0 15 0 98020121 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398726278288 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13846] ppid=13790 vsize=14073808 memory=2408 CPUtime=7.48 cores=1,3,5,7
/proc/13793/task/13846/stat : 13846 (java) S 13790 13793 3242 0 -1 1077944384 9499 12464 0 0 633 108 5 2 20 0 15 0 98020121 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398725225232 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13847] ppid=13790 vsize=14073808 memory=1732 CPUtime=7.52 cores=1,3,5,7
/proc/13793/task/13847/stat : 13847 (java) S 13790 13793 3242 0 -1 1077944384 11401 12464 0 0 636 109 5 2 20 0 15 0 98020121 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398724172688 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13848] ppid=13790 vsize=14073808 memory=1224 CPUtime=1.25 cores=1,3,5,7
/proc/13793/task/13848/stat : 13848 (java) S 13790 13793 3242 0 -1 1077944384 16145 12464 0 0 115 3 5 2 20 0 15 0 98020123 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398286555376 140398812273282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13849] ppid=13790 vsize=14073808 memory=12032 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13849/stat : 13849 (java) S 13790 13793 3242 0 -1 1077944384 69 12464 0 0 0 0 5 2 20 0 15 0 98020123 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398285501728 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13850] ppid=13790 vsize=14073808 memory=5792 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13850/stat : 13850 (java) S 13790 13793 3242 0 -1 1077944384 57 12464 0 0 0 0 5 2 20 0 15 0 98020123 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398284448512 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13851] ppid=13790 vsize=14073808 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13851/stat : 13851 (java) S 13790 13793 3242 0 -1 1077944384 3 12464 0 0 0 0 5 2 20 0 15 0 98020126 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398283397072 140398812280731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13852] ppid=13790 vsize=14073808 memory=1436 CPUtime=6.44 cores=1,3,5,7
/proc/13793/task/13852/stat : 13852 (java) S 13790 13793 3242 0 -1 1077944384 11856 12464 0 0 635 2 5 2 20 0 15 0 98020126 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398282345200 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13853] ppid=13790 vsize=14073808 memory=1012 CPUtime=7.78 cores=1,3,5,7
/proc/13793/task/13853/stat : 13853 (java) S 13790 13793 3242 0 -1 1077944384 20904 12464 0 0 768 3 5 2 20 0 15 0 98020126 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398281292656 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13854] ppid=13790 vsize=14073808 memory=1712 CPUtime=1.89 cores=1,3,5,7
/proc/13793/task/13854/stat : 13854 (java) S 13790 13793 3242 0 -1 1077944384 11881 12464 0 0 179 3 5 2 20 0 15 0 98020126 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398280239600 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13855] ppid=13790 vsize=14073808 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13855/stat : 13855 (java) S 13790 13793 3242 0 -1 1077944384 3 12464 0 0 0 0 5 2 20 0 15 0 98020126 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398279187296 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13856] ppid=13790 vsize=14073808 memory=8612 CPUtime=0.18 cores=1,3,5,7
/proc/13793/task/13856/stat : 13856 (java) S 13790 13793 3242 0 -1 1077944384 551 12464 0 0 5 6 5 2 20 0 15 0 98020126 14411579392 1427445 33554432000 4194304 4196468 140736177116384 140398278134320 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 5709780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+214.532 s]
# the end of solver process 13793 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.502 s, system=4.96825 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+214.001 s]*
/proc/loadavg: 1.92 2.02 2.03 6/217 13987
/proc/meminfo: memFree=16625656/32770624 swapFree=67108860/67108860
[pid=13793] ppid=13790 vsize=14206936 memory=5745016 CPUtime=252.75 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 3242 0 -1 1077944320 185885 12464 0 0 24778 490 5 2 20 0 17 0 98020112 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140736177098928 140398812262135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
/proc/13793/statm: 3551734 1436254 3506 1 0 3539289 0
[pid=13793/tid=13843] ppid=13790 vsize=14206936 memory=2244 CPUtime=205.07 cores=1,3,5,7
/proc/13793/task/13843/stat : 13843 (java) S 13790 13793 3242 0 -1 1077944384 76947 12464 0 0 20467 33 5 2 20 0 17 0 98020121 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398816499840 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13844] ppid=13790 vsize=14206936 memory=4872558044660077418 CPUtime=7.68 cores=1,3,5,7
/proc/13793/task/13844/stat : 13844 (java) R 13790 13793 3242 0 -1 4202560 6484 12464 0 0 652 109 5 2 20 0 17 0 98020121 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398727331032 140398796962819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13845] ppid=13790 vsize=14206936 memory=844 CPUtime=7.62 cores=1,3,5,7
/proc/13793/task/13845/stat : 13845 (java) R 13790 13793 3242 0 -1 4202560 7805 12464 0 0 647 108 5 2 20 0 17 0 98020121 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398726278288 140398796962047 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13846] ppid=13790 vsize=14206936 memory=1692 CPUtime=7.64 cores=1,3,5,7
/proc/13793/task/13846/stat : 13846 (java) R 13790 13793 3242 0 -1 4202560 9548 12464 0 0 648 109 5 2 20 0 17 0 98020121 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398725225432 140398796962851 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13847] ppid=13790 vsize=14206936 memory=916 CPUtime=7.69 cores=1,3,5,7
/proc/13793/task/13847/stat : 13847 (java) R 13790 13793 3242 0 -1 4202560 11452 12464 0 0 653 109 5 2 20 0 17 0 98020121 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398724172688 140398796962860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13848] ppid=13790 vsize=14206936 memory=3832 CPUtime=1.28 cores=1,3,5,7
/proc/13793/task/13848/stat : 13848 (java) S 13790 13793 3242 0 -1 1077944384 25531 12464 0 0 118 3 5 2 20 0 17 0 98020123 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398286554000 140398812272341 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13849] ppid=13790 vsize=14206936 memory=2744 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13849/stat : 13849 (java) S 13790 13793 3242 0 -1 1077944384 69 12464 0 0 0 0 5 2 20 0 17 0 98020123 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398285501728 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13850] ppid=13790 vsize=14206936 memory=2696 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13850/stat : 13850 (java) S 13790 13793 3242 0 -1 1077944384 57 12464 0 0 0 0 5 2 20 0 17 0 98020123 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398284448512 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13851] ppid=13790 vsize=14206936 memory=4096 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13851/stat : 13851 (java) S 13790 13793 3242 0 -1 1077944384 150 12464 0 0 0 0 5 2 20 0 17 0 98020126 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398283397072 140398812280731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13852] ppid=13790 vsize=14206936 memory=1160 CPUtime=6.44 cores=1,3,5,7
/proc/13793/task/13852/stat : 13852 (java) S 13790 13793 3242 0 -1 1077944384 11856 12464 0 0 635 2 5 2 20 0 17 0 98020126 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398282345200 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13853] ppid=13790 vsize=14206936 memory=3168 CPUtime=7.78 cores=1,3,5,7
/proc/13793/task/13853/stat : 13853 (java) S 13790 13793 3242 0 -1 1077944384 20904 12464 0 0 768 3 5 2 20 0 17 0 98020126 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398281292656 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13854] ppid=13790 vsize=14206936 memory=5695444 CPUtime=1.89 cores=1,3,5,7
/proc/13793/task/13854/stat : 13854 (java) S 13790 13793 3242 0 -1 1077944384 12095 12464 0 0 179 3 5 2 20 0 17 0 98020126 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398280239600 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13855] ppid=13790 vsize=14206936 memory=1160 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13855/stat : 13855 (java) S 13790 13793 3242 0 -1 1077944384 3 12464 0 0 0 0 5 2 20 0 17 0 98020126 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398279187296 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13856] ppid=13790 vsize=14206936 memory=2804 CPUtime=0.18 cores=1,3,5,7
/proc/13793/task/13856/stat : 13856 (java) S 13790 13793 3242 0 -1 1077944384 551 12464 0 0 5 6 5 2 20 0 17 0 98020126 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398278134320 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13986] ppid=13790 vsize=14206936 memory=5231268 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13986/stat : 13986 (java) S 13790 13793 3242 0 -1 1077944384 264 12464 0 0 0 0 5 2 20 0 17 0 98041493 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140398254711152 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13987] ppid=13790 vsize=14206936 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13987/stat : 13987 (java) S 13790 13793 3242 0 -1 1077944384 24 12464 0 0 0 0 5 2 20 0 17 0 98041493 14547902464 1436254 33554432000 4194304 4196468 140736177116384 140397682877120 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
Current children cumulated CPU time: 252.75 s
Current children cumulated vsize: 14206936 KiB
Current children cumulated memory: 5745016 KiB
[startup+214.401 s]
/proc/loadavg: 1.92 2.02 2.03 6/217 13987
/proc/meminfo: memFree=16625656/32770624 swapFree=67108860/67108860
[pid=13793] ppid=13790 vsize=14206936 memory=5745044 CPUtime=254.1 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 3242 0 -1 1077944320 186636 12464 0 0 24913 490 5 2 20 0 17 0 98020112 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140736177098928 140398812262135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
/proc/13793/statm: 3551734 1436261 3506 1 0 3539289 0
[pid=13793/tid=13843] ppid=13790 vsize=14206936 memory=1732 CPUtime=205.07 cores=1,3,5,7
/proc/13793/task/13843/stat : 13843 (java) S 13790 13793 3242 0 -1 1077944384 76947 12464 0 0 20467 33 5 2 20 0 17 0 98020121 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398816499840 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13844] ppid=13790 vsize=14206936 memory=1224 CPUtime=8 cores=1,3,5,7
/proc/13793/task/13844/stat : 13844 (java) R 13790 13793 3242 0 -1 4202560 6504 12464 0 0 684 109 5 2 20 0 17 0 98020121 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398727330952 140398804890343 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13845] ppid=13790 vsize=14206936 memory=12032 CPUtime=7.95 cores=1,3,5,7
/proc/13793/task/13845/stat : 13845 (java) S 13790 13793 3242 0 -1 1077944384 7812 12464 0 0 680 108 5 2 20 0 17 0 98020121 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398726278288 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13846] ppid=13790 vsize=14206936 memory=5709780 CPUtime=7.97 cores=1,3,5,7
/proc/13793/task/13846/stat : 13846 (java) S 13790 13793 3242 0 -1 1077944384 9549 12464 0 0 681 109 5 2 20 0 17 0 98020121 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398725225248 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13847] ppid=13790 vsize=14206936 memory=2244 CPUtime=8.01 cores=1,3,5,7
/proc/13793/task/13847/stat : 13847 (java) S 13790 13793 3242 0 -1 1077944384 11453 12464 0 0 685 109 5 2 20 0 17 0 98020121 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398724172688 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13848] ppid=13790 vsize=14206936 memory=4124 CPUtime=1.35 cores=1,3,5,7
/proc/13793/task/13848/stat : 13848 (java) S 13790 13793 3242 0 -1 1077944384 26249 12464 0 0 124 4 5 2 20 0 17 0 98020123 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398286553968 140398812272341 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13849] ppid=13790 vsize=14206936 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13849/stat : 13849 (java) S 13790 13793 3242 0 -1 1077944384 71 12464 0 0 0 0 5 2 20 0 17 0 98020123 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398285501632 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13850] ppid=13790 vsize=14206936 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13850/stat : 13850 (java) S 13790 13793 3242 0 -1 1077944384 57 12464 0 0 0 0 5 2 20 0 17 0 98020123 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398284448512 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13851] ppid=13790 vsize=14206936 memory=12032 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13851/stat : 13851 (java) S 13790 13793 3242 0 -1 1077944384 150 12464 0 0 0 0 5 2 20 0 17 0 98020126 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398283397072 140398812280731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13852] ppid=13790 vsize=14206936 memory=5792 CPUtime=6.44 cores=1,3,5,7
/proc/13793/task/13852/stat : 13852 (java) S 13790 13793 3242 0 -1 1077944384 11856 12464 0 0 635 2 5 2 20 0 17 0 98020126 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398282345200 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13853] ppid=13790 vsize=14206936 memory=5674924 CPUtime=7.78 cores=1,3,5,7
/proc/13793/task/13853/stat : 13853 (java) S 13790 13793 3242 0 -1 1077944384 20904 12464 0 0 768 3 5 2 20 0 17 0 98020126 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398281292656 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13854] ppid=13790 vsize=14206936 memory=5674924 CPUtime=1.89 cores=1,3,5,7
/proc/13793/task/13854/stat : 13854 (java) S 13790 13793 3242 0 -1 1077944384 12095 12464 0 0 179 3 5 2 20 0 17 0 98020126 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398280239600 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13855] ppid=13790 vsize=14206936 memory=648 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13855/stat : 13855 (java) S 13790 13793 3242 0 -1 1077944384 3 12464 0 0 0 0 5 2 20 0 17 0 98020126 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398279187296 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13856] ppid=13790 vsize=14206936 memory=1240 CPUtime=0.19 cores=1,3,5,7
/proc/13793/task/13856/stat : 13856 (java) S 13790 13793 3242 0 -1 1077944384 551 12464 0 0 5 7 5 2 20 0 17 0 98020126 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398278134320 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13986] ppid=13790 vsize=14206936 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13986/stat : 13986 (java) S 13790 13793 3242 0 -1 1077944384 264 12464 0 0 0 0 5 2 20 0 17 0 98041493 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140398254711152 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13987] ppid=13790 vsize=14206936 memory=5672876 CPUtime=0.07 cores=1,3,5,7
/proc/13793/task/13987/stat : 13987 (java) S 13790 13793 3242 0 -1 1077944384 26 12464 0 0 0 0 5 2 20 0 17 0 98041493 14547902464 1436261 33554432000 4194304 4196468 140736177116384 140397682877424 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
Current children cumulated CPU time: 254.1 s
Current children cumulated vsize: 14206936 KiB
Current children cumulated memory: 5745044 KiB
[startup+214.501 s]
/proc/loadavg: 1.92 2.02 2.03 6/217 13987
/proc/meminfo: memFree=16625656/32770624 swapFree=67108860/67108860
[pid=13793] ppid=13790 vsize=14206936 memory=5745136 CPUtime=254.42 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 3242 0 -1 1077944320 186797 12464 0 0 24944 491 5 2 20 0 15 0 98020112 14547902464 1436284 33554432000 4194304 4196468 140736177116384 140736177098928 140398812262135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
/proc/13793/statm: 3551734 1436284 3508 1 0 3539289 0
[pid=13793/tid=13843] ppid=13790 vsize=14206936 memory=5745016 CPUtime=205.07 cores=1,3,5,7
/proc/13793/task/13843/stat : 13843 (java) S 13790 13793 3242 0 -1 1077944384 77032 12464 0 0 20467 33 5 2 20 0 15 0 98020121 14547902464 1436284 33554432000 4194304 4196468 140736177116384 140398816503536 140398812273282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13844] ppid=13790 vsize=14206936 memory=5695444 CPUtime=8.07 cores=1,3,5,7
/proc/13793/task/13844/stat : 13844 (java) S 13790 13793 3242 0 -1 1077944384 6504 12464 0 0 691 109 5 2 20 0 15 0 98020121 14547902464 1436284 33554432000 4194304 4196468 140736177116384 140398727330832 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13845] ppid=13790 vsize=14206936 memory=5674924 CPUtime=8.02 cores=1,3,5,7
/proc/13793/task/13845/stat : 13845 (java) S 13790 13793 3242 0 -1 1077944384 7812 12464 0 0 687 108 5 2 20 0 15 0 98020121 14547902464 1436284 33554432000 4194304 4196468 140736177116384 140398726278288 140398812272341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13846] ppid=13790 vsize=14206936 memory=5695444 CPUtime=8.04 cores=1,3,5,7
/proc/13793/task/13846/stat : 13846 (java) R 13790 13793 3242 0 -1 1077944384 9549 12464 0 0 688 109 5 2 20 0 15 0 98020121 14547902464 1436291 33554432000 4194304 4196468 140736177116384 140398725225232 140398812272341 256 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13847] ppid=13790 vsize=14206936 memory=5745044 CPUtime=8.08 cores=1,3,5,7
/proc/13793/task/13847/stat : 13847 (java) R 13790 13793 3242 0 -1 1077944384 11453 12464 0 0 692 109 5 2 20 0 12 0 98020121 14547902464 1436339 33554432000 4194304 4196468 140736177116384 140398724172688 140398812272341 256 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
[pid=13793/tid=13853] ppid=13790 vsize=14206936 memory=5709780 CPUtime=7.78 cores=1,3,5,7
/proc/13793/task/13853/stat : 13853 (java) R 13790 13793 3242 0 -1 1077944384 20904 12464 0 0 768 3 5 2 20 0 4 0 98020126 14547902464 1436351 33554432000 4194304 4196468 140736177116384 140398281292656 140398812273282 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34734080 140736177117846 140736177120631 140736177120631 140736177123279 0
Current children cumulated CPU time: 254.42 s
Current children cumulated vsize: 14206936 KiB
Current children cumulated memory: 5745136 KiB
Child status: 143
Real time (s): 214.532
CPU time (s): 254.47
CPU user time (s): 249.502
CPU system time (s): 4.96825
CPU usage (%): 118.617
Max. virtual memory (cumulated for all children) (KiB): 14206936
Max. memory (cumulated for all children) (KiB): 5745136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.502
system time used= 4.96825
maximum resident set size= 5745404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14208
involuntary context switches= 554
# summary of solver processes directly reported to runsolver:
# pid: 13793
# total CPU time (s): 254.47
# total CPU user time (s): 249.502
# total CPU system time (s): 4.96825
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17605 second user time and 2.22747 second system time
The end