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 (13870 MiB free)
memory of node 1: 16384 MiB (14322 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289844-1532217166/watcher-4289844-1532217166 -o /tmp/evaluation-result-4289844-1532217166/solver-4289844-1532217166 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532209647-24670 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289844-1532217166.xml
running on 4 cores: 1,3,5,7
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
solver pid=25746, runsolver pid=25743
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 5.53 5.76 3.92 3/217 25761
/proc/meminfo: memFree=28850888/32770624 swapFree=67108860/67108860
[pid=25746] ppid=25743 vsize=10659012 memory=30084 CPUtime=0.12 cores=1,3,5,7
/proc/25746/stat : 25746 (java) S 25743 25746 22644 0 -1 1077944320 6607 0 0 0 11 1 0 0 20 0 15 0 39279793 10914828288 7521 33554432000 4194304 4196468 140734597535328 140734597517872 140298860830455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
/proc/25746/statm: 2664753 7521 2846 1 0 2627263 0
[pid=25746/tid=25748] ppid=25743 vsize=10659012 memory=-8773748148830113155 CPUtime=0.08 cores=1,3,5,7
/proc/25746/task/25748/stat : 25748 (java) R 25743 25746 22644 0 -1 4202560 4428 0 0 0 8 0 0 0 20 0 15 0 39279793 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298865035120 140298860842390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25749] ppid=25743 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25749/stat : 25749 (java) S 25743 25746 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39279794 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298802834320 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25750] ppid=25743 vsize=10659012 memory=140100687472256 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25750/stat : 25750 (java) S 25743 25746 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39279794 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298801781520 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25751] ppid=25743 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25751/stat : 25751 (java) S 25743 25746 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39279794 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298800729232 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25752] ppid=25743 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25752/stat : 25752 (java) S 25743 25746 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39279794 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298799676432 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25753] ppid=25743 vsize=10659012 memory=140100687472256 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25753/stat : 25753 (java) S 25743 25746 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39279796 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298098059376 140298860841602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25754] ppid=25743 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25754/stat : 25754 (java) S 25743 25746 22644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39279796 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298097005344 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25755] ppid=25743 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25755/stat : 25755 (java) S 25743 25746 22644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39279796 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298095953008 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25756] ppid=25743 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25756/stat : 25756 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39279798 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298094901328 140298860849051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25757] ppid=25743 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25757/stat : 25757 (java) S 25743 25746 22644 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 39279798 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298093849200 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25758] ppid=25743 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25758/stat : 25758 (java) R 25743 25746 22644 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 39279798 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298092796400 140298860842390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25759] ppid=25743 vsize=10659012 memory=140100687472256 CPUtime=0.02 cores=1,3,5,7
/proc/25746/task/25759/stat : 25759 (java) R 25743 25746 22644 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 39279798 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298091744112 140298860851802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25760] ppid=25743 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25760/stat : 25760 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39279799 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298090691552 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25761] ppid=25743 vsize=10659012 memory=140100687472256 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25761/stat : 25761 (java) S 25743 25746 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39279799 10914828288 7521 33554432000 4194304 4196468 140734597535328 140298089638320 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30084 KiB
[startup+0.210572 s]*
/proc/loadavg: 5.53 5.76 3.92 4/217 25761
/proc/meminfo: memFree=28841584/32770624 swapFree=67108860/67108860
[pid=25746] ppid=25743 vsize=10659012 memory=41792 CPUtime=0.33 cores=1,3,5,7
/proc/25746/stat : 25746 (java) S 25743 25746 22644 0 -1 1077944320 8119 0 0 0 31 2 0 0 20 0 15 0 39279793 10914828288 10448 33554432000 4194304 4196468 140734597535328 140734597517872 140298860830455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
/proc/25746/statm: 2664753 10448 3003 1 0 2627263 0
[pid=25746/tid=25748] ppid=25743 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/25746/task/25748/stat : 25748 (java) R 25743 25746 22644 0 -1 4202560 5018 0 0 0 19 1 0 0 20 0 15 0 39279793 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298865066736 140298844910942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25749] ppid=25743 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25749/stat : 25749 (java) S 25743 25746 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39279794 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298802834320 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25750] ppid=25743 vsize=10659012 memory=140100687666296 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25750/stat : 25750 (java) S 25743 25746 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39279794 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298801781520 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25751] ppid=25743 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25751/stat : 25751 (java) S 25743 25746 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39279794 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298800729232 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25752] ppid=25743 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25752/stat : 25752 (java) S 25743 25746 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39279794 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298799676432 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25753] ppid=25743 vsize=10659012 memory=140100687472256 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25753/stat : 25753 (java) S 25743 25746 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39279796 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298098059376 140298860841602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25754] ppid=25743 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25754/stat : 25754 (java) S 25743 25746 22644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39279796 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298097005344 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25755] ppid=25743 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25755/stat : 25755 (java) S 25743 25746 22644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39279796 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298095953008 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25756] ppid=25743 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25756/stat : 25756 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39279798 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298094901328 140298860849051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25757] ppid=25743 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25746/task/25757/stat : 25757 (java) S 25743 25746 22644 0 -1 1077944384 573 0 0 0 2 0 0 0 20 0 15 0 39279798 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298093849200 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25758] ppid=25743 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25746/task/25758/stat : 25758 (java) S 25743 25746 22644 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 15 0 39279798 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298092796400 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25759] ppid=25743 vsize=10659012 memory=140100687472256 CPUtime=0.07 cores=1,3,5,7
/proc/25746/task/25759/stat : 25759 (java) S 25743 25746 22644 0 -1 1077944384 705 0 0 0 7 0 0 0 20 0 15 0 39279798 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298091744112 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25760] ppid=25743 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25760/stat : 25760 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39279799 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298090691552 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25761] ppid=25743 vsize=10659012 memory=140100687472256 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25761/stat : 25761 (java) S 25743 25746 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39279799 10914828288 10448 33554432000 4194304 4196468 140734597535328 140298089638320 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41792 KiB
[startup+0.311154 s]*
/proc/loadavg: 5.53 5.76 3.92 5/217 25761
/proc/meminfo: memFree=28834140/32770624 swapFree=67108860/67108860
[pid=25746] ppid=25743 vsize=10659088 memory=47524 CPUtime=0.53 cores=1,3,5,7
/proc/25746/stat : 25746 (java) S 25743 25746 22644 0 -1 1077944320 8942 0 0 0 51 2 0 0 20 0 15 0 39279793 10914906112 11881 33554432000 4194304 4196468 140734597535328 140734597517872 140298860830455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
/proc/25746/statm: 2664772 11881 3055 1 0 2627263 0
[pid=25746/tid=25748] ppid=25743 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/25746/task/25748/stat : 25748 (java) R 25743 25746 22644 0 -1 4202560 5635 0 0 0 28 2 0 0 20 0 15 0 39279793 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298865067424 140298844910942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25749] ppid=25743 vsize=10659088 memory=288230604707987479 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25749/stat : 25749 (java) S 25743 25746 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39279794 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298802834320 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25750] ppid=25743 vsize=10659088 memory=140100687656026 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25750/stat : 25750 (java) S 25743 25746 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39279794 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298801781520 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25751] ppid=25743 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25751/stat : 25751 (java) S 25743 25746 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39279794 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298800729232 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25752] ppid=25743 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25752/stat : 25752 (java) S 25743 25746 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39279794 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298799676432 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25753] ppid=25743 vsize=10659088 memory=140100687472256 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25753/stat : 25753 (java) S 25743 25746 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39279796 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298098059376 140298860841602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25754] ppid=25743 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25754/stat : 25754 (java) S 25743 25746 22644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39279796 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298097005344 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25755] ppid=25743 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25755/stat : 25755 (java) S 25743 25746 22644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39279796 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298095953008 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25756] ppid=25743 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25756/stat : 25756 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39279798 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298094901328 140298860849051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25757] ppid=25743 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25746/task/25757/stat : 25757 (java) S 25743 25746 22644 0 -1 1077944384 687 0 0 0 4 0 0 0 20 0 15 0 39279798 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298093849200 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25758] ppid=25743 vsize=10659088 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/25746/task/25758/stat : 25758 (java) S 25743 25746 22644 0 -1 1077944384 477 0 0 0 5 0 0 0 20 0 15 0 39279798 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298092796400 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25759] ppid=25743 vsize=10659088 memory=140100687472256 CPUtime=0.12 cores=1,3,5,7
/proc/25746/task/25759/stat : 25759 (java) R 25743 25746 22644 0 -1 4202560 774 0 0 0 12 0 0 0 20 0 15 0 39279798 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298091742072 140298840268740 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25760] ppid=25743 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25760/stat : 25760 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39279799 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298090691552 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25761] ppid=25743 vsize=10659088 memory=140100687472256 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25761/stat : 25761 (java) S 25743 25746 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39279799 10914906112 11881 33554432000 4194304 4196468 140734597535328 140298089638320 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47524 KiB
[startup+0.70119 s]
/proc/loadavg: 5.53 5.76 3.92 5/217 25761
/proc/meminfo: memFree=28773452/32770624 swapFree=67108860/67108860
[pid=25746] ppid=25743 vsize=10659088 memory=124776 CPUtime=1.43 cores=1,3,5,7
/proc/25746/stat : 25746 (java) S 25743 25746 22644 0 -1 1077944320 11840 0 0 0 140 3 0 0 20 0 15 0 39279793 10914906112 31194 33554432000 4194304 4196468 140734597535328 140734597517872 140298860830455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
/proc/25746/statm: 2664772 31194 3103 1 0 2627263 0
[pid=25746/tid=25748] ppid=25743 vsize=10659088 memory=1724 CPUtime=0.67 cores=1,3,5,7
/proc/25746/task/25748/stat : 25748 (java) R 25743 25746 22644 0 -1 4202560 5759 0 0 0 65 2 0 0 20 0 15 0 39279793 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298865068704 140298481574919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25749] ppid=25743 vsize=10659088 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25749/stat : 25749 (java) S 25743 25746 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39279794 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298802834320 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25750] ppid=25743 vsize=10659088 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25750/stat : 25750 (java) S 25743 25746 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39279794 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298801781520 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25751] ppid=25743 vsize=10659088 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25751/stat : 25751 (java) S 25743 25746 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39279794 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298800729232 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25752] ppid=25743 vsize=10659088 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25752/stat : 25752 (java) S 25743 25746 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39279794 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298799676432 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25753] ppid=25743 vsize=10659088 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25753/stat : 25753 (java) S 25743 25746 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39279796 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298098059376 140298860841602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25754] ppid=25743 vsize=10659088 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25754/stat : 25754 (java) S 25743 25746 22644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39279796 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298097005344 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25755] ppid=25743 vsize=10659088 memory=8356 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25755/stat : 25755 (java) S 25743 25746 22644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39279796 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298095953008 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25756] ppid=25743 vsize=10659088 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25756/stat : 25756 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39279798 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298094901328 140298860849051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25757] ppid=25743 vsize=10659088 memory=7524502762334872664 CPUtime=0.34 cores=1,3,5,7
/proc/25746/task/25757/stat : 25757 (java) R 25743 25746 22644 0 -1 4202560 2466 0 0 0 34 0 0 0 20 0 15 0 39279798 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298093834376 140298840087030 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25758] ppid=25743 vsize=10659088 memory=5787213827130353767 CPUtime=0.21 cores=1,3,5,7
/proc/25746/task/25758/stat : 25758 (java) S 25743 25746 22644 0 -1 1077944384 1313 0 0 0 21 0 0 0 20 0 15 0 39279798 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298092796400 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25759] ppid=25743 vsize=10659088 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/25746/task/25759/stat : 25759 (java) S 25743 25746 22644 0 -1 1077944384 933 0 0 0 19 0 0 0 20 0 15 0 39279798 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298091744112 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25760] ppid=25743 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25760/stat : 25760 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39279799 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298090691552 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25761] ppid=25743 vsize=10659088 memory=33 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25761/stat : 25761 (java) S 25743 25746 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39279799 10914906112 31194 33554432000 4194304 4196468 140734597535328 140298089638320 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 124776 KiB
[startup+1.50078 s]
/proc/loadavg: 5.33 5.71 3.91 3/217 25761
/proc/meminfo: memFree=28731384/32770624 swapFree=67108860/67108860
[pid=25746] ppid=25743 vsize=10659088 memory=222492 CPUtime=2.49 cores=1,3,5,7
/proc/25746/stat : 25746 (java) S 25743 25746 22644 0 -1 1077944320 14701 0 0 0 239 10 0 0 20 0 15 0 39279793 10914906112 55623 33554432000 4194304 4196468 140734597535328 140734597517872 140298860830455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
/proc/25746/statm: 2664772 55623 3135 1 0 2627263 0
[pid=25746/tid=25748] ppid=25743 vsize=10659088 memory=6791534058613427641 CPUtime=1.43 cores=1,3,5,7
/proc/25746/task/25748/stat : 25748 (java) R 25743 25746 22644 0 -1 4202560 5913 0 0 0 140 3 0 0 20 0 15 0 39279793 10914906112 55623 33554432000 4194304 4196468 140734597535328 140298865069456 140298481742597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25749] ppid=25743 vsize=10659088 memory=-6951259422114956437 CPUtime=0.04 cores=1,3,5,7
/proc/25746/task/25749/stat : 25749 (java) S 25743 25746 22644 0 -1 1077944384 169 0 0 0 3 1 0 0 20 0 15 0 39279794 10914906112 55623 33554432000 4194304 4196468 140734597535328 140298802834320 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25750] ppid=25743 vsize=10659088 memory=-6509546260019855299 CPUtime=0.03 cores=1,3,5,7
/proc/25746/task/25750/stat : 25750 (java) S 25743 25746 22644 0 -1 1077944384 136 0 0 0 2 1 0 0 20 0 15 0 39279794 10914906112 55623 33554432000 4194304 4196468 140734597535328 140298801781520 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25751] ppid=25743 vsize=10659088 memory=-7390251449858225344 CPUtime=0.04 cores=1,3,5,7
/proc/25746/task/25751/stat : 25751 (java) S 25743 25746 22644 0 -1 1077944384 292 0 0 0 3 1 0 0 20 0 15 0 39279794 10914906112 55623 33554432000 4194304 4196468 140734597535328 140298800729232 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25752] ppid=25743 vsize=10659088 memory=4134692831991786133 CPUtime=0.03 cores=1,3,5,7
/proc/25746/task/25752/stat : 25752 (java) S 25743 25746 22644 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 15 0 39279794 10914906112 55623 33554432000 4194304 4196468 140734597535328 140298799676432 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25753] ppid=25743 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25753/stat : 25753 (java) S 25743 25746 22644 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 39279796 10914906112 55623 33554432000 4194304 4196468 140734597535328 140298098059376 140298860841602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
################
# More data... #
################
/proc/25746/task/25750/stat : 25750 (java) S 25743 25746 22644 0 -1 1077944384 8150 0 0 0 1240 85 0 0 20 0 16 0 39279794 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298801781520 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25751] ppid=25743 vsize=10727700 memory=4689552 CPUtime=13.16 cores=1,3,5,7
/proc/25746/task/25751/stat : 25751 (java) S 25743 25746 22644 0 -1 1077944384 7953 0 0 0 1230 86 0 0 20 0 16 0 39279794 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298800729232 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25752] ppid=25743 vsize=10727700 memory=4689552 CPUtime=13.22 cores=1,3,5,7
/proc/25746/task/25752/stat : 25752 (java) S 25743 25746 22644 0 -1 1077944384 5906 0 0 0 1235 87 0 0 20 0 16 0 39279794 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298799676432 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25753] ppid=25743 vsize=10727700 memory=164 CPUtime=4.94 cores=1,3,5,7
/proc/25746/task/25753/stat : 25753 (java) S 25743 25746 22644 0 -1 1077944384 13212 0 0 0 490 4 0 0 20 0 16 0 39279796 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298098059376 140298860841602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25754] ppid=25743 vsize=10727700 memory=4689552 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25754/stat : 25754 (java) S 25743 25746 22644 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 39279796 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298097005408 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25755] ppid=25743 vsize=10727700 memory=4689552 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25755/stat : 25755 (java) S 25743 25746 22644 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 39279796 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298095953024 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25756] ppid=25743 vsize=10727700 memory=4689552 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25756/stat : 25756 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39279798 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298094901328 140298860849051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25757] ppid=25743 vsize=10727700 memory=4689552 CPUtime=1.6 cores=1,3,5,7
/proc/25746/task/25757/stat : 25757 (java) S 25743 25746 22644 0 -1 1077944384 11095 0 0 0 159 1 0 0 20 0 16 0 39279798 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298093849200 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25758] ppid=25743 vsize=10727700 memory=4140 CPUtime=1.31 cores=1,3,5,7
/proc/25746/task/25758/stat : 25758 (java) S 25743 25746 22644 0 -1 1077944384 7323 0 0 0 129 2 0 0 20 0 16 0 39279798 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298092796400 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25759] ppid=25743 vsize=10727700 memory=14004 CPUtime=0.41 cores=1,3,5,7
/proc/25746/task/25759/stat : 25759 (java) S 25743 25746 22644 0 -1 1077944384 4534 0 0 0 40 1 0 0 20 0 16 0 39279798 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298091744112 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25760] ppid=25743 vsize=10727700 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25760/stat : 25760 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39279799 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298090691552 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25761] ppid=25743 vsize=10727700 memory=4689552 CPUtime=1.31 cores=1,3,5,7
/proc/25746/task/25761/stat : 25761 (java) S 25743 25746 22644 0 -1 1077944384 2169 0 0 0 61 70 0 0 20 0 16 0 39279799 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298089638320 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25762] ppid=25743 vsize=10727700 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25762/stat : 25762 (java) S 25743 25746 22644 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39281623 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298088583856 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
Current children cumulated CPU time: 2366.64 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4689552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2355.7 s]
/proc/loadavg: 2.20 2.12 2.23 3/218 25940
/proc/meminfo: memFree=23582668/32770624 swapFree=67108860/67108860
[pid=25746] ppid=25743 vsize=10727700 memory=4689552 CPUtime=2400.06 cores=1,3,5,7
/proc/25746/stat : 25746 (java) S 25743 25746 22644 0 -1 1077944320 242993 0 0 0 239544 462 0 0 20 0 16 0 39279793 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140734597517872 140298860830455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
/proc/25746/statm: 2681925 1172388 3185 1 0 2644416 0
[pid=25746/tid=25748] ppid=25743 vsize=10727700 memory=4689552 CPUtime=2337.52 cores=1,3,5,7
/proc/25746/task/25748/stat : 25748 (java) R 25743 25746 22644 0 -1 4202560 173076 0 0 0 233721 31 0 0 20 0 16 0 39279793 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298865067352 140298483300259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25749] ppid=25743 vsize=10727700 memory=4689552 CPUtime=13.23 cores=1,3,5,7
/proc/25746/task/25749/stat : 25749 (java) S 25743 25746 22644 0 -1 1077944384 8026 0 0 0 1225 98 0 0 20 0 16 0 39279794 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298802834320 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25750] ppid=25743 vsize=10727700 memory=4689552 CPUtime=13.25 cores=1,3,5,7
/proc/25746/task/25750/stat : 25750 (java) S 25743 25746 22644 0 -1 1077944384 8150 0 0 0 1240 85 0 0 20 0 16 0 39279794 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298801781520 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25751] ppid=25743 vsize=10727700 memory=4689552 CPUtime=13.16 cores=1,3,5,7
/proc/25746/task/25751/stat : 25751 (java) S 25743 25746 22644 0 -1 1077944384 7953 0 0 0 1230 86 0 0 20 0 16 0 39279794 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298800729232 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25752] ppid=25743 vsize=10727700 memory=4689552 CPUtime=13.22 cores=1,3,5,7
/proc/25746/task/25752/stat : 25752 (java) S 25743 25746 22644 0 -1 1077944384 5906 0 0 0 1235 87 0 0 20 0 16 0 39279794 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298799676432 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25753] ppid=25743 vsize=10727700 memory=113 CPUtime=4.94 cores=1,3,5,7
/proc/25746/task/25753/stat : 25753 (java) S 25743 25746 22644 0 -1 1077944384 13221 0 0 0 490 4 0 0 20 0 16 0 39279796 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298098059376 140298860841602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25754] ppid=25743 vsize=10727700 memory=4689552 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25754/stat : 25754 (java) S 25743 25746 22644 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 39279796 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298097005408 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25755] ppid=25743 vsize=10727700 memory=4689552 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25755/stat : 25755 (java) S 25743 25746 22644 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 39279796 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298095953024 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25756] ppid=25743 vsize=10727700 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25756/stat : 25756 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39279798 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298094901328 140298860849051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25757] ppid=25743 vsize=10727700 memory=4689552 CPUtime=1.6 cores=1,3,5,7
/proc/25746/task/25757/stat : 25757 (java) S 25743 25746 22644 0 -1 1077944384 11102 0 0 0 159 1 0 0 20 0 16 0 39279798 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298093849200 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25758] ppid=25743 vsize=10727700 memory=4689552 CPUtime=1.31 cores=1,3,5,7
/proc/25746/task/25758/stat : 25758 (java) S 25743 25746 22644 0 -1 1077944384 7334 0 0 0 129 2 0 0 20 0 16 0 39279798 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298092796400 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25759] ppid=25743 vsize=10727700 memory=4689552 CPUtime=0.41 cores=1,3,5,7
/proc/25746/task/25759/stat : 25759 (java) S 25743 25746 22644 0 -1 1077944384 4537 0 0 0 40 1 0 0 20 0 16 0 39279798 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298091744112 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25760] ppid=25743 vsize=10727700 memory=4689552 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25760/stat : 25760 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39279799 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298090691552 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25761] ppid=25743 vsize=10727700 memory=4689552 CPUtime=1.33 cores=1,3,5,7
/proc/25746/task/25761/stat : 25761 (java) S 25743 25746 22644 0 -1 1077944384 2209 0 0 0 62 71 0 0 20 0 16 0 39279799 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298089638320 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25762] ppid=25743 vsize=10727700 memory=14044 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25762/stat : 25762 (java) S 25743 25746 22644 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39281623 10985164800 1172388 33554432000 4194304 4196468 140734597535328 140298088583856 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4689552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2355.96 s]
# the end of solver process 25746 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.49 s, system=4.6485 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2355.81 s]
/proc/loadavg: 2.20 2.12 2.23 3/218 25940
/proc/meminfo: memFree=23582668/32770624 swapFree=67108860/67108860
[pid=25746] ppid=25743 vsize=10927392 memory=4689884 CPUtime=2400.07 cores=1,3,5,7
/proc/25746/stat : 25746 (java) S 25743 25746 22644 0 -1 1077944320 243889 0 0 0 239545 462 0 0 20 0 17 0 39279793 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140734597517872 140298860830455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
/proc/25746/statm: 2731848 1172471 3187 1 0 2694339 0
[pid=25746/tid=25748] ppid=25743 vsize=10927392 memory=4689552 CPUtime=2337.53 cores=1,3,5,7
/proc/25746/task/25748/stat : 25748 (java) S 25743 25746 22644 0 -1 1077944384 173172 0 0 0 233722 31 0 0 20 0 17 0 39279793 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298865073328 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25749] ppid=25743 vsize=10927392 memory=4689552 CPUtime=13.23 cores=1,3,5,7
/proc/25746/task/25749/stat : 25749 (java) S 25743 25746 22644 0 -1 1077944384 8026 0 0 0 1225 98 0 0 20 0 17 0 39279794 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298802834320 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25750] ppid=25743 vsize=10927392 memory=4689552 CPUtime=13.25 cores=1,3,5,7
/proc/25746/task/25750/stat : 25750 (java) S 25743 25746 22644 0 -1 1077944384 8150 0 0 0 1240 85 0 0 20 0 17 0 39279794 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298801781520 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25751] ppid=25743 vsize=10927392 memory=6791534058613427641 CPUtime=13.16 cores=1,3,5,7
/proc/25746/task/25751/stat : 25751 (java) S 25743 25746 22644 0 -1 1077944384 7953 0 0 0 1230 86 0 0 20 0 17 0 39279794 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298800729232 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25752] ppid=25743 vsize=10927392 memory=1724 CPUtime=13.22 cores=1,3,5,7
/proc/25746/task/25752/stat : 25752 (java) S 25743 25746 22644 0 -1 1077944384 5906 0 0 0 1235 87 0 0 20 0 17 0 39279794 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298799676432 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25753] ppid=25743 vsize=10927392 memory=1004 CPUtime=4.94 cores=1,3,5,7
/proc/25746/task/25753/stat : 25753 (java) S 25743 25746 22644 0 -1 1077944384 13255 0 0 0 490 4 0 0 20 0 17 0 39279796 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298098059376 140298860841602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25754] ppid=25743 vsize=10927392 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25754/stat : 25754 (java) S 25743 25746 22644 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 17 0 39279796 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298097005408 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25755] ppid=25743 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25755/stat : 25755 (java) S 25743 25746 22644 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 17 0 39279796 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298095953024 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25756] ppid=25743 vsize=10927392 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25756/stat : 25756 (java) S 25743 25746 22644 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 17 0 39279798 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298094901328 140298860849051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25757] ppid=25743 vsize=10927392 memory=15872 CPUtime=1.6 cores=1,3,5,7
/proc/25746/task/25757/stat : 25757 (java) S 25743 25746 22644 0 -1 1077944384 11102 0 0 0 159 1 0 0 20 0 17 0 39279798 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298093849200 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25758] ppid=25743 vsize=10927392 memory=4052 CPUtime=1.31 cores=1,3,5,7
/proc/25746/task/25758/stat : 25758 (java) S 25743 25746 22644 0 -1 1077944384 7334 0 0 0 129 2 0 0 20 0 17 0 39279798 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298092796400 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25759] ppid=25743 vsize=10927392 memory=1792 CPUtime=0.41 cores=1,3,5,7
/proc/25746/task/25759/stat : 25759 (java) S 25743 25746 22644 0 -1 1077944384 4660 0 0 0 40 1 0 0 20 0 17 0 39279798 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298091744112 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25760] ppid=25743 vsize=10927392 memory=956 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25760/stat : 25760 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39279799 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298090691552 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25761] ppid=25743 vsize=10927392 memory=2340 CPUtime=1.33 cores=1,3,5,7
/proc/25746/task/25761/stat : 25761 (java) S 25743 25746 22644 0 -1 1077944384 2209 0 0 0 62 71 0 0 20 0 17 0 39279799 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298089638320 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4689884 KiB
[startup+2355.9 s]
/proc/loadavg: 2.20 2.12 2.23 3/218 25940
/proc/meminfo: memFree=23582668/32770624 swapFree=67108860/67108860
[pid=25746] ppid=25743 vsize=10927392 memory=4689884 CPUtime=2400.07 cores=1,3,5,7
/proc/25746/stat : 25746 (java) S 25743 25746 22644 0 -1 1077944320 243889 0 0 0 239545 462 0 0 20 0 17 0 39279793 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140734597517872 140298860830455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
/proc/25746/statm: 2731848 1172471 3187 1 0 2694339 0
[pid=25746/tid=25748] ppid=25743 vsize=10927392 memory=4689552 CPUtime=2337.53 cores=1,3,5,7
/proc/25746/task/25748/stat : 25748 (java) S 25743 25746 22644 0 -1 1077944384 173172 0 0 0 233722 31 0 0 20 0 17 0 39279793 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298865073328 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25749] ppid=25743 vsize=10927392 memory=4689552 CPUtime=13.23 cores=1,3,5,7
/proc/25746/task/25749/stat : 25749 (java) S 25743 25746 22644 0 -1 1077944384 8026 0 0 0 1225 98 0 0 20 0 17 0 39279794 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298802834320 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25750] ppid=25743 vsize=10927392 memory=4689552 CPUtime=13.25 cores=1,3,5,7
/proc/25746/task/25750/stat : 25750 (java) S 25743 25746 22644 0 -1 1077944384 8150 0 0 0 1240 85 0 0 20 0 17 0 39279794 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298801781520 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25751] ppid=25743 vsize=10927392 memory=4689552 CPUtime=13.16 cores=1,3,5,7
/proc/25746/task/25751/stat : 25751 (java) S 25743 25746 22644 0 -1 1077944384 7953 0 0 0 1230 86 0 0 20 0 17 0 39279794 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298800729232 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25752] ppid=25743 vsize=10927392 memory=4689552 CPUtime=13.22 cores=1,3,5,7
/proc/25746/task/25752/stat : 25752 (java) S 25743 25746 22644 0 -1 1077944384 5906 0 0 0 1235 87 0 0 20 0 17 0 39279794 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298799676432 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25753] ppid=25743 vsize=10927392 memory=4689552 CPUtime=4.94 cores=1,3,5,7
/proc/25746/task/25753/stat : 25753 (java) S 25743 25746 22644 0 -1 1077944384 13255 0 0 0 490 4 0 0 20 0 17 0 39279796 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298098059376 140298860841602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25754] ppid=25743 vsize=10927392 memory=4689552 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25754/stat : 25754 (java) S 25743 25746 22644 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 17 0 39279796 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298097005408 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25755] ppid=25743 vsize=10927392 memory=4689552 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25755/stat : 25755 (java) S 25743 25746 22644 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 17 0 39279796 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298095953024 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25756] ppid=25743 vsize=10927392 memory=4689552 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25756/stat : 25756 (java) S 25743 25746 22644 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 17 0 39279798 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298094901328 140298860849051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25757] ppid=25743 vsize=10927392 memory=4689552 CPUtime=1.6 cores=1,3,5,7
/proc/25746/task/25757/stat : 25757 (java) S 25743 25746 22644 0 -1 1077944384 11102 0 0 0 159 1 0 0 20 0 17 0 39279798 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298093849200 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25758] ppid=25743 vsize=10927392 memory=4689552 CPUtime=1.31 cores=1,3,5,7
/proc/25746/task/25758/stat : 25758 (java) S 25743 25746 22644 0 -1 1077944384 7334 0 0 0 129 2 0 0 20 0 17 0 39279798 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298092796400 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25759] ppid=25743 vsize=10927392 memory=1712 CPUtime=0.41 cores=1,3,5,7
/proc/25746/task/25759/stat : 25759 (java) S 25743 25746 22644 0 -1 1077944384 4660 0 0 0 40 1 0 0 20 0 17 0 39279798 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298091744112 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25760] ppid=25743 vsize=10927392 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/25746/task/25760/stat : 25760 (java) S 25743 25746 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39279799 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298090691552 140298860840661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
[pid=25746/tid=25761] ppid=25743 vsize=10927392 memory=4689552 CPUtime=1.33 cores=1,3,5,7
/proc/25746/task/25761/stat : 25761 (java) S 25743 25746 22644 0 -1 1077944384 2209 0 0 0 62 71 0 0 20 0 17 0 39279799 11189649408 1172471 33554432000 4194304 4196468 140734597535328 140298089638320 140298860841602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37732352 140734597538929 140734597539081 140734597539081 140734597541839 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4689884 KiB
Child status: 143
Real time (s): 2355.96
CPU time (s): 2400.13
CPU user time (s): 2395.49
CPU system time (s): 4.6485
CPU usage (%): 101.875
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 4689884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.49
system time used= 4.6485
maximum resident set size= 4690024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245060
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53985
involuntary context switches= 1322
# summary of solver processes directly reported to runsolver:
# pid: 25746
# total CPU time (s): 2400.13
# total CPU user time (s): 2395.49
# total CPU system time (s): 4.6485
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.226 second user time and 22.4272 second system time
The end