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 (12171 MiB free)
memory of node 1: 16384 MiB (10892 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294817-1532492718/watcher-4294817-1532492718 -o /tmp/evaluation-result-4294817-1532492718/solver-4294817-1532492718 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532470571-27174 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1570202438 -superng HOME/instance-4294817-1532492718.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=31593, runsolver pid=31590
Current StackSize limit: 8192 KiB
[startup+0.100116 s]*
/proc/loadavg: 1.58 1.47 1.40 5/206 31650
/proc/meminfo: memFree=23609860/32770624 swapFree=67108860/67108860
[pid=31593] ppid=31590 vsize=10055356 memory=19384 CPUtime=0.09 cores=1,3,5,7
/proc/31593/stat : 31593 (java) S 31590 31593 27142 0 -1 1077944320 4443 13025 0 0 1 1 5 2 20 0 7 0 66835021 10296684544 4780 33554432000 4194304 4196468 140735003052992 140735003035536 139702054358775 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
/proc/31593/statm: 2513839 4846 2004 1 0 2502277 0
[pid=31593/tid=31646] ppid=31590 vsize=10055356 memory=4279135703980474512 CPUtime=0.08 cores=1,3,5,7
/proc/31593/task/31646/stat : 31646 (java) R 31590 31593 27142 0 -1 4202560 2288 13025 0 0 1 0 5 2 20 0 7 0 66835029 10296684544 4846 33554432000 4194304 4196468 140735003052992 139702026201872 139702054380701 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31647] ppid=31590 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31647/stat : 31647 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 7 0 66835030 10296684544 4846 33554432000 4194304 4196468 140735003052992 139702058601488 139702054368981 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31648] ppid=31590 vsize=10055356 memory=139728516118144 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31648/stat : 31648 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 7 0 66835030 10296684544 4846 33554432000 4194304 4196468 140735003052992 139701946875024 139702054368981 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31649] ppid=31590 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31649/stat : 31649 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 7 0 66835030 10296684544 4846 33554432000 4194304 4196468 140735003052992 139701945821968 139702054368981 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31650] ppid=31590 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31650/stat : 31650 (java) S 31590 31593 27142 0 -1 1077944384 2 13025 0 0 0 0 5 2 20 0 7 0 66835030 10296684544 4846 33554432000 4194304 4196468 140735003052992 139701944769424 139702054368981 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31651] ppid=31590 vsize=10055356 memory=139728516118144 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31651/stat : 31651 (java) S 31590 31593 27142 0 -1 1077944384 2 13025 0 0 0 0 5 2 20 0 7 0 66835032 10296684544 4846 33554432000 4194304 4196468 140735003052992 139701055895792 139702054369922 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 19384 KiB
[startup+0.21026 s]*
/proc/loadavg: 1.58 1.47 1.40 3/215 31659
/proc/meminfo: memFree=23589092/32770624 swapFree=67108860/67108860
[pid=31593] ppid=31590 vsize=10819044 memory=43428 CPUtime=0.26 cores=1,3,5,7
/proc/31593/stat : 31593 (java) S 31590 31593 27142 0 -1 1077944320 9301 13025 0 0 17 2 5 2 20 0 15 0 66835021 11078701056 10857 33554432000 4194304 4196468 140735003052992 140735003035536 139702054358775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
/proc/31593/statm: 2704761 10857 2969 1 0 2667149 0
[pid=31593/tid=31646] ppid=31590 vsize=10819044 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/31593/task/31646/stat : 31646 (java) R 31590 31593 27142 0 -1 4202560 5910 13025 0 0 11 1 5 2 20 0 15 0 66835029 11078701056 10857 33554432000 4194304 4196468 140735003052992 139702026183584 139702054370710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31647] ppid=31590 vsize=10819044 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31647/stat : 31647 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835030 11078701056 10857 33554432000 4194304 4196468 140735003052992 139702058601488 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31648] ppid=31590 vsize=10819052 memory=139728516490774 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31648/stat : 31648 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835030 11078709248 10857 33554432000 4194304 4196468 140735003052992 139701946875024 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31649] ppid=31590 vsize=10819052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31649/stat : 31649 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835030 11078709248 10857 33554432000 4194304 4196468 140735003052992 139701945821968 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31650] ppid=31590 vsize=10819052 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31650/stat : 31650 (java) S 31590 31593 27142 0 -1 1077944384 2 13025 0 0 0 0 5 2 20 0 15 0 66835030 11078709248 10857 33554432000 4194304 4196468 140735003052992 139701944769424 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31651] ppid=31590 vsize=10819052 memory=139728516118144 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31651/stat : 31651 (java) S 31590 31593 27142 0 -1 1077944384 2 13025 0 0 0 0 5 2 20 0 15 0 66835032 11078709248 10857 33554432000 4194304 4196468 140735003052992 139701055895792 139702054369922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31652] ppid=31590 vsize=10819052 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31652/stat : 31652 (java) S 31590 31593 27142 0 -1 1077944384 33 13025 0 0 0 0 5 2 20 0 15 0 66835032 11078709248 10857 33554432000 4194304 4196468 140735003052992 139701054842016 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31653] ppid=31590 vsize=10819052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31653/stat : 31653 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835032 11078709248 10857 33554432000 4194304 4196468 140735003052992 139700924834544 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31654] ppid=31590 vsize=10819096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31654/stat : 31654 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11078754304 10857 33554432000 4194304 4196468 140735003052992 139700617435088 139702054377371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31655] ppid=31590 vsize=10819096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31655/stat : 31655 (java) S 31590 31593 27142 0 -1 1077944384 497 13025 0 0 0 0 5 2 20 0 15 0 66835035 11078754304 10857 33554432000 4194304 4196468 140735003052992 139701021285104 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31656] ppid=31590 vsize=10819096 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31593/task/31656/stat : 31656 (java) S 31590 31593 27142 0 -1 1077944384 91 13025 0 0 1 0 5 2 20 0 15 0 66835035 11078754304 10857 33554432000 4194304 4196468 140735003052992 139701020232560 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31657] ppid=31590 vsize=10819096 memory=139728516118144 CPUtime=0.1 cores=1,3,5,7
/proc/31593/task/31657/stat : 31657 (java) R 31590 31593 27142 0 -1 4202560 568 13025 0 0 3 0 5 2 20 0 15 0 66835035 11078754304 10857 33554432000 4194304 4196468 140735003052992 139701019179504 139702032981783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31658] ppid=31590 vsize=10819096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31658/stat : 31658 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11078754304 10857 33554432000 4194304 4196468 140735003052992 139700583877472 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31659] ppid=31590 vsize=10819096 memory=139728516118144 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31659/stat : 31659 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835035 11078754304 10857 33554432000 4194304 4196468 140735003052992 139701018126896 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819044 KiB
Current children cumulated memory: 43428 KiB
[startup+0.310645 s]*
/proc/loadavg: 1.58 1.47 1.40 3/215 31659
/proc/meminfo: memFree=23579000/32770624 swapFree=67108860/67108860
[pid=31593] ppid=31590 vsize=10819352 memory=51304 CPUtime=0.38 cores=1,3,5,7
/proc/31593/stat : 31593 (java) S 31590 31593 27142 0 -1 1077944320 10463 13025 0 0 29 2 5 2 20 0 15 0 66835021 11079016448 12826 33554432000 4194304 4196468 140735003052992 140735003035536 139702054358775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
/proc/31593/statm: 2704838 12826 3088 1 0 2667149 0
[pid=31593/tid=31646] ppid=31590 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/31593/task/31646/stat : 31646 (java) R 31590 31593 27142 0 -1 4202560 7054 13025 0 0 20 1 5 2 20 0 15 0 66835029 11079016448 12826 33554432000 4194304 4196468 140735003052992 139702026170784 139702035922350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31647] ppid=31590 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31647/stat : 31647 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835030 11079016448 12826 33554432000 4194304 4196468 140735003052992 139702058601488 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31648] ppid=31590 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31648/stat : 31648 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835030 11079016448 12826 33554432000 4194304 4196468 140735003052992 139701946875024 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31649] ppid=31590 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31649/stat : 31649 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835030 11079016448 12826 33554432000 4194304 4196468 140735003052992 139701945821968 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31650] ppid=31590 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31650/stat : 31650 (java) S 31590 31593 27142 0 -1 1077944384 2 13025 0 0 0 0 5 2 20 0 15 0 66835030 11079016448 12826 33554432000 4194304 4196468 140735003052992 139701944769424 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31651] ppid=31590 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31651/stat : 31651 (java) S 31590 31593 27142 0 -1 1077944384 2 13025 0 0 0 0 5 2 20 0 15 0 66835032 11079016448 12826 33554432000 4194304 4196468 140735003052992 139701055895792 139702054369922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31652] ppid=31590 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31652/stat : 31652 (java) S 31590 31593 27142 0 -1 1077944384 33 13025 0 0 0 0 5 2 20 0 15 0 66835032 11079016448 12826 33554432000 4194304 4196468 140735003052992 139701054842016 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31653] ppid=31590 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31653/stat : 31653 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835032 11079016448 12826 33554432000 4194304 4196468 140735003052992 139700924834544 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31654] ppid=31590 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31654/stat : 31654 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11079016448 12826 33554432000 4194304 4196468 140735003052992 139700617435088 139702054377371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31655] ppid=31590 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31593/task/31655/stat : 31655 (java) S 31590 31593 27142 0 -1 1077944384 497 13025 0 0 1 0 5 2 20 0 15 0 66835035 11079016448 12826 33554432000 4194304 4196468 140735003052992 139701021285104 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31656] ppid=31590 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31593/task/31656/stat : 31656 (java) S 31590 31593 27142 0 -1 1077944384 92 13025 0 0 1 0 5 2 20 0 15 0 66835035 11079016448 12826 33554432000 4194304 4196468 140735003052992 139701020232560 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31657] ppid=31590 vsize=10819352 memory=139728516118144 CPUtime=0.12 cores=1,3,5,7
/proc/31593/task/31657/stat : 31657 (java) S 31590 31593 27142 0 -1 1077944384 584 13025 0 0 5 0 5 2 20 0 15 0 66835035 11079016448 12826 33554432000 4194304 4196468 140735003052992 139701019179504 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31658] ppid=31590 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31658/stat : 31658 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11079016448 12826 33554432000 4194304 4196468 140735003052992 139700583877472 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31659] ppid=31590 vsize=10819352 memory=139728516118144 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31659/stat : 31659 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835035 11079016448 12826 33554432000 4194304 4196468 140735003052992 139701018126896 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51304 KiB
[startup+0.700774 s]
/proc/loadavg: 1.58 1.47 1.40 3/215 31659
/proc/meminfo: memFree=23569184/32770624 swapFree=67108860/67108860
[pid=31593] ppid=31590 vsize=10819352 memory=84640 CPUtime=0.98 cores=1,3,5,7
/proc/31593/stat : 31593 (java) S 31590 31593 27142 0 -1 1077944320 16772 13025 0 0 87 4 5 2 20 0 15 0 66835021 11079016448 21160 33554432000 4194304 4196468 140735003052992 140735003035536 139702054358775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
/proc/31593/statm: 2704838 21160 3246 1 0 2667149 0
[pid=31593/tid=31646] ppid=31590 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/31593/task/31646/stat : 31646 (java) R 31590 31593 27142 0 -1 4202560 12276 13025 0 0 56 3 5 2 20 0 15 0 66835029 11079016448 21160 33554432000 4194304 4196468 140735003052992 139702026179600 139702035922335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31647] ppid=31590 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31647/stat : 31647 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835030 11079016448 21160 33554432000 4194304 4196468 140735003052992 139702058601488 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31648] ppid=31590 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31648/stat : 31648 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835030 11079016448 21160 33554432000 4194304 4196468 140735003052992 139701946875024 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31649] ppid=31590 vsize=10819352 memory=139728372515440 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31649/stat : 31649 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835030 11079016448 21160 33554432000 4194304 4196468 140735003052992 139701945821968 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31650] ppid=31590 vsize=10819352 memory=139732466008670 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31650/stat : 31650 (java) S 31590 31593 27142 0 -1 1077944384 2 13025 0 0 0 0 5 2 20 0 15 0 66835030 11079016448 21160 33554432000 4194304 4196468 140735003052992 139701944769424 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31651] ppid=31590 vsize=10819352 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31651/stat : 31651 (java) S 31590 31593 27142 0 -1 1077944384 5 13025 0 0 0 0 5 2 20 0 15 0 66835032 11079016448 21160 33554432000 4194304 4196468 140735003052992 139701055895792 139702054369922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31652] ppid=31590 vsize=10819352 memory=7014751519633986897 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31652/stat : 31652 (java) S 31590 31593 27142 0 -1 1077944384 33 13025 0 0 0 0 5 2 20 0 15 0 66835032 11079016448 21160 33554432000 4194304 4196468 140735003052992 139701054842016 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31653] ppid=31590 vsize=10819352 memory=12824 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31653/stat : 31653 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835032 11079016448 21160 33554432000 4194304 4196468 140735003052992 139700924834544 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31654] ppid=31590 vsize=10819352 memory=4052 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31654/stat : 31654 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11079016448 21160 33554432000 4194304 4196468 140735003052992 139700617435088 139702054377371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31655] ppid=31590 vsize=10819352 memory=18444 CPUtime=0.16 cores=1,3,5,7
/proc/31593/task/31655/stat : 31655 (java) S 31590 31593 27142 0 -1 1077944384 1122 13025 0 0 9 0 5 2 20 0 15 0 66835035 11079016448 21160 33554432000 4194304 4196468 140735003052992 139701021285104 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31656] ppid=31590 vsize=10819352 memory=640 CPUtime=0.13 cores=1,3,5,7
/proc/31593/task/31656/stat : 31656 (java) S 31590 31593 27142 0 -1 1077944384 463 13025 0 0 6 0 5 2 20 0 15 0 66835035 11079016448 21160 33554432000 4194304 4196468 140735003052992 139701020232560 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31657] ppid=31590 vsize=10819352 memory=1784 CPUtime=0.2 cores=1,3,5,7
/proc/31593/task/31657/stat : 31657 (java) S 31590 31593 27142 0 -1 1077944384 672 13025 0 0 13 0 5 2 20 0 15 0 66835035 11079016448 21160 33554432000 4194304 4196468 140735003052992 139701019179504 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31658] ppid=31590 vsize=10819352 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31658/stat : 31658 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11079016448 21160 33554432000 4194304 4196468 140735003052992 139700583877472 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31659] ppid=31590 vsize=10819352 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31659/stat : 31659 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835035 11079016448 21160 33554432000 4194304 4196468 140735003052992 139701018126896 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84640 KiB
[startup+1.5008 s]
/proc/loadavg: 1.58 1.47 1.40 5/215 31659
/proc/meminfo: memFree=23522504/32770624 swapFree=67108860/67108860
[pid=31593] ppid=31590 vsize=10834252 memory=181300 CPUtime=2.37 cores=1,3,5,7
/proc/31593/stat : 31593 (java) S 31590 31593 27142 0 -1 1077944320 24634 13025 0 0 219 11 5 2 20 0 15 0 66835021 11094274048 45325 33554432000 4194304 4196468 140735003052992 140735003035536 139702054358775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
/proc/31593/statm: 2708563 45325 3469 1 0 2670221 0
[pid=31593/tid=31646] ppid=31590 vsize=10834252 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/31593/task/31646/stat : 31646 (java) R 31590 31593 27142 0 -1 4202560 17777 13025 0 0 129 6 5 2 20 0 15 0 66835029 11094274048 45325 33554432000 4194304 4196468 140735003052992 139702026182832 139702054380701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31647] ppid=31590 vsize=10834252 memory=279456745079232 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31647/stat : 31647 (java) S 31590 31593 27142 0 -1 1077944384 172 13025 0 0 0 0 5 2 20 0 15 0 66835030 11094274048 45325 33554432000 4194304 4196468 140735003052992 139702058601488 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31648] ppid=31590 vsize=10834252 memory=279456745088544 CPUtime=0.08 cores=1,3,5,7
/proc/31593/task/31648/stat : 31648 (java) S 31590 31593 27142 0 -1 1077944384 54 13025 0 0 1 0 5 2 20 0 15 0 66835030 11094274048 45325 33554432000 4194304 4196468 140735003052992 139701946875024 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31649] ppid=31590 vsize=10834252 memory=139728372550128 CPUtime=0.08 cores=1,3,5,7
/proc/31593/task/31649/stat : 31649 (java) S 31590 31593 27142 0 -1 1077944384 19 13025 0 0 1 0 5 2 20 0 15 0 66835030 11094274048 45325 33554432000 4194304 4196468 140735003052992 139701945821968 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31650] ppid=31590 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31593/task/31650/stat : 31650 (java) S 31590 31593 27142 0 -1 1077944384 39 13025 0 0 1 0 5 2 20 0 15 0 66835030 11094274048 45325 33554432000 4194304 4196468 140735003052992 139701944769424 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31651] ppid=31590 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31593/task/31651/stat : 31651 (java) S 31590 31593 27142 0 -1 1077944384 509 13025 0 0 1 0 5 2 20 0 15 0 66835032 11094274048 45325 33554432000 4194304 4196468 140735003052992 139701055895792 139702054369922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31652] ppid=31590 vsize=10834252 memory=13275743914299 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31652/stat : 31652 (java) S 31590 31593 27142 0 -1 1077944384 34 13025 0 0 0 0 5 2 20 0 15 0 66835032 11094274048 45325 33554432000 4194304 4196468 140735003052992 139701054842080 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31653] ppid=31590 vsize=10834252 memory=7955161680406069354 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31653/stat : 31653 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835032 11094274048 45325 33554432000 4194304 4196468 140735003052992 139700924834560 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31654] ppid=31590 vsize=10834252 memory=7955161680406069354 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31654/stat : 31654 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11094274048 45325 33554432000 4194304 4196468 140735003052992 139700617435088 139702054377371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31655] ppid=31590 vsize=10834252 memory=-6812210783619891858 CPUtime=0.29 cores=1,3,5,7
/proc/31593/task/31655/stat : 31655 (java) S 31590 31593 27142 0 -1 1077944384 1387 13025 0 0 22 0 5 2 20 0 15 0 66835035 11094274048 45325 33554432000 4194304 4196468 140735003052992 139701021285104 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31656] ppid=31590 vsize=10834252 memory=7379804885021583712 CPUtime=0.29 cores=1,3,5,7
/proc/31593/task/31656/stat : 31656 (java) S 31590 31593 27142 0 -1 1077944384 998 13025 0 0 22 0 5 2 20 0 15 0 66835035 11094274048 45325 33554432000 4194304 4196468 140735003052992 139701020232560 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31657] ppid=31590 vsize=10834252 memory=7450756327361766995 CPUtime=0.44 cores=1,3,5,7
/proc/31593/task/31657/stat : 31657 (java) S 31590 31593 27142 0 -1 1077944384 1449 13025 0 0 37 0 5 2 20 0 15 0 66835035 11094274048 45325 33554432000 4194304 4196468 140735003052992 139701019179504 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31658] ppid=31590 vsize=10834252 memory=7452728851103438433 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31658/stat : 31658 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11094274048 45325 33554432000 4194304 4196468 140735003052992 139700583877472 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31659] ppid=31590 vsize=10834252 memory=7234276773031800416 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31659/stat : 31659 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835035 11094274048 45325 33554432000 4194304 4196468 140735003052992 139701018126896 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
################
# More data... #
################
/proc/31593/task/31646/stat : 31646 (java) R 31590 31593 27142 0 -1 4202560 93640 13025 0 0 235660 51 5 2 20 0 15 0 66835029 11180277760 248409 33554432000 4194304 4196468 140735003052992 139702026193408 139701635883783 0 4 0 16800975 0 0 0 -1 5 0 0 46 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31647] ppid=31590 vsize=10918240 memory=993636 CPUtime=13.01 cores=1,3,5,7
/proc/31593/task/31647/stat : 31647 (java) S 31590 31593 27142 0 -1 1077944384 15626 13025 0 0 1250 44 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139702058601488 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31648] ppid=31590 vsize=10918240 memory=993636 CPUtime=13.02 cores=1,3,5,7
/proc/31593/task/31648/stat : 31648 (java) S 31590 31593 27142 0 -1 1077944384 10965 13025 0 0 1247 48 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701946875024 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31649] ppid=31590 vsize=10918240 memory=991588 CPUtime=13 cores=1,3,5,7
/proc/31593/task/31649/stat : 31649 (java) S 31590 31593 27142 0 -1 1077944384 9572 13025 0 0 1245 48 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701945821968 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31650] ppid=31590 vsize=10918240 memory=989540 CPUtime=13.04 cores=1,3,5,7
/proc/31593/task/31650/stat : 31650 (java) S 31590 31593 27142 0 -1 1077944384 17201 13025 0 0 1248 49 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701944769424 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31651] ppid=31590 vsize=10918240 memory=993636 CPUtime=8.78 cores=1,3,5,7
/proc/31593/task/31651/stat : 31651 (java) S 31590 31593 27142 0 -1 1077944384 15108 13025 0 0 826 45 5 2 20 0 15 0 66835032 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701055895792 139702054369922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31652] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31652/stat : 31652 (java) S 31590 31593 27142 0 -1 1077944384 37 13025 0 0 0 0 5 2 20 0 15 0 66835032 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701054842080 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31653] ppid=31590 vsize=10918240 memory=991588 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31653/stat : 31653 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835032 11180277760 248409 33554432000 4194304 4196468 140735003052992 139700924834560 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31654] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31654/stat : 31654 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139700617435088 139702054377371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31655] ppid=31590 vsize=10918240 memory=993636 CPUtime=9.14 cores=1,3,5,7
/proc/31593/task/31655/stat : 31655 (java) S 31590 31593 27142 0 -1 1077944384 35235 13025 0 0 901 6 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701021285104 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31656] ppid=31590 vsize=10918240 memory=56 CPUtime=8.59 cores=1,3,5,7
/proc/31593/task/31656/stat : 31656 (java) S 31590 31593 27142 0 -1 1077944384 35293 13025 0 0 845 7 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701020232560 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31657] ppid=31590 vsize=10918240 memory=993636 CPUtime=4.03 cores=1,3,5,7
/proc/31593/task/31657/stat : 31657 (java) S 31590 31593 27142 0 -1 1077944384 38525 13025 0 0 389 7 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701019179504 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31658] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31658/stat : 31658 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139700583877472 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31659] ppid=31590 vsize=10918240 memory=11956 CPUtime=1.34 cores=1,3,5,7
/proc/31593/task/31659/stat : 31659 (java) S 31590 31593 27142 0 -1 1077944384 1230 13025 0 0 60 67 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701018126896 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
Current children cumulated CPU time: 2440.62 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 993636 KiB
[startup+2442.3 s]
/proc/loadavg: 1.56 1.42 1.36 3/216 31886
/proc/meminfo: memFree=22714876/32770624 swapFree=67108860/67108860
[pid=31593] ppid=31590 vsize=10918240 memory=993636 CPUtime=2501.57 cores=1,3,5,7
/proc/31593/stat : 31593 (java) S 31590 31593 27142 0 -1 1077944320 275309 13025 0 0 249814 336 5 2 20 0 15 0 66835021 11180277760 248409 33554432000 4194304 4196468 140735003052992 140735003035536 139702054358775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
/proc/31593/statm: 2729560 248409 3531 1 0 2691213 0
[pid=31593/tid=31646] ppid=31590 vsize=10918240 memory=993636 CPUtime=2416.52 cores=1,3,5,7
/proc/31593/task/31646/stat : 31646 (java) R 31590 31593 27142 0 -1 4202560 94099 13025 0 0 241594 51 5 2 20 0 15 0 66835029 11180277760 248409 33554432000 4194304 4196468 140735003052992 139702026194416 139701613730108 0 4 0 16800975 0 0 0 -1 1 0 0 46 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31647] ppid=31590 vsize=10918240 memory=993636 CPUtime=13.35 cores=1,3,5,7
/proc/31593/task/31647/stat : 31647 (java) S 31590 31593 27142 0 -1 1077944384 15650 13025 0 0 1283 45 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139702058601488 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31648] ppid=31590 vsize=10918240 memory=993636 CPUtime=13.36 cores=1,3,5,7
/proc/31593/task/31648/stat : 31648 (java) S 31590 31593 27142 0 -1 1077944384 11010 13025 0 0 1279 50 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701946875024 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31649] ppid=31590 vsize=10918240 memory=993636 CPUtime=13.34 cores=1,3,5,7
/proc/31593/task/31649/stat : 31649 (java) S 31590 31593 27142 0 -1 1077944384 9630 13025 0 0 1278 49 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701945821968 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31650] ppid=31590 vsize=10918240 memory=993636 CPUtime=13.38 cores=1,3,5,7
/proc/31593/task/31650/stat : 31650 (java) S 31590 31593 27142 0 -1 1077944384 17239 13025 0 0 1281 50 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701944769424 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31651] ppid=31590 vsize=10918240 memory=993636 CPUtime=9.01 cores=1,3,5,7
/proc/31593/task/31651/stat : 31651 (java) S 31590 31593 27142 0 -1 1077944384 15154 13025 0 0 848 46 5 2 20 0 15 0 66835032 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701055895792 139702054369922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31652] ppid=31590 vsize=10918240 memory=279456745021160 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31652/stat : 31652 (java) S 31590 31593 27142 0 -1 1077944384 37 13025 0 0 0 0 5 2 20 0 15 0 66835032 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701054842080 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31653] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31653/stat : 31653 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835032 11180277760 248409 33554432000 4194304 4196468 140735003052992 139700924834560 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31654] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31654/stat : 31654 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139700617435088 139702054377371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31655] ppid=31590 vsize=10918240 memory=993636 CPUtime=9.14 cores=1,3,5,7
/proc/31593/task/31655/stat : 31655 (java) S 31590 31593 27142 0 -1 1077944384 35237 13025 0 0 901 6 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701021285104 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31656] ppid=31590 vsize=10918240 memory=993636 CPUtime=8.59 cores=1,3,5,7
/proc/31593/task/31656/stat : 31656 (java) S 31590 31593 27142 0 -1 1077944384 35295 13025 0 0 845 7 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701020232560 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31657] ppid=31590 vsize=10918240 memory=993636 CPUtime=4.03 cores=1,3,5,7
/proc/31593/task/31657/stat : 31657 (java) S 31590 31593 27142 0 -1 1077944384 38527 13025 0 0 389 7 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701019179504 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31658] ppid=31590 vsize=10918240 memory=2428 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31658/stat : 31658 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139700583877472 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31659] ppid=31590 vsize=10918240 memory=993636 CPUtime=1.38 cores=1,3,5,7
/proc/31593/task/31659/stat : 31659 (java) S 31590 31593 27142 0 -1 1077944384 1236 13025 0 0 62 69 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701018126896 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
Current children cumulated CPU time: 2501.57 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 993636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2460.5 s]
/proc/loadavg: 1.68 1.46 1.37 3/215 31886
/proc/meminfo: memFree=22714916/32770624 swapFree=67108860/67108860
[pid=31593] ppid=31590 vsize=10918240 memory=993636 CPUtime=2520.04 cores=1,3,5,7
/proc/31593/stat : 31593 (java) S 31590 31593 27142 0 -1 1077944320 275806 13025 0 0 251660 337 5 2 20 0 15 0 66835021 11180277760 248409 33554432000 4194304 4196468 140735003052992 140735003035536 139702054358775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
/proc/31593/statm: 2729560 248409 3531 1 0 2691213 0
[pid=31593/tid=31646] ppid=31590 vsize=10918240 memory=993636 CPUtime=2434.53 cores=1,3,5,7
/proc/31593/task/31646/stat : 31646 (java) R 31590 31593 27142 0 -1 4202560 94318 13025 0 0 243395 51 5 2 20 0 15 0 66835029 11180277760 248409 33554432000 4194304 4196468 140735003052992 139702026194288 139701634235211 0 4 0 16800975 0 0 0 -1 3 0 0 46 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31647] ppid=31590 vsize=10918240 memory=993636 CPUtime=13.45 cores=1,3,5,7
/proc/31593/task/31647/stat : 31647 (java) S 31590 31593 27142 0 -1 1077944384 15659 13025 0 0 1293 45 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139702058601488 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31648] ppid=31590 vsize=10918240 memory=993636 CPUtime=13.46 cores=1,3,5,7
/proc/31593/task/31648/stat : 31648 (java) S 31590 31593 27142 0 -1 1077944384 11027 13025 0 0 1289 50 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701946875024 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31649] ppid=31590 vsize=10918240 memory=993636 CPUtime=13.43 cores=1,3,5,7
/proc/31593/task/31649/stat : 31649 (java) S 31590 31593 27142 0 -1 1077944384 9660 13025 0 0 1287 49 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701945821968 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31650] ppid=31590 vsize=10918240 memory=4711145007280710198 CPUtime=13.47 cores=1,3,5,7
/proc/31593/task/31650/stat : 31650 (java) S 31590 31593 27142 0 -1 1077944384 17281 13025 0 0 1290 50 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701944769424 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31651] ppid=31590 vsize=10918240 memory=279456746467360 CPUtime=9.08 cores=1,3,5,7
/proc/31593/task/31651/stat : 31651 (java) S 31590 31593 27142 0 -1 1077944384 15324 13025 0 0 854 47 5 2 20 0 15 0 66835032 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701055895792 139702054369922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31652] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31652/stat : 31652 (java) S 31590 31593 27142 0 -1 1077944384 37 13025 0 0 0 0 5 2 20 0 15 0 66835032 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701054842080 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31653] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31653/stat : 31653 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835032 11180277760 248409 33554432000 4194304 4196468 140735003052992 139700924834560 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31654] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31654/stat : 31654 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139700617435088 139702054377371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31655] ppid=31590 vsize=10918240 memory=279456746069824 CPUtime=9.14 cores=1,3,5,7
/proc/31593/task/31655/stat : 31655 (java) S 31590 31593 27142 0 -1 1077944384 35237 13025 0 0 901 6 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701021285104 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31656] ppid=31590 vsize=10918240 memory=4028 CPUtime=8.59 cores=1,3,5,7
/proc/31593/task/31656/stat : 31656 (java) S 31590 31593 27142 0 -1 1077944384 35295 13025 0 0 845 7 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701020232560 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31657] ppid=31590 vsize=10918240 memory=20208 CPUtime=4.03 cores=1,3,5,7
/proc/31593/task/31657/stat : 31657 (java) S 31590 31593 27142 0 -1 1077944384 38527 13025 0 0 389 7 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701019179504 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31658] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31658/stat : 31658 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139700583877472 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31659] ppid=31590 vsize=10918240 memory=993636 CPUtime=1.39 cores=1,3,5,7
/proc/31593/task/31659/stat : 31659 (java) S 31590 31593 27142 0 -1 1077944384 1246 13025 0 0 62 70 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701018126896 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 44 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 993636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2460.53 s]
# the end of solver process 31593 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.67 s, system=3.41412 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2460.5 s]
/proc/loadavg: 1.68 1.46 1.37 3/215 31886
/proc/meminfo: memFree=22714916/32770624 swapFree=67108860/67108860
[pid=31593] ppid=31590 vsize=10918240 memory=993636 CPUtime=2520.04 cores=1,3,5,7
/proc/31593/stat : 31593 (java) S 31590 31593 27142 0 -1 1077944320 275806 13025 0 0 251660 337 5 2 20 0 15 0 66835021 11180277760 248409 33554432000 4194304 4196468 140735003052992 140735003035536 139702054358775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
/proc/31593/statm: 2729560 248409 3531 1 0 2691213 0
[pid=31593/tid=31646] ppid=31590 vsize=10918240 memory=993636 CPUtime=2434.53 cores=1,3,5,7
/proc/31593/task/31646/stat : 31646 (java) R 31590 31593 27142 0 -1 4202560 94318 13025 0 0 243395 51 5 2 20 0 15 0 66835029 11180277760 248409 33554432000 4194304 4196468 140735003052992 139702026194288 139701634235211 0 4 0 16800975 0 0 0 -1 3 0 0 46 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31647] ppid=31590 vsize=10918240 memory=993636 CPUtime=13.45 cores=1,3,5,7
/proc/31593/task/31647/stat : 31647 (java) S 31590 31593 27142 0 -1 1077944384 15659 13025 0 0 1293 45 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139702058601488 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31648] ppid=31590 vsize=10918240 memory=993636 CPUtime=13.46 cores=1,3,5,7
/proc/31593/task/31648/stat : 31648 (java) S 31590 31593 27142 0 -1 1077944384 11027 13025 0 0 1289 50 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701946875024 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31649] ppid=31590 vsize=10918240 memory=993636 CPUtime=13.43 cores=1,3,5,7
/proc/31593/task/31649/stat : 31649 (java) S 31590 31593 27142 0 -1 1077944384 9660 13025 0 0 1287 49 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701945821968 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31650] ppid=31590 vsize=10918240 memory=4711145007280710198 CPUtime=13.47 cores=1,3,5,7
/proc/31593/task/31650/stat : 31650 (java) S 31590 31593 27142 0 -1 1077944384 17281 13025 0 0 1290 50 5 2 20 0 15 0 66835030 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701944769424 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31651] ppid=31590 vsize=10918240 memory=279456746467360 CPUtime=9.08 cores=1,3,5,7
/proc/31593/task/31651/stat : 31651 (java) S 31590 31593 27142 0 -1 1077944384 15324 13025 0 0 854 47 5 2 20 0 15 0 66835032 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701055895792 139702054369922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31652] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31652/stat : 31652 (java) S 31590 31593 27142 0 -1 1077944384 37 13025 0 0 0 0 5 2 20 0 15 0 66835032 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701054842080 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31653] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31653/stat : 31653 (java) S 31590 31593 27142 0 -1 1077944384 1 13025 0 0 0 0 5 2 20 0 15 0 66835032 11180277760 248409 33554432000 4194304 4196468 140735003052992 139700924834560 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31654] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31654/stat : 31654 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139700617435088 139702054377371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31655] ppid=31590 vsize=10918240 memory=279456746069824 CPUtime=9.14 cores=1,3,5,7
/proc/31593/task/31655/stat : 31655 (java) S 31590 31593 27142 0 -1 1077944384 35237 13025 0 0 901 6 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701021285104 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31656] ppid=31590 vsize=10918240 memory=4028 CPUtime=8.59 cores=1,3,5,7
/proc/31593/task/31656/stat : 31656 (java) S 31590 31593 27142 0 -1 1077944384 35295 13025 0 0 845 7 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701020232560 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31657] ppid=31590 vsize=10918240 memory=20208 CPUtime=4.03 cores=1,3,5,7
/proc/31593/task/31657/stat : 31657 (java) S 31590 31593 27142 0 -1 1077944384 38527 13025 0 0 389 7 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701019179504 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31658] ppid=31590 vsize=10918240 memory=993636 CPUtime=0.07 cores=1,3,5,7
/proc/31593/task/31658/stat : 31658 (java) S 31590 31593 27142 0 -1 1077944384 3 13025 0 0 0 0 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139700583877472 139702054368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
[pid=31593/tid=31659] ppid=31590 vsize=10918240 memory=993636 CPUtime=1.39 cores=1,3,5,7
/proc/31593/task/31659/stat : 31659 (java) S 31590 31593 27142 0 -1 1077944384 1246 13025 0 0 62 70 5 2 20 0 15 0 66835035 11180277760 248409 33554432000 4194304 4196468 140735003052992 139701018126896 139702054369922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 44 0 0 6293624 6294260 29917184 140735003056299 140735003059548 140735003059548 140735003062223 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 993636 KiB
Child status: 143
Real time (s): 2460.53
CPU time (s): 2520.09
CPU user time (s): 2516.67
CPU system time (s): 3.41412
CPU usage (%): 102.421
Max. virtual memory (cumulated for all children) (KiB): 10918832
Max. memory (cumulated for all children) (KiB): 1048164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.67
system time used= 3.41412
maximum resident set size= 1049192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290080
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 251382
involuntary context switches= 7216
# summary of solver processes directly reported to runsolver:
# pid: 31593
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.67
# total CPU system time (s): 3.41412
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.74 second user time and 23.2879 second system time
The end