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 (6245 MiB free)
memory of node 1: 16384 MiB (15701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302590-1532896677/watcher-4302590-1532896677 -o /tmp/evaluation-result-4302590-1532896677/solver-4302590-1532896677 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16079 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=274566541 HOME/instance-4302590-1532896677.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19723, runsolver pid=19720
Current StackSize limit: 8192 KiB
[startup+0.102118 s]*
/proc/loadavg: 3.00 1.94 1.83 2/206 19780
/proc/meminfo: memFree=22465604/32770624 swapFree=67028828/67108860
[pid=19723] ppid=19720 vsize=10005480 memory=16284 CPUtime=0.09 cores=1,3,5,7
/proc/19723/stat : 19723 (java) S 19720 19723 10029 0 -1 1077944320 4206 13382 0 0 1 0 5 3 20 0 6 0 107230851 10245611520 4071 33554432000 4194304 4196468 140721148595744 140721148578288 140144916831991 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
/proc/19723/statm: 2501370 4071 1920 1 0 2489808 0
[pid=19723/tid=19776] ppid=19720 vsize=10005480 memory=4279135703980474253 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19776/stat : 19776 (java) R 19720 19723 10029 0 -1 4202560 2024 13382 0 0 0 0 5 3 20 0 6 0 107230860 10245611520 4071 33554432000 4194304 4196468 140721148595744 140144888668752 140144900912478 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19777] ppid=19720 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19777/stat : 19777 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 6 0 107230861 10245611520 4071 33554432000 4194304 4196468 140721148595744 140144921074448 140144916842197 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19778] ppid=19720 vsize=10005480 memory=139988192802432 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19778/stat : 19778 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 6 0 107230861 10245611520 4071 33554432000 4194304 4196468 140721148595744 140144786410384 140144916842197 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19779] ppid=19720 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19779/stat : 19779 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 6 0 107230861 10245611520 4071 33554432000 4194304 4196468 140721148595744 140144785357840 140144916842197 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19780] ppid=19720 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19780/stat : 19780 (java) S 19720 19723 10029 0 -1 1077944384 2 13382 0 0 0 0 5 3 20 0 6 0 107230861 10245611520 4071 33554432000 4194304 4196468 140721148595744 140144784305296 140144916842197 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16284 KiB
[startup+0.209815 s]*
/proc/loadavg: 3.00 1.94 1.83 4/215 19789
/proc/meminfo: memFree=22444624/32770624 swapFree=67028828/67108860
[pid=19723] ppid=19720 vsize=10982744 memory=42300 CPUtime=0.25 cores=1,3,5,7
/proc/19723/stat : 19723 (java) S 19720 19723 10029 0 -1 1077944320 7248 13382 0 0 16 1 5 3 20 0 15 0 107230851 11246329856 10575 33554432000 4194304 4196468 140721148595744 140721148578288 140144916831991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
/proc/19723/statm: 2745686 10575 2958 1 0 2708109 0
[pid=19723/tid=19776] ppid=19720 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/19723/task/19776/stat : 19776 (java) R 19720 19723 10029 0 -1 4202560 3818 13382 0 0 10 1 5 3 20 0 15 0 107230860 11246329856 10575 33554432000 4194304 4196468 140721148595744 140144888654000 140144897107815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19777] ppid=19720 vsize=10982744 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19777/stat : 19777 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230861 11246329856 10575 33554432000 4194304 4196468 140721148595744 140144921074448 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19778] ppid=19720 vsize=10982744 memory=139988193451441 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19778/stat : 19778 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230861 11246329856 10575 33554432000 4194304 4196468 140721148595744 140144786410384 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19779] ppid=19720 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19779/stat : 19779 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230861 11246329856 10575 33554432000 4194304 4196468 140721148595744 140144785357840 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19780] ppid=19720 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19780/stat : 19780 (java) S 19720 19723 10029 0 -1 1077944384 2 13382 0 0 0 0 5 3 20 0 15 0 107230861 11246329856 10575 33554432000 4194304 4196468 140721148595744 140144784305296 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19781] ppid=19720 vsize=10982744 memory=139988192802432 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19781/stat : 19781 (java) S 19720 19723 10029 0 -1 1077944384 2 13382 0 0 0 0 5 3 20 0 15 0 107230863 11246329856 10575 33554432000 4194304 4196468 140721148595744 140144342722544 140144916843138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19782] ppid=19720 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19782/stat : 19782 (java) S 19720 19723 10029 0 -1 1077944384 13 13382 0 0 0 0 5 3 20 0 15 0 107230863 11246329856 10575 33554432000 4194304 4196468 140721148595744 140143776228256 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19783] ppid=19720 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19783/stat : 19783 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230864 11246329856 10575 33554432000 4194304 4196468 140721148595744 140143574901744 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19784] ppid=19720 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19784/stat : 19784 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230866 11246329856 10575 33554432000 4194304 4196468 140721148595744 140143267502288 140144916850587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19785] ppid=19720 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19723/task/19785/stat : 19785 (java) S 19720 19723 10029 0 -1 1077944384 367 13382 0 0 1 0 5 3 20 0 15 0 107230866 11246329856 10575 33554432000 4194304 4196468 140721148595744 140144341670384 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19786] ppid=19720 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19723/task/19786/stat : 19786 (java) S 19720 19723 10029 0 -1 1077944384 244 13382 0 0 1 0 5 3 20 0 15 0 107230866 11246329856 10575 33554432000 4194304 4196468 140721148595744 140144340617840 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19787] ppid=19720 vsize=10982744 memory=139988192802432 CPUtime=0.11 cores=1,3,5,7
/proc/19723/task/19787/stat : 19787 (java) S 19720 19723 10029 0 -1 1077944384 597 13382 0 0 3 0 5 3 20 0 15 0 107230866 11246329856 10575 33554432000 4194304 4196468 140721148595744 140144339565296 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19788] ppid=19720 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19788/stat : 19788 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230867 11246329856 10575 33554432000 4194304 4196468 140721148595744 140142836706400 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19789] ppid=19720 vsize=10982744 memory=139988192802432 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19789/stat : 19789 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230867 11246329856 10575 33554432000 4194304 4196468 140721148595744 140144338512176 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42300 KiB
[startup+0.310226 s]*
/proc/loadavg: 3.00 1.94 1.83 3/215 19789
/proc/meminfo: memFree=22431600/32770624 swapFree=67028828/67108860
[pid=19723] ppid=19720 vsize=10983192 memory=54960 CPUtime=0.38 cores=1,3,5,7
/proc/19723/stat : 19723 (java) S 19720 19723 10029 0 -1 1077944320 10319 13382 0 0 28 2 5 3 20 0 15 0 107230851 11246788608 13740 33554432000 4194304 4196468 140721148595744 140721148578288 140144916831991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
/proc/19723/statm: 2745798 13740 3077 1 0 2708109 0
[pid=19723/tid=19776] ppid=19720 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19723/task/19776/stat : 19776 (java) R 19720 19723 10029 0 -1 4202560 6951 13382 0 0 19 2 5 3 20 0 15 0 107230860 11246788608 13806 33554432000 4194304 4196468 140721148595744 140144888644000 140144897107819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19777] ppid=19720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19777/stat : 19777 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230861 11246788608 13806 33554432000 4194304 4196468 140721148595744 140144921074448 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19778] ppid=19720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19778/stat : 19778 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230861 11246788608 13872 33554432000 4194304 4196468 140721148595744 140144786410384 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19779] ppid=19720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19779/stat : 19779 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230861 11246788608 13872 33554432000 4194304 4196468 140721148595744 140144785357840 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19780] ppid=19720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19780/stat : 19780 (java) S 19720 19723 10029 0 -1 1077944384 2 13382 0 0 0 0 5 3 20 0 15 0 107230861 11246788608 13872 33554432000 4194304 4196468 140721148595744 140144784305296 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19781] ppid=19720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19781/stat : 19781 (java) S 19720 19723 10029 0 -1 1077944384 2 13382 0 0 0 0 5 3 20 0 15 0 107230863 11246788608 13872 33554432000 4194304 4196468 140721148595744 140144342722544 140144916843138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19782] ppid=19720 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19782/stat : 19782 (java) S 19720 19723 10029 0 -1 1077944384 13 13382 0 0 0 0 5 3 20 0 15 0 107230863 11246788608 13872 33554432000 4194304 4196468 140721148595744 140143776228256 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19783] ppid=19720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19783/stat : 19783 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230864 11246788608 13872 33554432000 4194304 4196468 140721148595744 140143574901744 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19784] ppid=19720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19784/stat : 19784 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230866 11246788608 13872 33554432000 4194304 4196468 140721148595744 140143267502288 140144916850587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19785] ppid=19720 vsize=10983192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/19723/task/19785/stat : 19785 (java) S 19720 19723 10029 0 -1 1077944384 367 13382 0 0 2 0 5 3 20 0 15 0 107230866 11246788608 13872 33554432000 4194304 4196468 140721148595744 140144341670384 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19786] ppid=19720 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19723/task/19786/stat : 19786 (java) S 19720 19723 10029 0 -1 1077944384 247 13382 0 0 1 0 5 3 20 0 15 0 107230866 11246788608 13872 33554432000 4194304 4196468 140721148595744 140144340617840 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19787] ppid=19720 vsize=10983192 memory=139988192802432 CPUtime=0.13 cores=1,3,5,7
/proc/19723/task/19787/stat : 19787 (java) S 19720 19723 10029 0 -1 1077944384 607 13382 0 0 5 0 5 3 20 0 15 0 107230866 11246788608 13872 33554432000 4194304 4196468 140721148595744 140144339565296 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19788] ppid=19720 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19788/stat : 19788 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230867 11246788608 13872 33554432000 4194304 4196468 140721148595744 140142836706400 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19789] ppid=19720 vsize=10983192 memory=139988192802432 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19789/stat : 19789 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230867 11246788608 13872 33554432000 4194304 4196468 140721148595744 140144338512176 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54960 KiB
[startup+0.700801 s]
/proc/loadavg: 3.00 1.94 1.83 3/215 19789
/proc/meminfo: memFree=22420560/32770624 swapFree=67028828/67108860
[pid=19723] ppid=19720 vsize=10983192 memory=88344 CPUtime=0.99 cores=1,3,5,7
/proc/19723/stat : 19723 (java) S 19720 19723 10029 0 -1 1077944320 16729 13382 0 0 88 3 5 3 20 0 15 0 107230851 11246788608 22086 33554432000 4194304 4196468 140721148595744 140721148578288 140144916831991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
/proc/19723/statm: 2745798 22086 3240 1 0 2708109 0
[pid=19723/tid=19776] ppid=19720 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/19723/task/19776/stat : 19776 (java) R 19720 19723 10029 0 -1 4202560 12227 13382 0 0 55 3 5 3 20 0 15 0 107230860 11246788608 22086 33554432000 4194304 4196468 140721148595744 140144888654032 140144916853917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19777] ppid=19720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19777/stat : 19777 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230861 11246788608 22086 33554432000 4194304 4196468 140721148595744 140144921074448 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19778] ppid=19720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19778/stat : 19778 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230861 11246788608 22086 33554432000 4194304 4196468 140721148595744 140144786410384 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19779] ppid=19720 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19779/stat : 19779 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230861 11246788608 22086 33554432000 4194304 4196468 140721148595744 140144785357840 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19780] ppid=19720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19780/stat : 19780 (java) S 19720 19723 10029 0 -1 1077944384 2 13382 0 0 0 0 5 3 20 0 15 0 107230861 11246788608 22086 33554432000 4194304 4196468 140721148595744 140144784305296 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19781] ppid=19720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19781/stat : 19781 (java) S 19720 19723 10029 0 -1 1077944384 6 13382 0 0 0 0 5 3 20 0 15 0 107230863 11246788608 22086 33554432000 4194304 4196468 140721148595744 140144342722544 140144916843138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19782] ppid=19720 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19782/stat : 19782 (java) S 19720 19723 10029 0 -1 1077944384 13 13382 0 0 0 0 5 3 20 0 15 0 107230863 11246788608 22086 33554432000 4194304 4196468 140721148595744 140143776228256 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19783] ppid=19720 vsize=10983192 memory=139988083815184 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19783/stat : 19783 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230864 11246788608 22086 33554432000 4194304 4196468 140721148595744 140143574901744 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19784] ppid=19720 vsize=10983192 memory=139990164046409 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19784/stat : 19784 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230866 11246788608 22086 33554432000 4194304 4196468 140721148595744 140143267502288 140144916850587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19785] ppid=19720 vsize=10983192 memory=796 CPUtime=0.17 cores=1,3,5,7
/proc/19723/task/19785/stat : 19785 (java) S 19720 19723 10029 0 -1 1077944384 917 13382 0 0 9 0 5 3 20 0 15 0 107230866 11246788608 22086 33554432000 4194304 4196468 140721148595744 140144341670384 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19786] ppid=19720 vsize=10983192 memory=7014751519650764113 CPUtime=0.16 cores=1,3,5,7
/proc/19723/task/19786/stat : 19786 (java) S 19720 19723 10029 0 -1 1077944384 681 13382 0 0 8 0 5 3 20 0 15 0 107230866 11246788608 22086 33554432000 4194304 4196468 140721148595744 140144340617840 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19787] ppid=19720 vsize=10983192 memory=7597123233646858610 CPUtime=0.21 cores=1,3,5,7
/proc/19723/task/19787/stat : 19787 (java) S 19720 19723 10029 0 -1 1077944384 678 13382 0 0 13 0 5 3 20 0 15 0 107230866 11246788608 22086 33554432000 4194304 4196468 140721148595744 140144339565296 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19788] ppid=19720 vsize=10983192 memory=3544 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19788/stat : 19788 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230867 11246788608 22086 33554432000 4194304 4196468 140721148595744 140142836706400 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19789] ppid=19720 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19789/stat : 19789 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230867 11246788608 22086 33554432000 4194304 4196468 140721148595744 140144338512176 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88344 KiB
[startup+1.50088 s]
/proc/loadavg: 2.92 1.94 1.83 3/215 19789
/proc/meminfo: memFree=22376276/32770624 swapFree=67028828/67108860
[pid=19723] ppid=19720 vsize=10991948 memory=304448 CPUtime=3.07 cores=1,3,5,7
/proc/19723/stat : 19723 (java) S 19720 19723 10029 0 -1 1077944320 23792 13382 0 0 280 19 5 3 20 0 15 0 107230851 11255754752 76112 33554432000 4194304 4196468 140721148595744 140721148578288 140144916831991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
/proc/19723/statm: 2747987 76112 3473 1 0 2709645 0
[pid=19723/tid=19776] ppid=19720 vsize=10991948 memory=9169 CPUtime=1.4 cores=1,3,5,7
/proc/19723/task/19776/stat : 19776 (java) R 19720 19723 10029 0 -1 4202560 15209 13382 0 0 126 6 5 3 20 0 15 0 107230860 11255754752 76112 33554432000 4194304 4196468 140721148595744 140144888663040 140144468913586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19777] ppid=19720 vsize=10991948 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/19723/task/19777/stat : 19777 (java) S 19720 19723 10029 0 -1 1077944384 52 13382 0 0 2 2 5 3 20 0 15 0 107230861 11255754752 76112 33554432000 4194304 4196468 140721148595744 140144921074448 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19778] ppid=19720 vsize=10991948 memory=1408 CPUtime=0.12 cores=1,3,5,7
/proc/19723/task/19778/stat : 19778 (java) S 19720 19723 10029 0 -1 1077944384 79 13382 0 0 2 2 5 3 20 0 15 0 107230861 11255754752 76112 33554432000 4194304 4196468 140721148595744 140144786410384 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19779] ppid=19720 vsize=10991948 memory=2800 CPUtime=0.12 cores=1,3,5,7
/proc/19723/task/19779/stat : 19779 (java) S 19720 19723 10029 0 -1 1077944384 44 13382 0 0 2 2 5 3 20 0 15 0 107230861 11255754752 76112 33554432000 4194304 4196468 140721148595744 140144785357840 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19780] ppid=19720 vsize=10991948 memory=88344 CPUtime=0.12 cores=1,3,5,7
/proc/19723/task/19780/stat : 19780 (java) S 19720 19723 10029 0 -1 1077944384 301 13382 0 0 2 2 5 3 20 0 15 0 107230861 11255754752 76112 33554432000 4194304 4196468 140721148595744 140144784305296 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19781] ppid=19720 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19781/stat : 19781 (java) S 19720 19723 10029 0 -1 1077944384 96 13382 0 0 0 0 5 3 20 0 15 0 107230863 11255754752 76112 33554432000 4194304 4196468 140721148595744 140144342722544 140144916843138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19782] ppid=19720 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19782/stat : 19782 (java) S 19720 19723 10029 0 -1 1077944384 13 13382 0 0 0 0 5 3 20 0 15 0 107230863 11255754752 76112 33554432000 4194304 4196468 140721148595744 140143776228256 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19783] ppid=19720 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19783/stat : 19783 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230864 11255754752 76112 33554432000 4194304 4196468 140721148595744 140143574901744 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19784] ppid=19720 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19784/stat : 19784 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230866 11255754752 76112 33554432000 4194304 4196468 140721148595744 140143267502288 140144916850587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19785] ppid=19720 vsize=10991948 memory=4638778398332698720 CPUtime=0.57 cores=1,3,5,7
/proc/19723/task/19785/stat : 19785 (java) R 19720 19723 10029 0 -1 4202560 2545 13382 0 0 49 0 5 3 20 0 15 0 107230866 11255754752 76112 33554432000 4194304 4196468 140721148595744 140144341655536 140144900328775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19786] ppid=19720 vsize=10991948 memory=279976167906176 CPUtime=0.6 cores=1,3,5,7
/proc/19723/task/19786/stat : 19786 (java) R 19720 19723 10029 0 -1 4202560 1635 13382 0 0 52 0 5 3 20 0 15 0 107230866 11255754752 76112 33554432000 4194304 4196468 140721148595744 140144340603864 140144900216913 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19787] ppid=19720 vsize=10991948 memory=6944656592452807323 CPUtime=0.5 cores=1,3,5,7
/proc/19723/task/19787/stat : 19787 (java) S 19720 19723 10029 0 -1 1077944384 1614 13382 0 0 41 1 5 3 20 0 15 0 107230866 11255754752 76112 33554432000 4194304 4196468 140721148595744 140144339565296 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19788] ppid=19720 vsize=10991948 memory=1399101730491701635 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19788/stat : 19788 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230867 11255754752 76112 33554432000 4194304 4196468 140721148595744 140142836706400 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19789] ppid=19720 vsize=10991948 memory=6944656591801719708 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19789/stat : 19789 (java) S 19720 19723 10029 0 -1 1077944384 1 13382 0 0 0 0 5 3 20 0 15 0 107230867 11255754752 76112 33554432000 4194304 4196468 140721148595744 140144338512176 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/19723/task/19776/stat : 19776 (java) R 19720 19723 10029 0 -1 4202560 56679 13382 0 0 16063 42 5 3 20 0 15 0 107230860 11280941056 789835 33554432000 4194304 4196468 140721148595744 140144888666896 140144488465931 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19777] ppid=19720 vsize=11016544 memory=3159340 CPUtime=1.06 cores=1,3,5,7
/proc/19723/task/19777/stat : 19777 (java) S 19720 19723 10029 0 -1 1077944384 3273 13382 0 0 72 26 5 3 20 0 15 0 107230861 11280941056 789835 33554432000 4194304 4196468 140721148595744 140144921074448 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19778] ppid=19720 vsize=11016544 memory=3159340 CPUtime=1.06 cores=1,3,5,7
/proc/19723/task/19778/stat : 19778 (java) S 19720 19723 10029 0 -1 1077944384 3355 13382 0 0 73 25 5 3 20 0 15 0 107230861 11280941056 789835 33554432000 4194304 4196468 140721148595744 140144786410384 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19779] ppid=19720 vsize=11016544 memory=3159340 CPUtime=1.05 cores=1,3,5,7
/proc/19723/task/19779/stat : 19779 (java) S 19720 19723 10029 0 -1 1077944384 1737 13382 0 0 73 24 5 3 20 0 15 0 107230861 11280941056 789835 33554432000 4194304 4196468 140721148595744 140144785357840 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19780] ppid=19720 vsize=11016544 memory=3159340 CPUtime=1.06 cores=1,3,5,7
/proc/19723/task/19780/stat : 19780 (java) S 19720 19723 10029 0 -1 1077944384 2417 13382 0 0 73 25 5 3 20 0 15 0 107230861 11280941056 789835 33554432000 4194304 4196468 140721148595744 140144784305296 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19781] ppid=19720 vsize=11016544 memory=3159340 CPUtime=0.18 cores=1,3,5,7
/proc/19723/task/19781/stat : 19781 (java) S 19720 19723 10029 0 -1 1077944384 4561 13382 0 0 10 0 5 3 20 0 15 0 107230863 11280941056 789835 33554432000 4194304 4196468 140721148595744 140144342722544 140144916843138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19782] ppid=19720 vsize=11016544 memory=3159340 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19782/stat : 19782 (java) S 19720 19723 10029 0 -1 1077944384 21 13382 0 0 0 0 5 3 20 0 15 0 107230863 11280941056 789835 33554432000 4194304 4196468 140721148595744 140143776228384 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19783] ppid=19720 vsize=11016544 memory=3159340 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19783/stat : 19783 (java) S 19720 19723 10029 0 -1 1077944384 9 13382 0 0 0 0 5 3 20 0 15 0 107230864 11280941056 789835 33554432000 4194304 4196468 140721148595744 140143574901760 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19784] ppid=19720 vsize=11016544 memory=3159340 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19784/stat : 19784 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230866 11280941056 789835 33554432000 4194304 4196468 140721148595744 140143267502288 140144916850587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19785] ppid=19720 vsize=11016544 memory=3159340 CPUtime=7.57 cores=1,3,5,7
/proc/19723/task/19785/stat : 19785 (java) S 19720 19723 10029 0 -1 1077944384 21145 13382 0 0 745 4 5 3 20 0 15 0 107230866 11280941056 789835 33554432000 4194304 4196468 140721148595744 140144341670384 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19786] ppid=19720 vsize=11016544 memory=0 CPUtime=7.44 cores=1,3,5,7
/proc/19723/task/19786/stat : 19786 (java) S 19720 19723 10029 0 -1 1077944384 21423 13382 0 0 733 3 5 3 20 0 15 0 107230866 11280941056 789835 33554432000 4194304 4196468 140721148595744 140144340617840 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19787] ppid=19720 vsize=11016544 memory=6944652177228980320 CPUtime=3.08 cores=1,3,5,7
/proc/19723/task/19787/stat : 19787 (java) S 19720 19723 10029 0 -1 1077944384 20070 13382 0 0 296 4 5 3 20 0 15 0 107230866 11280941056 789835 33554432000 4194304 4196468 140721148595744 140144339565296 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19788] ppid=19720 vsize=11016544 memory=97 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19788/stat : 19788 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230867 11280941056 789835 33554432000 4194304 4196468 140721148595744 140142836706400 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19789] ppid=19720 vsize=11016544 memory=279973953524583 CPUtime=0.16 cores=1,3,5,7
/proc/19723/task/19789/stat : 19789 (java) S 19720 19723 10029 0 -1 1077944384 1596 13382 0 0 4 4 5 3 20 0 15 0 107230867 11280941056 789835 33554432000 4194304 4196468 140721148595744 140144338512176 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
Current children cumulated CPU time: 183.2 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3159340 KiB
[startup+222.301 s]
/proc/loadavg: 1.77 1.85 1.83 3/216 19931
/proc/meminfo: memFree=18851000/32770624 swapFree=67028832/67108860
[pid=19723] ppid=19720 vsize=11016544 memory=3176148 CPUtime=244 cores=1,3,5,7
/proc/19723/stat : 19723 (java) S 19720 19723 10029 0 -1 1077944320 159127 13382 0 0 24224 168 5 3 20 0 15 0 107230851 11280941056 794037 33554432000 4194304 4196468 140721148595744 140721148578288 140144916831991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
/proc/19723/statm: 2754136 794037 3537 1 0 2715789 0
[pid=19723/tid=19776] ppid=19720 vsize=11016544 memory=3179840 CPUtime=221.05 cores=1,3,5,7
/proc/19723/task/19776/stat : 19776 (java) R 19720 19723 10029 0 -1 4202560 61863 13382 0 0 22054 43 5 3 20 0 15 0 107230860 11280941056 794037 33554432000 4194304 4196468 140721148595744 140144888666272 140144478997191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19777] ppid=19720 vsize=11016544 memory=3175776 CPUtime=1.11 cores=1,3,5,7
/proc/19723/task/19777/stat : 19777 (java) S 19720 19723 10029 0 -1 1077944384 3380 13382 0 0 76 27 5 3 20 0 15 0 107230861 11280941056 794037 33554432000 4194304 4196468 140721148595744 140144921074448 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19778] ppid=19720 vsize=11016544 memory=3181788 CPUtime=1.11 cores=1,3,5,7
/proc/19723/task/19778/stat : 19778 (java) S 19720 19723 10029 0 -1 1077944384 4085 13382 0 0 77 26 5 3 20 0 15 0 107230861 11280941056 794037 33554432000 4194304 4196468 140721148595744 140144786410384 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19779] ppid=19720 vsize=11016544 memory=3176148 CPUtime=1.11 cores=1,3,5,7
/proc/19723/task/19779/stat : 19779 (java) S 19720 19723 10029 0 -1 1077944384 2831 13382 0 0 78 25 5 3 20 0 15 0 107230861 11280941056 794037 33554432000 4194304 4196468 140721148595744 140144785357840 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19780] ppid=19720 vsize=11016544 memory=279976168502608 CPUtime=1.11 cores=1,3,5,7
/proc/19723/task/19780/stat : 19780 (java) S 19720 19723 10029 0 -1 1077944384 2536 13382 0 0 77 26 5 3 20 0 15 0 107230861 11280941056 794037 33554432000 4194304 4196468 140721148595744 140144784305296 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19781] ppid=19720 vsize=11016544 memory=1664 CPUtime=0.2 cores=1,3,5,7
/proc/19723/task/19781/stat : 19781 (java) S 19720 19723 10029 0 -1 1077944384 4884 13382 0 0 11 1 5 3 20 0 15 0 107230863 11280941056 794037 33554432000 4194304 4196468 140721148595744 140144342722544 140144916843138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19782] ppid=19720 vsize=11016544 memory=3173728 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19782/stat : 19782 (java) S 19720 19723 10029 0 -1 1077944384 21 13382 0 0 0 0 5 3 20 0 15 0 107230863 11280941056 794037 33554432000 4194304 4196468 140721148595744 140143776228384 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19783] ppid=19720 vsize=11016544 memory=3544 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19783/stat : 19783 (java) S 19720 19723 10029 0 -1 1077944384 9 13382 0 0 0 0 5 3 20 0 15 0 107230864 11280941056 794037 33554432000 4194304 4196468 140721148595744 140143574901760 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19784] ppid=19720 vsize=11016544 memory=3181788 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19784/stat : 19784 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230866 11280941056 794037 33554432000 4194304 4196468 140721148595744 140143267502288 140144916850587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19785] ppid=19720 vsize=11016544 memory=3544 CPUtime=7.6 cores=1,3,5,7
/proc/19723/task/19785/stat : 19785 (java) S 19720 19723 10029 0 -1 1077944384 22541 13382 0 0 748 4 5 3 20 0 15 0 107230866 11280941056 794037 33554432000 4194304 4196468 140721148595744 140144341670384 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19786] ppid=19720 vsize=11016544 memory=4096 CPUtime=8.02 cores=1,3,5,7
/proc/19723/task/19786/stat : 19786 (java) S 19720 19723 10029 0 -1 1077944384 28710 13382 0 0 790 4 5 3 20 0 15 0 107230866 11280941056 794037 33554432000 4194304 4196468 140721148595744 140144340617840 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19787] ppid=19720 vsize=11016544 memory=2592 CPUtime=3.09 cores=1,3,5,7
/proc/19723/task/19787/stat : 19787 (java) S 19720 19723 10029 0 -1 1077944384 24434 13382 0 0 297 4 5 3 20 0 15 0 107230866 11280941056 794037 33554432000 4194304 4196468 140721148595744 140144339565296 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19788] ppid=19720 vsize=11016544 memory=796 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19788/stat : 19788 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230867 11280941056 794037 33554432000 4194304 4196468 140721148595744 140142836706400 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19789] ppid=19720 vsize=11016544 memory=1008 CPUtime=0.2 cores=1,3,5,7
/proc/19723/task/19789/stat : 19789 (java) S 19720 19723 10029 0 -1 1077944384 1633 13382 0 0 6 6 5 3 20 0 15 0 107230867 11280941056 794037 33554432000 4194304 4196468 140721148595744 140144338512176 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
Current children cumulated CPU time: 244 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3176148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+230.301 s]
/proc/loadavg: 1.78 1.85 1.83 3/216 19932
/proc/meminfo: memFree=18895868/32770624 swapFree=67028832/67108860
[pid=19723] ppid=19720 vsize=11016544 memory=3161784 CPUtime=252.03 cores=1,3,5,7
/proc/19723/stat : 19723 (java) S 19720 19723 10029 0 -1 1077944320 159468 13382 0 0 25026 169 5 3 20 0 15 0 107230851 11280941056 790446 33554432000 4194304 4196468 140721148595744 140721148578288 140144916831991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
/proc/19723/statm: 2754136 790446 3537 1 0 2715789 0
[pid=19723/tid=19776] ppid=19720 vsize=11016544 memory=3544 CPUtime=229.05 cores=1,3,5,7
/proc/19723/task/19776/stat : 19776 (java) R 19720 19723 10029 0 -1 4202560 62020 13382 0 0 22854 43 5 3 20 0 15 0 107230860 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144888666512 140144484829700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19777] ppid=19720 vsize=11016544 memory=3176148 CPUtime=1.12 cores=1,3,5,7
/proc/19723/task/19777/stat : 19777 (java) S 19720 19723 10029 0 -1 1077944384 3381 13382 0 0 77 27 5 3 20 0 15 0 107230861 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144921074448 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19778] ppid=19720 vsize=11016544 memory=3161784 CPUtime=1.12 cores=1,3,5,7
/proc/19723/task/19778/stat : 19778 (java) S 19720 19723 10029 0 -1 1077944384 4091 13382 0 0 78 26 5 3 20 0 15 0 107230861 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144786410384 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19779] ppid=19720 vsize=11016544 memory=3161784 CPUtime=1.11 cores=1,3,5,7
/proc/19723/task/19779/stat : 19779 (java) S 19720 19723 10029 0 -1 1077944384 2832 13382 0 0 78 25 5 3 20 0 15 0 107230861 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144785357840 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19780] ppid=19720 vsize=11016544 memory=279976168502608 CPUtime=1.12 cores=1,3,5,7
/proc/19723/task/19780/stat : 19780 (java) S 19720 19723 10029 0 -1 1077944384 2537 13382 0 0 78 26 5 3 20 0 15 0 107230861 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144784305296 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19781] ppid=19720 vsize=11016544 memory=56 CPUtime=0.2 cores=1,3,5,7
/proc/19723/task/19781/stat : 19781 (java) S 19720 19723 10029 0 -1 1077944384 4884 13382 0 0 11 1 5 3 20 0 15 0 107230863 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144342722544 140144916843138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19782] ppid=19720 vsize=11016544 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19782/stat : 19782 (java) S 19720 19723 10029 0 -1 1077944384 21 13382 0 0 0 0 5 3 20 0 15 0 107230863 11280941056 790446 33554432000 4194304 4196468 140721148595744 140143776228384 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19783] ppid=19720 vsize=11016544 memory=3161784 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19783/stat : 19783 (java) S 19720 19723 10029 0 -1 1077944384 9 13382 0 0 0 0 5 3 20 0 15 0 107230864 11280941056 790446 33554432000 4194304 4196468 140721148595744 140143574901760 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19784] ppid=19720 vsize=11016544 memory=3700 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19784/stat : 19784 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230866 11280941056 790446 33554432000 4194304 4196468 140721148595744 140143267502288 140144916850587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19785] ppid=19720 vsize=11016544 memory=3179840 CPUtime=7.61 cores=1,3,5,7
/proc/19723/task/19785/stat : 19785 (java) S 19720 19723 10029 0 -1 1077944384 22706 13382 0 0 749 4 5 3 20 0 15 0 107230866 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144341670384 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19786] ppid=19720 vsize=11016544 memory=3604 CPUtime=8.02 cores=1,3,5,7
/proc/19723/task/19786/stat : 19786 (java) S 19720 19723 10029 0 -1 1077944384 28710 13382 0 0 790 4 5 3 20 0 15 0 107230866 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144340617840 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19787] ppid=19720 vsize=11016544 memory=13872 CPUtime=3.1 cores=1,3,5,7
/proc/19723/task/19787/stat : 19787 (java) S 19720 19723 10029 0 -1 1077944384 24443 13382 0 0 298 4 5 3 20 0 15 0 107230866 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144339565296 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19788] ppid=19720 vsize=11016544 memory=3544 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19788/stat : 19788 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230867 11280941056 790446 33554432000 4194304 4196468 140721148595744 140142836706400 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19789] ppid=19720 vsize=11016544 memory=27220 CPUtime=0.21 cores=1,3,5,7
/proc/19723/task/19789/stat : 19789 (java) S 19720 19723 10029 0 -1 1077944384 1634 13382 0 0 6 7 5 3 20 0 15 0 107230867 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144338512176 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3161784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+230.345 s]
# the end of solver process 19723 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.337 s, system=1.74782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.301 s]
/proc/loadavg: 1.78 1.85 1.83 3/216 19932
/proc/meminfo: memFree=18895868/32770624 swapFree=67028832/67108860
[pid=19723] ppid=19720 vsize=11016544 memory=3161784 CPUtime=252.03 cores=1,3,5,7
/proc/19723/stat : 19723 (java) S 19720 19723 10029 0 -1 1077944320 159468 13382 0 0 25026 169 5 3 20 0 15 0 107230851 11280941056 790446 33554432000 4194304 4196468 140721148595744 140721148578288 140144916831991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
/proc/19723/statm: 2754136 790446 3537 1 0 2715789 0
[pid=19723/tid=19776] ppid=19720 vsize=11016544 memory=3544 CPUtime=229.05 cores=1,3,5,7
/proc/19723/task/19776/stat : 19776 (java) R 19720 19723 10029 0 -1 4202560 62020 13382 0 0 22854 43 5 3 20 0 15 0 107230860 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144888666512 140144484829700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19777] ppid=19720 vsize=11016544 memory=3176148 CPUtime=1.12 cores=1,3,5,7
/proc/19723/task/19777/stat : 19777 (java) S 19720 19723 10029 0 -1 1077944384 3381 13382 0 0 77 27 5 3 20 0 15 0 107230861 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144921074448 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19778] ppid=19720 vsize=11016544 memory=3161784 CPUtime=1.12 cores=1,3,5,7
/proc/19723/task/19778/stat : 19778 (java) S 19720 19723 10029 0 -1 1077944384 4091 13382 0 0 78 26 5 3 20 0 15 0 107230861 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144786410384 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19779] ppid=19720 vsize=11016544 memory=3161784 CPUtime=1.11 cores=1,3,5,7
/proc/19723/task/19779/stat : 19779 (java) S 19720 19723 10029 0 -1 1077944384 2832 13382 0 0 78 25 5 3 20 0 15 0 107230861 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144785357840 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19780] ppid=19720 vsize=11016544 memory=279976168502608 CPUtime=1.12 cores=1,3,5,7
/proc/19723/task/19780/stat : 19780 (java) S 19720 19723 10029 0 -1 1077944384 2537 13382 0 0 78 26 5 3 20 0 15 0 107230861 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144784305296 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19781] ppid=19720 vsize=11016544 memory=56 CPUtime=0.2 cores=1,3,5,7
/proc/19723/task/19781/stat : 19781 (java) S 19720 19723 10029 0 -1 1077944384 4884 13382 0 0 11 1 5 3 20 0 15 0 107230863 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144342722544 140144916843138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19782] ppid=19720 vsize=11016544 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19782/stat : 19782 (java) S 19720 19723 10029 0 -1 1077944384 21 13382 0 0 0 0 5 3 20 0 15 0 107230863 11280941056 790446 33554432000 4194304 4196468 140721148595744 140143776228384 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19783] ppid=19720 vsize=11016544 memory=3161784 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19783/stat : 19783 (java) S 19720 19723 10029 0 -1 1077944384 9 13382 0 0 0 0 5 3 20 0 15 0 107230864 11280941056 790446 33554432000 4194304 4196468 140721148595744 140143574901760 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19784] ppid=19720 vsize=11016544 memory=3700 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19784/stat : 19784 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230866 11280941056 790446 33554432000 4194304 4196468 140721148595744 140143267502288 140144916850587 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19785] ppid=19720 vsize=11016544 memory=3179840 CPUtime=7.61 cores=1,3,5,7
/proc/19723/task/19785/stat : 19785 (java) S 19720 19723 10029 0 -1 1077944384 22706 13382 0 0 749 4 5 3 20 0 15 0 107230866 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144341670384 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19786] ppid=19720 vsize=11016544 memory=3604 CPUtime=8.02 cores=1,3,5,7
/proc/19723/task/19786/stat : 19786 (java) S 19720 19723 10029 0 -1 1077944384 28710 13382 0 0 790 4 5 3 20 0 15 0 107230866 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144340617840 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19787] ppid=19720 vsize=11016544 memory=13872 CPUtime=3.1 cores=1,3,5,7
/proc/19723/task/19787/stat : 19787 (java) S 19720 19723 10029 0 -1 1077944384 24443 13382 0 0 298 4 5 3 20 0 15 0 107230866 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144339565296 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19788] ppid=19720 vsize=11016544 memory=3544 CPUtime=0.08 cores=1,3,5,7
/proc/19723/task/19788/stat : 19788 (java) S 19720 19723 10029 0 -1 1077944384 3 13382 0 0 0 0 5 3 20 0 15 0 107230867 11280941056 790446 33554432000 4194304 4196468 140721148595744 140142836706400 140144916842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
[pid=19723/tid=19789] ppid=19720 vsize=11016544 memory=27220 CPUtime=0.21 cores=1,3,5,7
/proc/19723/task/19789/stat : 19789 (java) S 19720 19723 10029 0 -1 1077944384 1634 13382 0 0 6 7 5 3 20 0 15 0 107230867 11280941056 790446 33554432000 4194304 4196468 140721148595744 140144338512176 140144916843138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140721148598898 140721148601697 140721148601697 140721148604367 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3161784 KiB
Child status: 143
Real time (s): 230.345
CPU time (s): 252.084
CPU user time (s): 250.337
CPU system time (s): 1.74782
CPU usage (%): 109.438
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 3181788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.337
system time used= 1.74782
maximum resident set size= 3181788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173409
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16662
involuntary context switches= 282
# summary of solver processes directly reported to runsolver:
# pid: 19723
# total CPU time (s): 252.084
# total CPU user time (s): 250.337
# total CPU system time (s): 1.74782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08369 second user time and 2.55727 second system time
The end