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 (9603 MiB free)
memory of node 1: 16384 MiB (14260 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263050-1502627492/watcher-4263050-1502627492 -o /tmp/evaluation-result-4263050-1502627492/solver-4263050-1502627492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502624014-12473 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263050-1502627492.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
solver pid=13847, runsolver pid=13844
Current StackSize limit: 8192 KiB
[startup+0.102568 s]*
/proc/loadavg: 5.62 6.49 5.58 6/215 13862
/proc/meminfo: memFree=24417088/32770624 swapFree=67108860/67108860
[pid=13847] ppid=13844 vsize=10555400 memory=30288 CPUtime=0.13 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6338 0 -1 1077944320 6693 0 0 0 12 1 0 0 20 0 15 0 95830294 10808729600 7572 33554432000 4194304 4196468 140722672979056 140722672961600 140525157240567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
/proc/13847/statm: 2638850 7572 2791 1 0 2627263 0
[pid=13847/tid=13849] ppid=13844 vsize=10555400 memory=-7254954386087372155 CPUtime=0.09 cores=1,3,5,7
/proc/13847/task/13849/stat : 13849 (java) R 13844 13847 6338 0 -1 4202560 4548 0 0 0 8 1 0 0 20 0 15 0 95830294 10808729600 7572 33554432000 4194304 4196468 140722672979056 140525161462432 140525157262493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13850] ppid=13844 vsize=10555400 memory=5793855134105770425 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830295 10808729600 7572 33554432000 4194304 4196468 140722672979056 140525093931280 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13851] ppid=13844 vsize=10555400 memory=139883095877248 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830295 10808729600 7572 33554432000 4194304 4196468 140722672979056 140525092878736 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13852] ppid=13844 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830295 10808729600 7572 33554432000 4194304 4196468 140722672979056 140525091826192 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13853] ppid=13844 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830295 10808729600 7572 33554432000 4194304 4196468 140722672979056 140525090773648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13854] ppid=13844 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830296 10808729600 7572 33554432000 4194304 4196468 140722672979056 140524649196016 140525157251714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13855] ppid=13844 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95830297 10808729600 7572 33554432000 4194304 4196468 140722672979056 140524648142240 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13856] ppid=13844 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95830297 10808729600 7572 33554432000 4194304 4196468 140722672979056 140524647089648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13857] ppid=13844 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830299 10808729600 7572 33554432000 4194304 4196468 140722672979056 140524646038224 140525157259163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13858] ppid=13844 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13844 13847 6338 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 95830299 10808729600 7572 33554432000 4194304 4196468 140722672979056 140524644984816 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13859] ppid=13844 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) S 13844 13847 6338 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 95830299 10808729600 7572 33554432000 4194304 4196468 140722672979056 140524643932272 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13860] ppid=13844 vsize=10555400 memory=139883095877248 CPUtime=0.02 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13844 13847 6338 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 95830299 10808729600 7572 33554432000 4194304 4196468 140722672979056 140524642879728 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13861] ppid=13844 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830300 10808729600 7572 33554432000 4194304 4196468 140722672979056 140524641827424 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13862] ppid=13844 vsize=10555400 memory=139883095877248 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830300 10808729600 7572 33554432000 4194304 4196468 140722672979056 140524640774960 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30288 KiB
[startup+0.212056 s]*
/proc/loadavg: 5.62 6.49 5.58 6/215 13862
/proc/meminfo: memFree=24389732/32770624 swapFree=67108860/67108860
[pid=13847] ppid=13844 vsize=10555400 memory=39440 CPUtime=0.3 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6338 0 -1 1077944320 7981 0 0 0 28 2 0 0 20 0 15 0 95830294 10808729600 9860 33554432000 4194304 4196468 140722672979056 140722672961600 140525157240567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
/proc/13847/statm: 2638850 9860 2906 1 0 2627263 0
[pid=13847/tid=13849] ppid=13844 vsize=10555400 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/13847/task/13849/stat : 13849 (java) R 13844 13847 6338 0 -1 4202560 5234 0 0 0 19 1 0 0 20 0 15 0 95830294 10808729600 9860 33554432000 4194304 4196468 140722672979056 140525161462944 140525157252502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13850] ppid=13844 vsize=10555400 memory=4211973609300667786 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830295 10808729600 9860 33554432000 4194304 4196468 140722672979056 140525093931280 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13851] ppid=13844 vsize=10555400 memory=139883095877248 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830295 10808729600 9860 33554432000 4194304 4196468 140722672979056 140525092878736 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13852] ppid=13844 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830295 10808729600 9860 33554432000 4194304 4196468 140722672979056 140525091826192 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13853] ppid=13844 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830295 10808729600 9860 33554432000 4194304 4196468 140722672979056 140525090773648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13854] ppid=13844 vsize=10555400 memory=139883095877248 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830296 10808729600 9860 33554432000 4194304 4196468 140722672979056 140524649196016 140525157251714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13855] ppid=13844 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95830297 10808729600 9860 33554432000 4194304 4196468 140722672979056 140524648142240 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13856] ppid=13844 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95830297 10808729600 9860 33554432000 4194304 4196468 140722672979056 140524647089648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13857] ppid=13844 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830299 10808729600 9860 33554432000 4194304 4196468 140722672979056 140524646038224 140525157259163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13858] ppid=13844 vsize=10555400 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) R 13844 13847 6338 0 -1 4202560 385 0 0 0 1 0 0 0 20 0 15 0 95830299 10808729600 9860 33554432000 4194304 4196468 140722672979056 140524644984816 140525138598224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13859] ppid=13844 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) R 13844 13847 6338 0 -1 1077944384 227 0 0 0 1 0 0 0 20 0 15 0 95830299 10808729600 9860 33554432000 4194304 4196468 140722672979056 140524643932272 140525157251714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13860] ppid=13844 vsize=10555400 memory=139883095877248 CPUtime=0.06 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) R 13844 13847 6338 0 -1 4202560 769 0 0 0 6 0 0 0 20 0 15 0 95830299 10808729600 9860 33554432000 4194304 4196468 140722672979056 140524642879728 140525149477694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13861] ppid=13844 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830300 10808729600 9860 33554432000 4194304 4196468 140722672979056 140524641827424 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13862] ppid=13844 vsize=10555400 memory=139883095877248 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830300 10808729600 9860 33554432000 4194304 4196468 140722672979056 140524640774960 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39440 KiB
[startup+0.311405 s]*
/proc/loadavg: 5.62 6.49 5.58 8/215 13862
/proc/meminfo: memFree=24383296/32770624 swapFree=67108860/67108860
[pid=13847] ppid=13844 vsize=10555476 memory=46500 CPUtime=0.52 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6338 0 -1 1077944320 8716 0 0 0 49 3 0 0 20 0 15 0 95830294 10808807424 11625 33554432000 4194304 4196468 140722672979056 140722672961600 140525157240567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
/proc/13847/statm: 2638869 11625 3036 1 0 2627263 0
[pid=13847/tid=13849] ppid=13844 vsize=10555476 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/13847/task/13849/stat : 13849 (java) R 13844 13847 6338 0 -1 4202560 5599 0 0 0 29 1 0 0 20 0 15 0 95830294 10808807424 11625 33554432000 4194304 4196468 140722672979056 140525161478896 140524770170800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13850] ppid=13844 vsize=10555476 memory=4211973609300667786 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830295 10808807424 11625 33554432000 4194304 4196468 140722672979056 140525093931280 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13851] ppid=13844 vsize=10555476 memory=139883095879605 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830295 10808807424 11625 33554432000 4194304 4196468 140722672979056 140525092878736 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13852] ppid=13844 vsize=10555476 memory=139882991305426 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830295 10808807424 11625 33554432000 4194304 4196468 140722672979056 140525091826192 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13853] ppid=13844 vsize=10555476 memory=139882991308239 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830295 10808807424 11625 33554432000 4194304 4196468 140722672979056 140525090773648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13854] ppid=13844 vsize=10555476 memory=139883095883613 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830296 10808807424 11625 33554432000 4194304 4196468 140722672979056 140524649196016 140525157251714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13855] ppid=13844 vsize=10555476 memory=139882991317423 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95830297 10808807424 11625 33554432000 4194304 4196468 140722672979056 140524648142240 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13856] ppid=13844 vsize=10555476 memory=279765982625680 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95830297 10808807424 11625 33554432000 4194304 4196468 140722672979056 140524647089648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13857] ppid=13844 vsize=10555476 memory=279765982623376 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830299 10808807424 11625 33554432000 4194304 4196468 140722672979056 140524646038224 140525157259163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13858] ppid=13844 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13844 13847 6338 0 -1 1077944384 591 0 0 0 4 0 0 0 20 0 15 0 95830299 10808807424 11625 33554432000 4194304 4196468 140722672979056 140524644984816 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13859] ppid=13844 vsize=10555476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) R 13844 13847 6338 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 15 0 95830299 10808807424 11625 33554432000 4194304 4196468 140722672979056 140524643932272 140525157251714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13860] ppid=13844 vsize=10555476 memory=139883095877248 CPUtime=0.12 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13844 13847 6338 0 -1 1077944384 886 0 0 0 12 0 0 0 20 0 15 0 95830299 10808807424 11625 33554432000 4194304 4196468 140722672979056 140524642879728 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13861] ppid=13844 vsize=10555476 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830300 10808807424 11625 33554432000 4194304 4196468 140722672979056 140524641827424 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13862] ppid=13844 vsize=10555476 memory=139883095877248 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830300 10808807424 11625 33554432000 4194304 4196468 140722672979056 140524640774960 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46500 KiB
[startup+0.701142 s]
/proc/loadavg: 5.62 6.49 5.58 7/215 13862
/proc/meminfo: memFree=24349072/32770624 swapFree=67108860/67108860
[pid=13847] ppid=13844 vsize=10555476 memory=113924 CPUtime=1.63 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6338 0 -1 1077944320 12928 0 0 0 159 4 0 0 20 0 15 0 95830294 10808807424 28481 33554432000 4194304 4196468 140722672979056 140722672961600 140525157240567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
/proc/13847/statm: 2638869 28481 3081 1 0 2627263 0
[pid=13847/tid=13849] ppid=13844 vsize=10555476 memory=1952 CPUtime=0.67 cores=1,3,5,7
/proc/13847/task/13849/stat : 13849 (java) R 13844 13847 6338 0 -1 4202560 5887 0 0 0 65 2 0 0 20 0 15 0 95830294 10808807424 28481 33554432000 4194304 4196468 140722672979056 140525161475728 140524771444465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13850] ppid=13844 vsize=10555476 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830295 10808807424 28481 33554432000 4194304 4196468 140722672979056 140525093931280 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13851] ppid=13844 vsize=10555476 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830295 10808807424 28481 33554432000 4194304 4196468 140722672979056 140525092878736 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13852] ppid=13844 vsize=10555476 memory=7523356985603351872 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830295 10808807424 28481 33554432000 4194304 4196468 140722672979056 140525091826192 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13853] ppid=13844 vsize=10555476 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830295 10808807424 28481 33554432000 4194304 4196468 140722672979056 140525090773648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13854] ppid=13844 vsize=10555476 memory=7007721216195711056 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95830296 10808807424 28481 33554432000 4194304 4196468 140722672979056 140524649196016 140525157251714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13855] ppid=13844 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95830297 10808807424 28481 33554432000 4194304 4196468 140722672979056 140524648142240 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13856] ppid=13844 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95830297 10808807424 28481 33554432000 4194304 4196468 140722672979056 140524647089648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13857] ppid=13844 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830299 10808807424 28481 33554432000 4194304 4196468 140722672979056 140524646038224 140525157259163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13858] ppid=13844 vsize=10555476 memory=70 CPUtime=0.31 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) R 13844 13847 6338 0 -1 4202560 1664 0 0 0 31 0 0 0 20 0 15 0 95830299 10808807424 28481 33554432000 4194304 4196468 140722672979056 140524644970696 140525136497243 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13859] ppid=13844 vsize=10555476 memory=3 CPUtime=0.38 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) R 13844 13847 6338 0 -1 4202560 2622 0 0 0 38 0 0 0 20 0 15 0 95830299 10808807424 28481 33554432000 4194304 4196468 140722672979056 140524643923248 140525138416469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13860] ppid=13844 vsize=10555476 memory=5980 CPUtime=0.23 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) R 13844 13847 6338 0 -1 4202560 1384 0 0 0 23 0 0 0 20 0 15 0 95830299 10808807424 28481 33554432000 4194304 4196468 140722672979056 140524642879728 140525141321054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13861] ppid=13844 vsize=10555476 memory=279765982809584 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830300 10808807424 28481 33554432000 4194304 4196468 140722672979056 140524641827424 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13862] ppid=13844 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830300 10808807424 28481 33554432000 4194304 4196468 140722672979056 140524640774960 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 113924 KiB
[startup+1.50082 s]
/proc/loadavg: 5.62 6.49 5.58 8/216 13863
/proc/meminfo: memFree=24266888/32770624 swapFree=67108860/67108860
[pid=13847] ppid=13844 vsize=10622040 memory=168164 CPUtime=3.65 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6338 0 -1 1077944320 17514 0 0 0 359 6 0 0 20 0 16 0 95830294 10876968960 42041 33554432000 4194304 4196468 140722672979056 140722672961600 140525157240567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
/proc/13847/statm: 2655510 42041 3107 1 0 2643904 0
[pid=13847/tid=13849] ppid=13844 vsize=10622040 memory=165080 CPUtime=1.47 cores=1,3,5,7
/proc/13847/task/13849/stat : 13849 (java) R 13844 13847 6338 0 -1 4202560 6567 0 0 0 144 3 0 0 20 0 16 0 95830294 10876968960 42041 33554432000 4194304 4196468 140722672979056 140525161463152 140524774359423 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13850] ppid=13844 vsize=10622040 memory=19921 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95830295 10876968960 42041 33554432000 4194304 4196468 140722672979056 140525093931280 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13851] ppid=13844 vsize=10622040 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95830295 10876968960 42041 33554432000 4194304 4196468 140722672979056 140525092878736 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13852] ppid=13844 vsize=10622040 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95830295 10876968960 42041 33554432000 4194304 4196468 140722672979056 140525091826192 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13853] ppid=13844 vsize=10622040 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95830295 10876968960 42041 33554432000 4194304 4196468 140722672979056 140525090773648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13854] ppid=13844 vsize=10622040 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6338 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 16 0 95830296 10876968960 42041 33554432000 4194304 4196468 140722672979056 140524649196016 140525157251714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
################
# More data... #
################
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6338 0 -1 1077944384 47007 0 0 0 50 5 0 0 20 0 16 0 95830296 10876968960 202972 33554432000 4194304 4196468 140722672979056 140524649196016 140525157251714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13855] ppid=13844 vsize=10622040 memory=55 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6338 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 95830297 10876968960 202972 33554432000 4194304 4196468 140722672979056 140524648142240 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13856] ppid=13844 vsize=10622040 memory=811888 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6338 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 95830297 10876968960 202972 33554432000 4194304 4196468 140722672979056 140524647089648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13857] ppid=13844 vsize=10622040 memory=811888 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95830299 10876968960 202972 33554432000 4194304 4196468 140722672979056 140524646038224 140525157259163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13858] ppid=13844 vsize=10622040 memory=811888 CPUtime=1.26 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13844 13847 6338 0 -1 1077944384 5140 0 0 0 125 1 0 0 20 0 16 0 95830299 10876968960 202972 33554432000 4194304 4196468 140722672979056 140524644984816 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13859] ppid=13844 vsize=10622040 memory=811888 CPUtime=1.18 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) S 13844 13847 6338 0 -1 1077944384 6332 0 0 0 117 1 0 0 20 0 16 0 95830299 10876968960 202972 33554432000 4194304 4196468 140722672979056 140524643932272 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13860] ppid=13844 vsize=10622040 memory=811888 CPUtime=0.37 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13844 13847 6338 0 -1 1077944384 4496 0 0 0 36 1 0 0 20 0 16 0 95830299 10876968960 202972 33554432000 4194304 4196468 140722672979056 140524642879728 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13861] ppid=13844 vsize=10622040 memory=811888 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95830300 10876968960 202972 33554432000 4194304 4196468 140722672979056 140524641827424 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13862] ppid=13844 vsize=10622040 memory=16432 CPUtime=1.34 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6338 0 -1 1077944384 1737 0 0 0 56 78 0 0 20 0 16 0 95830300 10876968960 202972 33554432000 4194304 4196468 140722672979056 140524640774960 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13863] ppid=13844 vsize=10622040 memory=16700 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13863/stat : 13863 (java) S 13844 13847 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95830378 10876968960 202972 33554432000 4194304 4196468 140722672979056 140524639720752 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
Current children cumulated CPU time: 2401.61 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 811888 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 1.98 2.28 3/217 14093
/proc/meminfo: memFree=28008476/32770624 swapFree=67108860/67108860
[pid=13847] ppid=13844 vsize=10622040 memory=812164 CPUtime=2462.42 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6338 0 -1 1077944320 142777 0 0 0 246052 190 0 0 20 0 16 0 95830294 10876968960 203041 33554432000 4194304 4196468 140722672979056 140722672961600 140525157240567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
/proc/13847/statm: 2655510 203041 3156 1 0 2643904 0
[pid=13847/tid=13849] ppid=13844 vsize=10622040 memory=812164 CPUtime=2436.69 cores=1,3,5,7
/proc/13847/task/13849/stat : 13849 (java) R 13844 13847 6338 0 -1 4202560 29005 0 0 0 243661 8 0 0 20 0 16 0 95830294 10876968960 203041 33554432000 4194304 4196468 140722672979056 140525161479168 140524773996243 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13850] ppid=13844 vsize=10622040 memory=812164 CPUtime=5.23 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6338 0 -1 1077944384 11898 0 0 0 496 27 0 0 20 0 16 0 95830295 10876968960 203041 33554432000 4194304 4196468 140722672979056 140525093931280 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13851] ppid=13844 vsize=10622040 memory=811932 CPUtime=5.21 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6338 0 -1 1077944384 10213 0 0 0 496 25 0 0 20 0 16 0 95830295 10876968960 203041 33554432000 4194304 4196468 140722672979056 140525092878736 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13852] ppid=13844 vsize=10622040 memory=811932 CPUtime=5.21 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6338 0 -1 1077944384 12415 0 0 0 494 27 0 0 20 0 16 0 95830295 10876968960 203041 33554432000 4194304 4196468 140722672979056 140525091826192 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13853] ppid=13844 vsize=10622040 memory=811932 CPUtime=5.22 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6338 0 -1 1077944384 10291 0 0 0 496 26 0 0 20 0 16 0 95830295 10876968960 203041 33554432000 4194304 4196468 140722672979056 140525090773648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13854] ppid=13844 vsize=10622040 memory=811932 CPUtime=0.57 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6338 0 -1 1077944384 49761 0 0 0 51 6 0 0 20 0 16 0 95830296 10876968960 203041 33554432000 4194304 4196468 140722672979056 140524649196016 140525157251714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13855] ppid=13844 vsize=10622040 memory=812164 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6338 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 95830297 10876968960 203041 33554432000 4194304 4196468 140722672979056 140524648142240 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13856] ppid=13844 vsize=10622040 memory=812164 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6338 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 95830297 10876968960 203041 33554432000 4194304 4196468 140722672979056 140524647089648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13857] ppid=13844 vsize=10622040 memory=812164 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95830299 10876968960 203041 33554432000 4194304 4196468 140722672979056 140524646038224 140525157259163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13858] ppid=13844 vsize=10622040 memory=812164 CPUtime=1.26 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13844 13847 6338 0 -1 1077944384 5144 0 0 0 125 1 0 0 20 0 16 0 95830299 10876968960 203041 33554432000 4194304 4196468 140722672979056 140524644984816 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13859] ppid=13844 vsize=10622040 memory=812164 CPUtime=1.18 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) S 13844 13847 6338 0 -1 1077944384 6339 0 0 0 117 1 0 0 20 0 16 0 95830299 10876968960 203041 33554432000 4194304 4196468 140722672979056 140524643932272 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13860] ppid=13844 vsize=10622040 memory=811932 CPUtime=0.37 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13844 13847 6338 0 -1 1077944384 4499 0 0 0 36 1 0 0 20 0 16 0 95830299 10876968960 203041 33554432000 4194304 4196468 140722672979056 140524642879728 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13861] ppid=13844 vsize=10622040 memory=811868 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95830300 10876968960 203041 33554432000 4194304 4196468 140722672979056 140524641827424 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13862] ppid=13844 vsize=10622040 memory=812164 CPUtime=1.37 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6338 0 -1 1077944384 1777 0 0 0 58 79 0 0 20 0 16 0 95830300 10876968960 203041 33554432000 4194304 4196468 140722672979056 140524640774960 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13863] ppid=13844 vsize=10622040 memory=792 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13863/stat : 13863 (java) S 13844 13847 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95830378 10876968960 203041 33554432000 4194304 4196468 140722672979056 140524639720752 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
Current children cumulated CPU time: 2462.42 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 812164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.7 s]
/proc/loadavg: 1.94 1.97 2.26 3/216 14095
/proc/meminfo: memFree=28006068/32770624 swapFree=67108860/67108860
[pid=13847] ppid=13844 vsize=10622040 memory=812160 CPUtime=2520.03 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6338 0 -1 1077944320 144156 0 0 0 251812 191 0 0 20 0 16 0 95830294 10876968960 203040 33554432000 4194304 4196468 140722672979056 140722672961600 140525157240567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
/proc/13847/statm: 2655510 203040 3156 1 0 2643904 0
[pid=13847/tid=13849] ppid=13844 vsize=10622040 memory=6791534058613427641 CPUtime=2494.04 cores=1,3,5,7
/proc/13847/task/13849/stat : 13849 (java) R 13844 13847 6338 0 -1 4202560 29358 0 0 0 249396 8 0 0 20 0 16 0 95830294 10876968960 203040 33554432000 4194304 4196468 140722672979056 140525161479168 140524773930700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13850] ppid=13844 vsize=10622040 memory=812160 CPUtime=5.29 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6338 0 -1 1077944384 12428 0 0 0 501 28 0 0 20 0 16 0 95830295 10876968960 203040 33554432000 4194304 4196468 140722672979056 140525093931280 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13851] ppid=13844 vsize=10622040 memory=812160 CPUtime=5.27 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6338 0 -1 1077944384 10303 0 0 0 502 25 0 0 20 0 16 0 95830295 10876968960 203040 33554432000 4194304 4196468 140722672979056 140525092878736 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13852] ppid=13844 vsize=10622040 memory=812160 CPUtime=5.27 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6338 0 -1 1077944384 12462 0 0 0 500 27 0 0 20 0 16 0 95830295 10876968960 203040 33554432000 4194304 4196468 140722672979056 140525091826192 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13853] ppid=13844 vsize=10622040 memory=812184 CPUtime=5.28 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6338 0 -1 1077944384 10369 0 0 0 502 26 0 0 20 0 16 0 95830295 10876968960 203040 33554432000 4194304 4196468 140722672979056 140525090773648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13854] ppid=13844 vsize=10622040 memory=812184 CPUtime=0.58 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6338 0 -1 1077944384 49999 0 0 0 52 6 0 0 20 0 16 0 95830296 10876968960 203040 33554432000 4194304 4196468 140722672979056 140524649196016 140525157251714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13855] ppid=13844 vsize=10622040 memory=279765984179312 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6338 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 95830297 10876968960 203040 33554432000 4194304 4196468 140722672979056 140524648142240 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13856] ppid=13844 vsize=10622040 memory=812164 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6338 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 95830297 10876968960 203040 33554432000 4194304 4196468 140722672979056 140524647089648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13857] ppid=13844 vsize=10622040 memory=812184 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95830299 10876968960 203040 33554432000 4194304 4196468 140722672979056 140524646038224 140525157259163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13858] ppid=13844 vsize=10622040 memory=812164 CPUtime=1.26 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13844 13847 6338 0 -1 1077944384 5146 0 0 0 125 1 0 0 20 0 16 0 95830299 10876968960 203040 33554432000 4194304 4196468 140722672979056 140524644984816 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13859] ppid=13844 vsize=10622040 memory=812160 CPUtime=1.18 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) S 13844 13847 6338 0 -1 1077944384 6341 0 0 0 117 1 0 0 20 0 16 0 95830299 10876968960 203040 33554432000 4194304 4196468 140722672979056 140524643932272 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13860] ppid=13844 vsize=10622040 memory=812160 CPUtime=0.37 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13844 13847 6338 0 -1 1077944384 4501 0 0 0 36 1 0 0 20 0 16 0 95830299 10876968960 203040 33554432000 4194304 4196468 140722672979056 140524642879728 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13861] ppid=13844 vsize=10622040 memory=812160 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95830300 10876968960 203040 33554432000 4194304 4196468 140722672979056 140524641827424 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13862] ppid=13844 vsize=10622040 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6338 0 -1 1077944384 1814 0 0 0 60 81 0 0 20 0 16 0 95830300 10876968960 203040 33554432000 4194304 4196468 140722672979056 140524640774960 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13863] ppid=13844 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13863/stat : 13863 (java) S 13844 13847 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95830378 10876968960 203040 33554432000 4194304 4196468 140722672979056 140524639720752 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 812160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2500.03 s]
# the end of solver process 13847 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.29 s, system=1.92843 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2500 s]*
/proc/loadavg: 1.95 1.97 2.26 3/217 14098
/proc/meminfo: memFree=28006052/32770624 swapFree=67108860/67108860
[pid=13847] ppid=13844 vsize=10821732 memory=812496 CPUtime=2520.19 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6338 0 -1 1077944320 146720 0 0 0 251827 192 0 0 20 0 17 0 95830294 11081453568 203124 33554432000 4194304 4196468 140722672979056 140722672961600 140525157240567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
/proc/13847/statm: 2705433 203124 3158 1 0 2693827 0
[pid=13847/tid=13849] ppid=13844 vsize=10821732 memory=6791534058613427641 CPUtime=2494.05 cores=1,3,5,7
/proc/13847/task/13849/stat : 13849 (java) S 13844 13847 6338 0 -1 1077944384 29446 0 0 0 249397 8 0 0 20 0 17 0 95830294 11081453568 203124 33554432000 4194304 4196468 140722672979056 140525161483440 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13850] ppid=13844 vsize=10821732 memory=-7003737579269690708 CPUtime=5.29 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6338 0 -1 1077944384 12428 0 0 0 501 28 0 0 20 0 17 0 95830295 11081453568 203124 33554432000 4194304 4196468 140722672979056 140525093931280 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13851] ppid=13844 vsize=10821732 memory=-7003737579269690708 CPUtime=5.27 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6338 0 -1 1077944384 10303 0 0 0 502 25 0 0 20 0 17 0 95830295 11081453568 203124 33554432000 4194304 4196468 140722672979056 140525092878736 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13852] ppid=13844 vsize=10821732 memory=1004 CPUtime=5.27 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6338 0 -1 1077944384 12462 0 0 0 500 27 0 0 20 0 17 0 95830295 11081453568 203124 33554432000 4194304 4196468 140722672979056 140525091826192 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13853] ppid=13844 vsize=10821732 memory=1228 CPUtime=5.28 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6338 0 -1 1077944384 10369 0 0 0 502 26 0 0 20 0 17 0 95830295 11081453568 203124 33554432000 4194304 4196468 140722672979056 140525090773648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13854] ppid=13844 vsize=10821732 memory=1952 CPUtime=0.58 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6338 0 -1 1077944384 49999 0 0 0 52 6 0 0 20 0 17 0 95830296 11081453568 203124 33554432000 4194304 4196468 140722672979056 140524649196016 140525157251714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13855] ppid=13844 vsize=10821732 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6338 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 17 0 95830297 11081453568 203124 33554432000 4194304 4196468 140722672979056 140524648142240 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13856] ppid=13844 vsize=10821732 memory=28248 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6338 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 95830297 11081453568 203124 33554432000 4194304 4196468 140722672979056 140524647089648 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13857] ppid=13844 vsize=10821732 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6338 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 17 0 95830299 11081453568 203124 33554432000 4194304 4196468 140722672979056 140524646038224 140525157259163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13858] ppid=13844 vsize=10821732 memory=1292 CPUtime=1.27 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13844 13847 6338 0 -1 1077944384 5558 0 0 0 126 1 0 0 20 0 17 0 95830299 11081453568 203124 33554432000 4194304 4196468 140722672979056 140524644984816 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13859] ppid=13844 vsize=10821732 memory=4080 CPUtime=1.2 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) S 13844 13847 6338 0 -1 1077944384 6814 0 0 0 119 1 0 0 20 0 17 0 95830299 11081453568 203124 33554432000 4194304 4196468 140722672979056 140524643932272 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13860] ppid=13844 vsize=10821732 memory=932 CPUtime=0.38 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13844 13847 6338 0 -1 1077944384 5413 0 0 0 37 1 0 0 20 0 17 0 95830299 11081453568 203124 33554432000 4194304 4196468 140722672979056 140524642879728 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13861] ppid=13844 vsize=10821732 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95830300 11081453568 203124 33554432000 4194304 4196468 140722672979056 140524641827424 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=13862] ppid=13844 vsize=10821732 memory=2196 CPUtime=1.41 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6338 0 -1 1077944384 1814 0 0 0 60 81 0 0 20 0 17 0 95830300 11081453568 203124 33554432000 4194304 4196468 140722672979056 140524640774960 140525157251714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=14096] ppid=13844 vsize=10821732 memory=6508 CPUtime=0 cores=1,3,5,7
/proc/13847/task/14096/stat : 14096 (java) S 13844 13847 6338 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 17 0 96080265 11081453568 203124 33554432000 4194304 4196468 140722672979056 140524638667504 140525157250773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
[pid=13847/tid=14097] ppid=13844 vsize=10821732 memory=840 CPUtime=0.1 cores=1,3,5,7
/proc/13847/task/14097/stat : 14097 (java) R 13844 13847 6338 0 -1 4202560 204 0 0 0 10 0 0 0 20 0 17 0 96080265 11081453568 203124 33554432000 4194304 4196468 140722672979056 140524637610960 140524774958302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722672985222 140722672985375 140722672985375 140722672988111 0
Current children cumulated CPU time: 2520.19 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 812496 KiB
Child status: 143
Real time (s): 2500.03
CPU time (s): 2520.22
CPU user time (s): 2518.29
CPU system time (s): 1.92843
CPU usage (%): 100.808
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 1089700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.29
system time used= 1.92843
maximum resident set size= 1089700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57396
involuntary context switches= 988
# summary of solver processes directly reported to runsolver:
# pid: 13847
# total CPU time (s): 2520.22
# total CPU user time (s): 2518.29
# total CPU system time (s): 1.92843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6591 second user time and 23.8989 second system time
The end