runsolver Copyright (C) 2010 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 893)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3190362-1302598973/watcher-3190362-1302598973 -o /tmp/evaluation-result-3190362-1302598973/solver-3190362-1302598973 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190362-1302598973.cnf
running on 2 cores: 5,7
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): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.68 3.91 3.35 12/221 31864
/proc/meminfo: memFree=11373908/32951124 swapFree=67111528/67111528
[pid=31864] ppid=31862 vsize=31604 CPUtime=0 cores=5,7
/proc/31864/stat : 31864 (java) S 31862 31864 31548 0 -1 4202496 1259 0 0 0 0 0 0 0 25 0 2 0 371497780 32362496 975 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/31864/statm: 7901 977 748 9 0 386 0
[pid=31864/tid=31865] ppid=31862 vsize=31604 CPUtime=0 cores=5,7
/proc/31864/task/31865/stat : 31865 (java) R 31862 31864 31548 0 -1 4202560 156 0 0 0 0 0 0 0 25 0 2 0 371497780 32362496 989 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 48000797200000 0 0 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0254079 s]
/proc/loadavg: 3.68 3.91 3.35 12/221 31864
/proc/meminfo: memFree=11373908/32951124 swapFree=67111528/67111528
[pid=31864] ppid=31862 vsize=7551884 CPUtime=0.02 cores=5,7
/proc/31864/stat : 31864 (java) S 31862 31864 31548 0 -1 4202496 8294 0 1 0 1 1 0 0 25 0 10 0 371497780 7733129216 7990 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/31864/statm: 1887971 7991 1517 9 0 1878719 0
[pid=31864/tid=31865] ppid=31862 vsize=7551884 CPUtime=0 cores=5,7
/proc/31864/task/31865/stat : 31865 (java) R 31862 31864 31548 0 -1 4202560 7171 0 1 0 0 0 0 0 25 0 10 0 371497780 7733129216 7992 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 48000796751384 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7551884
[startup+0.100391 s]
/proc/loadavg: 3.68 3.91 3.35 12/221 31864
/proc/meminfo: memFree=11373908/32951124 swapFree=67111528/67111528
[pid=31864] ppid=31862 vsize=7636008 CPUtime=0.1 cores=5,7
/proc/31864/stat : 31864 (java) S 31862 31864 31548 0 -1 4202496 10447 0 1 0 9 1 0 0 25 0 18 0 371497780 7819272192 10141 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31864/statm: 1909002 10142 2093 9 0 1899740 0
[pid=31864/tid=31865] ppid=31862 vsize=7636008 CPUtime=0.09 cores=5,7
/proc/31864/task/31865/stat : 31865 (java) R 31862 31864 31548 0 -1 4202560 8675 0 1 0 8 1 0 0 18 0 18 0 371497780 7819272192 10142 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 48000794547848 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636008
[startup+0.30032 s]
/proc/loadavg: 3.68 3.91 3.35 12/221 31864
/proc/meminfo: memFree=11373908/32951124 swapFree=67111528/67111528
[pid=31864] ppid=31862 vsize=7640944 CPUtime=0.5 cores=5,7
/proc/31864/stat : 31864 (java) S 31862 31864 31548 0 -1 4202496 13582 0 1 0 49 1 0 0 25 0 19 0 371497780 7824326656 12491 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31864/statm: 1910236 12491 2216 9 0 1900974 0
[pid=31864/tid=31865] ppid=31862 vsize=7640944 CPUtime=0.28 cores=5,7
/proc/31864/task/31865/stat : 31865 (java) R 31862 31864 31548 0 -1 4202560 9921 0 1 0 27 1 0 0 19 0 19 0 371497780 7824326656 12491 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 46912505216356 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 7640944
[startup+0.700278 s]
/proc/loadavg: 3.68 3.91 3.35 12/221 31864
/proc/meminfo: memFree=11373908/32951124 swapFree=67111528/67111528
[pid=31864] ppid=31862 vsize=7642268 CPUtime=1.07 cores=5,7
/proc/31864/stat : 31864 (java) S 31862 31864 31548 0 -1 4202496 14366 0 1 0 105 2 0 0 25 0 19 0 371497780 7825682432 13228 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31864/statm: 1910567 13228 2223 9 0 1901305 0
[pid=31864/tid=31865] ppid=31862 vsize=7642268 CPUtime=0.68 cores=5,7
/proc/31864/task/31865/stat : 31865 (java) R 31862 31864 31548 0 -1 4202560 10329 0 1 0 67 1 0 0 19 0 19 0 371497780 7825682432 13228 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 46912505577676 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 7642268
[startup+1.5011 s]
/proc/loadavg: 3.68 3.91 3.35 5/262 31917
/proc/meminfo: memFree=11257340/32951124 swapFree=67111528/67111528
[pid=31864] ppid=31862 vsize=7663920 CPUtime=2.06 cores=5,7
/proc/31864/stat : 31864 (java) S 31862 31864 31548 0 -1 4202496 24339 0 1 0 203 3 0 0 25 0 19 0 371497780 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31864/statm: 1915980 20864 2252 9 0 1906718 0
[pid=31864/tid=31865] ppid=31862 vsize=7663920 CPUtime=1.45 cores=5,7
/proc/31864/task/31865/stat : 31865 (java) R 31862 31864 31548 0 -1 4202560 10971 0 1 0 144 1 0 0 20 0 19 0 371497780 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 46912505639786 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31864/tid=31867] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31867/stat : 31867 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371497782 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31868] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31868/stat : 31868 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371497782 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31869] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31869/stat : 31869 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371497782 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31870] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31870/stat : 31870 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371497782 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31871] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31871/stat : 31871 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371497782 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31872] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31872/stat : 31872 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371497782 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31873] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31873/stat : 31873 (java) S 31862 31864 31548 0 -1 4202560 641 0 0 0 0 0 0 0 17 0 19 0 371497782 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31874] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31874/stat : 31874 (java) S 31862 31864 31548 0 -1 4202560 505 0 0 0 0 0 0 0 17 0 19 0 371497782 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31875] ppid=31862 vsize=7663920 CPUtime=0.01 cores=5,7
/proc/31864/task/31875/stat : 31875 (java) S 31862 31864 31548 0 -1 4202560 1150 0 0 0 1 0 0 0 16 0 19 0 371497783 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 0 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31876] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31876/stat : 31876 (java) S 31862 31864 31548 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371497783 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31877] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31877/stat : 31877 (java) S 31862 31864 31548 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371497783 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31878] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31878/stat : 31878 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458768817 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31879] ppid=31862 vsize=7663920 CPUtime=0.2 cores=5,7
/proc/31864/task/31879/stat : 31879 (java) S 31862 31864 31548 0 -1 4202560 1323 0 0 0 20 0 0 0 17 0 19 0 371497785 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31880] ppid=31862 vsize=7663920 CPUtime=0.34 cores=5,7
/proc/31864/task/31880/stat : 31880 (java) R 31862 31864 31548 0 -1 4202560 8590 0 0 0 34 0 0 0 17 0 19 0 371497785 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 48000796268776 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31864/tid=31881] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31881/stat : 31881 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31882] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31882/stat : 31882 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371497785 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31884] ppid=31862 vsize=7663920 CPUtime=0 cores=5,7
/proc/31864/task/31884/stat : 31884 (java) S 31862 31864 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497800 7847854080 20864 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 7663920
[startup+3.10084 s]
/proc/loadavg: 3.68 3.91 3.35 5/262 31917
/proc/meminfo: memFree=11159996/32951124 swapFree=67111528/67111528
[pid=31864] ppid=31862 vsize=7664744 CPUtime=3.76 cores=5,7
/proc/31864/stat : 31864 (java) S 31862 31864 31548 0 -1 4202496 25867 0 1 0 373 3 0 0 25 0 19 0 371497780 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31864/statm: 1916186 22390 2254 9 0 1906924 0
[pid=31864/tid=31865] ppid=31862 vsize=7664744 CPUtime=3.03 cores=5,7
/proc/31864/task/31865/stat : 31865 (java) R 31862 31864 31548 0 -1 4202560 10974 0 1 0 302 1 0 0 25 0 19 0 371497780 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 46912505577351 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31864/tid=31867] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31867/stat : 31867 (java) S 31862 31864 31548 0 -1 4202560 617 0 0 0 0 0 0 0 15 0 19 0 371497782 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31868] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31868/stat : 31868 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371497782 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31869] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31869/stat : 31869 (java) S 31862 31864 31548 0 -1 4202560 224 0 0 0 0 0 0 0 16 0 19 0 371497782 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31870] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31870/stat : 31870 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371497782 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31871] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31871/stat : 31871 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371497782 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31872] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31872/stat : 31872 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371497782 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31873] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31873/stat : 31873 (java) S 31862 31864 31548 0 -1 4202560 641 0 0 0 0 0 0 0 15 0 19 0 371497782 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31874] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31874/stat : 31874 (java) S 31862 31864 31548 0 -1 4202560 505 0 0 0 0 0 0 0 15 0 19 0 371497782 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31875] ppid=31862 vsize=7664744 CPUtime=0.03 cores=5,7
/proc/31864/task/31875/stat : 31875 (java) S 31862 31864 31548 0 -1 4202560 1378 0 0 0 3 0 0 0 16 0 19 0 371497783 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 0 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31876] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31876/stat : 31876 (java) S 31862 31864 31548 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371497783 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31877] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31877/stat : 31877 (java) S 31862 31864 31548 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371497783 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31878] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31878/stat : 31878 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458768817 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31879] ppid=31862 vsize=7664744 CPUtime=0.2 cores=5,7
/proc/31864/task/31879/stat : 31879 (java) S 31862 31864 31548 0 -1 4202560 1323 0 0 0 20 0 0 0 15 0 19 0 371497785 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31880] ppid=31862 vsize=7664744 CPUtime=0.44 cores=5,7
/proc/31864/task/31880/stat : 31880 (java) S 31862 31864 31548 0 -1 4202560 9048 0 0 0 44 0 0 0 15 0 19 0 371497785 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31881] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31881/stat : 31881 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31882] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31882/stat : 31882 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371497785 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31884] ppid=31862 vsize=7664744 CPUtime=0 cores=5,7
/proc/31864/task/31884/stat : 31884 (java) S 31862 31864 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497800 7848697856 22390 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 7664744
[startup+6.30125 s]
/proc/loadavg: 3.71 3.91 3.36 6/262 31917
/proc/meminfo: memFree=11140732/32951124 swapFree=67111528/67111528
[pid=31864] ppid=31862 vsize=7660232 CPUtime=6.98 cores=5,7
/proc/31864/stat : 31864 (java) S 31862 31864 31548 0 -1 4202496 26410 0 1 0 695 3 0 0 25 0 19 0 371497780 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31864/statm: 1915058 22197 2254 9 0 1905796 0
[pid=31864/tid=31865] ppid=31862 vsize=7660232 CPUtime=6.18 cores=5,7
/proc/31864/task/31865/stat : 31865 (java) R 31862 31864 31548 0 -1 4202560 10977 0 1 0 617 1 0 0 25 0 19 0 371497780 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 46912505639776 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31864/tid=31867] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31867/stat : 31867 (java) S 31862 31864 31548 0 -1 4202560 617 0 0 0 0 0 0 0 15 0 19 0 371497782 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31868] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31868/stat : 31868 (java) S 31862 31864 31548 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 371497782 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31869] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31869/stat : 31869 (java) S 31862 31864 31548 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 371497782 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31870] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31870/stat : 31870 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 371497782 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31871] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31871/stat : 31871 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 371497782 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31872] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31872/stat : 31872 (java) S 31862 31864 31548 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 371497782 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31873] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31873/stat : 31873 (java) S 31862 31864 31548 0 -1 4202560 944 0 0 0 0 0 0 0 15 0 19 0 371497782 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31874] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31874/stat : 31874 (java) S 31862 31864 31548 0 -1 4202560 505 0 0 0 0 0 0 0 15 0 19 0 371497782 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31875] ppid=31862 vsize=7660232 CPUtime=0.08 cores=5,7
/proc/31864/task/31875/stat : 31875 (java) S 31862 31864 31548 0 -1 4202560 1534 0 0 0 8 0 0 0 15 0 19 0 371497783 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 0 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31876] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31876/stat : 31876 (java) S 31862 31864 31548 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371497783 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31877] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31877/stat : 31877 (java) S 31862 31864 31548 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371497783 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31878] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31878/stat : 31878 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458768817 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31879] ppid=31862 vsize=7660232 CPUtime=0.22 cores=5,7
/proc/31864/task/31879/stat : 31879 (java) S 31862 31864 31548 0 -1 4202560 1324 0 0 0 22 0 0 0 15 0 19 0 371497785 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31880] ppid=31862 vsize=7660232 CPUtime=0.44 cores=5,7
/proc/31864/task/31880/stat : 31880 (java) S 31862 31864 31548 0 -1 4202560 9049 0 0 0 44 0 0 0 15 0 19 0 371497785 7844077568 22197 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=31864/tid=31872] ppid=31862 vsize=7660232 CPUtime=0.16 cores=5,7
/proc/31864/task/31872/stat : 31872 (java) S 31862 31864 31548 0 -1 4202560 824 0 0 0 16 0 0 0 16 0 19 0 371497782 7844077568 34071 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31873] ppid=31862 vsize=7660232 CPUtime=0.12 cores=5,7
/proc/31864/task/31873/stat : 31873 (java) S 31862 31864 31548 0 -1 4202560 1043 0 0 0 12 0 0 0 16 0 19 0 371497782 7844077568 34071 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31874] ppid=31862 vsize=7660232 CPUtime=0.16 cores=5,7
/proc/31864/task/31874/stat : 31874 (java) S 31862 31864 31548 0 -1 4202560 893 0 0 0 16 0 0 0 15 0 19 0 371497782 7844077568 34071 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31875] ppid=31862 vsize=7660232 CPUtime=4.72 cores=5,7
/proc/31864/task/31875/stat : 31875 (java) S 31862 31864 31548 0 -1 4202560 3893 0 0 0 471 1 0 0 15 0 19 0 371497783 7844077568 34071 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 0 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31876] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31876/stat : 31876 (java) S 31862 31864 31548 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371497783 7844077568 34071 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31877] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31877/stat : 31877 (java) S 31862 31864 31548 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371497783 7844077568 34071 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31878] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31878/stat : 31878 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7844077568 34071 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458768817 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31879] ppid=31862 vsize=7660232 CPUtime=0.24 cores=5,7
/proc/31864/task/31879/stat : 31879 (java) S 31862 31864 31548 0 -1 4202560 1351 0 0 0 24 0 0 0 15 0 19 0 371497785 7844077568 34071 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31880] ppid=31862 vsize=7660232 CPUtime=0.44 cores=5,7
/proc/31864/task/31880/stat : 31880 (java) S 31862 31864 31548 0 -1 4202560 9049 0 0 0 44 0 0 0 15 0 19 0 371497785 7844077568 34071 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31881] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31881/stat : 31881 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7844077568 34071 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31882] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31882/stat : 31882 (java) S 31862 31864 31548 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371497785 7844077568 34071 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31884] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31884/stat : 31884 (java) S 31862 31864 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497800 7844077568 34071 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1123.53
Current children cumulated vsize (KiB) 7660232
[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.81 5/262 31951
/proc/meminfo: memFree=10979712/32951124 swapFree=67111528/67111528
[pid=31864] ppid=31862 vsize=7660232 CPUtime=1183.57 cores=5,7
/proc/31864/stat : 31864 (java) S 31862 31864 31548 0 -1 4202496 38685 0 1 0 118350 7 0 0 25 0 19 0 371497780 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31864/statm: 1915058 34179 2255 9 0 1905796 0
[pid=31864/tid=31865] ppid=31862 vsize=7660232 CPUtime=1176.65 cores=5,7
/proc/31864/task/31865/stat : 31865 (java) R 31862 31864 31548 0 -1 4202560 14831 0 1 0 117663 2 0 0 25 0 19 0 371497780 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 46912505577421 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31864/tid=31867] ppid=31862 vsize=7660232 CPUtime=0.13 cores=5,7
/proc/31864/task/31867/stat : 31867 (java) S 31862 31864 31548 0 -1 4202560 886 0 0 0 13 0 0 0 15 0 19 0 371497782 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31868] ppid=31862 vsize=7660232 CPUtime=0.17 cores=5,7
/proc/31864/task/31868/stat : 31868 (java) S 31862 31864 31548 0 -1 4202560 1184 0 0 0 17 0 0 0 15 0 19 0 371497782 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31869] ppid=31862 vsize=7660232 CPUtime=0.12 cores=5,7
/proc/31864/task/31869/stat : 31869 (java) S 31862 31864 31548 0 -1 4202560 1041 0 0 0 12 0 0 0 15 0 19 0 371497782 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31870] ppid=31862 vsize=7660232 CPUtime=0.14 cores=5,7
/proc/31864/task/31870/stat : 31870 (java) S 31862 31864 31548 0 -1 4202560 534 0 0 0 14 0 0 0 15 0 19 0 371497782 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31871] ppid=31862 vsize=7660232 CPUtime=0.14 cores=5,7
/proc/31864/task/31871/stat : 31871 (java) S 31862 31864 31548 0 -1 4202560 1824 0 0 0 14 0 0 0 15 0 19 0 371497782 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31872] ppid=31862 vsize=7660232 CPUtime=0.17 cores=5,7
/proc/31864/task/31872/stat : 31872 (java) S 31862 31864 31548 0 -1 4202560 824 0 0 0 17 0 0 0 15 0 19 0 371497782 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31873] ppid=31862 vsize=7660232 CPUtime=0.14 cores=5,7
/proc/31864/task/31873/stat : 31873 (java) S 31862 31864 31548 0 -1 4202560 1043 0 0 0 14 0 0 0 15 0 19 0 371497782 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31874] ppid=31862 vsize=7660232 CPUtime=0.17 cores=5,7
/proc/31864/task/31874/stat : 31874 (java) S 31862 31864 31548 0 -1 4202560 894 0 0 0 17 0 0 0 15 0 19 0 371497782 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31875] ppid=31862 vsize=7660232 CPUtime=4.95 cores=5,7
/proc/31864/task/31875/stat : 31875 (java) S 31862 31864 31548 0 -1 4202560 4003 0 0 0 494 1 0 0 15 0 19 0 371497783 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 0 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31876] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31876/stat : 31876 (java) S 31862 31864 31548 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371497783 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31877] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31877/stat : 31877 (java) S 31862 31864 31548 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371497783 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31878] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31878/stat : 31878 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458768817 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31879] ppid=31862 vsize=7660232 CPUtime=0.24 cores=5,7
/proc/31864/task/31879/stat : 31879 (java) S 31862 31864 31548 0 -1 4202560 1351 0 0 0 24 0 0 0 15 0 19 0 371497785 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31880] ppid=31862 vsize=7660232 CPUtime=0.44 cores=5,7
/proc/31864/task/31880/stat : 31880 (java) S 31862 31864 31548 0 -1 4202560 9049 0 0 0 44 0 0 0 15 0 19 0 371497785 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31881] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31881/stat : 31881 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31882] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31882/stat : 31882 (java) S 31862 31864 31548 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371497785 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31884] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31884/stat : 31884 (java) S 31862 31864 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497800 7844077568 34179 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1183.57
Current children cumulated vsize (KiB) 7660232
[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.82 6/262 31953
/proc/meminfo: memFree=10975920/32951124 swapFree=67111528/67111528
[pid=31864] ppid=31862 vsize=7660232 CPUtime=1243.59 cores=5,7
/proc/31864/stat : 31864 (java) S 31862 31864 31548 0 -1 4202496 38771 0 1 0 124352 7 0 0 25 0 19 0 371497780 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31864/statm: 1915058 34250 2255 9 0 1905796 0
[pid=31864/tid=31865] ppid=31862 vsize=7660232 CPUtime=1236.39 cores=5,7
/proc/31864/task/31865/stat : 31865 (java) R 31862 31864 31548 0 -1 4202560 14838 0 1 0 123637 2 0 0 25 0 19 0 371497780 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 46912505639771 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31864/tid=31867] ppid=31862 vsize=7660232 CPUtime=0.15 cores=5,7
/proc/31864/task/31867/stat : 31867 (java) S 31862 31864 31548 0 -1 4202560 886 0 0 0 15 0 0 0 15 0 19 0 371497782 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31868] ppid=31862 vsize=7660232 CPUtime=0.17 cores=5,7
/proc/31864/task/31868/stat : 31868 (java) S 31862 31864 31548 0 -1 4202560 1184 0 0 0 17 0 0 0 15 0 19 0 371497782 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31869] ppid=31862 vsize=7660232 CPUtime=0.13 cores=5,7
/proc/31864/task/31869/stat : 31869 (java) S 31862 31864 31548 0 -1 4202560 1042 0 0 0 13 0 0 0 15 0 19 0 371497782 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31870] ppid=31862 vsize=7660232 CPUtime=0.15 cores=5,7
/proc/31864/task/31870/stat : 31870 (java) S 31862 31864 31548 0 -1 4202560 534 0 0 0 15 0 0 0 15 0 19 0 371497782 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31871] ppid=31862 vsize=7660232 CPUtime=0.14 cores=5,7
/proc/31864/task/31871/stat : 31871 (java) S 31862 31864 31548 0 -1 4202560 1824 0 0 0 14 0 0 0 15 0 19 0 371497782 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31872] ppid=31862 vsize=7660232 CPUtime=0.18 cores=5,7
/proc/31864/task/31872/stat : 31872 (java) S 31862 31864 31548 0 -1 4202560 824 0 0 0 18 0 0 0 15 0 19 0 371497782 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31873] ppid=31862 vsize=7660232 CPUtime=0.15 cores=5,7
/proc/31864/task/31873/stat : 31873 (java) S 31862 31864 31548 0 -1 4202560 1043 0 0 0 15 0 0 0 15 0 19 0 371497782 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31874] ppid=31862 vsize=7660232 CPUtime=0.18 cores=5,7
/proc/31864/task/31874/stat : 31874 (java) S 31862 31864 31548 0 -1 4202560 894 0 0 0 18 0 0 0 15 0 19 0 371497782 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31875] ppid=31862 vsize=7660232 CPUtime=5.18 cores=5,7
/proc/31864/task/31875/stat : 31875 (java) S 31862 31864 31548 0 -1 4202560 4077 0 0 0 517 1 0 0 15 0 19 0 371497783 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 0 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31876] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31876/stat : 31876 (java) S 31862 31864 31548 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371497783 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31877] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31877/stat : 31877 (java) S 31862 31864 31548 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371497783 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31878] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31878/stat : 31878 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458768817 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31879] ppid=31862 vsize=7660232 CPUtime=0.24 cores=5,7
/proc/31864/task/31879/stat : 31879 (java) S 31862 31864 31548 0 -1 4202560 1351 0 0 0 24 0 0 0 15 0 19 0 371497785 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31880] ppid=31862 vsize=7660232 CPUtime=0.44 cores=5,7
/proc/31864/task/31880/stat : 31880 (java) S 31862 31864 31548 0 -1 4202560 9049 0 0 0 44 0 0 0 15 0 19 0 371497785 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31881] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31881/stat : 31881 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31882] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31882/stat : 31882 (java) S 31862 31864 31548 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371497785 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31884] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31884/stat : 31884 (java) S 31862 31864 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497800 7844077568 34250 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1243.59
Current children cumulated vsize (KiB) 7660232
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.12 4.04 3.84 3/222 31960
/proc/meminfo: memFree=11230736/32951124 swapFree=67111528/67111528
[pid=31864] ppid=31862 vsize=7660232 CPUtime=1301.33 cores=5,7
/proc/31864/stat : 31864 (java) S 31862 31864 31548 0 -1 4202496 38833 0 1 0 130126 7 0 0 25 0 19 0 371497780 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31864/statm: 1915058 34299 2255 9 0 1905796 0
[pid=31864/tid=31865] ppid=31862 vsize=7660232 CPUtime=1293.82 cores=5,7
/proc/31864/task/31865/stat : 31865 (java) R 31862 31864 31548 0 -1 4202560 14845 0 1 0 129380 2 0 0 25 0 19 0 371497780 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 46912505577394 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31864/tid=31867] ppid=31862 vsize=7660232 CPUtime=0.15 cores=5,7
/proc/31864/task/31867/stat : 31867 (java) S 31862 31864 31548 0 -1 4202560 887 0 0 0 15 0 0 0 15 0 19 0 371497782 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31868] ppid=31862 vsize=7660232 CPUtime=0.17 cores=5,7
/proc/31864/task/31868/stat : 31868 (java) S 31862 31864 31548 0 -1 4202560 1184 0 0 0 17 0 0 0 15 0 19 0 371497782 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31869] ppid=31862 vsize=7660232 CPUtime=0.14 cores=5,7
/proc/31864/task/31869/stat : 31869 (java) S 31862 31864 31548 0 -1 4202560 1042 0 0 0 14 0 0 0 15 0 19 0 371497782 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31870] ppid=31862 vsize=7660232 CPUtime=0.15 cores=5,7
/proc/31864/task/31870/stat : 31870 (java) S 31862 31864 31548 0 -1 4202560 535 0 0 0 15 0 0 0 16 0 19 0 371497782 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31871] ppid=31862 vsize=7660232 CPUtime=0.14 cores=5,7
/proc/31864/task/31871/stat : 31871 (java) S 31862 31864 31548 0 -1 4202560 1824 0 0 0 14 0 0 0 16 0 19 0 371497782 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31872] ppid=31862 vsize=7660232 CPUtime=0.18 cores=5,7
/proc/31864/task/31872/stat : 31872 (java) S 31862 31864 31548 0 -1 4202560 824 0 0 0 18 0 0 0 15 0 19 0 371497782 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31873] ppid=31862 vsize=7660232 CPUtime=0.16 cores=5,7
/proc/31864/task/31873/stat : 31873 (java) S 31862 31864 31548 0 -1 4202560 1043 0 0 0 16 0 0 0 15 0 19 0 371497782 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31874] ppid=31862 vsize=7660232 CPUtime=0.19 cores=5,7
/proc/31864/task/31874/stat : 31874 (java) S 31862 31864 31548 0 -1 4202560 895 0 0 0 19 0 0 0 15 0 19 0 371497782 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31875] ppid=31862 vsize=7660232 CPUtime=5.42 cores=5,7
/proc/31864/task/31875/stat : 31875 (java) S 31862 31864 31548 0 -1 4202560 4125 0 0 0 541 1 0 0 15 0 19 0 371497783 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 0 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31876] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31876/stat : 31876 (java) S 31862 31864 31548 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371497783 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31877] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31877/stat : 31877 (java) S 31862 31864 31548 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371497783 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31878] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31878/stat : 31878 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458768817 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
[pid=31864/tid=31879] ppid=31862 vsize=7660232 CPUtime=0.24 cores=5,7
/proc/31864/task/31879/stat : 31879 (java) S 31862 31864 31548 0 -1 4202560 1351 0 0 0 24 0 0 0 15 0 19 0 371497785 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31880] ppid=31862 vsize=7660232 CPUtime=0.44 cores=5,7
/proc/31864/task/31880/stat : 31880 (java) S 31862 31864 31548 0 -1 4202560 9049 0 0 0 44 0 0 0 15 0 19 0 371497785 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31881] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31881/stat : 31881 (java) S 31862 31864 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497785 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761113 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31882] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31882/stat : 31882 (java) S 31862 31864 31548 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371497785 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 4 0 16800975 18446604471131312256 0 0 -1 7 0 0 0
[pid=31864/tid=31884] ppid=31862 vsize=7660232 CPUtime=0 cores=5,7
/proc/31864/task/31884/stat : 31884 (java) S 31862 31864 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497800 7844077568 34299 33554432000 1073741824 1073778376 140733789304240 18446744073709551615 244458761728 0 4 0 16800975 18446604471131312256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.33
Current children cumulated vsize (KiB) 7660232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.4
CPU user time (s): 1301.32
CPU system time (s): 0.081987
CPU usage (%): 100.104
Max. virtual memory (cumulated for all children) (KiB): 7664744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.32
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38869
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31531
involuntary context switches= 6346
runsolver used 1.9657 second user time and 5.15622 second system time
The end