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 (1511 MiB free)
memory of node 1: 16384 MiB (2473 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402632-1568973859/watcher-4402632-1568973859 -o /var/tmp/evaluation-result-4402632-1568973859/solver-4402632-1568973859 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568967595-31373 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=99636543 HOME/instance-4402632-1568973859.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1730, runsolver pid=1727
[startup+0.110268 s]*
/proc/loadavg: 1.36 1.39 1.40 3/221 1797
/proc/meminfo: memFree=4071180/32770624 swapFree=66972120/67108860
[pid=1730] ppid=1727 vsize=10153664 memory=20180 CPUtime=0.09 cores=1,3,5,7
/proc/1730/stat : 1730 (java) S 1727 1730 31341 0 -1 1077944320 4810 13106 0 0 1 1 5 2 20 0 8 0 473327910 10397351936 5045 33554432000 4194304 4196468 140729433096304 140729433078848 140655107383031 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
/proc/1730/statm: 2538416 5045 2058 1 0 2526854 0
[pid=1730/tid=1793] ppid=1727 vsize=10355560 memory=8389772277269004345 CPUtime=0.08 cores=1,3,5,7
/proc/1730/task/1793/stat : 1793 (java) R 1727 1730 31341 0 -1 4202560 2678 13106 0 0 1 0 5 2 20 0 9 0 473327919 10604093440 5671 33554432000 4194304 4196468 140729433096304 140655079219056 140655107404957 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1794] ppid=1727 vsize=10355560 memory=4294967638 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1794/stat : 1794 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 9 0 473327920 10604093440 5671 33554432000 4194304 4196468 140729433096304 140655111625616 140655107393237 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1795] ppid=1727 vsize=10355560 memory=288370260827326080 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1795/stat : 1795 (java) S 1727 1730 31341 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 9 0 473327920 10604093440 5671 33554432000 4194304 4196468 140729433096304 140655015828240 140655107393237 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1796] ppid=1727 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1796/stat : 1796 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 9 0 473327920 10604093440 5671 33554432000 4194304 4196468 140729433096304 140655014775952 140655107393237 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1797] ppid=1727 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1797/stat : 1797 (java) S 1727 1730 31341 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 9 0 473327920 10604093440 5671 33554432000 4194304 4196468 140729433096304 140655013723152 140655107393237 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1798] ppid=1727 vsize=10355560 memory=139884675614336 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1798/stat : 1798 (java) S 1727 1730 31341 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 9 0 473327921 10604093440 5671 33554432000 4194304 4196468 140729433096304 140654566725744 140655107394178 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1799] ppid=1727 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1799/stat : 1799 (java) S 1727 1730 31341 0 -1 1077944384 13 13106 0 0 0 0 5 2 20 0 9 0 473327922 10604093440 5671 33554432000 4194304 4196468 140729433096304 140654004921120 140655107393237 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1800] ppid=1727 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1800/stat : 1800 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 9 0 473327922 10604093440 5671 33554432000 4194304 4196468 140729433096304 140653870703792 140655107393237 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10153664 KiB
Current children cumulated memory: 20180 KiB
[startup+0.210492 s]*
/proc/loadavg: 1.36 1.39 1.40 3/230 1806
/proc/meminfo: memFree=4051720/32770624 swapFree=66972120/67108860
[pid=1730] ppid=1727 vsize=10820164 memory=44448 CPUtime=0.25 cores=1,3,5,7
/proc/1730/stat : 1730 (java) S 1727 1730 31341 0 -1 1077944320 7488 13106 0 0 16 2 5 2 20 0 15 0 473327910 11079847936 11112 33554432000 4194304 4196468 140729433096304 140729433078848 140655107383031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
/proc/1730/statm: 2705041 11112 3292 1 0 2667149 0
[pid=1730/tid=1793] ppid=1727 vsize=10820196 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/1730/task/1793/stat : 1793 (java) R 1727 1730 31341 0 -1 4202560 4035 13106 0 0 10 1 5 2 20 0 15 0 473327919 11079880704 11112 33554432000 4194304 4196468 140729433096304 140655079194064 140655107404957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1794] ppid=1727 vsize=10820196 memory=4294967638 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1794/stat : 1794 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 473327920 11079880704 11112 33554432000 4194304 4196468 140729433096304 140655111625616 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1795] ppid=1727 vsize=10820196 memory=288370260827326080 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1795/stat : 1795 (java) S 1727 1730 31341 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 473327920 11079880704 11112 33554432000 4194304 4196468 140729433096304 140655015828240 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1796] ppid=1727 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1796/stat : 1796 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 473327920 11079880704 11112 33554432000 4194304 4196468 140729433096304 140655014775952 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1797] ppid=1727 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1797/stat : 1797 (java) S 1727 1730 31341 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 473327920 11079880704 11112 33554432000 4194304 4196468 140729433096304 140655013723152 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1798] ppid=1727 vsize=10820196 memory=139884675614336 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1798/stat : 1798 (java) S 1727 1730 31341 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 473327921 11079880704 11112 33554432000 4194304 4196468 140729433096304 140654566725744 140655107394178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1799] ppid=1727 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1799/stat : 1799 (java) S 1727 1730 31341 0 -1 1077944384 13 13106 0 0 0 0 5 2 20 0 15 0 473327922 11079880704 11112 33554432000 4194304 4196468 140729433096304 140654004921120 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1800] ppid=1727 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1800/stat : 1800 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 473327922 11079880704 11112 33554432000 4194304 4196468 140729433096304 140653870703728 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1801] ppid=1727 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1801/stat : 1801 (java) S 1727 1730 31341 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 473327925 11079880704 11112 33554432000 4194304 4196468 140729433096304 140653731072080 140655107401627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1802] ppid=1727 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1730/task/1802/stat : 1802 (java) R 1727 1730 31341 0 -1 4202560 470 13106 0 0 1 0 5 2 20 0 15 0 473327925 11079880704 11112 33554432000 4194304 4196468 140729433096304 140654565673584 140655085257216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1803] ppid=1727 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1730/task/1803/stat : 1803 (java) S 1727 1730 31341 0 -1 1077944384 182 13106 0 0 1 0 5 2 20 0 15 0 473327925 11079880704 11112 33554432000 4194304 4196468 140729433096304 140654564620784 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1804] ppid=1727 vsize=10820196 memory=139884675614336 CPUtime=0.1 cores=1,3,5,7
/proc/1730/task/1804/stat : 1804 (java) R 1727 1730 31341 0 -1 1077944384 608 13106 0 0 3 0 5 2 20 0 15 0 473327925 11079880704 11112 33554432000 4194304 4196468 140729433096304 140654563568496 140655107394178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1805] ppid=1727 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1805/stat : 1805 (java) S 1727 1730 31341 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 473327925 11079880704 11112 33554432000 4194304 4196468 140729433096304 140653333834720 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1806] ppid=1727 vsize=10820196 memory=139884675614336 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1806/stat : 1806 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 473327925 11079880704 11112 33554432000 4194304 4196468 140729433096304 140654562515376 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 44448 KiB
[startup+0.31074 s]*
/proc/loadavg: 1.36 1.39 1.40 4/230 1806
/proc/meminfo: memFree=4039344/32770624 swapFree=66972120/67108860
[pid=1730] ppid=1727 vsize=10820196 memory=52656 CPUtime=0.4 cores=1,3,5,7
/proc/1730/stat : 1730 (java) S 1727 1730 31341 0 -1 1077944320 10878 13106 0 0 29 4 5 2 20 0 15 0 473327910 11079880704 13164 33554432000 4194304 4196468 140729433096304 140729433078848 140655107383031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
/proc/1730/statm: 2705049 13164 3313 1 0 2667149 0
[pid=1730/tid=1793] ppid=1727 vsize=10820196 memory=7302696001386991697 CPUtime=0.29 cores=1,3,5,7
/proc/1730/task/1793/stat : 1793 (java) R 1727 1730 31341 0 -1 4202560 7386 13106 0 0 19 3 5 2 20 0 15 0 473327919 11079880704 13164 33554432000 4194304 4196468 140729433096304 140655079193280 140655091463518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1794] ppid=1727 vsize=10820196 memory=139888829770255 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1794/stat : 1794 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 473327920 11079880704 13164 33554432000 4194304 4196468 140729433096304 140655111625616 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1795] ppid=1727 vsize=10820196 memory=139884675614336 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1795/stat : 1795 (java) S 1727 1730 31341 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 473327920 11079880704 13164 33554432000 4194304 4196468 140729433096304 140655015828240 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1796] ppid=1727 vsize=10820196 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1796/stat : 1796 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 473327920 11079880704 13164 33554432000 4194304 4196468 140729433096304 140655014775952 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1797] ppid=1727 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1797/stat : 1797 (java) S 1727 1730 31341 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 473327920 11079880704 13164 33554432000 4194304 4196468 140729433096304 140655013723152 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1798] ppid=1727 vsize=10820196 memory=139884675614336 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1798/stat : 1798 (java) S 1727 1730 31341 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 473327921 11079880704 13164 33554432000 4194304 4196468 140729433096304 140654566725744 140655107394178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1799] ppid=1727 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1799/stat : 1799 (java) S 1727 1730 31341 0 -1 1077944384 13 13106 0 0 0 0 5 2 20 0 15 0 473327922 11079880704 13164 33554432000 4194304 4196468 140729433096304 140654004921120 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1800] ppid=1727 vsize=10820196 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1800/stat : 1800 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 473327922 11079880704 13164 33554432000 4194304 4196468 140729433096304 140653870703728 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1801] ppid=1727 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1801/stat : 1801 (java) S 1727 1730 31341 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 473327925 11079880704 13164 33554432000 4194304 4196468 140729433096304 140653731072080 140655107401627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1802] ppid=1727 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1730/task/1802/stat : 1802 (java) S 1727 1730 31341 0 -1 1077944384 471 13106 0 0 2 0 5 2 20 0 15 0 473327925 11079880704 13164 33554432000 4194304 4196468 140729433096304 140654565673584 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1803] ppid=1727 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/1730/task/1803/stat : 1803 (java) S 1727 1730 31341 0 -1 1077944384 183 13106 0 0 2 0 5 2 20 0 15 0 473327925 11079880704 13164 33554432000 4194304 4196468 140729433096304 140654564620784 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1804] ppid=1727 vsize=10820196 memory=139884675614336 CPUtime=0.12 cores=1,3,5,7
/proc/1730/task/1804/stat : 1804 (java) S 1727 1730 31341 0 -1 1077944384 616 13106 0 0 5 0 5 2 20 0 15 0 473327925 11079880704 13164 33554432000 4194304 4196468 140729433096304 140654563568496 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1805] ppid=1727 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1805/stat : 1805 (java) S 1727 1730 31341 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 473327925 11079880704 13164 33554432000 4194304 4196468 140729433096304 140653333834720 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1806] ppid=1727 vsize=10820196 memory=139884675614336 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1806/stat : 1806 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 473327925 11079880704 13164 33554432000 4194304 4196468 140729433096304 140654562515376 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52656 KiB
[startup+0.701325 s]
/proc/loadavg: 1.36 1.39 1.40 3/230 1806
/proc/meminfo: memFree=4024560/32770624 swapFree=66972120/67108860
[pid=1730] ppid=1727 vsize=10824364 memory=85464 CPUtime=1.14 cores=1,3,5,7
/proc/1730/stat : 1730 (java) S 1727 1730 31341 0 -1 1077944320 15037 13106 0 0 101 6 5 2 20 0 15 0 473327910 11084148736 21316 33554432000 4194304 4196468 140729433096304 140729433078848 140655107383031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
/proc/1730/statm: 2706091 21366 3513 1 0 2668173 0
[pid=1730/tid=1793] ppid=1727 vsize=10824364 memory=279769069740704 CPUtime=0.66 cores=1,3,5,7
/proc/1730/task/1793/stat : 1793 (java) R 1727 1730 31341 0 -1 4202560 10370 13106 0 0 55 4 5 2 20 0 15 0 473327919 11084148736 21366 33554432000 4194304 4196468 140729433096304 140655079205216 140655091426661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1794] ppid=1727 vsize=10824364 memory=279769069472416 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1794/stat : 1794 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 473327920 11084148736 21366 33554432000 4194304 4196468 140729433096304 140655111625616 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1795] ppid=1727 vsize=10824364 memory=279769069472608 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1795/stat : 1795 (java) S 1727 1730 31341 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 473327920 11084148736 21366 33554432000 4194304 4196468 140729433096304 140655015828240 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1796] ppid=1727 vsize=10824364 memory=17120 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1796/stat : 1796 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 473327920 11084148736 21366 33554432000 4194304 4196468 140729433096304 140655014775952 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1797] ppid=1727 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1797/stat : 1797 (java) S 1727 1730 31341 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 473327920 11084148736 21366 33554432000 4194304 4196468 140729433096304 140655013723152 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1798] ppid=1727 vsize=10824364 memory=1040 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1798/stat : 1798 (java) S 1727 1730 31341 0 -1 1077944384 5 13106 0 0 0 0 5 2 20 0 15 0 473327921 11084148736 21366 33554432000 4194304 4196468 140729433096304 140654566725744 140655107394178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1799] ppid=1727 vsize=10824364 memory=3644 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1799/stat : 1799 (java) S 1727 1730 31341 0 -1 1077944384 13 13106 0 0 0 0 5 2 20 0 15 0 473327922 11084148736 21366 33554432000 4194304 4196468 140729433096304 140654004921120 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1800] ppid=1727 vsize=10824364 memory=780 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1800/stat : 1800 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 473327922 11084148736 21366 33554432000 4194304 4196468 140729433096304 140653870703728 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1801] ppid=1727 vsize=10824364 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1801/stat : 1801 (java) S 1727 1730 31341 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 473327925 11084148736 21366 33554432000 4194304 4196468 140729433096304 140653731072080 140655107401627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1802] ppid=1727 vsize=10824364 memory=1716 CPUtime=0.22 cores=1,3,5,7
/proc/1730/task/1802/stat : 1802 (java) S 1727 1730 31341 0 -1 1077944384 1056 13106 0 0 15 0 5 2 20 0 15 0 473327925 11084148736 21366 33554432000 4194304 4196468 140729433096304 140654565673584 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1803] ppid=1727 vsize=10824364 memory=1200 CPUtime=0.2 cores=1,3,5,7
/proc/1730/task/1803/stat : 1803 (java) R 1727 1730 31341 0 -1 4202560 562 13106 0 0 13 0 5 2 20 0 15 0 473327925 11084148736 21366 33554432000 4194304 4196468 140729433096304 140654564609472 140655099672320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1804] ppid=1727 vsize=10824364 memory=5984 CPUtime=0.24 cores=1,3,5,7
/proc/1730/task/1804/stat : 1804 (java) S 1727 1730 31341 0 -1 1077944384 815 13106 0 0 17 0 5 2 20 0 15 0 473327925 11084148736 21366 33554432000 4194304 4196468 140729433096304 140654563568496 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1805] ppid=1727 vsize=10824364 memory=14012 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1805/stat : 1805 (java) S 1727 1730 31341 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 473327925 11084148736 21366 33554432000 4194304 4196468 140729433096304 140653333834720 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1806] ppid=1727 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1806/stat : 1806 (java) S 1727 1730 31341 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 473327925 11084148736 21366 33554432000 4194304 4196468 140729433096304 140654562515376 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85464 KiB
[startup+1.50132 s]
/proc/loadavg: 1.36 1.39 1.40 3/230 1806
/proc/meminfo: memFree=3938344/32770624 swapFree=66972120/67108860
[pid=1730] ppid=1727 vsize=10824364 memory=434448 CPUtime=3.04 cores=1,3,5,7
/proc/1730/stat : 1730 (java) S 1727 1730 31341 0 -1 1077944320 17526 13106 0 0 256 41 5 2 20 0 15 0 473327910 11084148736 108612 33554432000 4194304 4196468 140729433096304 140729433078848 140655107383031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
/proc/1730/statm: 2706091 108612 3547 1 0 2668173 0
[pid=1730/tid=1793] ppid=1727 vsize=10824364 memory=1040 CPUtime=1.27 cores=1,3,5,7
/proc/1730/task/1793/stat : 1793 (java) S 1727 1730 31341 0 -1 1077944384 11016 13106 0 0 112 8 5 2 20 0 15 0 473327919 11084148736 108612 33554432000 4194304 4196468 140729433096304 140655079219200 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1794] ppid=1727 vsize=10824364 memory=3644 CPUtime=0.25 cores=1,3,5,7
/proc/1730/task/1794/stat : 1794 (java) R 1727 1730 31341 0 -1 4202560 223 13106 0 0 11 7 5 2 20 0 15 0 473327920 11084148736 108612 33554432000 4194304 4196468 140729433096304 140655111625504 140655092411230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1795] ppid=1727 vsize=10824364 memory=780 CPUtime=0.25 cores=1,3,5,7
/proc/1730/task/1795/stat : 1795 (java) R 1727 1730 31341 0 -1 4202560 234 13106 0 0 11 7 5 2 20 0 15 0 473327920 11084148736 108612 33554432000 4194304 4196468 140729433096304 140655015828240 140655092410011 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1796] ppid=1727 vsize=10824364 memory=2832 CPUtime=0.25 cores=1,3,5,7
/proc/1730/task/1796/stat : 1796 (java) R 1727 1730 31341 0 -1 4202560 200 13106 0 0 11 7 5 2 20 0 15 0 473327920 11084148736 108612 33554432000 4194304 4196468 140729433096304 140655014775952 140655089030561 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1797] ppid=1727 vsize=10824364 memory=1716 CPUtime=0.25 cores=1,3,5,7
/proc/1730/task/1797/stat : 1797 (java) R 1727 1730 31341 0 -1 4202560 164 13106 0 0 11 7 5 2 20 0 15 0 473327920 11084148736 108612 33554432000 4194304 4196468 140729433096304 140655013723352 140655092410450 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1798] ppid=1727 vsize=10824364 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1798/stat : 1798 (java) S 1727 1730 31341 0 -1 1077944384 85 13106 0 0 0 0 5 2 20 0 15 0 473327921 11084148736 108612 33554432000 4194304 4196468 140729433096304 140654566724256 140655107393237 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1799] ppid=1727 vsize=10824364 memory=6442213867800191584 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1799/stat : 1799 (java) S 1727 1730 31341 0 -1 1077944384 14 13106 0 0 0 0 5 2 20 0 15 0 473327922 11084148736 108612 33554432000 4194304 4196468 140729433096304 140654004921184 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1800] ppid=1727 vsize=10824364 memory=6011021742777784422 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1800/stat : 1800 (java) S 1727 1730 31341 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 473327922 11084148736 108612 33554432000 4194304 4196468 140729433096304 140653870703744 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1801] ppid=1727 vsize=10824364 memory=16642998275760 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1801/stat : 1801 (java) S 1727 1730 31341 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 473327925 11084148736 108612 33554432000 4194304 4196468 140729433096304 140653731072080 140655107401627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1802] ppid=1727 vsize=10824364 memory=7682475210811912201 CPUtime=0.43 cores=1,3,5,7
/proc/1730/task/1802/stat : 1802 (java) S 1727 1730 31341 0 -1 1077944384 1638 13106 0 0 36 0 5 2 20 0 15 0 473327925 11084148736 108612 33554432000 4194304 4196468 140729433096304 140654565673584 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1803] ppid=1727 vsize=10824364 memory=7160831573589846685 CPUtime=0.42 cores=1,3,5,7
/proc/1730/task/1803/stat : 1803 (java) S 1727 1730 31341 0 -1 1077944384 709 13106 0 0 35 0 5 2 20 0 15 0 473327925 11084148736 108612 33554432000 4194304 4196468 140729433096304 140654564620784 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1804] ppid=1727 vsize=10824364 memory=-7595718148000617571 CPUtime=0.32 cores=1,3,5,7
/proc/1730/task/1804/stat : 1804 (java) S 1727 1730 31341 0 -1 1077944384 1031 13106 0 0 25 0 5 2 20 0 15 0 473327925 11084148736 108612 33554432000 4194304 4196468 140729433096304 140654563568496 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
################
# More data... #
################
/proc/1730/statm: 2710211 2092130 3625 1 0 2672269 0
[pid=1730/tid=1793] ppid=1727 vsize=10840844 memory=6935054825532540783 CPUtime=223.83 cores=1,3,5,7
/proc/1730/task/1793/stat : 1793 (java) S 1727 1730 31341 0 -1 1077944384 75894 13106 0 0 22348 28 5 2 20 0 15 0 473327919 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655079216016 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1794] ppid=1727 vsize=10840844 memory=4872558044660077418 CPUtime=556.51 cores=1,3,5,7
/proc/1730/task/1794/stat : 1794 (java) R 1727 1730 31341 0 -1 4202560 4396244 13106 0 0 55094 550 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655111625616 140655092368327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1795] ppid=1727 vsize=10840844 memory=1984 CPUtime=555.72 cores=1,3,5,7
/proc/1730/task/1795/stat : 1795 (java) R 1727 1730 31341 0 -1 4202560 3539881 13106 0 0 55049 516 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655015828128 140655092080806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1796] ppid=1727 vsize=10840844 memory=2424 CPUtime=556.36 cores=1,3,5,7
/proc/1730/task/1796/stat : 1796 (java) R 1727 1730 31341 0 -1 4202560 3818863 13106 0 0 55100 529 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655014776152 140655092080828 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1797] ppid=1727 vsize=10840844 memory=1764 CPUtime=555.63 cores=1,3,5,7
/proc/1730/task/1797/stat : 1797 (java) R 1727 1730 31341 0 -1 4202560 3804380 13106 0 0 55049 507 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655013723352 140655092080806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1798] ppid=1727 vsize=10840844 memory=111636 CPUtime=63.79 cores=1,3,5,7
/proc/1730/task/1798/stat : 1798 (java) S 1727 1730 31341 0 -1 1077944384 436191 13106 0 0 6341 31 5 2 20 0 15 0 473327921 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654566724064 140655107393237 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1799] ppid=1727 vsize=10840844 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1799/stat : 1799 (java) S 1727 1730 31341 0 -1 1077944384 21 13106 0 0 0 0 5 2 20 0 15 0 473327922 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654004921184 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1800] ppid=1727 vsize=10840844 memory=1672 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1800/stat : 1800 (java) S 1727 1730 31341 0 -1 1077944384 8 13106 0 0 0 0 5 2 20 0 15 0 473327922 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140653870703744 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1801] ppid=1727 vsize=10840844 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1801/stat : 1801 (java) S 1727 1730 31341 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140653731072080 140655107401627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1802] ppid=1727 vsize=10840844 memory=8368520 CPUtime=3.79 cores=1,3,5,7
/proc/1730/task/1802/stat : 1802 (java) S 1727 1730 31341 0 -1 1077944384 24673 13106 0 0 369 3 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654565673584 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1803] ppid=1727 vsize=10840844 memory=5984 CPUtime=2.76 cores=1,3,5,7
/proc/1730/task/1803/stat : 1803 (java) S 1727 1730 31341 0 -1 1077944384 12334 13106 0 0 266 3 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654564620784 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1804] ppid=1727 vsize=10840844 memory=8368520 CPUtime=1.39 cores=1,3,5,7
/proc/1730/task/1804/stat : 1804 (java) S 1727 1730 31341 0 -1 1077944384 25341 13106 0 0 129 3 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654563568496 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1805] ppid=1727 vsize=10840844 memory=19048 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1805/stat : 1805 (java) S 1727 1730 31341 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140653333834720 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1806] ppid=1727 vsize=10840844 memory=12024 CPUtime=0.79 cores=1,3,5,7
/proc/1730/task/1806/stat : 1806 (java) S 1727 1730 31341 0 -1 1077944384 885 13106 0 0 36 36 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654562515376 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8368520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+850.314 s]
# the end of solver process 1730 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.18 s, system=22.1395 s
Solver just ended.
Dumping a history of the last processes samples
[startup+848.801 s]
/proc/loadavg: 4.38 3.68 2.64 6/227 1880
/proc/meminfo: memFree=228248/32770624 swapFree=66972120/67108860
[pid=1730] ppid=1727 vsize=10840844 memory=8368520 CPUtime=2523.19 cores=1,3,5,7
/proc/1730/stat : 1730 (java) S 1727 1730 31341 0 -1 1077944320 16136955 13106 0 0 250131 2181 5 2 20 0 15 0 473327910 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140729433078848 140655107383031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
/proc/1730/statm: 2710211 2092130 3625 1 0 2672269 0
[pid=1730/tid=1793] ppid=1727 vsize=10840844 memory=740 CPUtime=223.83 cores=1,3,5,7
/proc/1730/task/1793/stat : 1793 (java) S 1727 1730 31341 0 -1 1077944384 75894 13106 0 0 22348 28 5 2 20 0 15 0 473327919 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655079216016 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1794] ppid=1727 vsize=10840844 memory=1056 CPUtime=557.3 cores=1,3,5,7
/proc/1730/task/1794/stat : 1794 (java) R 1727 1730 31341 0 -1 4202560 4396254 13106 0 0 55173 550 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655111625616 140655092333636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1795] ppid=1727 vsize=10840844 memory=1552 CPUtime=556.51 cores=1,3,5,7
/proc/1730/task/1795/stat : 1795 (java) R 1727 1730 31341 0 -1 4202560 3539890 13106 0 0 55128 516 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655015828128 140655092368327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1796] ppid=1727 vsize=10840844 memory=8112282956445269571 CPUtime=557.14 cores=1,3,5,7
/proc/1730/task/1796/stat : 1796 (java) R 1727 1730 31341 0 -1 4202560 3818870 13106 0 0 55178 529 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655014776152 140655092333636 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1797] ppid=1727 vsize=10840844 memory=42588 CPUtime=556.42 cores=1,3,5,7
/proc/1730/task/1797/stat : 1797 (java) R 1727 1730 31341 0 -1 4202560 3804380 13106 0 0 55128 507 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655013723352 140655092080783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1798] ppid=1727 vsize=10840844 memory=992 CPUtime=63.79 cores=1,3,5,7
/proc/1730/task/1798/stat : 1798 (java) S 1727 1730 31341 0 -1 1077944384 436191 13106 0 0 6341 31 5 2 20 0 15 0 473327921 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654566724064 140655107393237 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1799] ppid=1727 vsize=10840844 memory=2044 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1799/stat : 1799 (java) S 1727 1730 31341 0 -1 1077944384 21 13106 0 0 0 0 5 2 20 0 15 0 473327922 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654004921184 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1800] ppid=1727 vsize=10840844 memory=1432 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1800/stat : 1800 (java) S 1727 1730 31341 0 -1 1077944384 8 13106 0 0 0 0 5 2 20 0 15 0 473327922 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140653870703744 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1801] ppid=1727 vsize=10840844 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1801/stat : 1801 (java) S 1727 1730 31341 0 -1 1077944384 7 13106 0 0 0 0 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140653731071728 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1802] ppid=1727 vsize=10840844 memory=1556 CPUtime=3.79 cores=1,3,5,7
/proc/1730/task/1802/stat : 1802 (java) S 1727 1730 31341 0 -1 1077944384 24673 13106 0 0 369 3 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654565673584 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1803] ppid=1727 vsize=10840844 memory=924 CPUtime=2.76 cores=1,3,5,7
/proc/1730/task/1803/stat : 1803 (java) S 1727 1730 31341 0 -1 1077944384 12334 13106 0 0 266 3 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654564620784 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1804] ppid=1727 vsize=10840844 memory=1672 CPUtime=1.39 cores=1,3,5,7
/proc/1730/task/1804/stat : 1804 (java) S 1727 1730 31341 0 -1 1077944384 25341 13106 0 0 129 3 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654563568496 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1805] ppid=1727 vsize=10840844 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1805/stat : 1805 (java) S 1727 1730 31341 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140653333834720 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1806] ppid=1727 vsize=10840844 memory=3100 CPUtime=0.79 cores=1,3,5,7
/proc/1730/task/1806/stat : 1806 (java) S 1727 1730 31341 0 -1 1077944384 885 13106 0 0 36 36 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654562515376 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
Current children cumulated CPU time: 2523.19 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8368520 KiB
[startup+849.601 s]
/proc/loadavg: 4.38 3.68 2.64 6/227 1880
/proc/meminfo: memFree=228272/32770624 swapFree=66972120/67108860
[pid=1730] ppid=1727 vsize=10840844 memory=8368520 CPUtime=2526.33 cores=1,3,5,7
/proc/1730/stat : 1730 (java) S 1727 1730 31341 0 -1 1077944320 16137019 13106 0 0 250445 2181 5 2 20 0 15 0 473327910 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140729433078848 140655107383031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
/proc/1730/statm: 2710211 2092130 3625 1 0 2672269 0
[pid=1730/tid=1793] ppid=1727 vsize=10840844 memory=1056 CPUtime=223.83 cores=1,3,5,7
/proc/1730/task/1793/stat : 1793 (java) S 1727 1730 31341 0 -1 1077944384 75894 13106 0 0 22348 28 5 2 20 0 15 0 473327919 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655079216016 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1794] ppid=1727 vsize=10840844 memory=1552 CPUtime=558.09 cores=1,3,5,7
/proc/1730/task/1794/stat : 1794 (java) R 1727 1730 31341 0 -1 4202560 4396302 13106 0 0 55252 550 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655111625616 140655092379693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1795] ppid=1727 vsize=10840844 memory=8368520 CPUtime=557.3 cores=1,3,5,7
/proc/1730/task/1795/stat : 1795 (java) R 1727 1730 31341 0 -1 4202560 3539892 13106 0 0 55207 516 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655015828240 140655088992754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1796] ppid=1727 vsize=10840844 memory=8368520 CPUtime=557.91 cores=1,3,5,7
/proc/1730/task/1796/stat : 1796 (java) R 1727 1730 31341 0 -1 4202560 3818884 13106 0 0 55255 529 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655014775840 140655092081776 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1797] ppid=1727 vsize=10840844 memory=8368520 CPUtime=557.2 cores=1,3,5,7
/proc/1730/task/1797/stat : 1797 (java) R 1727 1730 31341 0 -1 4202560 3804380 13106 0 0 55206 507 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655013723352 140655092379435 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1798] ppid=1727 vsize=10840844 memory=8112282956445269571 CPUtime=63.8 cores=1,3,5,7
/proc/1730/task/1798/stat : 1798 (java) S 1727 1730 31341 0 -1 1077944384 436191 13106 0 0 6342 31 5 2 20 0 15 0 473327921 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654566724288 140655107393237 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1799] ppid=1727 vsize=10840844 memory=3612 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1799/stat : 1799 (java) S 1727 1730 31341 0 -1 1077944384 21 13106 0 0 0 0 5 2 20 0 15 0 473327922 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654004921184 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1800] ppid=1727 vsize=10840844 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1800/stat : 1800 (java) S 1727 1730 31341 0 -1 1077944384 8 13106 0 0 0 0 5 2 20 0 15 0 473327922 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140653870703744 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1801] ppid=1727 vsize=10840844 memory=8368516 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1801/stat : 1801 (java) S 1727 1730 31341 0 -1 1077944384 7 13106 0 0 0 0 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140653731071728 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1802] ppid=1727 vsize=10840844 memory=11624 CPUtime=3.79 cores=1,3,5,7
/proc/1730/task/1802/stat : 1802 (java) S 1727 1730 31341 0 -1 1077944384 24673 13106 0 0 369 3 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654565673584 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1803] ppid=1727 vsize=10840844 memory=8368520 CPUtime=2.76 cores=1,3,5,7
/proc/1730/task/1803/stat : 1803 (java) S 1727 1730 31341 0 -1 1077944384 12334 13106 0 0 266 3 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654564620784 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1804] ppid=1727 vsize=10840844 memory=992 CPUtime=1.39 cores=1,3,5,7
/proc/1730/task/1804/stat : 1804 (java) S 1727 1730 31341 0 -1 1077944384 25341 13106 0 0 129 3 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654563568496 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1805] ppid=1727 vsize=10840844 memory=2044 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1805/stat : 1805 (java) S 1727 1730 31341 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140653333834720 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1806] ppid=1727 vsize=10840844 memory=1432 CPUtime=0.79 cores=1,3,5,7
/proc/1730/task/1806/stat : 1806 (java) S 1727 1730 31341 0 -1 1077944384 885 13106 0 0 36 36 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654562515376 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
Current children cumulated CPU time: 2526.33 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8368520 KiB
[startup+850.001 s]*
/proc/loadavg: 4.38 3.68 2.64 6/227 1880
/proc/meminfo: memFree=228264/32770624 swapFree=66972120/67108860
[pid=1730] ppid=1727 vsize=10840844 memory=8368520 CPUtime=2527.95 cores=1,3,5,7
/proc/1730/stat : 1730 (java) S 1727 1730 31341 0 -1 1077944320 16137019 13106 0 0 250607 2181 5 2 20 0 15 0 473327910 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140729433078848 140655107383031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
/proc/1730/statm: 2710211 2092130 3625 1 0 2672269 0
[pid=1730/tid=1793] ppid=1727 vsize=10840844 memory=1040 CPUtime=223.83 cores=1,3,5,7
/proc/1730/task/1793/stat : 1793 (java) S 1727 1730 31341 0 -1 1077944384 75894 13106 0 0 22348 28 5 2 20 0 15 0 473327919 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655079216016 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1794] ppid=1727 vsize=10840844 memory=4872558044660077418 CPUtime=558.5 cores=1,3,5,7
/proc/1730/task/1794/stat : 1794 (java) R 1727 1730 31341 0 -1 4202560 4396302 13106 0 0 55293 550 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655111625616 140655092379642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1795] ppid=1727 vsize=10840844 memory=1436 CPUtime=557.71 cores=1,3,5,7
/proc/1730/task/1795/stat : 1795 (java) R 1727 1730 31341 0 -1 4202560 3539892 13106 0 0 55248 516 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655015828240 140655092379412 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1796] ppid=1727 vsize=10840844 memory=1984 CPUtime=558.31 cores=1,3,5,7
/proc/1730/task/1796/stat : 1796 (java) R 1727 1730 31341 0 -1 4202560 3818884 13106 0 0 55295 529 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655014775840 140655092081771 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1797] ppid=1727 vsize=10840844 memory=2424 CPUtime=557.61 cores=1,3,5,7
/proc/1730/task/1797/stat : 1797 (java) R 1727 1730 31341 0 -1 4202560 3804380 13106 0 0 55247 507 5 2 20 0 15 0 473327920 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140655013723352 140655092379710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1798] ppid=1727 vsize=10840844 memory=1764 CPUtime=63.8 cores=1,3,5,7
/proc/1730/task/1798/stat : 1798 (java) S 1727 1730 31341 0 -1 1077944384 436191 13106 0 0 6342 31 5 2 20 0 15 0 473327921 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654566724288 140655107393237 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1799] ppid=1727 vsize=10840844 memory=111636 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1799/stat : 1799 (java) S 1727 1730 31341 0 -1 1077944384 21 13106 0 0 0 0 5 2 20 0 15 0 473327922 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654004921184 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1800] ppid=1727 vsize=10840844 memory=804 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1800/stat : 1800 (java) S 1727 1730 31341 0 -1 1077944384 8 13106 0 0 0 0 5 2 20 0 15 0 473327922 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140653870703744 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1801] ppid=1727 vsize=10840844 memory=1732 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1801/stat : 1801 (java) S 1727 1730 31341 0 -1 1077944384 7 13106 0 0 0 0 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140653731071728 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1802] ppid=1727 vsize=10840844 memory=1808 CPUtime=3.79 cores=1,3,5,7
/proc/1730/task/1802/stat : 1802 (java) S 1727 1730 31341 0 -1 1077944384 24673 13106 0 0 369 3 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654565673584 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1803] ppid=1727 vsize=10840844 memory=924 CPUtime=2.76 cores=1,3,5,7
/proc/1730/task/1803/stat : 1803 (java) S 1727 1730 31341 0 -1 1077944384 12334 13106 0 0 266 3 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654564620784 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1804] ppid=1727 vsize=10840844 memory=3848 CPUtime=1.39 cores=1,3,5,7
/proc/1730/task/1804/stat : 1804 (java) S 1727 1730 31341 0 -1 1077944384 25341 13106 0 0 129 3 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654563568496 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1805] ppid=1727 vsize=10840844 memory=2684 CPUtime=0.07 cores=1,3,5,7
/proc/1730/task/1805/stat : 1805 (java) S 1727 1730 31341 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140653333834720 140655107393237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
[pid=1730/tid=1806] ppid=1727 vsize=10840844 memory=3008 CPUtime=0.79 cores=1,3,5,7
/proc/1730/task/1806/stat : 1806 (java) S 1727 1730 31341 0 -1 1077944384 885 13106 0 0 36 36 5 2 20 0 15 0 473327925 11101024256 2092130 33554432000 4194304 4196468 140729433096304 140654562515376 140655107394178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140729433102949 140729433105589 140729433105589 140729433108431 0
Current children cumulated CPU time: 2527.95 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8368520 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 850.314
CPU time (s): 2528.32
CPU user time (s): 2506.18
CPU system time (s): 22.1395
CPU usage (%): 297.339
Max. virtual memory (cumulated for all children) (KiB): 10840844
Max. memory (cumulated for all children) (KiB): 8379840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.18
system time used= 22.1395
maximum resident set size= 8379840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16150127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35360
involuntary context switches= 20424
# summary of solver processes directly reported to runsolver:
# pid: 1730
# total CPU time (s): 2528.32
# total CPU user time (s): 2506.18
# total CPU system time (s): 22.1395
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.18375 second user time and 8.95606 second system time
The end