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 (10334 MiB free)
memory of node 1: 16384 MiB (10682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290334-1532248841/watcher-4290334-1532248841 -o /tmp/evaluation-result-4290334-1532248841/solver-4290334-1532248841 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532225156-31761 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1920645030 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290334-1532248841.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=1859, runsolver pid=1856
[startup+0.100163 s]*
/proc/loadavg: 1.31 1.22 1.26 3/216 1874
/proc/meminfo: memFree=21503480/32770624 swapFree=67108860/67108860
[pid=1859] ppid=1856 vsize=14082740 memory=31812 CPUtime=0.12 cores=0,2,4,6
/proc/1859/stat : 1859 (java) S 1856 1859 31730 0 -1 1077944320 6398 0 0 0 10 2 0 0 20 0 15 0 42447266 14420725760 7953 33554432000 4194304 4196468 140728047297280 140728047279824 140554639032055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
/proc/1859/statm: 3520685 7953 3133 1 0 3482761 0
[pid=1859/tid=1861] ppid=1856 vsize=14082740 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/1859/task/1861/stat : 1861 (java) R 1856 1859 31730 0 -1 4202560 4482 0 0 0 8 1 0 0 20 0 15 0 42447267 14420725760 7953 33554432000 4194304 4196468 140728047297280 140554643227392 140554631269182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1862] ppid=1856 vsize=14082740 memory=5792869726567804975 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1862/stat : 1862 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14420725760 7953 33554432000 4194304 4196468 140728047297280 140554554100496 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1863] ppid=1856 vsize=14082740 memory=140011323324032 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1863/stat : 1863 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14420725760 7953 33554432000 4194304 4196468 140728047297280 140554553047952 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1864] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1864/stat : 1864 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14420725760 7953 33554432000 4194304 4196468 140728047297280 140554551995408 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1865] ppid=1856 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1865/stat : 1865 (java) S 1856 1859 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42447267 14420725760 8018 33554432000 4194304 4196468 140728047297280 140554550942864 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1866] ppid=1856 vsize=14082740 memory=140011323324032 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1866/stat : 1866 (java) S 1856 1859 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42447269 14420725760 8018 33554432000 4194304 4196468 140728047297280 140554113878000 140554639043202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1867] ppid=1856 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1867/stat : 1867 (java) S 1856 1859 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42447269 14420725760 8018 33554432000 4194304 4196468 140728047297280 140554112824224 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1868] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1868/stat : 1868 (java) S 1856 1859 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42447269 14420725760 8018 33554432000 4194304 4196468 140728047297280 140554111771632 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1869] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1869/stat : 1869 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14420725760 8018 33554432000 4194304 4196468 140728047297280 140554110720208 140554639050651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1870] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1870/stat : 1870 (java) S 1856 1859 31730 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 42447272 14420725760 8018 33554432000 4194304 4196468 140728047297280 140554109667824 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1871] ppid=1856 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1871/stat : 1871 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14420725760 8018 33554432000 4194304 4196468 140728047297280 140554108615280 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1872] ppid=1856 vsize=14082740 memory=140011323324032 CPUtime=0.01 cores=0,2,4,6
/proc/1859/task/1872/stat : 1872 (java) S 1856 1859 31730 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 42447272 14420725760 8018 33554432000 4194304 4196468 140728047297280 140554107562736 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1873] ppid=1856 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1873/stat : 1873 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14420725760 8018 33554432000 4194304 4196468 140728047297280 140554106510432 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1874] ppid=1856 vsize=14082740 memory=140011323324032 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1874/stat : 1874 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447272 14420725760 8018 33554432000 4194304 4196468 140728047297280 140554105456944 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31812 KiB
[startup+0.216743 s]*
/proc/loadavg: 1.31 1.22 1.26 6/216 1874
/proc/meminfo: memFree=21488224/32770624 swapFree=67108860/67108860
[pid=1859] ppid=1856 vsize=14082740 memory=48276 CPUtime=0.32 cores=0,2,4,6
/proc/1859/stat : 1859 (java) S 1856 1859 31730 0 -1 1077944320 10083 0 0 0 29 3 0 0 20 0 15 0 42447266 14420725760 12069 33554432000 4194304 4196468 140728047297280 140728047279824 140554639032055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
/proc/1859/statm: 3520685 12069 3417 1 0 3482761 0
[pid=1859/tid=1861] ppid=1856 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/1859/task/1861/stat : 1861 (java) R 1856 1859 31730 0 -1 4202560 7804 0 0 0 18 2 0 0 20 0 15 0 42447267 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554643260288 140554639053981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1862] ppid=1856 vsize=14082740 memory=4294967627 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1862/stat : 1862 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554554100496 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1863] ppid=1856 vsize=14082740 memory=3978561436693886624 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1863/stat : 1863 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554553047952 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1864] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1864/stat : 1864 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554551995408 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1865] ppid=1856 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1865/stat : 1865 (java) S 1856 1859 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42447267 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554550942864 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1866] ppid=1856 vsize=14082740 memory=140011323324032 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1866/stat : 1866 (java) S 1856 1859 31730 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42447269 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554113878000 140554639043202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1867] ppid=1856 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1867/stat : 1867 (java) S 1856 1859 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42447269 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554112824224 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1868] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1868/stat : 1868 (java) S 1856 1859 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42447269 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554111771632 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1869] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1869/stat : 1869 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554110720208 140554639050651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1870] ppid=1856 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1859/task/1870/stat : 1870 (java) S 1856 1859 31730 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 15 0 42447272 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554109667824 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1871] ppid=1856 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1859/task/1871/stat : 1871 (java) S 1856 1859 31730 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 15 0 42447272 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554108615280 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1872] ppid=1856 vsize=14082740 memory=140011323324032 CPUtime=0.06 cores=0,2,4,6
/proc/1859/task/1872/stat : 1872 (java) R 1856 1859 31730 0 -1 4202560 284 0 0 0 6 0 0 0 20 0 15 0 42447272 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554107562736 140554617987686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1873] ppid=1856 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1873/stat : 1873 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554106510432 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1874] ppid=1856 vsize=14082740 memory=140011323324032 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1874/stat : 1874 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447272 14420725760 12069 33554432000 4194304 4196468 140728047297280 140554105456944 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 48276 KiB
[startup+0.310308 s]*
/proc/loadavg: 1.31 1.22 1.26 3/216 1874
/proc/meminfo: memFree=21484936/32770624 swapFree=67108860/67108860
[pid=1859] ppid=1856 vsize=14082740 memory=51464 CPUtime=0.44 cores=0,2,4,6
/proc/1859/stat : 1859 (java) S 1856 1859 31730 0 -1 1077944320 10416 0 0 0 41 3 0 0 20 0 15 0 42447266 14420725760 12866 33554432000 4194304 4196468 140728047297280 140728047279824 140554639032055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
/proc/1859/statm: 3520685 12866 3419 1 0 3482761 0
[pid=1859/tid=1861] ppid=1856 vsize=14082740 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/1859/task/1861/stat : 1861 (java) R 1856 1859 31730 0 -1 4202560 8121 0 0 0 28 2 0 0 20 0 15 0 42447267 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554643243568 140554639045919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1862] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1862/stat : 1862 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554554100496 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1863] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1863/stat : 1863 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554553047952 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1864] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1864/stat : 1864 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554551995408 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1865] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1865/stat : 1865 (java) S 1856 1859 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42447267 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554550942864 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1866] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1866/stat : 1866 (java) S 1856 1859 31730 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42447269 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554113878000 140554639043202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1867] ppid=1856 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1867/stat : 1867 (java) S 1856 1859 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42447269 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554112824224 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1868] ppid=1856 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1868/stat : 1868 (java) S 1856 1859 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42447269 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554111771632 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1869] ppid=1856 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1869/stat : 1869 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554110720208 140554639050651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1870] ppid=1856 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1859/task/1870/stat : 1870 (java) S 1856 1859 31730 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 15 0 42447272 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554109667824 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1871] ppid=1856 vsize=14082740 memory=140011169217807 CPUtime=0.02 cores=0,2,4,6
/proc/1859/task/1871/stat : 1871 (java) S 1856 1859 31730 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 15 0 42447272 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554108615280 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1872] ppid=1856 vsize=14082740 memory=140011323325737 CPUtime=0.08 cores=0,2,4,6
/proc/1859/task/1872/stat : 1872 (java) S 1856 1859 31730 0 -1 1077944384 290 0 0 0 8 0 0 0 20 0 15 0 42447272 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554107562736 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1873] ppid=1856 vsize=14082740 memory=140011169220015 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1873/stat : 1873 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554106510432 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1874] ppid=1856 vsize=14082740 memory=280022492583904 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1874/stat : 1874 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447272 14420725760 12866 33554432000 4194304 4196468 140728047297280 140554105456944 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 51464 KiB
[startup+0.700816 s]
/proc/loadavg: 1.31 1.22 1.26 3/216 1874
/proc/meminfo: memFree=21461248/32770624 swapFree=67108860/67108860
[pid=1859] ppid=1856 vsize=14084808 memory=89124 CPUtime=0.99 cores=0,2,4,6
/proc/1859/stat : 1859 (java) S 1856 1859 31730 0 -1 1077944320 17139 0 0 0 94 5 0 0 20 0 15 0 42447266 14422843392 22281 33554432000 4194304 4196468 140728047297280 140728047279824 140554639032055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
/proc/1859/statm: 3521202 22281 3500 1 0 3483273 0
[pid=1859/tid=1861] ppid=1856 vsize=14084808 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/1859/task/1861/stat : 1861 (java) R 1856 1859 31730 0 -1 4202560 14459 0 0 0 63 4 0 0 20 0 15 0 42447267 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554643255216 140554639053981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1862] ppid=1856 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1862/stat : 1862 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554554100496 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1863] ppid=1856 vsize=14084808 memory=2 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1863/stat : 1863 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554553047952 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1864] ppid=1856 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1864/stat : 1864 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554551995408 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1865] ppid=1856 vsize=14084808 memory=8174711894690511157 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1865/stat : 1865 (java) S 1856 1859 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42447267 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554550942864 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1866] ppid=1856 vsize=14084808 memory=5787214926558160466 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1866/stat : 1866 (java) S 1856 1859 31730 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42447269 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554113878000 140554639043202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1867] ppid=1856 vsize=14084808 memory=5865491479076426066 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1867/stat : 1867 (java) S 1856 1859 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42447269 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554112824224 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1868] ppid=1856 vsize=14084808 memory=4638778398332698726 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1868/stat : 1868 (java) S 1856 1859 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42447269 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554111771632 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1869] ppid=1856 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1869/stat : 1869 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554110720208 140554639050651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1870] ppid=1856 vsize=14084808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1859/task/1870/stat : 1870 (java) S 1856 1859 31730 0 -1 1077944384 559 0 0 0 8 0 0 0 20 0 15 0 42447272 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554109667824 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1871] ppid=1856 vsize=14084808 memory=43772361331 CPUtime=0.07 cores=0,2,4,6
/proc/1859/task/1871/stat : 1871 (java) S 1856 1859 31730 0 -1 1077944384 384 0 0 0 7 0 0 0 20 0 15 0 42447272 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554108615280 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1872] ppid=1856 vsize=14084808 memory=1200 CPUtime=0.15 cores=0,2,4,6
/proc/1859/task/1872/stat : 1872 (java) S 1856 1859 31730 0 -1 1077944384 354 0 0 0 15 0 0 0 20 0 15 0 42447272 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554107562736 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1873] ppid=1856 vsize=14084808 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1873/stat : 1873 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554106510432 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1874] ppid=1856 vsize=14084808 memory=8988 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1874/stat : 1874 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447272 14422843392 22281 33554432000 4194304 4196468 140728047297280 140554105456944 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89124 KiB
[startup+1.50069 s]
/proc/loadavg: 1.31 1.22 1.26 5/216 1874
/proc/meminfo: memFree=21431408/32770624 swapFree=67108860/67108860
[pid=1859] ppid=1856 vsize=14090952 memory=133668 CPUtime=2.93 cores=0,2,4,6
/proc/1859/stat : 1859 (java) S 1856 1859 31730 0 -1 1077944320 26810 0 0 0 283 10 0 0 20 0 15 0 42447266 14429134848 33417 33554432000 4194304 4196468 140728047297280 140728047279824 140554639032055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
/proc/1859/statm: 3522738 33417 3538 1 0 3484809 0
[pid=1859/tid=1861] ppid=1856 vsize=14090952 memory=15872 CPUtime=1.47 cores=0,2,4,6
/proc/1859/task/1861/stat : 1861 (java) R 1856 1859 31730 0 -1 4202560 19371 0 0 0 141 6 0 0 20 0 15 0 42447267 14429134848 33417 33554432000 4194304 4196468 140728047297280 140554643268000 140554232214592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1862] ppid=1856 vsize=14090952 memory=8988 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1862/stat : 1862 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14429134848 33417 33554432000 4194304 4196468 140728047297280 140554554100496 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1863] ppid=1856 vsize=14090952 memory=7734204935899932992 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1863/stat : 1863 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14429134848 33417 33554432000 4194304 4196468 140728047297280 140554553047952 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1864] ppid=1856 vsize=14090952 memory=7301550365703684195 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1864/stat : 1864 (java) S 1856 1859 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42447267 14429134848 33417 33554432000 4194304 4196468 140728047297280 140554551995408 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1865] ppid=1856 vsize=14090952 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1865/stat : 1865 (java) S 1856 1859 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42447267 14429134848 33417 33554432000 4194304 4196468 140728047297280 140554550942864 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1866] ppid=1856 vsize=14090952 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1866/stat : 1866 (java) S 1856 1859 31730 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 42447269 14429134848 33417 33554432000 4194304 4196468 140728047297280 140554113878000 140554639043202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
################
# More data... #
################
/proc/1859/task/1861/stat : 1861 (java) R 1856 1859 31730 0 -1 4202560 37579 0 0 0 231388 17 0 0 20 0 15 0 42447267 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554643270240 140554236617794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1862] ppid=1856 vsize=14090952 memory=242732 CPUtime=3.18 cores=0,2,4,6
/proc/1859/task/1862/stat : 1862 (java) S 1856 1859 31730 0 -1 1077944384 3250 0 0 0 290 28 0 0 20 0 15 0 42447267 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554554100496 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1863] ppid=1856 vsize=14090952 memory=242732 CPUtime=3.2 cores=0,2,4,6
/proc/1859/task/1863/stat : 1863 (java) S 1856 1859 31730 0 -1 1077944384 3698 0 0 0 294 26 0 0 20 0 15 0 42447267 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554553047952 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1864] ppid=1856 vsize=14090952 memory=242732 CPUtime=3.18 cores=0,2,4,6
/proc/1859/task/1864/stat : 1864 (java) S 1856 1859 31730 0 -1 1077944384 1757 0 0 0 294 24 0 0 20 0 15 0 42447267 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554551995408 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1865] ppid=1856 vsize=14090952 memory=242708 CPUtime=3.18 cores=0,2,4,6
/proc/1859/task/1865/stat : 1865 (java) S 1856 1859 31730 0 -1 1077944384 3486 0 0 0 295 23 0 0 20 0 15 0 42447267 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554550942864 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1866] ppid=1856 vsize=14090952 memory=242708 CPUtime=3.31 cores=0,2,4,6
/proc/1859/task/1866/stat : 1866 (java) S 1856 1859 31730 0 -1 1077944384 5077 0 0 0 309 22 0 0 20 0 15 0 42447269 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554113878000 140554639043202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 78 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1867] ppid=1856 vsize=14090952 memory=242732 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1867/stat : 1867 (java) S 1856 1859 31730 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 42447269 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554112824288 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1868] ppid=1856 vsize=14090952 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1868/stat : 1868 (java) S 1856 1859 31730 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 42447269 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554111771648 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1869] ppid=1856 vsize=14090952 memory=14620 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1869/stat : 1869 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554110720208 140554639050651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1870] ppid=1856 vsize=14090952 memory=1296 CPUtime=0.98 cores=0,2,4,6
/proc/1859/task/1870/stat : 1870 (java) S 1856 1859 31730 0 -1 1077944384 5246 0 0 0 96 2 0 0 20 0 15 0 42447272 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554109667824 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1871] ppid=1856 vsize=14090952 memory=1792 CPUtime=0.94 cores=0,2,4,6
/proc/1859/task/1871/stat : 1871 (java) S 1856 1859 31730 0 -1 1077944384 3714 0 0 0 93 1 0 0 20 0 15 0 42447272 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554108615280 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1872] ppid=1856 vsize=14090952 memory=1240 CPUtime=0.52 cores=0,2,4,6
/proc/1859/task/1872/stat : 1872 (java) S 1856 1859 31730 0 -1 1077944384 5751 0 0 0 51 1 0 0 20 0 15 0 42447272 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554107562736 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1873] ppid=1856 vsize=14090952 memory=242732 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1873/stat : 1873 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554106510432 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1874] ppid=1856 vsize=14090952 memory=405624 CPUtime=0.7 cores=0,2,4,6
/proc/1859/task/1874/stat : 1874 (java) S 1856 1859 31730 0 -1 1077944384 1349 0 0 0 32 38 0 0 20 0 15 0 42447272 14429134848 60683 33554432000 4194304 4196468 140728047297280 140554105456944 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 78 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
Current children cumulated CPU time: 2333.35 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 242732 KiB
[startup+2382.3 s]
/proc/loadavg: 1.49 1.42 1.35 3/216 2204
/proc/meminfo: memFree=21122784/32770624 swapFree=67108860/67108860
[pid=1859] ppid=1856 vsize=14090952 memory=244800 CPUtime=2393.62 cores=0,2,4,6
/proc/1859/stat : 1859 (java) S 1856 1859 31730 0 -1 1077944320 73259 0 0 0 239216 146 0 0 20 0 15 0 42447266 14429134848 61200 33554432000 4194304 4196468 140728047297280 140728047279824 140554639032055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
/proc/1859/statm: 3522738 61200 3571 1 0 3484809 0
[pid=1859/tid=1861] ppid=1856 vsize=14090952 memory=244800 CPUtime=2373.83 cores=0,2,4,6
/proc/1859/task/1861/stat : 1861 (java) R 1856 1859 31730 0 -1 4202560 38015 0 0 0 237366 17 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554643270304 140728048962769 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1862] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.27 cores=0,2,4,6
/proc/1859/task/1862/stat : 1862 (java) S 1856 1859 31730 0 -1 1077944384 3271 0 0 0 298 29 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554554100496 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1863] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.3 cores=0,2,4,6
/proc/1859/task/1863/stat : 1863 (java) S 1856 1859 31730 0 -1 1077944384 3815 0 0 0 304 26 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554553047952 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1864] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.28 cores=0,2,4,6
/proc/1859/task/1864/stat : 1864 (java) S 1856 1859 31730 0 -1 1077944384 1818 0 0 0 303 25 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554551995408 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1865] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.27 cores=0,2,4,6
/proc/1859/task/1865/stat : 1865 (java) S 1856 1859 31730 0 -1 1077944384 3578 0 0 0 303 24 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554550942864 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1866] ppid=1856 vsize=14090952 memory=0 CPUtime=3.4 cores=0,2,4,6
/proc/1859/task/1866/stat : 1866 (java) S 1856 1859 31730 0 -1 1077944384 5254 0 0 0 317 23 0 0 20 0 15 0 42447269 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554113878000 140554639043202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 78 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1867] ppid=1856 vsize=14090952 memory=244800 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1867/stat : 1867 (java) S 1856 1859 31730 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 42447269 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554112824288 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1868] ppid=1856 vsize=14090952 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1868/stat : 1868 (java) S 1856 1859 31730 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 42447269 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554111771648 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1869] ppid=1856 vsize=14090952 memory=244800 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1869/stat : 1869 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554110720208 140554639050651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1870] ppid=1856 vsize=14090952 memory=244800 CPUtime=0.98 cores=0,2,4,6
/proc/1859/task/1870/stat : 1870 (java) S 1856 1859 31730 0 -1 1077944384 5248 0 0 0 96 2 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554109667824 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1871] ppid=1856 vsize=14090952 memory=244800 CPUtime=0.94 cores=0,2,4,6
/proc/1859/task/1871/stat : 1871 (java) S 1856 1859 31730 0 -1 1077944384 3716 0 0 0 93 1 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554108615280 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1872] ppid=1856 vsize=14090952 memory=1708 CPUtime=0.52 cores=0,2,4,6
/proc/1859/task/1872/stat : 1872 (java) S 1856 1859 31730 0 -1 1077944384 5753 0 0 0 51 1 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554107562736 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1873] ppid=1856 vsize=14090952 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1873/stat : 1873 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554106510432 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1874] ppid=1856 vsize=14090952 memory=14624 CPUtime=0.73 cores=0,2,4,6
/proc/1859/task/1874/stat : 1874 (java) S 1856 1859 31730 0 -1 1077944384 1364 0 0 0 33 40 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554105456944 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 78 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
Current children cumulated CPU time: 2393.62 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 244800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2388.7 s]
/proc/loadavg: 1.49 1.42 1.36 3/216 2204
/proc/meminfo: memFree=21122808/32770624 swapFree=67108860/67108860
[pid=1859] ppid=1856 vsize=14090952 memory=244800 CPUtime=2400.04 cores=0,2,4,6
/proc/1859/stat : 1859 (java) S 1856 1859 31730 0 -1 1077944320 73282 0 0 0 239858 146 0 0 20 0 15 0 42447266 14429134848 61200 33554432000 4194304 4196468 140728047297280 140728047279824 140554639032055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
/proc/1859/statm: 3522738 61200 3571 1 0 3484809 0
[pid=1859/tid=1861] ppid=1856 vsize=14090952 memory=244800 CPUtime=2380.21 cores=0,2,4,6
/proc/1859/task/1861/stat : 1861 (java) R 1856 1859 31730 0 -1 4202560 38031 0 0 0 238004 17 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554643270256 140554236710731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1862] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.28 cores=0,2,4,6
/proc/1859/task/1862/stat : 1862 (java) S 1856 1859 31730 0 -1 1077944384 3272 0 0 0 299 29 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554554100496 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1863] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.31 cores=0,2,4,6
/proc/1859/task/1863/stat : 1863 (java) S 1856 1859 31730 0 -1 1077944384 3816 0 0 0 305 26 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554553047952 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1864] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.29 cores=0,2,4,6
/proc/1859/task/1864/stat : 1864 (java) S 1856 1859 31730 0 -1 1077944384 1819 0 0 0 304 25 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554551995408 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1865] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.28 cores=0,2,4,6
/proc/1859/task/1865/stat : 1865 (java) S 1856 1859 31730 0 -1 1077944384 3578 0 0 0 304 24 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554550942864 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1866] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.41 cores=0,2,4,6
/proc/1859/task/1866/stat : 1866 (java) S 1856 1859 31730 0 -1 1077944384 5256 0 0 0 318 23 0 0 20 0 15 0 42447269 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554113878000 140554639043202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 78 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1867] ppid=1856 vsize=14090952 memory=244800 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1867/stat : 1867 (java) S 1856 1859 31730 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 42447269 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554112824288 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1868] ppid=1856 vsize=14090952 memory=244800 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1868/stat : 1868 (java) S 1856 1859 31730 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 42447269 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554111771648 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1869] ppid=1856 vsize=14090952 memory=244800 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1869/stat : 1869 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554110720208 140554639050651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1870] ppid=1856 vsize=14090952 memory=244800 CPUtime=0.98 cores=0,2,4,6
/proc/1859/task/1870/stat : 1870 (java) S 1856 1859 31730 0 -1 1077944384 5248 0 0 0 96 2 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554109667824 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1871] ppid=1856 vsize=14090952 memory=405624 CPUtime=0.94 cores=0,2,4,6
/proc/1859/task/1871/stat : 1871 (java) S 1856 1859 31730 0 -1 1077944384 3716 0 0 0 93 1 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554108615280 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1872] ppid=1856 vsize=14090952 memory=244800 CPUtime=0.52 cores=0,2,4,6
/proc/1859/task/1872/stat : 1872 (java) S 1856 1859 31730 0 -1 1077944384 5753 0 0 0 51 1 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554107562736 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1873] ppid=1856 vsize=14090952 memory=244800 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1873/stat : 1873 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554106510432 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1874] ppid=1856 vsize=14090952 memory=15872 CPUtime=0.73 cores=0,2,4,6
/proc/1859/task/1874/stat : 1874 (java) S 1856 1859 31730 0 -1 1077944384 1366 0 0 0 33 40 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554105456944 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 78 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 244800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2388.72 s]
# the end of solver process 1859 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.6 s, system=1.4725 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2388.7 s]
/proc/loadavg: 1.49 1.42 1.36 3/216 2204
/proc/meminfo: memFree=21122808/32770624 swapFree=67108860/67108860
[pid=1859] ppid=1856 vsize=14090952 memory=244800 CPUtime=2400.04 cores=0,2,4,6
/proc/1859/stat : 1859 (java) S 1856 1859 31730 0 -1 1077944320 73282 0 0 0 239858 146 0 0 20 0 15 0 42447266 14429134848 61200 33554432000 4194304 4196468 140728047297280 140728047279824 140554639032055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
/proc/1859/statm: 3522738 61200 3571 1 0 3484809 0
[pid=1859/tid=1861] ppid=1856 vsize=14090952 memory=244800 CPUtime=2380.21 cores=0,2,4,6
/proc/1859/task/1861/stat : 1861 (java) R 1856 1859 31730 0 -1 4202560 38031 0 0 0 238004 17 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554643270256 140554236710731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1862] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.28 cores=0,2,4,6
/proc/1859/task/1862/stat : 1862 (java) S 1856 1859 31730 0 -1 1077944384 3272 0 0 0 299 29 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554554100496 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1863] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.31 cores=0,2,4,6
/proc/1859/task/1863/stat : 1863 (java) S 1856 1859 31730 0 -1 1077944384 3816 0 0 0 305 26 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554553047952 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1864] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.29 cores=0,2,4,6
/proc/1859/task/1864/stat : 1864 (java) S 1856 1859 31730 0 -1 1077944384 1819 0 0 0 304 25 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554551995408 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1865] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.28 cores=0,2,4,6
/proc/1859/task/1865/stat : 1865 (java) S 1856 1859 31730 0 -1 1077944384 3578 0 0 0 304 24 0 0 20 0 15 0 42447267 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554550942864 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1866] ppid=1856 vsize=14090952 memory=244800 CPUtime=3.41 cores=0,2,4,6
/proc/1859/task/1866/stat : 1866 (java) S 1856 1859 31730 0 -1 1077944384 5256 0 0 0 318 23 0 0 20 0 15 0 42447269 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554113878000 140554639043202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 78 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1867] ppid=1856 vsize=14090952 memory=244800 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1867/stat : 1867 (java) S 1856 1859 31730 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 42447269 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554112824288 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1868] ppid=1856 vsize=14090952 memory=244800 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1868/stat : 1868 (java) S 1856 1859 31730 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 42447269 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554111771648 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1869] ppid=1856 vsize=14090952 memory=244800 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1869/stat : 1869 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554110720208 140554639050651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1870] ppid=1856 vsize=14090952 memory=244800 CPUtime=0.98 cores=0,2,4,6
/proc/1859/task/1870/stat : 1870 (java) S 1856 1859 31730 0 -1 1077944384 5248 0 0 0 96 2 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554109667824 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1871] ppid=1856 vsize=14090952 memory=405624 CPUtime=0.94 cores=0,2,4,6
/proc/1859/task/1871/stat : 1871 (java) S 1856 1859 31730 0 -1 1077944384 3716 0 0 0 93 1 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554108615280 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1872] ppid=1856 vsize=14090952 memory=244800 CPUtime=0.52 cores=0,2,4,6
/proc/1859/task/1872/stat : 1872 (java) S 1856 1859 31730 0 -1 1077944384 5753 0 0 0 51 1 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554107562736 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1873] ppid=1856 vsize=14090952 memory=244800 CPUtime=0 cores=0,2,4,6
/proc/1859/task/1873/stat : 1873 (java) S 1856 1859 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554106510432 140554639042261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
[pid=1859/tid=1874] ppid=1856 vsize=14090952 memory=15872 CPUtime=0.73 cores=0,2,4,6
/proc/1859/task/1874/stat : 1874 (java) S 1856 1859 31730 0 -1 1077944384 1366 0 0 0 33 40 0 0 20 0 15 0 42447272 14429134848 61200 33554432000 4194304 4196468 140728047297280 140554105456944 140554639043202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 78 0 0 6293624 6294260 31363072 140728047305800 140728047305993 140728047305993 140728047308751 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 244800 KiB
Child status: 143
Real time (s): 2388.72
CPU time (s): 2400.07
CPU user time (s): 2398.6
CPU system time (s): 1.4725
CPU usage (%): 100.475
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 244800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.6
system time used= 1.4725
maximum resident set size= 245408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73584
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145845
involuntary context switches= 5371
# summary of solver processes directly reported to runsolver:
# pid: 1859
# total CPU time (s): 2400.07
# total CPU user time (s): 2398.6
# total CPU system time (s): 1.4725
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1544 second user time and 22.5236 second system time
The end