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 (12061 MiB free)
memory of node 1: 16384 MiB (10615 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310108-1534330079/watcher-4310108-1534330079 -o /tmp/evaluation-result-4310108-1534330079/solver-4310108-1534330079 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534329094-20217 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1862686862 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310108-1534330079.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
Current StackSize limit: 8192 KiB
solver pid=20823, runsolver pid=20820
[startup+0.109051 s]*
/proc/loadavg: 1.86 1.79 1.65 3/219 20838
/proc/meminfo: memFree=23201948/32770624 swapFree=67108840/67108860
[pid=20823] ppid=20820 vsize=14082736 memory=33696 CPUtime=0.13 cores=1,3,5,7
/proc/20823/stat : 20823 (java) S 20820 20823 20185 0 -1 1077944320 7323 0 0 0 12 1 0 0 20 0 15 0 250571047 14420721664 8424 33554432000 4194304 4196468 140725486817616 140725486800160 140433329733367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
/proc/20823/statm: 3520684 8424 3165 1 0 3482761 0
[pid=20823/tid=20825] ppid=20820 vsize=14082736 memory=-8557575366716198013 CPUtime=0.1 cores=1,3,5,7
/proc/20823/task/20825/stat : 20825 (java) R 20820 20823 20185 0 -1 4202560 5371 0 0 0 9 1 0 0 20 0 15 0 250571048 14420721664 8424 33554432000 4194304 4196468 140725486817616 140433333955776 140433313813854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20826] ppid=20820 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20826/stat : 20826 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14420721664 8424 33554432000 4194304 4196468 140725486817616 140433286285584 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20827] ppid=20820 vsize=14082736 memory=139817686070912 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20827/stat : 20827 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14420721664 8424 33554432000 4194304 4196468 140725486817616 140433285233040 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20828] ppid=20820 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20828/stat : 20828 (java) S 20820 20823 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571049 14420721664 8424 33554432000 4194304 4196468 140725486817616 140432923617808 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20829] ppid=20820 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20829/stat : 20829 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14420721664 8424 33554432000 4194304 4196468 140725486817616 140432922565264 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20830] ppid=20820 vsize=14082736 memory=139817686070912 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20830/stat : 20830 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571050 14420721664 8424 33554432000 4194304 4196468 140725486817616 140432669362672 140433329744514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20831] ppid=20820 vsize=14082768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20831/stat : 20831 (java) S 20820 20823 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571050 14420754432 8424 33554432000 4194304 4196468 140725486817616 140432668308896 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20832] ppid=20820 vsize=14082768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20832/stat : 20832 (java) S 20820 20823 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571051 14420754432 8424 33554432000 4194304 4196468 140725486817616 140432667256304 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20833] ppid=20820 vsize=14083728 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20833/stat : 20833 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14421737472 8424 33554432000 4194304 4196468 140725486817616 140432666204880 140433329751963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20834] ppid=20820 vsize=14083728 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20834/stat : 20834 (java) S 20820 20823 20185 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 250571053 14421737472 8424 33554432000 4194304 4196468 140725486817616 140432665151472 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20835] ppid=20820 vsize=14083728 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20835/stat : 20835 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14421737472 8490 33554432000 4194304 4196468 140725486817616 140432664098928 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20836] ppid=20820 vsize=14083728 memory=139817686070912 CPUtime=0.01 cores=1,3,5,7
/proc/20823/task/20836/stat : 20836 (java) R 20820 20823 20185 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 250571053 14421737472 8490 33554432000 4194304 4196468 140725486817616 140432663046384 140433308548945 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20837] ppid=20820 vsize=14083728 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20837/stat : 20837 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14421737472 8490 33554432000 4194304 4196468 140725486817616 140432661994080 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20838] ppid=20820 vsize=14083728 memory=139817686070912 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20838/stat : 20838 (java) S 20820 20823 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571053 14421737472 8490 33554432000 4194304 4196468 140725486817616 140432660941616 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33696 KiB
[startup+0.210703 s]*
/proc/loadavg: 1.86 1.79 1.65 6/219 20838
/proc/meminfo: memFree=23187312/32770624 swapFree=67108840/67108860
[pid=20823] ppid=20820 vsize=14082736 memory=46864 CPUtime=0.31 cores=1,3,5,7
/proc/20823/stat : 20823 (java) S 20820 20823 20185 0 -1 1077944320 10360 0 0 0 28 3 0 0 20 0 15 0 250571047 14420721664 11716 33554432000 4194304 4196468 140725486817616 140725486800160 140433329733367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
/proc/20823/statm: 3520684 11716 3376 1 0 3482761 0
[pid=20823/tid=20825] ppid=20820 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/20823/task/20825/stat : 20825 (java) R 20820 20823 20185 0 -1 4202560 8088 0 0 0 18 2 0 0 20 0 15 0 250571048 14420721664 11716 33554432000 4194304 4196468 140725486817616 140433333958048 140433313776997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20826] ppid=20820 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20826/stat : 20826 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14420721664 11716 33554432000 4194304 4196468 140725486817616 140433286285584 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20827] ppid=20820 vsize=14082736 memory=288370193837782656 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20827/stat : 20827 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14420721664 11716 33554432000 4194304 4196468 140725486817616 140433285233040 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20828] ppid=20820 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20828/stat : 20828 (java) S 20820 20823 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571049 14420721664 11716 33554432000 4194304 4196468 140725486817616 140432923617808 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20829] ppid=20820 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20829/stat : 20829 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14420721664 11716 33554432000 4194304 4196468 140725486817616 140432922565264 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20830] ppid=20820 vsize=14082736 memory=139817686070912 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20830/stat : 20830 (java) S 20820 20823 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571050 14420721664 11716 33554432000 4194304 4196468 140725486817616 140432669362672 140433329744514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20831] ppid=20820 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20831/stat : 20831 (java) S 20820 20823 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571050 14420721664 11716 33554432000 4194304 4196468 140725486817616 140432668308896 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20832] ppid=20820 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20832/stat : 20832 (java) S 20820 20823 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571051 14420721664 11716 33554432000 4194304 4196468 140725486817616 140432667256304 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20833] ppid=20820 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20833/stat : 20833 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14420721664 11716 33554432000 4194304 4196468 140725486817616 140432666204880 140433329751963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20834] ppid=20820 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20823/task/20834/stat : 20834 (java) R 20820 20823 20185 0 -1 4202560 564 0 0 0 2 0 0 0 20 0 15 0 250571053 14420721664 11716 33554432000 4194304 4196468 140725486817616 140432665141584 140433321970494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20835] ppid=20820 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20835/stat : 20835 (java) R 20820 20823 20185 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 250571053 14420721664 11716 33554432000 4194304 4196468 140725486817616 140432664098928 140433329744514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20836] ppid=20820 vsize=14082736 memory=139817686070912 CPUtime=0.06 cores=1,3,5,7
/proc/20823/task/20836/stat : 20836 (java) R 20820 20823 20185 0 -1 4202560 309 0 0 0 6 0 0 0 20 0 15 0 250571053 14420721664 11716 33554432000 4194304 4196468 140725486817616 140432663046384 140433313813854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20837] ppid=20820 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20837/stat : 20837 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14420721664 11716 33554432000 4194304 4196468 140725486817616 140432661994080 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20838] ppid=20820 vsize=14082736 memory=139817686070912 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20838/stat : 20838 (java) S 20820 20823 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571053 14420721664 11716 33554432000 4194304 4196468 140725486817616 140432660941616 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46864 KiB
[startup+0.310785 s]*
/proc/loadavg: 1.86 1.79 1.65 3/219 20838
/proc/meminfo: memFree=23183404/32770624 swapFree=67108840/67108860
[pid=20823] ppid=20820 vsize=14082736 memory=50460 CPUtime=0.44 cores=1,3,5,7
/proc/20823/stat : 20823 (java) S 20820 20823 20185 0 -1 1077944320 10792 0 0 0 41 3 0 0 20 0 15 0 250571047 14420721664 12615 33554432000 4194304 4196468 140725486817616 140725486800160 140433329733367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
/proc/20823/statm: 3520684 12615 3379 1 0 3482761 0
[pid=20823/tid=20825] ppid=20820 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/20823/task/20825/stat : 20825 (java) R 20820 20823 20185 0 -1 4202560 8449 0 0 0 28 2 0 0 20 0 15 0 250571048 14420721664 12615 33554432000 4194304 4196468 140725486817616 140433333944560 140433312920176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20826] ppid=20820 vsize=14082736 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20826/stat : 20826 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14420721664 12615 33554432000 4194304 4196468 140725486817616 140433286285584 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20827] ppid=20820 vsize=14082736 memory=288370193837782656 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20827/stat : 20827 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14420721664 12615 33554432000 4194304 4196468 140725486817616 140433285233040 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20828] ppid=20820 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20828/stat : 20828 (java) S 20820 20823 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571049 14420721664 12615 33554432000 4194304 4196468 140725486817616 140432923617808 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20829] ppid=20820 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20829/stat : 20829 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14420721664 12615 33554432000 4194304 4196468 140725486817616 140432922565264 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20830] ppid=20820 vsize=14082736 memory=139817686070912 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20830/stat : 20830 (java) S 20820 20823 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571050 14420721664 12615 33554432000 4194304 4196468 140725486817616 140432669362672 140433329744514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20831] ppid=20820 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20831/stat : 20831 (java) S 20820 20823 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571050 14420721664 12615 33554432000 4194304 4196468 140725486817616 140432668308896 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20832] ppid=20820 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20832/stat : 20832 (java) S 20820 20823 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571051 14420721664 12615 33554432000 4194304 4196468 140725486817616 140432667256304 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20833] ppid=20820 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20833/stat : 20833 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14420721664 12615 33554432000 4194304 4196468 140725486817616 140432666204880 140433329751963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20834] ppid=20820 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20823/task/20834/stat : 20834 (java) S 20820 20823 20185 0 -1 1077944384 578 0 0 0 3 0 0 0 20 0 15 0 250571053 14420721664 12615 33554432000 4194304 4196468 140725486817616 140432665151472 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20835] ppid=20820 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20823/task/20835/stat : 20835 (java) S 20820 20823 20185 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 250571053 14420721664 12615 33554432000 4194304 4196468 140725486817616 140432664098928 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20836] ppid=20820 vsize=14082736 memory=139817686070912 CPUtime=0.08 cores=1,3,5,7
/proc/20823/task/20836/stat : 20836 (java) S 20820 20823 20185 0 -1 1077944384 329 0 0 0 8 0 0 0 20 0 15 0 250571053 14420721664 12615 33554432000 4194304 4196468 140725486817616 140432663046384 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20837] ppid=20820 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20837/stat : 20837 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14420721664 12615 33554432000 4194304 4196468 140725486817616 140432661994080 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20838] ppid=20820 vsize=14082736 memory=139817686070912 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20838/stat : 20838 (java) S 20820 20823 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571053 14420721664 12615 33554432000 4194304 4196468 140725486817616 140432660941616 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50460 KiB
[startup+0.70074 s]
/proc/loadavg: 1.86 1.79 1.65 3/219 20838
/proc/meminfo: memFree=23159220/32770624 swapFree=67108840/67108860
[pid=20823] ppid=20820 vsize=14084804 memory=89116 CPUtime=0.98 cores=1,3,5,7
/proc/20823/stat : 20823 (java) S 20820 20823 20185 0 -1 1077944320 17630 0 0 0 93 5 0 0 20 0 15 0 250571047 14422839296 22279 33554432000 4194304 4196468 140725486817616 140725486800160 140433329733367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
/proc/20823/statm: 3521201 22279 3504 1 0 3483273 0
[pid=20823/tid=20825] ppid=20820 vsize=14084804 memory=1784 CPUtime=0.66 cores=1,3,5,7
/proc/20823/task/20825/stat : 20825 (java) R 20820 20823 20185 0 -1 4202560 14892 0 0 0 63 3 0 0 20 0 15 0 250571048 14422839296 22279 33554432000 4194304 4196468 140725486817616 140433333948416 140433313813884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20826] ppid=20820 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20826/stat : 20826 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14422839296 22279 33554432000 4194304 4196468 140725486817616 140433286285584 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20827] ppid=20820 vsize=14084804 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20827/stat : 20827 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14422839296 22279 33554432000 4194304 4196468 140725486817616 140433285233040 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20828] ppid=20820 vsize=14084804 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20828/stat : 20828 (java) S 20820 20823 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571049 14422839296 22279 33554432000 4194304 4196468 140725486817616 140432923617808 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20829] ppid=20820 vsize=14084804 memory=5728 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20829/stat : 20829 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14422839296 22279 33554432000 4194304 4196468 140725486817616 140432922565264 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20830] ppid=20820 vsize=14084804 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20830/stat : 20830 (java) S 20820 20823 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571050 14422839296 22279 33554432000 4194304 4196468 140725486817616 140432669362672 140433329744514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20831] ppid=20820 vsize=14084804 memory=1092 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20831/stat : 20831 (java) S 20820 20823 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571050 14422839296 22279 33554432000 4194304 4196468 140725486817616 140432668308896 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20832] ppid=20820 vsize=14084804 memory=836 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20832/stat : 20832 (java) S 20820 20823 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571051 14422839296 22279 33554432000 4194304 4196468 140725486817616 140432667256304 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20833] ppid=20820 vsize=14084804 memory=10692 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20833/stat : 20833 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14422839296 22279 33554432000 4194304 4196468 140725486817616 140432666204880 140433329751963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20834] ppid=20820 vsize=14084804 memory=7450174591119418944 CPUtime=0.07 cores=1,3,5,7
/proc/20823/task/20834/stat : 20834 (java) S 20820 20823 20185 0 -1 1077944384 728 0 0 0 7 0 0 0 20 0 15 0 250571053 14422839296 22279 33554432000 4194304 4196468 140725486817616 140432665151472 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20835] ppid=20820 vsize=14084804 memory=6444198537895111255 CPUtime=0.06 cores=1,3,5,7
/proc/20823/task/20835/stat : 20835 (java) S 20820 20823 20185 0 -1 1077944384 209 0 0 0 6 0 0 0 20 0 15 0 250571053 14422839296 22279 33554432000 4194304 4196468 140725486817616 140432664098928 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20836] ppid=20820 vsize=14084804 memory=7523071198212214892 CPUtime=0.14 cores=1,3,5,7
/proc/20823/task/20836/stat : 20836 (java) S 20820 20823 20185 0 -1 1077944384 420 0 0 0 14 0 0 0 20 0 15 0 250571053 14422839296 22279 33554432000 4194304 4196468 140725486817616 140432663046384 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20837] ppid=20820 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20837/stat : 20837 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14422839296 22279 33554432000 4194304 4196468 140725486817616 140432661994080 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20838] ppid=20820 vsize=14084804 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20838/stat : 20838 (java) S 20820 20823 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571053 14422839296 22279 33554432000 4194304 4196468 140725486817616 140432660941616 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89116 KiB
[startup+1.501 s]
/proc/loadavg: 2.03 1.83 1.66 3/219 20838
/proc/meminfo: memFree=23125844/32770624 swapFree=67108840/67108860
[pid=20823] ppid=20820 vsize=14088900 memory=144536 CPUtime=2.98 cores=1,3,5,7
/proc/20823/stat : 20823 (java) S 20820 20823 20185 0 -1 1077944320 27581 0 0 0 289 9 0 0 20 0 15 0 250571047 14427033600 36134 33554432000 4194304 4196468 140725486817616 140725486800160 140433329733367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
/proc/20823/statm: 3522225 36134 3532 1 0 3484297 0
[pid=20823/tid=20825] ppid=20820 vsize=14088900 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/20823/task/20825/stat : 20825 (java) R 20820 20823 20185 0 -1 4202560 19286 0 0 0 141 6 0 0 20 0 15 0 250571048 14427033600 36134 33554432000 4194304 4196468 140725486817616 140433333968136 140432969043817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20826] ppid=20820 vsize=14088900 memory=-8253362762724047225 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20826/stat : 20826 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14427033600 36134 33554432000 4194304 4196468 140725486817616 140433286285584 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20827] ppid=20820 vsize=14088900 memory=-8609294068986781045 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20827/stat : 20827 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14427033600 36134 33554432000 4194304 4196468 140725486817616 140433285233040 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20828] ppid=20820 vsize=14088900 memory=-6517102902069810590 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20828/stat : 20828 (java) S 20820 20823 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571049 14427033600 36134 33554432000 4194304 4196468 140725486817616 140432923617808 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20829] ppid=20820 vsize=14088900 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20829/stat : 20829 (java) S 20820 20823 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571049 14427033600 36134 33554432000 4194304 4196468 140725486817616 140432922565264 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20830] ppid=20820 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20830/stat : 20830 (java) S 20820 20823 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571050 14427033600 36134 33554432000 4194304 4196468 140725486817616 140432669362672 140433329744514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
################
# More data... #
################
/proc/20823/task/20825/stat : 20825 (java) R 20820 20823 20185 0 -1 4202560 29722 0 0 0 16045 13 0 0 20 0 15 0 250571048 14427033600 69426 33554432000 4194304 4196468 140725486817616 140433333971888 140725486849768 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20826] ppid=20820 vsize=14088900 memory=277704 CPUtime=0.59 cores=1,3,5,7
/proc/20823/task/20826/stat : 20826 (java) S 20820 20823 20185 0 -1 1077944384 1314 0 0 0 52 7 0 0 20 0 15 0 250571049 14427033600 69426 33554432000 4194304 4196468 140725486817616 140433286285584 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20827] ppid=20820 vsize=14088900 memory=277704 CPUtime=0.6 cores=1,3,5,7
/proc/20823/task/20827/stat : 20827 (java) S 20820 20823 20185 0 -1 1077944384 1299 0 0 0 54 6 0 0 20 0 15 0 250571049 14427033600 69426 33554432000 4194304 4196468 140725486817616 140433285233040 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20828] ppid=20820 vsize=14088900 memory=277640 CPUtime=0.61 cores=1,3,5,7
/proc/20823/task/20828/stat : 20828 (java) S 20820 20823 20185 0 -1 1077944384 2638 0 0 0 54 7 0 0 20 0 15 0 250571049 14427033600 69426 33554432000 4194304 4196468 140725486817616 140432923617808 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20829] ppid=20820 vsize=14088900 memory=16581 CPUtime=0.6 cores=1,3,5,7
/proc/20823/task/20829/stat : 20829 (java) S 20820 20823 20185 0 -1 1077944384 778 0 0 0 54 6 0 0 20 0 15 0 250571049 14427033600 69426 33554432000 4194304 4196468 140725486817616 140432922565264 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20830] ppid=20820 vsize=14088900 memory=277704 CPUtime=0.81 cores=1,3,5,7
/proc/20823/task/20830/stat : 20830 (java) S 20820 20823 20185 0 -1 1077944384 1870 0 0 0 75 6 0 0 20 0 15 0 250571050 14427033600 69426 33554432000 4194304 4196468 140725486817616 140432669362672 140433329744514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20831] ppid=20820 vsize=14088900 memory=277704 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20831/stat : 20831 (java) S 20820 20823 20185 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250571050 14427033600 69426 33554432000 4194304 4196468 140725486817616 140432668308960 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20832] ppid=20820 vsize=14088900 memory=912 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20832/stat : 20832 (java) S 20820 20823 20185 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250571051 14427033600 69426 33554432000 4194304 4196468 140725486817616 140432667256320 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20833] ppid=20820 vsize=14088900 memory=277704 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20833/stat : 20833 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14427033600 69426 33554432000 4194304 4196468 140725486817616 140432666204880 140433329751963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20834] ppid=20820 vsize=14088900 memory=277704 CPUtime=1.24 cores=1,3,5,7
/proc/20823/task/20834/stat : 20834 (java) S 20820 20823 20185 0 -1 1077944384 6000 0 0 0 122 2 0 0 20 0 15 0 250571053 14427033600 69426 33554432000 4194304 4196468 140725486817616 140432665151472 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20835] ppid=20820 vsize=14088900 memory=277640 CPUtime=1.14 cores=1,3,5,7
/proc/20823/task/20835/stat : 20835 (java) S 20820 20823 20185 0 -1 1077944384 6254 0 0 0 113 1 0 0 20 0 15 0 250571053 14427033600 69426 33554432000 4194304 4196468 140725486817616 140432664098928 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20836] ppid=20820 vsize=14088900 memory=277640 CPUtime=0.48 cores=1,3,5,7
/proc/20823/task/20836/stat : 20836 (java) S 20820 20823 20185 0 -1 1077944384 5022 0 0 0 47 1 0 0 20 0 15 0 250571053 14427033600 69426 33554432000 4194304 4196468 140725486817616 140432663046384 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20837] ppid=20820 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20837/stat : 20837 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14427033600 69426 33554432000 4194304 4196468 140725486817616 140432661994080 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20838] ppid=20820 vsize=14088900 memory=7528 CPUtime=0.09 cores=1,3,5,7
/proc/20823/task/20838/stat : 20838 (java) S 20820 20823 20185 0 -1 1077944384 694 0 0 0 4 5 0 0 20 0 15 0 250571053 14427033600 69426 33554432000 4194304 4196468 140725486817616 140432660941616 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
Current children cumulated CPU time: 166.82 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 277704 KiB
[startup+222.301 s]
/proc/loadavg: 1.79 1.78 1.68 3/221 20928
/proc/meminfo: memFree=22110736/32770624 swapFree=67108840/67108860
[pid=20823] ppid=20820 vsize=14088900 memory=277732 CPUtime=227.59 cores=1,3,5,7
/proc/20823/stat : 20823 (java) S 20820 20823 20185 0 -1 1077944320 58475 0 0 0 22698 61 0 0 20 0 15 0 250571047 14427033600 69433 33554432000 4194304 4196468 140725486817616 140725486800160 140433329733367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
/proc/20823/statm: 3522225 69433 3580 1 0 3484297 0
[pid=20823/tid=20825] ppid=20820 vsize=14088900 memory=277732 CPUtime=219.83 cores=1,3,5,7
/proc/20823/task/20825/stat : 20825 (java) R 20820 20823 20185 0 -1 4202560 30934 0 0 0 21968 15 0 0 20 0 15 0 250571048 14427033600 69433 33554432000 4194304 4196468 140725486817616 140433333972064 140432970962488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20826] ppid=20820 vsize=14088900 memory=277732 CPUtime=0.87 cores=1,3,5,7
/proc/20823/task/20826/stat : 20826 (java) S 20820 20823 20185 0 -1 1077944384 1323 0 0 0 75 12 0 0 20 0 15 0 250571049 14427033600 69433 33554432000 4194304 4196468 140725486817616 140433286285584 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20827] ppid=20820 vsize=14088900 memory=277732 CPUtime=0.87 cores=1,3,5,7
/proc/20823/task/20827/stat : 20827 (java) S 20820 20823 20185 0 -1 1077944384 1304 0 0 0 79 8 0 0 20 0 15 0 250571049 14427033600 69433 33554432000 4194304 4196468 140725486817616 140433285233040 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20828] ppid=20820 vsize=14088900 memory=277732 CPUtime=0.87 cores=1,3,5,7
/proc/20823/task/20828/stat : 20828 (java) S 20820 20823 20185 0 -1 1077944384 2638 0 0 0 77 10 0 0 20 0 15 0 250571049 14427033600 69433 33554432000 4194304 4196468 140725486817616 140432923617808 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20829] ppid=20820 vsize=14088900 memory=277732 CPUtime=0.87 cores=1,3,5,7
/proc/20823/task/20829/stat : 20829 (java) S 20820 20823 20185 0 -1 1077944384 952 0 0 0 78 9 0 0 20 0 15 0 250571049 14427033600 69433 33554432000 4194304 4196468 140725486817616 140432922565264 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20830] ppid=20820 vsize=14088900 memory=1784 CPUtime=1.18 cores=1,3,5,7
/proc/20823/task/20830/stat : 20830 (java) S 20820 20823 20185 0 -1 1077944384 1924 0 0 0 109 9 0 0 20 0 15 0 250571050 14427033600 69433 33554432000 4194304 4196468 140725486817616 140432669362672 140433329744514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20831] ppid=20820 vsize=14088900 memory=752 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20831/stat : 20831 (java) S 20820 20823 20185 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250571050 14427033600 69433 33554432000 4194304 4196468 140725486817616 140432668308960 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20832] ppid=20820 vsize=14088900 memory=277732 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20832/stat : 20832 (java) S 20820 20823 20185 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250571051 14427033600 69433 33554432000 4194304 4196468 140725486817616 140432667256320 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20833] ppid=20820 vsize=14088900 memory=87 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20833/stat : 20833 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14427033600 69433 33554432000 4194304 4196468 140725486817616 140432666204880 140433329751963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20834] ppid=20820 vsize=14088900 memory=277732 CPUtime=1.24 cores=1,3,5,7
/proc/20823/task/20834/stat : 20834 (java) S 20820 20823 20185 0 -1 1077944384 6000 0 0 0 122 2 0 0 20 0 15 0 250571053 14427033600 69433 33554432000 4194304 4196468 140725486817616 140432665151472 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20835] ppid=20820 vsize=14088900 memory=277732 CPUtime=1.14 cores=1,3,5,7
/proc/20823/task/20835/stat : 20835 (java) S 20820 20823 20185 0 -1 1077944384 6254 0 0 0 113 1 0 0 20 0 15 0 250571053 14427033600 69433 33554432000 4194304 4196468 140725486817616 140432664098928 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20836] ppid=20820 vsize=14088900 memory=277732 CPUtime=0.48 cores=1,3,5,7
/proc/20823/task/20836/stat : 20836 (java) S 20820 20823 20185 0 -1 1077944384 5024 0 0 0 47 1 0 0 20 0 15 0 250571053 14427033600 69433 33554432000 4194304 4196468 140725486817616 140432663046384 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20837] ppid=20820 vsize=14088900 memory=277732 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20837/stat : 20837 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14427033600 69433 33554432000 4194304 4196468 140725486817616 140432661994080 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20838] ppid=20820 vsize=14088900 memory=3500 CPUtime=0.12 cores=1,3,5,7
/proc/20823/task/20838/stat : 20838 (java) S 20820 20823 20185 0 -1 1077944384 706 0 0 0 5 7 0 0 20 0 15 0 250571053 14427033600 69433 33554432000 4194304 4196468 140725486817616 140432660941616 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
Current children cumulated CPU time: 227.59 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 277732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+246.501 s]
/proc/loadavg: 1.78 1.78 1.68 3/221 20929
/proc/meminfo: memFree=22113692/32770624 swapFree=67108840/67108860
[pid=20823] ppid=20820 vsize=14088900 memory=277736 CPUtime=252.08 cores=1,3,5,7
/proc/20823/stat : 20823 (java) S 20820 20823 20185 0 -1 1077944320 60865 0 0 0 25142 66 0 0 20 0 15 0 250571047 14427033600 69434 33554432000 4194304 4196468 140725486817616 140725486800160 140433329733367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
/proc/20823/statm: 3522225 69434 3580 1 0 3484297 0
[pid=20823/tid=20825] ppid=20820 vsize=14088900 memory=277736 CPUtime=243.71 cores=1,3,5,7
/proc/20823/task/20825/stat : 20825 (java) R 20820 20823 20185 0 -1 4202560 32516 0 0 0 24356 15 0 0 20 0 15 0 250571048 14427033600 69434 33554432000 4194304 4196468 140725486817616 140433333972064 140432968513918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20826] ppid=20820 vsize=14088900 memory=277736 CPUtime=0.98 cores=1,3,5,7
/proc/20823/task/20826/stat : 20826 (java) S 20820 20823 20185 0 -1 1077944384 1397 0 0 0 85 13 0 0 20 0 15 0 250571049 14427033600 69434 33554432000 4194304 4196468 140725486817616 140433286285584 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20827] ppid=20820 vsize=14088900 memory=277736 CPUtime=0.98 cores=1,3,5,7
/proc/20823/task/20827/stat : 20827 (java) S 20820 20823 20185 0 -1 1077944384 1800 0 0 0 88 10 0 0 20 0 15 0 250571049 14427033600 69434 33554432000 4194304 4196468 140725486817616 140433285233040 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20828] ppid=20820 vsize=14088900 memory=277732 CPUtime=0.98 cores=1,3,5,7
/proc/20823/task/20828/stat : 20828 (java) S 20820 20823 20185 0 -1 1077944384 2645 0 0 0 87 11 0 0 20 0 15 0 250571049 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432923617808 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20829] ppid=20820 vsize=14088900 memory=277732 CPUtime=0.98 cores=1,3,5,7
/proc/20823/task/20829/stat : 20829 (java) S 20820 20823 20185 0 -1 1077944384 957 0 0 0 88 10 0 0 20 0 15 0 250571049 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432922565264 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20830] ppid=20820 vsize=14088900 memory=277732 CPUtime=1.34 cores=1,3,5,7
/proc/20823/task/20830/stat : 20830 (java) S 20820 20823 20185 0 -1 1077944384 2132 0 0 0 124 10 0 0 20 0 15 0 250571050 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432669362672 140433329744514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20831] ppid=20820 vsize=14088900 memory=277732 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20831/stat : 20831 (java) S 20820 20823 20185 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250571050 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432668308960 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20832] ppid=20820 vsize=14088900 memory=277732 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20832/stat : 20832 (java) S 20820 20823 20185 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250571051 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432667256320 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20833] ppid=20820 vsize=14088900 memory=277736 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20833/stat : 20833 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432666204880 140433329751963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20834] ppid=20820 vsize=14088900 memory=6864 CPUtime=1.24 cores=1,3,5,7
/proc/20823/task/20834/stat : 20834 (java) S 20820 20823 20185 0 -1 1077944384 6003 0 0 0 122 2 0 0 20 0 15 0 250571053 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432665151472 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20835] ppid=20820 vsize=14088900 memory=279635121234704 CPUtime=1.14 cores=1,3,5,7
/proc/20823/task/20835/stat : 20835 (java) S 20820 20823 20185 0 -1 1077944384 6256 0 0 0 113 1 0 0 20 0 15 0 250571053 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432664098928 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20836] ppid=20820 vsize=14088900 memory=3500 CPUtime=0.48 cores=1,3,5,7
/proc/20823/task/20836/stat : 20836 (java) S 20820 20823 20185 0 -1 1077944384 5027 0 0 0 47 1 0 0 20 0 15 0 250571053 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432663046384 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20837] ppid=20820 vsize=14088900 memory=68220 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20837/stat : 20837 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432661994080 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20838] ppid=20820 vsize=14088900 memory=277736 CPUtime=0.14 cores=1,3,5,7
/proc/20823/task/20838/stat : 20838 (java) S 20820 20823 20185 0 -1 1077944384 716 0 0 0 6 8 0 0 20 0 15 0 250571053 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432660941616 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 277736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+246.518 s]
# the end of solver process 20823 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.431 s, system=0.671713 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+246.501 s]
/proc/loadavg: 1.78 1.78 1.68 3/221 20929
/proc/meminfo: memFree=22113692/32770624 swapFree=67108840/67108860
[pid=20823] ppid=20820 vsize=14088900 memory=277736 CPUtime=252.08 cores=1,3,5,7
/proc/20823/stat : 20823 (java) S 20820 20823 20185 0 -1 1077944320 60865 0 0 0 25142 66 0 0 20 0 15 0 250571047 14427033600 69434 33554432000 4194304 4196468 140725486817616 140725486800160 140433329733367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
/proc/20823/statm: 3522225 69434 3580 1 0 3484297 0
[pid=20823/tid=20825] ppid=20820 vsize=14088900 memory=277736 CPUtime=243.71 cores=1,3,5,7
/proc/20823/task/20825/stat : 20825 (java) R 20820 20823 20185 0 -1 4202560 32516 0 0 0 24356 15 0 0 20 0 15 0 250571048 14427033600 69434 33554432000 4194304 4196468 140725486817616 140433333972064 140432968513918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20826] ppid=20820 vsize=14088900 memory=277736 CPUtime=0.98 cores=1,3,5,7
/proc/20823/task/20826/stat : 20826 (java) S 20820 20823 20185 0 -1 1077944384 1397 0 0 0 85 13 0 0 20 0 15 0 250571049 14427033600 69434 33554432000 4194304 4196468 140725486817616 140433286285584 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20827] ppid=20820 vsize=14088900 memory=277736 CPUtime=0.98 cores=1,3,5,7
/proc/20823/task/20827/stat : 20827 (java) S 20820 20823 20185 0 -1 1077944384 1800 0 0 0 88 10 0 0 20 0 15 0 250571049 14427033600 69434 33554432000 4194304 4196468 140725486817616 140433285233040 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20828] ppid=20820 vsize=14088900 memory=277732 CPUtime=0.98 cores=1,3,5,7
/proc/20823/task/20828/stat : 20828 (java) S 20820 20823 20185 0 -1 1077944384 2645 0 0 0 87 11 0 0 20 0 15 0 250571049 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432923617808 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20829] ppid=20820 vsize=14088900 memory=277732 CPUtime=0.98 cores=1,3,5,7
/proc/20823/task/20829/stat : 20829 (java) S 20820 20823 20185 0 -1 1077944384 957 0 0 0 88 10 0 0 20 0 15 0 250571049 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432922565264 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20830] ppid=20820 vsize=14088900 memory=277732 CPUtime=1.34 cores=1,3,5,7
/proc/20823/task/20830/stat : 20830 (java) S 20820 20823 20185 0 -1 1077944384 2132 0 0 0 124 10 0 0 20 0 15 0 250571050 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432669362672 140433329744514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20831] ppid=20820 vsize=14088900 memory=277732 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20831/stat : 20831 (java) S 20820 20823 20185 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250571050 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432668308960 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20832] ppid=20820 vsize=14088900 memory=277732 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20832/stat : 20832 (java) S 20820 20823 20185 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250571051 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432667256320 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20833] ppid=20820 vsize=14088900 memory=277736 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20833/stat : 20833 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432666204880 140433329751963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20834] ppid=20820 vsize=14088900 memory=6864 CPUtime=1.24 cores=1,3,5,7
/proc/20823/task/20834/stat : 20834 (java) S 20820 20823 20185 0 -1 1077944384 6003 0 0 0 122 2 0 0 20 0 15 0 250571053 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432665151472 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20835] ppid=20820 vsize=14088900 memory=279635121234704 CPUtime=1.14 cores=1,3,5,7
/proc/20823/task/20835/stat : 20835 (java) S 20820 20823 20185 0 -1 1077944384 6256 0 0 0 113 1 0 0 20 0 15 0 250571053 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432664098928 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20836] ppid=20820 vsize=14088900 memory=3500 CPUtime=0.48 cores=1,3,5,7
/proc/20823/task/20836/stat : 20836 (java) S 20820 20823 20185 0 -1 1077944384 5027 0 0 0 47 1 0 0 20 0 15 0 250571053 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432663046384 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20837] ppid=20820 vsize=14088900 memory=68220 CPUtime=0 cores=1,3,5,7
/proc/20823/task/20837/stat : 20837 (java) S 20820 20823 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571053 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432661994080 140433329743573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
[pid=20823/tid=20838] ppid=20820 vsize=14088900 memory=277736 CPUtime=0.14 cores=1,3,5,7
/proc/20823/task/20838/stat : 20838 (java) S 20820 20823 20185 0 -1 1077944384 716 0 0 0 6 8 0 0 20 0 15 0 250571053 14427033600 69434 33554432000 4194304 4196468 140725486817616 140432660941616 140433329744514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27009024 140725486822478 140725486822670 140725486822670 140725486825423 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 277736 KiB
Child status: 143
Real time (s): 246.518
CPU time (s): 252.103
CPU user time (s): 251.431
CPU system time (s): 0.671713
CPU usage (%): 102.266
Max. virtual memory (cumulated for all children) (KiB): 14088900
Max. memory (cumulated for all children) (KiB): 277736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.431
system time used= 0.671713
maximum resident set size= 278408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61862
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44472
involuntary context switches= 884
# summary of solver processes directly reported to runsolver:
# pid: 20823
# total CPU time (s): 252.103
# total CPU user time (s): 251.431
# total CPU system time (s): 0.671713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44506 second user time and 2.40521 second system time
The end