runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3478990-1307440753/watcher-3478990-1307440753 -o /tmp/evaluation-result-3478990-1307440753/solver-3478990-1307440753 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478990-1307440753.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.95 3.90 3.81 4/482 15749
/proc/meminfo: memFree=25205780/32951124 swapFree=41830676/67111528
[pid=15749] ppid=15747 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/15749/stat : 15749 (java) S 15747 15749 15115 0 -1 4202496 1322 0 0 0 0 0 0 0 24 0 2 0 855674147 36646912 1023 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/15749/statm: 8947 1025 788 9 0 386 0
[pid=15749/tid=15750] ppid=15747 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (java) R 15747 15749 15115 0 -1 4202560 3492 0 1 0 0 0 0 0 25 0 2 0 855674148 10694979584 4308 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.079998 s]
/proc/loadavg: 3.95 3.90 3.81 4/482 15749
/proc/meminfo: memFree=25205780/32951124 swapFree=41830676/67111528
[pid=15749] ppid=15747 vsize=10538624 CPUtime=0.06 cores=0,2,4,6
/proc/15749/stat : 15749 (java) S 15747 15749 15115 0 -1 4202496 11951 0 1 0 5 1 0 0 24 0 18 0 855674147 10791550976 11647 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15749/statm: 2634656 11647 1755 9 0 2625390 0
[pid=15749/tid=15750] ppid=15747 vsize=10538624 CPUtime=0.06 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (java) R 15747 15749 15115 0 -1 4202560 10774 0 1 0 5 1 0 0 25 0 18 0 855674148 10791550976 11647 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134540747 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538624
[startup+0.101001 s]
/proc/loadavg: 3.95 3.90 3.81 4/482 15749
/proc/meminfo: memFree=25205780/32951124 swapFree=41830676/67111528
[pid=15749] ppid=15747 vsize=10540208 CPUtime=0.1 cores=0,2,4,6
/proc/15749/stat : 15749 (java) S 15747 15749 15115 0 -1 4202496 13044 0 1 0 9 1 0 0 24 0 18 0 855674147 10793172992 12712 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15749/statm: 2635052 12712 2093 9 0 2625786 0
[pid=15749/tid=15750] ppid=15747 vsize=10540208 CPUtime=0.08 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (java) R 15747 15749 15115 0 -1 4202560 11089 0 1 0 7 1 0 0 25 0 18 0 855674148 10793172992 12712 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 47368217995769 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540208
[startup+0.300962 s]
/proc/loadavg: 3.95 3.90 3.81 4/482 15749
/proc/meminfo: memFree=25205780/32951124 swapFree=41830676/67111528
[pid=15749] ppid=15747 vsize=10540996 CPUtime=0.45 cores=0,2,4,6
/proc/15749/stat : 15749 (java) S 15747 15749 15115 0 -1 4202496 24976 0 1 0 42 3 0 0 24 0 18 0 855674147 10793979904 24429 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15749/statm: 2635249 24430 2199 9 0 2625983 0
[pid=15749/tid=15750] ppid=15747 vsize=10540996 CPUtime=0.28 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (java) R 15747 15749 15115 0 -1 4202560 22187 0 1 0 25 3 0 0 25 0 18 0 855674148 10793979904 24430 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134531014 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10540996
[startup+0.700888 s]
/proc/loadavg: 3.95 3.90 3.81 4/482 15749
/proc/meminfo: memFree=25205780/32951124 swapFree=41830676/67111528
[pid=15749] ppid=15747 vsize=10544368 CPUtime=1.22 cores=0,2,4,6
/proc/15749/stat : 15749 (java) S 15747 15749 15115 0 -1 4202496 102467 0 1 0 108 14 0 0 24 0 18 0 855674147 10797432832 100558 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15749/statm: 2636092 100559 2215 9 0 2626826 0
[pid=15749/tid=15750] ppid=15747 vsize=10544368 CPUtime=0.67 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (java) R 15747 15749 15115 0 -1 4202560 96502 0 1 0 55 12 0 0 18 0 18 0 855674148 10797432832 100560 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 46912505629017 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10544368
[startup+1.50078 s]
/proc/loadavg: 3.95 3.90 3.81 4/500 15767
/proc/meminfo: memFree=24488140/32951124 swapFree=41830676/67111528
[pid=15749] ppid=15747 vsize=10544368 CPUtime=2.02 cores=0,2,4,6
/proc/15749/stat : 15749 (java) S 15747 15749 15115 0 -1 4202496 319584 0 1 0 165 37 0 0 24 0 18 0 855674147 10797432832 317675 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15749/statm: 2636092 317680 2215 9 0 2626826 0
[pid=15749/tid=15750] ppid=15747 vsize=10544368 CPUtime=1.48 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (java) R 15747 15749 15115 0 -1 4202560 313624 0 1 0 112 36 0 0 19 0 18 0 855674148 10797432832 317682 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 46912505629031 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15749/tid=15752] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855674149 10797432832 317685 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15753] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15753/stat : 15753 (java) S 15747 15749 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855674149 10797432832 317688 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15754] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15754/stat : 15754 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855674149 10797432832 317691 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15755] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15755/stat : 15755 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855674149 10797432832 317694 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15756] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15756/stat : 15756 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855674149 10797432832 317697 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15757] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15757/stat : 15757 (java) S 15747 15749 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855674149 10797432832 317700 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15758] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15758/stat : 15758 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855674149 10797432832 317703 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15759] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15759/stat : 15759 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855674149 10797432832 317705 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15760] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15760/stat : 15760 (java) S 15747 15749 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855674150 10797432832 317708 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 0 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15761] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15761/stat : 15761 (java) S 15747 15749 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855674151 10797432832 317711 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15762] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15762/stat : 15762 (java) S 15747 15749 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855674151 10797432832 317714 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15763] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15763/stat : 15763 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855674153 10797432832 317717 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134537649 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15764] ppid=15747 vsize=10544368 CPUtime=0.28 cores=0,2,4,6
/proc/15749/task/15764/stat : 15764 (java) S 15747 15749 15115 0 -1 4202560 3014 0 0 0 28 0 0 0 18 0 18 0 855674153 10797432832 317721 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15765] ppid=15747 vsize=10544368 CPUtime=0.24 cores=0,2,4,6
/proc/15749/task/15765/stat : 15765 (java) S 15747 15749 15115 0 -1 4202560 1801 0 0 0 24 0 0 0 25 0 18 0 855674153 10797432832 317737 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15766] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15766/stat : 15766 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855674153 10797432832 317752 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15767] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15767/stat : 15767 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855674153 10797432832 317769 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 10544368
[startup+3.10148 s]
/proc/loadavg: 3.95 3.90 3.81 4/500 15767
/proc/meminfo: memFree=23281248/32951124 swapFree=41830676/67111528
[pid=15749] ppid=15747 vsize=10544368 CPUtime=3.9 cores=0,2,4,6
/proc/15749/stat : 15749 (java) S 15747 15749 15115 0 -1 4202496 671789 0 1 0 315 75 0 0 24 0 18 0 855674147 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15749/statm: 2636092 669867 2231 9 0 2626826 0
[pid=15749/tid=15750] ppid=15747 vsize=10544368 CPUtime=3.01 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (java) R 15747 15749 15115 0 -1 4202560 649530 0 1 0 230 71 0 0 22 0 18 0 855674148 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 46912505507332 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15749/tid=15752] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855674149 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15753] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15753/stat : 15753 (java) S 15747 15749 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855674149 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15754] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15754/stat : 15754 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855674149 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15755] ppid=15747 vsize=10544368 CPUtime=0.04 cores=0,2,4,6
/proc/15749/task/15755/stat : 15755 (java) S 15747 15749 15115 0 -1 4202560 3669 0 0 0 4 0 0 0 18 0 18 0 855674149 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15756] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15756/stat : 15756 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855674149 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15757] ppid=15747 vsize=10544368 CPUtime=0.04 cores=0,2,4,6
/proc/15749/task/15757/stat : 15757 (java) S 15747 15749 15115 0 -1 4202560 3965 0 0 0 4 0 0 0 18 0 18 0 855674149 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15758] ppid=15747 vsize=10544368 CPUtime=0.04 cores=0,2,4,6
/proc/15749/task/15758/stat : 15758 (java) S 15747 15749 15115 0 -1 4202560 4310 0 0 0 4 0 0 0 18 0 18 0 855674149 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15759] ppid=15747 vsize=10544368 CPUtime=0.05 cores=0,2,4,6
/proc/15749/task/15759/stat : 15759 (java) S 15747 15749 15115 0 -1 4202560 4304 0 0 0 5 0 0 0 18 0 18 0 855674149 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15760] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15760/stat : 15760 (java) S 15747 15749 15115 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855674150 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 0 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15761] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15761/stat : 15761 (java) S 15747 15749 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 855674151 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15762] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15762/stat : 15762 (java) S 15747 15749 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 855674151 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15763] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15763/stat : 15763 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855674153 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134537649 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15764] ppid=15747 vsize=10544368 CPUtime=0.34 cores=0,2,4,6
/proc/15749/task/15764/stat : 15764 (java) S 15747 15749 15115 0 -1 4202560 3029 0 0 0 34 0 0 0 15 0 18 0 855674153 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15765] ppid=15747 vsize=10544368 CPUtime=0.3 cores=0,2,4,6
/proc/15749/task/15765/stat : 15765 (java) S 15747 15749 15115 0 -1 4202560 1825 0 0 0 30 0 0 0 15 0 18 0 855674153 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15766] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15766/stat : 15766 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855674153 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15767] ppid=15747 vsize=10544368 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15767/stat : 15767 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855674153 10797432832 669867 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 10544368
[startup+6.30092 s]
/proc/loadavg: 3.87 3.88 3.81 4/500 15767
/proc/meminfo: memFree=22418312/32951124 swapFree=41830676/67111528
[pid=15749] ppid=15747 vsize=10542992 CPUtime=7.76 cores=0,2,4,6
/proc/15749/stat : 15749 (java) S 15747 15749 15115 0 -1 4202496 726191 0 1 0 691 85 0 0 24 0 18 0 855674147 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15749/statm: 2635748 723824 2231 9 0 2626482 0
[pid=15749/tid=15750] ppid=15747 vsize=10542992 CPUtime=5.98 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (java) R 15747 15749 15115 0 -1 4202560 650576 0 1 0 525 73 0 0 25 0 18 0 855674148 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 47368219360353 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15749/tid=15752] ppid=15747 vsize=10542992 CPUtime=0.21 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (java) S 15747 15749 15115 0 -1 4202560 10529 0 0 0 20 1 0 0 16 0 18 0 855674149 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15753] ppid=15747 vsize=10542992 CPUtime=0.01 cores=0,2,4,6
/proc/15749/task/15753/stat : 15753 (java) S 15747 15749 15115 0 -1 4202560 1064 0 0 0 1 0 0 0 16 0 18 0 855674149 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15754] ppid=15747 vsize=10542992 CPUtime=0.18 cores=0,2,4,6
/proc/15749/task/15754/stat : 15754 (java) S 15747 15749 15115 0 -1 4202560 13101 0 0 0 16 2 0 0 16 0 18 0 855674149 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15755] ppid=15747 vsize=10542992 CPUtime=0.14 cores=0,2,4,6
/proc/15749/task/15755/stat : 15755 (java) S 15747 15749 15115 0 -1 4202560 10216 0 0 0 13 1 0 0 18 0 18 0 855674149 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15756] ppid=15747 vsize=10542992 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15756/stat : 15756 (java) S 15747 15749 15115 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 18 0 855674149 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15757] ppid=15747 vsize=10542992 CPUtime=0.18 cores=0,2,4,6
/proc/15749/task/15757/stat : 15757 (java) S 15747 15749 15115 0 -1 4202560 10093 0 0 0 16 2 0 0 16 0 18 0 855674149 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15758] ppid=15747 vsize=10542992 CPUtime=0.22 cores=0,2,4,6
/proc/15749/task/15758/stat : 15758 (java) S 15747 15749 15115 0 -1 4202560 14052 0 0 0 20 2 0 0 18 0 18 0 855674149 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15759] ppid=15747 vsize=10542992 CPUtime=0.11 cores=0,2,4,6
/proc/15749/task/15759/stat : 15759 (java) S 15747 15749 15115 0 -1 4202560 10458 0 0 0 10 1 0 0 18 0 18 0 855674149 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15760] ppid=15747 vsize=10542992 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15760/stat : 15760 (java) S 15747 15749 15115 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855674150 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 0 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15761] ppid=15747 vsize=10542992 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15761/stat : 15761 (java) S 15747 15749 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 855674151 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15762] ppid=15747 vsize=10542992 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15762/stat : 15762 (java) S 15747 15749 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 855674151 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15763] ppid=15747 vsize=10542992 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15763/stat : 15763 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855674153 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134537649 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15764] ppid=15747 vsize=10542992 CPUtime=0.35 cores=0,2,4,6
/proc/15749/task/15764/stat : 15764 (java) S 15747 15749 15115 0 -1 4202560 3029 0 0 0 35 0 0 0 15 0 18 0 855674153 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15765] ppid=15747 vsize=10542992 CPUtime=0.3 cores=0,2,4,6
/proc/15749/task/15765/stat : 15765 (java) S 15747 15749 15115 0 -1 4202560 1825 0 0 0 30 0 0 0 15 0 18 0 855674153 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15766] ppid=15747 vsize=10542992 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15766/stat : 15766 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855674153 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15767] ppid=15747 vsize=10542992 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15767/stat : 15767 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855674153 10796023808 723824 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=21203744/32951124 swapFree=41830676/67111528
[pid=15749] ppid=15747 vsize=10564924 CPUtime=1637.08 cores=0,2,4,6
/proc/15749/stat : 15749 (java) S 15747 15749 15115 0 -1 4202496 1406994 0 1 0 163503 205 0 0 24 0 22 0 855674147 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15749/statm: 2641231 1389730 2266 9 0 2631965 0
[pid=15749/tid=15750] ppid=15747 vsize=10564924 CPUtime=57.22 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (java) S 15747 15749 15115 0 -1 4202560 651073 0 1 0 5630 92 0 0 15 0 22 0 855674148 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15752] ppid=15747 vsize=10564924 CPUtime=3.5 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (java) S 15747 15749 15115 0 -1 4202560 83178 0 0 0 338 12 0 0 15 0 22 0 855674149 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15753] ppid=15747 vsize=10564924 CPUtime=3.33 cores=0,2,4,6
/proc/15749/task/15753/stat : 15753 (java) S 15747 15749 15115 0 -1 4202560 82781 0 0 0 322 11 0 0 16 0 22 0 855674149 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15754] ppid=15747 vsize=10564924 CPUtime=3.48 cores=0,2,4,6
/proc/15749/task/15754/stat : 15754 (java) S 15747 15749 15115 0 -1 4202560 79882 0 0 0 336 12 0 0 16 0 22 0 855674149 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15755] ppid=15747 vsize=10564924 CPUtime=2.76 cores=0,2,4,6
/proc/15749/task/15755/stat : 15755 (java) S 15747 15749 15115 0 -1 4202560 75706 0 0 0 267 9 0 0 16 0 22 0 855674149 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15756] ppid=15747 vsize=10564924 CPUtime=3.84 cores=0,2,4,6
/proc/15749/task/15756/stat : 15756 (java) S 15747 15749 15115 0 -1 4202560 113401 0 0 0 369 15 0 0 16 0 22 0 855674149 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15757] ppid=15747 vsize=10564924 CPUtime=3.15 cores=0,2,4,6
/proc/15749/task/15757/stat : 15757 (java) S 15747 15749 15115 0 -1 4202560 81819 0 0 0 303 12 0 0 16 0 22 0 855674149 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15758] ppid=15747 vsize=10564924 CPUtime=4.1 cores=0,2,4,6
/proc/15749/task/15758/stat : 15758 (java) S 15747 15749 15115 0 -1 4202560 122164 0 0 0 392 18 0 0 15 0 22 0 855674149 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15759] ppid=15747 vsize=10564924 CPUtime=3.57 cores=0,2,4,6
/proc/15749/task/15759/stat : 15759 (java) S 15747 15749 15115 0 -1 4202560 98503 0 0 0 342 15 0 0 15 0 22 0 855674149 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15760] ppid=15747 vsize=10564924 CPUtime=86.25 cores=0,2,4,6
/proc/15749/task/15760/stat : 15760 (java) S 15747 15749 15115 0 -1 4202560 2092 0 0 0 8625 0 0 0 15 0 22 0 855674150 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 0 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15761] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15761/stat : 15761 (java) S 15747 15749 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 855674151 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15762] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15762/stat : 15762 (java) S 15747 15749 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855674151 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15763] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15763/stat : 15763 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855674153 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134537649 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15764] ppid=15747 vsize=10564924 CPUtime=1.36 cores=0,2,4,6
/proc/15749/task/15764/stat : 15764 (java) S 15747 15749 15115 0 -1 4202560 6435 0 0 0 134 2 0 0 15 0 22 0 855674153 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15765] ppid=15747 vsize=10564924 CPUtime=1.15 cores=0,2,4,6
/proc/15749/task/15765/stat : 15765 (java) S 15747 15749 15115 0 -1 4202560 8637 0 0 0 115 0 0 0 15 0 22 0 855674153 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15766] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15766/stat : 15766 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855674153 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15767] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15767/stat : 15767 (java) S 15747 15749 15115 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 855674153 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15770] ppid=15747 vsize=10564924 CPUtime=731.64 cores=0,2,4,6
/proc/15749/task/15770/stat : 15770 (java) R 15747 15749 15115 0 -1 4202560 40 0 0 0 73164 0 0 0 25 0 22 0 855680449 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 46912506263015 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15749/tid=15771] ppid=15747 vsize=10564924 CPUtime=731.62 cores=0,2,4,6
/proc/15749/task/15771/stat : 15771 (java) R 15747 15749 15115 0 -1 4202560 75 0 0 0 73162 0 0 0 25 0 22 0 855680449 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 46912505996648 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15749/tid=15772] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15772/stat : 15772 (java) S 15747 15749 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855680456 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15773] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15773/stat : 15773 (java) S 15747 15749 15115 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 855680456 10818482176 1389730 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1637.08
Current children cumulated vsize (KiB) 10564924
[startup+942.301 s]
/proc/loadavg: 3.82 3.88 3.83 5/504 15859
/proc/meminfo: memFree=21184656/32951124 swapFree=41830676/67111528
[pid=15749] ppid=15747 vsize=10564924 CPUtime=1753.1 cores=0,2,4,6
/proc/15749/stat : 15749 (java) S 15747 15749 15115 0 -1 4202496 1407009 0 1 0 175105 205 0 0 24 0 22 0 855674147 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15749/statm: 2641231 1389733 2266 9 0 2631965 0
[pid=15749/tid=15750] ppid=15747 vsize=10564924 CPUtime=57.22 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (java) S 15747 15749 15115 0 -1 4202560 651074 0 1 0 5630 92 0 0 15 0 22 0 855674148 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15752] ppid=15747 vsize=10564924 CPUtime=3.53 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (java) S 15747 15749 15115 0 -1 4202560 83178 0 0 0 341 12 0 0 15 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15753] ppid=15747 vsize=10564924 CPUtime=3.35 cores=0,2,4,6
/proc/15749/task/15753/stat : 15753 (java) S 15747 15749 15115 0 -1 4202560 82781 0 0 0 324 11 0 0 16 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15754] ppid=15747 vsize=10564924 CPUtime=3.55 cores=0,2,4,6
/proc/15749/task/15754/stat : 15754 (java) S 15747 15749 15115 0 -1 4202560 79883 0 0 0 343 12 0 0 16 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15755] ppid=15747 vsize=10564924 CPUtime=2.78 cores=0,2,4,6
/proc/15749/task/15755/stat : 15755 (java) S 15747 15749 15115 0 -1 4202560 75706 0 0 0 269 9 0 0 16 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15756] ppid=15747 vsize=10564924 CPUtime=3.87 cores=0,2,4,6
/proc/15749/task/15756/stat : 15756 (java) S 15747 15749 15115 0 -1 4202560 113402 0 0 0 372 15 0 0 15 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15757] ppid=15747 vsize=10564924 CPUtime=3.21 cores=0,2,4,6
/proc/15749/task/15757/stat : 15757 (java) S 15747 15749 15115 0 -1 4202560 81820 0 0 0 309 12 0 0 16 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15758] ppid=15747 vsize=10564924 CPUtime=4.17 cores=0,2,4,6
/proc/15749/task/15758/stat : 15758 (java) S 15747 15749 15115 0 -1 4202560 122165 0 0 0 399 18 0 0 15 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15759] ppid=15747 vsize=10564924 CPUtime=3.62 cores=0,2,4,6
/proc/15749/task/15759/stat : 15759 (java) S 15747 15749 15115 0 -1 4202560 98503 0 0 0 347 15 0 0 15 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15760] ppid=15747 vsize=10564924 CPUtime=90.38 cores=0,2,4,6
/proc/15749/task/15760/stat : 15760 (java) S 15747 15749 15115 0 -1 4202560 2096 0 0 0 9038 0 0 0 18 0 22 0 855674150 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 0 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15761] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15761/stat : 15761 (java) S 15747 15749 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 855674151 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15762] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15762/stat : 15762 (java) S 15747 15749 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855674151 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15763] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15763/stat : 15763 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855674153 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134537649 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15764] ppid=15747 vsize=10564924 CPUtime=1.36 cores=0,2,4,6
/proc/15749/task/15764/stat : 15764 (java) S 15747 15749 15115 0 -1 4202560 6435 0 0 0 134 2 0 0 15 0 22 0 855674153 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15765] ppid=15747 vsize=10564924 CPUtime=1.15 cores=0,2,4,6
/proc/15749/task/15765/stat : 15765 (java) S 15747 15749 15115 0 -1 4202560 8637 0 0 0 115 0 0 0 15 0 22 0 855674153 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15766] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15766/stat : 15766 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855674153 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15767] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15767/stat : 15767 (java) S 15747 15749 15115 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 855674153 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15770] ppid=15747 vsize=10564924 CPUtime=787.41 cores=0,2,4,6
/proc/15749/task/15770/stat : 15770 (java) R 15747 15749 15115 0 -1 4202560 42 0 0 0 78741 0 0 0 25 0 22 0 855680449 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 46912506193998 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15749/tid=15771] ppid=15747 vsize=10564924 CPUtime=787.39 cores=0,2,4,6
/proc/15749/task/15771/stat : 15771 (java) R 15747 15749 15115 0 -1 4202560 75 0 0 0 78739 0 0 0 25 0 22 0 855680449 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 46912505996648 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15749/tid=15772] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15772/stat : 15772 (java) S 15747 15749 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855680456 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15773] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15773/stat : 15773 (java) S 15747 15749 15115 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 855680456 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1753.1
Current children cumulated vsize (KiB) 10564924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+965.801 s]
/proc/loadavg: 3.88 3.89 3.83 5/504 15860
/proc/meminfo: memFree=21180936/32951124 swapFree=41830676/67111528
[pid=15749] ppid=15747 vsize=10564924 CPUtime=1800.2 cores=0,2,4,6
/proc/15749/stat : 15749 (java) S 15747 15749 15115 0 -1 4202496 1407015 0 1 0 179815 205 0 0 24 0 22 0 855674147 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15749/statm: 2641231 1389733 2266 9 0 2631965 0
[pid=15749/tid=15750] ppid=15747 vsize=10564924 CPUtime=57.22 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (java) S 15747 15749 15115 0 -1 4202560 651074 0 1 0 5630 92 0 0 15 0 22 0 855674148 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15752] ppid=15747 vsize=10564924 CPUtime=3.57 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (java) S 15747 15749 15115 0 -1 4202560 83178 0 0 0 345 12 0 0 16 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15753] ppid=15747 vsize=10564924 CPUtime=3.39 cores=0,2,4,6
/proc/15749/task/15753/stat : 15753 (java) S 15747 15749 15115 0 -1 4202560 82781 0 0 0 328 11 0 0 16 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15754] ppid=15747 vsize=10564924 CPUtime=3.59 cores=0,2,4,6
/proc/15749/task/15754/stat : 15754 (java) S 15747 15749 15115 0 -1 4202560 79883 0 0 0 347 12 0 0 16 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15755] ppid=15747 vsize=10564924 CPUtime=2.78 cores=0,2,4,6
/proc/15749/task/15755/stat : 15755 (java) S 15747 15749 15115 0 -1 4202560 75706 0 0 0 269 9 0 0 15 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15756] ppid=15747 vsize=10564924 CPUtime=3.87 cores=0,2,4,6
/proc/15749/task/15756/stat : 15756 (java) S 15747 15749 15115 0 -1 4202560 113402 0 0 0 372 15 0 0 15 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15757] ppid=15747 vsize=10564924 CPUtime=3.21 cores=0,2,4,6
/proc/15749/task/15757/stat : 15757 (java) S 15747 15749 15115 0 -1 4202560 81820 0 0 0 309 12 0 0 15 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15758] ppid=15747 vsize=10564924 CPUtime=4.21 cores=0,2,4,6
/proc/15749/task/15758/stat : 15758 (java) S 15747 15749 15115 0 -1 4202560 122165 0 0 0 403 18 0 0 16 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15759] ppid=15747 vsize=10564924 CPUtime=3.62 cores=0,2,4,6
/proc/15749/task/15759/stat : 15759 (java) S 15747 15749 15115 0 -1 4202560 98503 0 0 0 347 15 0 0 15 0 22 0 855674149 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15760] ppid=15747 vsize=10564924 CPUtime=90.38 cores=0,2,4,6
/proc/15749/task/15760/stat : 15760 (java) S 15747 15749 15115 0 -1 4202560 2098 0 0 0 9038 0 0 0 15 0 22 0 855674150 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 0 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15761] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15761/stat : 15761 (java) S 15747 15749 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 855674151 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15762] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15762/stat : 15762 (java) S 15747 15749 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855674151 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15763] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15763/stat : 15763 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855674153 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134537649 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15764] ppid=15747 vsize=10564924 CPUtime=1.36 cores=0,2,4,6
/proc/15749/task/15764/stat : 15764 (java) S 15747 15749 15115 0 -1 4202560 6436 0 0 0 134 2 0 0 15 0 22 0 855674153 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15765] ppid=15747 vsize=10564924 CPUtime=1.15 cores=0,2,4,6
/proc/15749/task/15765/stat : 15765 (java) S 15747 15749 15115 0 -1 4202560 8637 0 0 0 115 0 0 0 15 0 22 0 855674153 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 4 0 0 0
[pid=15749/tid=15766] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15766/stat : 15766 (java) S 15747 15749 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855674153 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134529945 0 4 0 16800975 18446604449070470080 0 0 -1 2 0 0 0
[pid=15749/tid=15767] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15767/stat : 15767 (java) S 15747 15749 15115 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 855674153 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 0 0 0 0
[pid=15749/tid=15770] ppid=15747 vsize=10564924 CPUtime=810.89 cores=0,2,4,6
/proc/15749/task/15770/stat : 15770 (java) R 15747 15749 15115 0 -1 4202560 43 0 0 0 81089 0 0 0 25 0 22 0 855680449 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 46912505985804 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15749/tid=15771] ppid=15747 vsize=10564924 CPUtime=810.87 cores=0,2,4,6
/proc/15749/task/15771/stat : 15771 (java) R 15747 15749 15115 0 -1 4202560 75 0 0 0 81087 0 0 0 25 0 22 0 855680449 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 46912505999259 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15749/tid=15772] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15772/stat : 15772 (java) S 15747 15749 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855680456 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
[pid=15749/tid=15773] ppid=15747 vsize=10564924 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15773/stat : 15773 (java) S 15747 15749 15115 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 855680456 10818482176 1389733 33554432000 1073741824 1073778376 140733613099232 18446744073709551615 228134530560 0 4 0 16800975 18446604449070470080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 10564924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+966.018 s]
/proc/loadavg: 3.88 3.89 3.83 4/485 15863
/proc/meminfo: memFree=23115896/32951124 swapFree=41830676/67111528
[pid=15749] ppid=15747 vsize=0 CPUtime=1800.44 cores=0,2,4,6
/proc/15749/stat : 15749 (java) Z 15747 15749 15115 0 -1 4203548 1407043 0 1 0 179823 221 0 0 17 0 2 0 855674147 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15749/statm: 0 0 0 0 0 0 0
[pid=15749/tid=15766] ppid=15747 vsize=0 CPUtime=0.16 cores=0,2,4,6
/proc/15749/task/15766/stat : 15766 (java) R 15747 15749 15115 0 -1 4203588 1 0 0 0 0 16 0 0 18 0 2 0 855674153 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 966.056
CPU time (s): 1800.49
CPU user time (s): 1798.24
CPU system time (s): 2.25566
CPU usage (%): 186.376
Max. virtual memory (cumulated for all children) (KiB): 10564924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.24
system time used= 2.25566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1407043
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= 23994
involuntary context switches= 41939
runsolver used 4.80527 second user time and 10.1775 second system time
The end