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 (10945 MiB free)
memory of node 1: 16384 MiB (13930 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300413-1532871719/watcher-4300413-1532871719 -o /tmp/evaluation-result-4300413-1532871719/solver-4300413-1532871719 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532846543-2787 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4300413-1532871719.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5644, runsolver pid=5641
[startup+0.100296 s]*
/proc/loadavg: 1.74 1.54 1.46 3/216 5659
/proc/meminfo: memFree=25457744/32770624 swapFree=67108688/67108860
[pid=5644] ppid=5641 vsize=10661056 memory=27684 CPUtime=0.12 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5641 5644 2756 0 -1 1077944320 5275 0 0 0 10 2 0 0 20 0 15 0 104734784 10916921344 6921 33554432000 4194304 4196468 140730680774608 140730680757152 140201881337591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
/proc/5644/statm: 2665264 6921 2841 1 0 2627263 0
[pid=5644/tid=5646] ppid=5641 vsize=10661056 memory=-8679945504804402368 CPUtime=0.09 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (java) R 5641 5644 2756 0 -1 4202560 3137 0 0 0 8 1 0 0 20 0 15 0 104734784 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201885568480 140201863872074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5647] ppid=5641 vsize=10661056 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5641 5644 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104734785 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201833958032 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5648] ppid=5641 vsize=10661056 memory=140522779100800 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5641 5644 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104734785 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201832905232 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5649] ppid=5641 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5641 5644 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104734785 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201831852432 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5650] ppid=5641 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5641 5644 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104734785 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201830799632 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5651] ppid=5641 vsize=10661056 memory=140522779100800 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5641 5644 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104734786 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201441033072 140201881348738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5652] ppid=5641 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5641 5644 2756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104734787 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201439979040 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5653] ppid=5641 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5641 5644 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104734787 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201438926192 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5654] ppid=5641 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201437874512 140201881356187 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5655] ppid=5641 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) R 5641 5644 2756 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 104734789 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201436821968 140201881347797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5656] ppid=5641 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) R 5641 5644 2756 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 15 0 104734789 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201435760576 140201864773329 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5657] ppid=5641 vsize=10661056 memory=140522779100800 CPUtime=0.02 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) R 5641 5644 2756 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 15 0 104734789 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201434716272 140201866503166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5658] ppid=5641 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201433663712 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5659] ppid=5641 vsize=10661056 memory=140522779100800 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5641 5644 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104734789 10916921344 6921 33554432000 4194304 4196468 140730680774608 140201432612016 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27684 KiB
[startup+0.210809 s]*
/proc/loadavg: 1.74 1.54 1.46 4/216 5659
/proc/meminfo: memFree=25445308/32770624 swapFree=67108688/67108860
[pid=5644] ppid=5641 vsize=10661056 memory=40160 CPUtime=0.34 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5641 5644 2756 0 -1 1077944320 8081 0 0 0 31 3 0 0 20 0 15 0 104734784 10916921344 10040 33554432000 4194304 4196468 140730680774608 140730680757152 140201881337591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
/proc/5644/statm: 2665264 10040 2989 1 0 2627263 0
[pid=5644/tid=5646] ppid=5641 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (java) R 5641 5644 2756 0 -1 4202560 5125 0 0 0 18 2 0 0 20 0 15 0 104734784 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201885559984 140201881359517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5647] ppid=5641 vsize=10661056 memory=343 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5641 5644 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104734785 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201833958032 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5648] ppid=5641 vsize=10661056 memory=140522779584886 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5641 5644 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104734785 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201832905232 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5649] ppid=5641 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5641 5644 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104734785 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201831852432 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5650] ppid=5641 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5641 5644 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104734785 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201830799632 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5651] ppid=5641 vsize=10661056 memory=140522779100800 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5641 5644 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104734786 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201441033072 140201881348738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5652] ppid=5641 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5641 5644 2756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104734787 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201439979040 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5653] ppid=5641 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5641 5644 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104734787 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201438926192 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5654] ppid=5641 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201437874512 140201881356187 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5655] ppid=5641 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) S 5641 5644 2756 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 15 0 104734789 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201436821872 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5656] ppid=5641 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) S 5641 5644 2756 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 104734789 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201435769072 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5657] ppid=5641 vsize=10661056 memory=140522779100800 CPUtime=0.08 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) S 5641 5644 2756 0 -1 1077944384 799 0 0 0 8 0 0 0 20 0 15 0 104734789 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201434716272 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5658] ppid=5641 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201433663712 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5659] ppid=5641 vsize=10661056 memory=140522779100800 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5641 5644 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104734789 10916921344 10040 33554432000 4194304 4196468 140730680774608 140201432612016 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40160 KiB
[startup+0.314379 s]*
/proc/loadavg: 1.74 1.54 1.46 6/216 5659
/proc/meminfo: memFree=25436020/32770624 swapFree=67108688/67108860
[pid=5644] ppid=5641 vsize=10661132 memory=51952 CPUtime=0.6 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5641 5644 2756 0 -1 1077944320 9557 0 0 0 57 3 0 0 20 0 15 0 104734784 10916999168 12988 33554432000 4194304 4196468 140730680774608 140730680757152 140201881337591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
/proc/5644/statm: 2665283 12988 3069 1 0 2627263 0
[pid=5644/tid=5646] ppid=5641 vsize=10661132 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (java) R 5641 5644 2756 0 -1 4202560 5442 0 0 0 28 2 0 0 20 0 15 0 104734784 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201885572592 140201508557587 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5647] ppid=5641 vsize=10661132 memory=4294979917 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5641 5644 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104734785 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201833958032 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5648] ppid=5641 vsize=10661132 memory=140522779584885 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5641 5644 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104734785 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201832905232 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5649] ppid=5641 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5641 5644 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104734785 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201831852432 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5650] ppid=5641 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5641 5644 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104734785 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201830799632 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5651] ppid=5641 vsize=10661132 memory=140522779100800 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5641 5644 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104734786 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201441033072 140201881348738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5652] ppid=5641 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5641 5644 2756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104734787 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201439979040 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5653] ppid=5641 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5641 5644 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104734787 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201438926192 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5654] ppid=5641 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201437874512 140201881356187 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5655] ppid=5641 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) R 5641 5644 2756 0 -1 4202560 876 0 0 0 6 0 0 0 20 0 15 0 104734789 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201436807896 140201864545635 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5656] ppid=5641 vsize=10661132 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) R 5641 5644 2756 0 -1 4202560 764 0 0 0 7 0 0 0 20 0 15 0 104734789 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201435754256 140201862858857 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5657] ppid=5641 vsize=10661132 memory=140522779100800 CPUtime=0.15 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) R 5641 5644 2756 0 -1 1077944384 1105 0 0 0 15 0 0 0 20 0 15 0 104734789 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201434716272 140201881348738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5658] ppid=5641 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201433663712 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5659] ppid=5641 vsize=10661132 memory=140522779100800 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5641 5644 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 12988 33554432000 4194304 4196468 140730680774608 140201432612016 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 51952 KiB
[startup+0.701405 s]
/proc/loadavg: 1.74 1.54 1.46 4/216 5659
/proc/meminfo: memFree=25288560/32770624 swapFree=67108688/67108860
[pid=5644] ppid=5641 vsize=10661132 memory=371372 CPUtime=1.67 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5641 5644 2756 0 -1 1077944320 11485 0 0 0 149 18 0 0 20 0 15 0 104734784 10916999168 92843 33554432000 4194304 4196468 140730680774608 140730680757152 140201881337591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
/proc/5644/statm: 2665283 92843 3126 1 0 2627263 0
[pid=5644/tid=5646] ppid=5641 vsize=10661132 memory=164793533081970 CPUtime=0.61 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (java) R 5641 5644 2756 0 -1 4202560 5688 0 0 0 56 5 0 0 20 0 15 0 104734784 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201885575784 140201509811281 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5647] ppid=5641 vsize=10661132 memory=596297 CPUtime=0.04 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5641 5644 2756 0 -1 1077944384 84 0 0 0 2 2 0 0 20 0 15 0 104734785 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201833958032 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5648] ppid=5641 vsize=10661132 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5641 5644 2756 0 -1 1077944384 114 0 0 0 1 2 0 0 20 0 15 0 104734785 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201832905232 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5649] ppid=5641 vsize=10661132 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5641 5644 2756 0 -1 1077944384 127 0 0 0 2 2 0 0 20 0 15 0 104734785 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201831852432 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5650] ppid=5641 vsize=10661132 memory=7809523229951467570 CPUtime=0.04 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5641 5644 2756 0 -1 1077944384 136 0 0 0 2 2 0 0 20 0 15 0 104734785 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201830799632 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5651] ppid=5641 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5641 5644 2756 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 104734786 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201441033072 140201881348738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5652] ppid=5641 vsize=10661132 memory=-6079436537918267177 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5641 5644 2756 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 104734787 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201439979040 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5653] ppid=5641 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5641 5644 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104734787 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201438926192 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5654] ppid=5641 vsize=10661132 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201437874512 140201881356187 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5655] ppid=5641 vsize=10661132 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) R 5641 5644 2756 0 -1 4202560 1255 0 0 0 26 0 0 0 20 0 15 0 104734789 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201436821872 140201865736000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5656] ppid=5641 vsize=10661132 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) S 5641 5644 2756 0 -1 1077944384 1158 0 0 0 32 0 0 0 20 0 15 0 104734789 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201435769072 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5657] ppid=5641 vsize=10661132 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) S 5641 5644 2756 0 -1 1077944384 1353 0 0 0 23 0 0 0 20 0 15 0 104734789 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201434716272 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5658] ppid=5641 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201433663712 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5659] ppid=5641 vsize=10661132 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5641 5644 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 92843 33554432000 4194304 4196468 140730680774608 140201432612016 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 371372 KiB
[startup+1.50075 s]
/proc/loadavg: 1.74 1.54 1.46 5/216 5659
/proc/meminfo: memFree=24817892/32770624 swapFree=67108688/67108860
[pid=5644] ppid=5641 vsize=10661132 memory=684748 CPUtime=3.78 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5641 5644 2756 0 -1 1077944320 16906 0 0 0 348 30 0 0 20 0 15 0 104734784 10916999168 171187 33554432000 4194304 4196468 140730680774608 140730680757152 140201881337591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
/proc/5644/statm: 2665283 171187 3148 1 0 2627263 0
[pid=5644/tid=5646] ppid=5641 vsize=10661132 memory=12848 CPUtime=1.37 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (java) R 5641 5644 2756 0 -1 4202560 5951 0 0 0 128 9 0 0 20 0 15 0 104734784 10916999168 171187 33554432000 4194304 4196468 140730680774608 140201885576592 140201510374737 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5647] ppid=5641 vsize=10661132 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5641 5644 2756 0 -1 1077944384 173 0 0 0 4 4 0 0 20 0 15 0 104734785 10916999168 171187 33554432000 4194304 4196468 140730680774608 140201833958032 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5648] ppid=5641 vsize=10661132 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5641 5644 2756 0 -1 1077944384 210 0 0 0 4 4 0 0 20 0 15 0 104734785 10916999168 171187 33554432000 4194304 4196468 140730680774608 140201832905232 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5649] ppid=5641 vsize=10661132 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5641 5644 2756 0 -1 1077944384 218 0 0 0 4 4 0 0 20 0 15 0 104734785 10916999168 171187 33554432000 4194304 4196468 140730680774608 140201831852432 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5650] ppid=5641 vsize=10661132 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5641 5644 2756 0 -1 1077944384 247 0 0 0 4 4 0 0 20 0 15 0 104734785 10916999168 171187 33554432000 4194304 4196468 140730680774608 140201830799632 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5651] ppid=5641 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5641 5644 2756 0 -1 1077944384 484 0 0 0 0 0 0 0 20 0 15 0 104734786 10916999168 171187 33554432000 4194304 4196468 140730680774608 140201441033072 140201881348738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
################
# More data... #
################
/proc/5644/task/5646/stat : 5646 (java) R 5641 5644 2756 0 -1 4202560 64155 0 0 0 236951 47 0 0 20 0 15 0 104734784 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201885577152 140201510682880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5647] ppid=5641 vsize=10661132 memory=2435260 CPUtime=7.6 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5641 5644 2756 0 -1 1077944384 17971 0 0 0 725 35 0 0 20 0 15 0 104734785 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201833958032 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5648] ppid=5641 vsize=10661132 memory=2437308 CPUtime=7.57 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5641 5644 2756 0 -1 1077944384 17600 0 0 0 723 34 0 0 20 0 15 0 104734785 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201832905232 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5649] ppid=5641 vsize=10661132 memory=281045346461344 CPUtime=7.6 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5641 5644 2756 0 -1 1077944384 17771 0 0 0 726 34 0 0 20 0 15 0 104734785 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201831852432 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5650] ppid=5641 vsize=10661132 memory=2435260 CPUtime=7.59 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5641 5644 2756 0 -1 1077944384 18721 0 0 0 727 32 0 0 20 0 15 0 104734785 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201830799632 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5651] ppid=5641 vsize=10661132 memory=0 CPUtime=3.3 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5641 5644 2756 0 -1 1077944384 21020 0 0 0 305 25 0 0 20 0 15 0 104734786 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201441033072 140201881348738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5652] ppid=5641 vsize=10661132 memory=2437308 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5641 5644 2756 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 104734787 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201439979104 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5653] ppid=5641 vsize=10661132 memory=2437308 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5641 5644 2756 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 104734787 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201438926192 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5654] ppid=5641 vsize=10661132 memory=2437308 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201437874512 140201881356187 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5655] ppid=5641 vsize=10661132 memory=2408 CPUtime=1.38 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) S 5641 5644 2756 0 -1 1077944384 9478 0 0 0 137 1 0 0 20 0 15 0 104734789 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201436821872 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5656] ppid=5641 vsize=10661132 memory=2437308 CPUtime=1.36 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) S 5641 5644 2756 0 -1 1077944384 7234 0 0 0 135 1 0 0 20 0 15 0 104734789 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201435769072 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5657] ppid=5641 vsize=10661132 memory=2437308 CPUtime=0.38 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) S 5641 5644 2756 0 -1 1077944384 3448 0 0 0 37 1 0 0 20 0 15 0 104734789 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201434716272 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5658] ppid=5641 vsize=10661132 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201433663712 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5659] ppid=5641 vsize=10661132 memory=30092 CPUtime=0.91 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5641 5644 2756 0 -1 1077944384 2241 0 0 0 49 42 0 0 20 0 15 0 104734789 10916999168 609327 33554432000 4194304 4196468 140730680774608 140201432612016 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
Current children cumulated CPU time: 2407.76 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2437308 KiB
[startup+2442.3 s]
/proc/loadavg: 1.48 1.49 1.46 3/216 5835
/proc/meminfo: memFree=23043240/32770624 swapFree=67108688/67108860
[pid=5644] ppid=5641 vsize=10661132 memory=2441404 CPUtime=2468.65 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5641 5644 2756 0 -1 1077944320 184207 0 0 0 246634 231 0 0 20 0 15 0 104734784 10916999168 610351 33554432000 4194304 4196468 140730680774608 140730680757152 140201881337591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
/proc/5644/statm: 2665283 610351 3152 1 0 2627263 0
[pid=5644/tid=5646] ppid=5641 vsize=10661132 memory=2441404 CPUtime=2429.51 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (java) R 5641 5644 2756 0 -1 4202560 64872 0 0 0 242904 47 0 0 20 0 15 0 104734784 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201885576864 140201510939911 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5647] ppid=5641 vsize=10661132 memory=2441404 CPUtime=7.9 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5641 5644 2756 0 -1 1077944384 18415 0 0 0 754 36 0 0 20 0 15 0 104734785 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201833958032 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5648] ppid=5641 vsize=10661132 memory=2441404 CPUtime=7.87 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5641 5644 2756 0 -1 1077944384 17998 0 0 0 753 34 0 0 20 0 15 0 104734785 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201832905232 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5649] ppid=5641 vsize=10661132 memory=2441404 CPUtime=7.9 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5641 5644 2756 0 -1 1077944384 18142 0 0 0 755 35 0 0 20 0 15 0 104734785 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201831852432 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5650] ppid=5641 vsize=10661132 memory=2439356 CPUtime=7.9 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5641 5644 2756 0 -1 1077944384 19368 0 0 0 757 33 0 0 20 0 15 0 104734785 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201830799632 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5651] ppid=5641 vsize=10661132 memory=2435260 CPUtime=3.43 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5641 5644 2756 0 -1 1077944384 21549 0 0 0 317 26 0 0 20 0 15 0 104734786 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201441033072 140201881348738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5652] ppid=5641 vsize=10661132 memory=2439356 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5641 5644 2756 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 104734787 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201439979104 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5653] ppid=5641 vsize=10661132 memory=2439356 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5641 5644 2756 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 104734787 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201438926192 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5654] ppid=5641 vsize=10661132 memory=276 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201437874512 140201881356187 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5655] ppid=5641 vsize=10661132 memory=2439356 CPUtime=1.38 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) S 5641 5644 2756 0 -1 1077944384 9484 0 0 0 137 1 0 0 20 0 15 0 104734789 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201436821872 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5656] ppid=5641 vsize=10661132 memory=2441404 CPUtime=1.36 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) S 5641 5644 2756 0 -1 1077944384 7240 0 0 0 135 1 0 0 20 0 15 0 104734789 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201435769072 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5657] ppid=5641 vsize=10661132 memory=2441404 CPUtime=0.38 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) S 5641 5644 2756 0 -1 1077944384 3454 0 0 0 37 1 0 0 20 0 15 0 104734789 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201434716272 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5658] ppid=5641 vsize=10661132 memory=2441404 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201433663712 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5659] ppid=5641 vsize=10661132 memory=2441404 CPUtime=0.94 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5641 5644 2756 0 -1 1077944384 2275 0 0 0 51 43 0 0 20 0 15 0 104734789 10916999168 610351 33554432000 4194304 4196468 140730680774608 140201432612016 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
Current children cumulated CPU time: 2468.65 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2441404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.9 s]
/proc/loadavg: 1.65 1.52 1.47 3/216 5836
/proc/meminfo: memFree=23036224/32770624 swapFree=67108688/67108860
[pid=5644] ppid=5641 vsize=10661132 memory=2445512 CPUtime=2520.03 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5641 5644 2756 0 -1 1077944320 186513 0 0 0 251768 235 0 0 20 0 15 0 104734784 10916999168 611378 33554432000 4194304 4196468 140730680774608 140730680757152 140201881337591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
/proc/5644/statm: 2665283 611378 3152 1 0 2627263 0
[pid=5644/tid=5646] ppid=5641 vsize=10661132 memory=2445512 CPUtime=2479.69 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (java) R 5641 5644 2756 0 -1 4202560 65458 0 0 0 247922 47 0 0 20 0 15 0 104734784 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201885577152 140201510692856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5647] ppid=5641 vsize=10661132 memory=2445512 CPUtime=8.16 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5641 5644 2756 0 -1 1077944384 18914 0 0 0 780 36 0 0 20 0 15 0 104734785 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201833958032 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5648] ppid=5641 vsize=10661132 memory=2445512 CPUtime=8.14 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5641 5644 2756 0 -1 1077944384 18271 0 0 0 779 35 0 0 20 0 15 0 104734785 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201832905232 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5649] ppid=5641 vsize=10661132 memory=2445512 CPUtime=8.16 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5641 5644 2756 0 -1 1077944384 18346 0 0 0 781 35 0 0 20 0 15 0 104734785 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201831852432 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5650] ppid=5641 vsize=10661132 memory=2443464 CPUtime=8.17 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5641 5644 2756 0 -1 1077944384 19720 0 0 0 783 34 0 0 20 0 15 0 104734785 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201830799632 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5651] ppid=5641 vsize=10661132 memory=0 CPUtime=3.54 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5641 5644 2756 0 -1 1077944384 21899 0 0 0 327 27 0 0 20 0 15 0 104734786 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201441033072 140201881348738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5652] ppid=5641 vsize=10661132 memory=2443464 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5641 5644 2756 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 104734787 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201439979104 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5653] ppid=5641 vsize=10661132 memory=2445512 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5641 5644 2756 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 104734787 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201438926192 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5654] ppid=5641 vsize=10661132 memory=2443464 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201437874512 140201881356187 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5655] ppid=5641 vsize=10661132 memory=8112282956445269571 CPUtime=1.38 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) S 5641 5644 2756 0 -1 1077944384 9488 0 0 0 137 1 0 0 20 0 15 0 104734789 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201436821872 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5656] ppid=5641 vsize=10661132 memory=2240 CPUtime=1.36 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) S 5641 5644 2756 0 -1 1077944384 7244 0 0 0 135 1 0 0 20 0 15 0 104734789 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201435769072 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5657] ppid=5641 vsize=10661132 memory=2445512 CPUtime=0.38 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) S 5641 5644 2756 0 -1 1077944384 3458 0 0 0 37 1 0 0 20 0 15 0 104734789 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201434716272 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5658] ppid=5641 vsize=10661132 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201433663712 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5659] ppid=5641 vsize=10661132 memory=2445512 CPUtime=0.95 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5641 5644 2756 0 -1 1077944384 2305 0 0 0 51 44 0 0 20 0 15 0 104734789 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201432612016 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2445512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.93 s]
# the end of solver process 5644 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.7 s, system=2.37081 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2492.9 s]
/proc/loadavg: 1.65 1.52 1.47 3/216 5836
/proc/meminfo: memFree=23036224/32770624 swapFree=67108688/67108860
[pid=5644] ppid=5641 vsize=10661132 memory=2445512 CPUtime=2520.03 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5641 5644 2756 0 -1 1077944320 186513 0 0 0 251768 235 0 0 20 0 15 0 104734784 10916999168 611378 33554432000 4194304 4196468 140730680774608 140730680757152 140201881337591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
/proc/5644/statm: 2665283 611378 3152 1 0 2627263 0
[pid=5644/tid=5646] ppid=5641 vsize=10661132 memory=2445512 CPUtime=2479.69 cores=0,2,4,6
/proc/5644/task/5646/stat : 5646 (java) R 5641 5644 2756 0 -1 4202560 65458 0 0 0 247922 47 0 0 20 0 15 0 104734784 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201885577152 140201510692856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5647] ppid=5641 vsize=10661132 memory=2445512 CPUtime=8.16 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5641 5644 2756 0 -1 1077944384 18914 0 0 0 780 36 0 0 20 0 15 0 104734785 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201833958032 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5648] ppid=5641 vsize=10661132 memory=2445512 CPUtime=8.14 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5641 5644 2756 0 -1 1077944384 18271 0 0 0 779 35 0 0 20 0 15 0 104734785 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201832905232 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5649] ppid=5641 vsize=10661132 memory=2445512 CPUtime=8.16 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5641 5644 2756 0 -1 1077944384 18346 0 0 0 781 35 0 0 20 0 15 0 104734785 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201831852432 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5650] ppid=5641 vsize=10661132 memory=2443464 CPUtime=8.17 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5641 5644 2756 0 -1 1077944384 19720 0 0 0 783 34 0 0 20 0 15 0 104734785 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201830799632 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5651] ppid=5641 vsize=10661132 memory=0 CPUtime=3.54 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5641 5644 2756 0 -1 1077944384 21899 0 0 0 327 27 0 0 20 0 15 0 104734786 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201441033072 140201881348738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5652] ppid=5641 vsize=10661132 memory=2443464 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5641 5644 2756 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 104734787 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201439979104 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5653] ppid=5641 vsize=10661132 memory=2445512 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5641 5644 2756 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 104734787 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201438926192 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5654] ppid=5641 vsize=10661132 memory=2443464 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201437874512 140201881356187 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5655] ppid=5641 vsize=10661132 memory=8112282956445269571 CPUtime=1.38 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) S 5641 5644 2756 0 -1 1077944384 9488 0 0 0 137 1 0 0 20 0 15 0 104734789 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201436821872 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5656] ppid=5641 vsize=10661132 memory=2240 CPUtime=1.36 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) S 5641 5644 2756 0 -1 1077944384 7244 0 0 0 135 1 0 0 20 0 15 0 104734789 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201435769072 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5657] ppid=5641 vsize=10661132 memory=2445512 CPUtime=0.38 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) S 5641 5644 2756 0 -1 1077944384 3458 0 0 0 37 1 0 0 20 0 15 0 104734789 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201434716272 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5658] ppid=5641 vsize=10661132 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5641 5644 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104734789 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201433663712 140201881347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
[pid=5644/tid=5659] ppid=5641 vsize=10661132 memory=2445512 CPUtime=0.95 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5641 5644 2756 0 -1 1077944384 2305 0 0 0 51 44 0 0 20 0 15 0 104734789 10916999168 611378 33554432000 4194304 4196468 140730680774608 140201432612016 140201881348738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31617024 140730680779893 140730680780041 140730680780041 140730680782799 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2445512 KiB
Child status: 143
Real time (s): 2492.93
CPU time (s): 2520.07
CPU user time (s): 2517.7
CPU system time (s): 2.37081
CPU usage (%): 101.089
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 2722952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.7
system time used= 2.37081
maximum resident set size= 2722952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 152153
involuntary context switches= 5034
# summary of solver processes directly reported to runsolver:
# pid: 5644
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.7
# total CPU system time (s): 2.37081
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6064 second user time and 24.5807 second system time
The end