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 (7401 MiB free)
memory of node 1: 16384 MiB (15130 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262847-1502634104/watcher-4262847-1502634104 -o /tmp/evaluation-result-4262847-1502634104/solver-4262847-1502634104 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502619490-21335 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262847-1502634104.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23916, runsolver pid=23913
[startup+0.100129 s]*
/proc/loadavg: 2.03 2.53 2.91 3/206 23922
/proc/meminfo: memFree=23065096/32770624 swapFree=67108860/67108860
[pid=23916] ppid=23913 vsize=10018544 memory=19456 CPUtime=0.02 cores=1,3,5,7
/proc/23916/stat : 23916 (java) S 23913 23916 8289 0 -1 1077944320 3700 0 0 0 1 1 0 0 20 0 7 0 111225567 10258989056 4864 18446744073709551615 4194304 4196468 140727489816592 140727489799136 140244743028471 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
/proc/23916/statm: 2504636 4864 1978 1 0 2494133 0
[pid=23916/tid=23918] ppid=23913 vsize=10018544 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23918/stat : 23918 (java) R 23913 23916 8289 0 -1 4202560 2402 0 0 0 0 0 0 0 20 0 7 0 111225576 10258989056 4930 18446744073709551615 4194304 4196468 140727489816592 140244747270928 140244708386416 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23919] ppid=23913 vsize=10018544 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23919/stat : 23919 (java) S 23913 23916 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 111225577 10258989056 4930 18446744073709551615 4194304 4196468 140727489816592 140244354333328 140244743038677 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23920] ppid=23913 vsize=10018544 memory=139681504548480 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23920/stat : 23920 (java) S 23913 23916 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 111225577 10258989056 4930 18446744073709551615 4194304 4196468 140727489816592 140244353280528 140244743038677 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23921] ppid=23913 vsize=10018544 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23921/stat : 23921 (java) S 23913 23916 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 111225577 10258989056 4930 18446744073709551615 4194304 4196468 140727489816592 140244352227728 140244743038677 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23922] ppid=23913 vsize=10018544 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23922/stat : 23922 (java) S 23913 23916 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 111225577 10258989056 4930 18446744073709551615 4194304 4196468 140727489816592 140244351174928 140244743038677 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23923] ppid=23913 vsize=10018544 memory=139681504548480 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23923/stat : 23923 (java) S 23913 23916 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 111225578 10258989056 4930 18446744073709551615 4194304 4196468 140727489816592 140244307225456 140244743039618 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10018544 KiB
Current children cumulated memory: 19456 KiB
[startup+0.210142 s]*
/proc/loadavg: 2.03 2.53 2.91 4/215 23931
/proc/meminfo: memFree=23060520/32770624 swapFree=67108860/67108860
[pid=23916] ppid=23913 vsize=10551156 memory=26216 CPUtime=0.08 cores=1,3,5,7
/proc/23916/stat : 23916 (java) S 23913 23916 8289 0 -1 1077944320 5060 0 0 0 7 1 0 0 20 0 15 0 111225567 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140727489799136 140244743028471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
/proc/23916/statm: 2637789 6554 2741 1 0 2627261 0
[pid=23916/tid=23918] ppid=23913 vsize=10551156 memory=7077796292425249400 CPUtime=0.07 cores=1,3,5,7
/proc/23916/task/23918/stat : 23918 (java) R 23913 23916 8289 0 -1 4202560 3031 0 0 0 6 1 0 0 20 0 15 0 111225576 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244747254160 140244743050397 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23919] ppid=23913 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23919/stat : 23919 (java) S 23913 23916 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111225577 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244354333328 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23920] ppid=23913 vsize=10551156 memory=139681504548480 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23920/stat : 23920 (java) S 23913 23916 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111225577 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244353280528 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23921] ppid=23913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23921/stat : 23921 (java) S 23913 23916 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111225577 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244352227728 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23922] ppid=23913 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23922/stat : 23922 (java) S 23913 23916 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111225577 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244351174928 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23923] ppid=23913 vsize=10551156 memory=139681504548480 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23923/stat : 23923 (java) S 23913 23916 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111225578 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244307225456 140244743039618 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23924] ppid=23913 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23924/stat : 23924 (java) S 23913 23916 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111225578 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244238198304 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23925] ppid=23913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23925/stat : 23925 (java) S 23913 23916 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111225579 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244237145456 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23926] ppid=23913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23926/stat : 23926 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111225581 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244236093776 140244743047067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23927] ppid=23913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23927/stat : 23927 (java) S 23913 23916 8289 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 111225581 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244235041136 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23928] ppid=23913 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23928/stat : 23928 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111225581 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244233988336 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23929] ppid=23913 vsize=10551156 memory=139681504548480 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23929/stat : 23929 (java) S 23913 23916 8289 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 111225581 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244232935536 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23930] ppid=23913 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23930/stat : 23930 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111225581 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244231882976 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23931] ppid=23913 vsize=10551156 memory=139681504548480 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23931/stat : 23931 (java) S 23913 23916 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111225587 10804383744 6554 18446744073709551615 4194304 4196468 140727489816592 140244230831280 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26216 KiB
[startup+0.31069 s]*
/proc/loadavg: 2.03 2.53 2.91 3/215 23931
/proc/meminfo: memFree=23047244/32770624 swapFree=67108860/67108860
[pid=23916] ppid=23913 vsize=10551156 memory=36792 CPUtime=0.24 cores=1,3,5,7
/proc/23916/stat : 23916 (java) S 23913 23916 8289 0 -1 1077944320 8424 0 0 0 21 3 0 0 20 0 15 0 111225567 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140727489799136 140244743028471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
/proc/23916/statm: 2637789 9198 2871 1 0 2627261 0
[pid=23916/tid=23918] ppid=23913 vsize=10551156 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/23916/task/23918/stat : 23918 (java) R 23913 23916 8289 0 -1 4202560 6068 0 0 0 14 2 0 0 20 0 15 0 111225576 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244747262720 140244727108958 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23919] ppid=23913 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23919/stat : 23919 (java) S 23913 23916 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111225577 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244354333328 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23920] ppid=23913 vsize=10551156 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23920/stat : 23920 (java) S 23913 23916 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111225577 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244353280528 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23921] ppid=23913 vsize=10551156 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23921/stat : 23921 (java) S 23913 23916 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111225577 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244352227728 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23922] ppid=23913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23922/stat : 23922 (java) S 23913 23916 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111225577 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244351174928 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23923] ppid=23913 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23923/stat : 23923 (java) S 23913 23916 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111225578 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244307225456 140244743039618 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23924] ppid=23913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23924/stat : 23924 (java) S 23913 23916 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111225578 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244238198304 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23925] ppid=23913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23925/stat : 23925 (java) S 23913 23916 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111225579 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244237145456 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23926] ppid=23913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23926/stat : 23926 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111225581 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244236093776 140244743047067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23927] ppid=23913 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23916/task/23927/stat : 23927 (java) S 23913 23916 8289 0 -1 1077944384 475 0 0 0 1 0 0 0 20 0 15 0 111225581 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244235041136 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23928] ppid=23913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23928/stat : 23928 (java) S 23913 23916 8289 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 111225581 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244233988336 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23929] ppid=23913 vsize=10551156 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23916/task/23929/stat : 23929 (java) S 23913 23916 8289 0 -1 1077944384 426 0 0 0 4 0 0 0 20 0 15 0 111225581 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244232935536 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23930] ppid=23913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23930/stat : 23930 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111225581 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244231882976 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23931] ppid=23913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23931/stat : 23931 (java) S 23913 23916 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111225587 10804383744 9198 18446744073709551615 4194304 4196468 140727489816592 140244230831280 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36792 KiB
[startup+0.700723 s]
/proc/loadavg: 2.03 2.53 2.91 5/215 23931
/proc/meminfo: memFree=23025832/32770624 swapFree=67108860/67108860
[pid=23916] ppid=23913 vsize=10551232 memory=95488 CPUtime=1.29 cores=1,3,5,7
/proc/23916/stat : 23916 (java) S 23913 23916 8289 0 -1 1077944320 12857 0 0 0 125 4 0 0 20 0 15 0 111225567 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140727489799136 140244743028471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
/proc/23916/statm: 2637808 23872 3059 1 0 2627261 0
[pid=23916/tid=23918] ppid=23913 vsize=10551232 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/23916/task/23918/stat : 23918 (java) R 23913 23916 8289 0 -1 4202560 7838 0 0 0 51 3 0 0 20 0 15 0 111225576 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244747263264 140244724977623 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23919] ppid=23913 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23919/stat : 23919 (java) S 23913 23916 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111225577 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244354333328 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23920] ppid=23913 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23920/stat : 23920 (java) S 23913 23916 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111225577 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244353280528 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23921] ppid=23913 vsize=10551232 memory=7813587196152592437 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23921/stat : 23921 (java) S 23913 23916 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111225577 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244352227728 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23922] ppid=23913 vsize=10551232 memory=279362792411040 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23922/stat : 23922 (java) S 23913 23916 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111225577 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244351174928 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23923] ppid=23913 vsize=10551232 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23923/stat : 23923 (java) S 23913 23916 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 111225578 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244307225456 140244743039618 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23924] ppid=23913 vsize=10551232 memory=15825482134324680 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23924/stat : 23924 (java) S 23913 23916 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111225578 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244238198304 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23925] ppid=23913 vsize=10551232 memory=11136 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23925/stat : 23925 (java) S 23913 23916 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111225579 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244237145456 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23926] ppid=23913 vsize=10551232 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23926/stat : 23926 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111225581 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244236093776 140244743047067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23927] ppid=23913 vsize=10551232 memory=4612 CPUtime=0.25 cores=1,3,5,7
/proc/23916/task/23927/stat : 23927 (java) R 23913 23916 8289 0 -1 4202560 1397 0 0 0 25 0 0 0 20 0 15 0 111225581 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244235041136 140244722247872 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23928] ppid=23913 vsize=10551232 memory=1436 CPUtime=0.24 cores=1,3,5,7
/proc/23916/task/23928/stat : 23928 (java) R 23913 23916 8289 0 -1 4202560 895 0 0 0 24 0 0 0 20 0 15 0 111225581 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244233988336 140244722684992 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23929] ppid=23913 vsize=10551232 memory=1200 CPUtime=0.23 cores=1,3,5,7
/proc/23916/task/23929/stat : 23929 (java) R 23913 23916 8289 0 -1 1077944384 1355 0 0 0 23 0 0 0 20 0 15 0 111225581 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244232935536 140244743039618 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23930] ppid=23913 vsize=10551232 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23930/stat : 23930 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111225581 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244231882976 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23931] ppid=23913 vsize=10551232 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23931/stat : 23931 (java) S 23913 23916 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111225587 10804461568 23872 18446744073709551615 4194304 4196468 140727489816592 140244230831280 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 95488 KiB
[startup+1.50169 s]
/proc/loadavg: 2.03 2.53 2.91 5/215 23931
/proc/meminfo: memFree=22889948/32770624 swapFree=67108860/67108860
[pid=23916] ppid=23913 vsize=10551232 memory=252896 CPUtime=3.81 cores=1,3,5,7
/proc/23916/stat : 23916 (java) S 23913 23916 8289 0 -1 1077944320 23887 0 0 0 371 10 0 0 20 0 15 0 111225567 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140727489799136 140244743028471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
/proc/23916/statm: 2637808 63224 3088 1 0 2627261 0
[pid=23916/tid=23918] ppid=23913 vsize=10551232 memory=221522655 CPUtime=1.28 cores=1,3,5,7
/proc/23916/task/23918/stat : 23918 (java) R 23913 23916 8289 0 -1 4202560 7914 0 0 0 124 4 0 0 20 0 15 0 111225576 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244747242704 140244388454938 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23919] ppid=23913 vsize=10551232 memory=7733671496602791828 CPUtime=0.02 cores=1,3,5,7
/proc/23916/task/23919/stat : 23919 (java) S 23913 23916 8289 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 15 0 111225577 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244354333328 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23920] ppid=23913 vsize=10551232 memory=9878424783013 CPUtime=0.02 cores=1,3,5,7
/proc/23916/task/23920/stat : 23920 (java) S 23913 23916 8289 0 -1 1077944384 14 0 0 0 2 0 0 0 20 0 15 0 111225577 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244353280528 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23921] ppid=23913 vsize=10551232 memory=288230617525780800 CPUtime=0.02 cores=1,3,5,7
/proc/23916/task/23921/stat : 23921 (java) S 23913 23916 8289 0 -1 1077944384 10 0 0 0 2 0 0 0 20 0 15 0 111225577 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244352227728 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23922] ppid=23913 vsize=10551232 memory=787735 CPUtime=0.05 cores=1,3,5,7
/proc/23916/task/23922/stat : 23922 (java) S 23913 23916 8289 0 -1 1077944384 39 0 0 0 5 0 0 0 20 0 15 0 111225577 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244351174928 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23923] ppid=23913 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23923/stat : 23923 (java) S 23913 23916 8289 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 111225578 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244307225456 140244743039618 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23924] ppid=23913 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23924/stat : 23924 (java) S 23913 23916 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111225578 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244238198304 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23925] ppid=23913 vsize=10551232 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23925/stat : 23925 (java) S 23913 23916 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 111225579 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244237145456 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23926] ppid=23913 vsize=10551232 memory=53792 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23926/stat : 23926 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111225581 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244236093776 140244743047067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23927] ppid=23913 vsize=10551232 memory=7518026621751088994 CPUtime=1.02 cores=1,3,5,7
/proc/23916/task/23927/stat : 23927 (java) R 23913 23916 8289 0 -1 4202560 6858 0 0 0 102 0 0 0 20 0 15 0 111225581 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244235027296 140244727950392 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23928] ppid=23913 vsize=10551232 memory=6082790130645754731 CPUtime=1.02 cores=1,3,5,7
/proc/23916/task/23928/stat : 23928 (java) R 23913 23916 8289 0 -1 4202560 5613 0 0 0 101 1 0 0 20 0 15 0 111225581 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244233974904 140244722247112 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23929] ppid=23913 vsize=10551232 memory=6293050847276651881 CPUtime=0.29 cores=1,3,5,7
/proc/23916/task/23929/stat : 23929 (java) S 23913 23916 8289 0 -1 1077944384 1975 0 0 0 29 0 0 0 20 0 15 0 111225581 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244232935536 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23930] ppid=23913 vsize=10551232 memory=5788630088553161816 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23930/stat : 23930 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111225581 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244231882976 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23931] ppid=23913 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23931/stat : 23931 (java) S 23913 23916 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111225587 10804461568 63224 18446744073709551615 4194304 4196468 140727489816592 140244230831280 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
################
# More data... #
################
/proc/23916/task/23921/stat : 23921 (java) S 23913 23916 8289 0 -1 1077944384 61560 0 0 0 3298 110 0 0 20 0 16 0 111225577 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244352227728 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23922] ppid=23913 vsize=10617796 memory=7316356 CPUtime=33.95 cores=1,3,5,7
/proc/23916/task/23922/stat : 23922 (java) S 23913 23916 8289 0 -1 1077944384 59688 0 0 0 3278 117 0 0 20 0 16 0 111225577 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244351174928 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23923] ppid=23913 vsize=10617796 memory=7316356 CPUtime=6.44 cores=1,3,5,7
/proc/23916/task/23923/stat : 23923 (java) S 23913 23916 8289 0 -1 1077944384 24480 0 0 0 639 5 0 0 20 0 16 0 111225578 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244307225456 140244743039618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23924] ppid=23913 vsize=10617796 memory=7316356 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23924/stat : 23924 (java) S 23913 23916 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 111225578 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244238198368 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23925] ppid=23913 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23925/stat : 23925 (java) S 23913 23916 8289 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 16 0 111225579 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244237145472 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23926] ppid=23913 vsize=10617796 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23926/stat : 23926 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111225581 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244236093776 140244743047067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23927] ppid=23913 vsize=10617796 memory=53896 CPUtime=2.74 cores=1,3,5,7
/proc/23916/task/23927/stat : 23927 (java) S 23913 23916 8289 0 -1 1077944384 17130 0 0 0 272 2 0 0 20 0 16 0 111225581 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244235041136 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23928] ppid=23913 vsize=10617796 memory=7316356 CPUtime=2.97 cores=1,3,5,7
/proc/23916/task/23928/stat : 23928 (java) S 23913 23916 8289 0 -1 1077944384 17881 0 0 0 294 3 0 0 20 0 16 0 111225581 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244233988336 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23929] ppid=23913 vsize=10617796 memory=4168 CPUtime=0.49 cores=1,3,5,7
/proc/23916/task/23929/stat : 23929 (java) S 23913 23916 8289 0 -1 1077944384 9093 0 0 0 48 1 0 0 20 0 16 0 111225581 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244232935536 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23930] ppid=23913 vsize=10617796 memory=956 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23930/stat : 23930 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111225581 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244231882976 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23931] ppid=23913 vsize=10617796 memory=2248 CPUtime=1.44 cores=1,3,5,7
/proc/23916/task/23931/stat : 23931 (java) S 23913 23916 8289 0 -1 1077944384 2157 0 0 0 62 82 0 0 20 0 16 0 111225587 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244230831280 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23933] ppid=23913 vsize=10617796 memory=7316356 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23933/stat : 23933 (java) S 23913 23916 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 111230752 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244229776816 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
Current children cumulated CPU time: 2431.23 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 7316356 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.17 3/216 24160
/proc/meminfo: memFree=23407284/32770624 swapFree=67108860/67108860
[pid=23916] ppid=23913 vsize=10617796 memory=7316356 CPUtime=2491.26 cores=1,3,5,7
/proc/23916/stat : 23916 (java) S 23913 23916 8289 0 -1 1077944320 487941 0 0 0 248544 582 0 0 20 0 16 0 111225567 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140727489799136 140244743028471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
/proc/23916/statm: 2654449 1829089 3143 1 0 2643902 0
[pid=23916/tid=23918] ppid=23913 vsize=10617796 memory=7316356 CPUtime=2341.35 cores=1,3,5,7
/proc/23916/task/23918/stat : 23918 (java) R 23913 23916 8289 0 -1 4202560 161806 0 0 0 234098 37 0 0 20 0 16 0 111225576 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244747267176 140244390973065 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23919] ppid=23913 vsize=10617796 memory=7316356 CPUtime=33.81 cores=1,3,5,7
/proc/23916/task/23919/stat : 23919 (java) S 23913 23916 8289 0 -1 1077944384 71785 0 0 0 3270 111 0 0 20 0 16 0 111225577 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244354333328 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23920] ppid=23913 vsize=10617796 memory=7316356 CPUtime=33.86 cores=1,3,5,7
/proc/23916/task/23920/stat : 23920 (java) S 23913 23916 8289 0 -1 1077944384 60809 0 0 0 3265 121 0 0 20 0 16 0 111225577 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244353280528 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23921] ppid=23913 vsize=10617796 memory=7316356 CPUtime=34.08 cores=1,3,5,7
/proc/23916/task/23921/stat : 23921 (java) S 23913 23916 8289 0 -1 1077944384 61560 0 0 0 3298 110 0 0 20 0 16 0 111225577 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244352227728 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23922] ppid=23913 vsize=10617796 memory=7316356 CPUtime=33.95 cores=1,3,5,7
/proc/23916/task/23922/stat : 23922 (java) S 23913 23916 8289 0 -1 1077944384 59688 0 0 0 3278 117 0 0 20 0 16 0 111225577 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244351174928 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23923] ppid=23913 vsize=10617796 memory=7316356 CPUtime=6.44 cores=1,3,5,7
/proc/23916/task/23923/stat : 23923 (java) S 23913 23916 8289 0 -1 1077944384 24488 0 0 0 639 5 0 0 20 0 16 0 111225578 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244307225456 140244743039618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23924] ppid=23913 vsize=10617796 memory=7316356 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23924/stat : 23924 (java) S 23913 23916 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 111225578 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244238198368 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23925] ppid=23913 vsize=10617796 memory=7316356 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23925/stat : 23925 (java) S 23913 23916 8289 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 16 0 111225579 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244237145472 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23926] ppid=23913 vsize=10617796 memory=7316356 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23926/stat : 23926 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111225581 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244236093776 140244743047067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23927] ppid=23913 vsize=10617796 memory=7316356 CPUtime=2.74 cores=1,3,5,7
/proc/23916/task/23927/stat : 23927 (java) S 23913 23916 8289 0 -1 1077944384 17144 0 0 0 272 2 0 0 20 0 16 0 111225581 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244235041136 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23928] ppid=23913 vsize=10617796 memory=4040 CPUtime=2.97 cores=1,3,5,7
/proc/23916/task/23928/stat : 23928 (java) S 23913 23916 8289 0 -1 1077944384 17884 0 0 0 294 3 0 0 20 0 16 0 111225581 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244233988336 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23929] ppid=23913 vsize=10617796 memory=7316356 CPUtime=0.49 cores=1,3,5,7
/proc/23916/task/23929/stat : 23929 (java) S 23913 23916 8289 0 -1 1077944384 9097 0 0 0 48 1 0 0 20 0 16 0 111225581 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244232935536 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23930] ppid=23913 vsize=10617796 memory=7316356 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23930/stat : 23930 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111225581 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244231882976 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23931] ppid=23913 vsize=10617796 memory=7316356 CPUtime=1.48 cores=1,3,5,7
/proc/23916/task/23931/stat : 23931 (java) S 23913 23916 8289 0 -1 1077944384 2198 0 0 0 64 84 0 0 20 0 16 0 111225587 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244230831280 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23933] ppid=23913 vsize=10617796 memory=7316356 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23933/stat : 23933 (java) S 23913 23916 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 111230752 10872623104 1829089 18446744073709551615 4194304 4196468 140727489816592 140244229776816 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
Current children cumulated CPU time: 2491.26 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 7316356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2410.2 s]
/proc/loadavg: 2.00 2.03 2.16 3/216 24161
/proc/meminfo: memFree=23407092/32770624 swapFree=67108860/67108860
[pid=23916] ppid=23913 vsize=10617796 memory=7316420 CPUtime=2520 cores=1,3,5,7
/proc/23916/stat : 23916 (java) S 23913 23916 8289 0 -1 1077944320 496867 0 0 0 251416 584 0 0 20 0 16 0 111225567 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140727489799136 140244743028471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
/proc/23916/statm: 2654449 1829105 3143 1 0 2643902 0
[pid=23916/tid=23918] ppid=23913 vsize=10617796 memory=0 CPUtime=2368.97 cores=1,3,5,7
/proc/23916/task/23918/stat : 23918 (java) R 23913 23916 8289 0 -1 4202560 163020 0 0 0 236860 37 0 0 20 0 16 0 111225576 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244747267392 140244390307588 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23919] ppid=23913 vsize=10617796 memory=4629771062077588875 CPUtime=34.09 cores=1,3,5,7
/proc/23916/task/23919/stat : 23919 (java) S 23913 23916 8289 0 -1 1077944384 74366 0 0 0 3298 111 0 0 20 0 16 0 111225577 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244354333328 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23920] ppid=23913 vsize=10617796 memory=3180 CPUtime=34.14 cores=1,3,5,7
/proc/23916/task/23920/stat : 23920 (java) S 23913 23916 8289 0 -1 1077944384 63508 0 0 0 3292 122 0 0 20 0 16 0 111225577 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244353280528 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23921] ppid=23913 vsize=10617796 memory=662180 CPUtime=34.35 cores=1,3,5,7
/proc/23916/task/23921/stat : 23921 (java) S 23913 23916 8289 0 -1 1077944384 62956 0 0 0 3325 110 0 0 20 0 16 0 111225577 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244352227728 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23922] ppid=23913 vsize=10617796 memory=6944656592455360604 CPUtime=34.23 cores=1,3,5,7
/proc/23916/task/23922/stat : 23922 (java) S 23913 23916 8289 0 -1 1077944384 60424 0 0 0 3305 118 0 0 20 0 16 0 111225577 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244351174928 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23923] ppid=23913 vsize=10617796 memory=205505595226854 CPUtime=6.44 cores=1,3,5,7
/proc/23916/task/23923/stat : 23923 (java) S 23913 23916 8289 0 -1 1077944384 24729 0 0 0 639 5 0 0 20 0 16 0 111225578 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244307225456 140244743039618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23924] ppid=23913 vsize=10617796 memory=7595153016151368256 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23924/stat : 23924 (java) S 23913 23916 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 111225578 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244238198368 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23925] ppid=23913 vsize=10617796 memory=164 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23925/stat : 23925 (java) S 23913 23916 8289 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 16 0 111225579 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244237145472 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23926] ppid=23913 vsize=10617796 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23926/stat : 23926 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111225581 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244236093776 140244743047067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23927] ppid=23913 vsize=10617796 memory=288230617509003574 CPUtime=2.74 cores=1,3,5,7
/proc/23916/task/23927/stat : 23927 (java) S 23913 23916 8289 0 -1 1077944384 17154 0 0 0 272 2 0 0 20 0 16 0 111225581 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244235041136 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23928] ppid=23913 vsize=10617796 memory=15825482134324680 CPUtime=2.97 cores=1,3,5,7
/proc/23916/task/23928/stat : 23928 (java) S 23913 23916 8289 0 -1 1077944384 17887 0 0 0 294 3 0 0 20 0 16 0 111225581 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244233988336 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23929] ppid=23913 vsize=10617796 memory=844 CPUtime=0.49 cores=1,3,5,7
/proc/23916/task/23929/stat : 23929 (java) S 23913 23916 8289 0 -1 1077944384 9104 0 0 0 48 1 0 0 20 0 16 0 111225581 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244232935536 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23930] ppid=23913 vsize=10617796 memory=18484 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23930/stat : 23930 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111225581 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244231882976 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23931] ppid=23913 vsize=10617796 memory=3912 CPUtime=1.49 cores=1,3,5,7
/proc/23916/task/23931/stat : 23931 (java) S 23913 23916 8289 0 -1 1077944384 2237 0 0 0 64 85 0 0 20 0 16 0 111225587 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244230831280 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23933] ppid=23913 vsize=10617796 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23933/stat : 23933 (java) S 23913 23916 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 111230752 10872623104 1829105 18446744073709551615 4194304 4196468 140727489816592 140244229776816 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 7316420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2410.48 s]
# the end of solver process 23916 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.2 s, system=5.89257 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2410.4 s]
/proc/loadavg: 2.00 2.03 2.16 3/216 24161
/proc/meminfo: memFree=23407092/32770624 swapFree=67108860/67108860
[pid=23916] ppid=23913 vsize=10817488 memory=7316640 CPUtime=2520.01 cores=1,3,5,7
/proc/23916/stat : 23916 (java) S 23913 23916 8289 0 -1 1077944320 497635 0 0 0 251417 584 0 0 20 0 17 0 111225567 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140727489799136 140244743028471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
/proc/23916/statm: 2704372 1829160 3145 1 0 2693825 0
[pid=23916/tid=23918] ppid=23913 vsize=10817488 memory=7316420 CPUtime=2368.98 cores=1,3,5,7
/proc/23916/task/23918/stat : 23918 (java) S 23913 23916 8289 0 -1 1077944384 163093 0 0 0 236861 37 0 0 20 0 17 0 111225576 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244747271344 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23919] ppid=23913 vsize=10817488 memory=7316420 CPUtime=34.09 cores=1,3,5,7
/proc/23916/task/23919/stat : 23919 (java) S 23913 23916 8289 0 -1 1077944384 74366 0 0 0 3298 111 0 0 20 0 17 0 111225577 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244354333328 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23920] ppid=23913 vsize=10817488 memory=7316420 CPUtime=34.14 cores=1,3,5,7
/proc/23916/task/23920/stat : 23920 (java) S 23913 23916 8289 0 -1 1077944384 63508 0 0 0 3292 122 0 0 20 0 17 0 111225577 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244353280528 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23921] ppid=23913 vsize=10817488 memory=7316420 CPUtime=34.35 cores=1,3,5,7
/proc/23916/task/23921/stat : 23921 (java) S 23913 23916 8289 0 -1 1077944384 62956 0 0 0 3325 110 0 0 20 0 17 0 111225577 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244352227728 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23922] ppid=23913 vsize=10817488 memory=-8774313645642428999 CPUtime=34.23 cores=1,3,5,7
/proc/23916/task/23922/stat : 23922 (java) S 23913 23916 8289 0 -1 1077944384 60424 0 0 0 3305 118 0 0 20 0 17 0 111225577 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244351174928 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23923] ppid=23913 vsize=10817488 memory=33120 CPUtime=6.44 cores=1,3,5,7
/proc/23916/task/23923/stat : 23923 (java) S 23913 23916 8289 0 -1 1077944384 24735 0 0 0 639 5 0 0 20 0 17 0 111225578 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244307225456 140244743039618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23924] ppid=23913 vsize=10817488 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23924/stat : 23924 (java) S 23913 23916 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 111225578 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244238198368 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23925] ppid=23913 vsize=10817488 memory=640 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23925/stat : 23925 (java) S 23913 23916 8289 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 17 0 111225579 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244237145472 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23926] ppid=23913 vsize=10817488 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23926/stat : 23926 (java) S 23913 23916 8289 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 17 0 111225581 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244236093776 140244743047067 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23927] ppid=23913 vsize=10817488 memory=7316420 CPUtime=2.74 cores=1,3,5,7
/proc/23916/task/23927/stat : 23927 (java) S 23913 23916 8289 0 -1 1077944384 17154 0 0 0 272 2 0 0 20 0 17 0 111225581 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244235041136 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23928] ppid=23913 vsize=10817488 memory=2440 CPUtime=2.97 cores=1,3,5,7
/proc/23916/task/23928/stat : 23928 (java) S 23913 23916 8289 0 -1 1077944384 17887 0 0 0 294 3 0 0 20 0 17 0 111225581 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244233988336 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23929] ppid=23913 vsize=10817488 memory=1724 CPUtime=0.49 cores=1,3,5,7
/proc/23916/task/23929/stat : 23929 (java) S 23913 23916 8289 0 -1 1077944384 9286 0 0 0 48 1 0 0 20 0 17 0 111225581 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244232935536 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23930] ppid=23913 vsize=10817488 memory=792 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23930/stat : 23930 (java) S 23913 23916 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 111225581 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244231882976 140244743038677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
[pid=23916/tid=23931] ppid=23913 vsize=10817488 memory=1716 CPUtime=1.49 cores=1,3,5,7
/proc/23916/task/23931/stat : 23931 (java) S 23913 23916 8289 0 -1 1077944384 2237 0 0 0 64 85 0 0 20 0 17 0 111225587 11077107712 1829160 18446744073709551615 4194304 4196468 140727489816592 140244230831280 140244743039618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140727489819024 140727489819177 140727489819177 140727489822671 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 7316640 KiB
Child status: 143
Real time (s): 2410.48
CPU time (s): 2520.09
CPU user time (s): 2514.2
CPU system time (s): 5.89257
CPU usage (%): 104.547
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 7316640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.2
system time used= 5.89257
maximum resident set size= 7316888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 498014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58154
involuntary context switches= 3365
# summary of solver processes directly reported to runsolver:
# pid: 23916
# total CPU time (s): 2520.09
# total CPU user time (s): 2514.2
# total CPU system time (s): 5.89257
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3206 second user time and 24.1698 second system time
The end