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-3456446-1307660489/watcher-3456446-1307660489 -o /tmp/evaluation-result-3456446-1307660489/solver-3456446-1307660489 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456446-1307660489.opb
running on 4 cores: 1,3,5,7
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: 2.00 2.01 2.00 2/193 14715
/proc/meminfo: memFree=28998108/32951132 swapFree=67054608/67111528
[pid=14715] ppid=14713 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/14715/stat : 14715 (java) R 14713 14715 11485 0 -1 4202496 922 0 0 0 0 0 0 0 25 0 1 0 877648621 23580672 667 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274659845909 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14715/statm: 5757 678 496 9 0 124 0
[startup+0.0596189 s]
/proc/loadavg: 2.00 2.01 2.00 2/193 14715
/proc/meminfo: memFree=28998108/32951132 swapFree=67054608/67111528
[pid=14715] ppid=14713 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/14715/stat : 14715 (java) S 14713 14715 11485 0 -1 4202496 11526 0 1 0 3 1 0 0 25 0 13 0 877648621 10718838784 11224 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676611045 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/14715/statm: 2616904 11225 1686 9 0 2607652 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100611 s]
/proc/loadavg: 2.00 2.01 2.00 2/193 14715
/proc/meminfo: memFree=28998108/32951132 swapFree=67054608/67111528
[pid=14715] ppid=14713 vsize=10604808 CPUtime=0.1 cores=1,3,5,7
/proc/14715/stat : 14715 (java) S 14713 14715 11485 0 -1 4202496 13012 0 1 0 9 1 0 0 25 0 18 0 877648621 10859323392 12710 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14715/statm: 2651202 12710 2092 9 0 2641936 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10604808
[startup+0.30058 s]
/proc/loadavg: 2.00 2.01 2.00 2/193 14715
/proc/meminfo: memFree=28998108/32951132 swapFree=67054608/67111528
[pid=14715] ppid=14713 vsize=10606328 CPUtime=0.45 cores=1,3,5,7
/proc/14715/stat : 14715 (java) S 14713 14715 11485 0 -1 4202496 21064 0 1 0 43 2 0 0 25 0 18 0 877648621 10860879872 20529 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14715/statm: 2651582 20533 2199 9 0 2642316 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10606328
[startup+0.700503 s]
/proc/loadavg: 2.00 2.01 2.00 2/193 14715
/proc/meminfo: memFree=28998108/32951132 swapFree=67054608/67111528
[pid=14715] ppid=14713 vsize=10608740 CPUtime=1.18 cores=1,3,5,7
/proc/14715/stat : 14715 (java) S 14713 14715 11485 0 -1 4202496 49326 0 1 0 112 6 0 0 25 0 18 0 877648621 10863349760 47454 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14715/statm: 2652185 47458 2215 9 0 2642919 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10608740
[startup+1.50138 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 14733
/proc/meminfo: memFree=28682224/32951132 swapFree=67054608/67111528
[pid=14715] ppid=14713 vsize=10608740 CPUtime=2.15 cores=1,3,5,7
/proc/14715/stat : 14715 (java) S 14713 14715 11485 0 -1 4202496 130720 0 1 0 199 16 0 0 25 0 18 0 877648621 10863349760 128448 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14715/statm: 2652185 128452 2223 9 0 2642919 0
[pid=14715/tid=14717] ppid=14713 vsize=10608740 CPUtime=1.48 cores=1,3,5,7
/proc/14715/task/14717/stat : 14717 (java) R 14713 14715 11485 0 -1 4202560 124575 0 1 0 133 15 0 0 19 0 18 0 877648622 10863349760 128454 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 46912505596727 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14718/stat : 14718 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877648623 10863349760 128456 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14719] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14719/stat : 14719 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877648623 10863349760 128460 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14720] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14720/stat : 14720 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877648623 10863349760 128462 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14721/stat : 14721 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877648623 10863349760 128465 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14722/stat : 14722 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877648623 10863349760 128467 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14723] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14723/stat : 14723 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877648623 10863349760 128469 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14724] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14724/stat : 14724 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877648623 10863349760 128471 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14725] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14725/stat : 14725 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877648623 10863349760 128474 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14726/stat : 14726 (java) S 14713 14715 11485 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 877648624 10863349760 128476 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 0 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14727/stat : 14727 (java) S 14713 14715 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877648625 10863349760 128478 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14728/stat : 14728 (java) S 14713 14715 11485 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 877648625 10863349760 128481 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14729/stat : 14729 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877648627 10863349760 128483 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676631985 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=10608740 CPUtime=0.32 cores=1,3,5,7
/proc/14715/task/14730/stat : 14730 (java) S 14713 14715 11485 0 -1 4202560 2979 0 0 0 32 0 0 0 16 0 18 0 877648627 10863349760 128485 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=10608740 CPUtime=0.33 cores=1,3,5,7
/proc/14715/task/14731/stat : 14731 (java) S 14713 14715 11485 0 -1 4202560 2023 0 0 0 33 0 0 0 15 0 18 0 877648627 10863349760 128488 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14732/stat : 14732 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 877648627 10863349760 128490 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14733] ppid=14713 vsize=10608740 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14733/stat : 14733 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877648627 10863349760 128492 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 10608740
[startup+3.10109 s]
/proc/loadavg: 2.00 2.01 2.00 4/212 14734
/proc/meminfo: memFree=28326088/32951132 swapFree=67054608/67111528
[pid=14715] ppid=14713 vsize=10617904 CPUtime=4.54 cores=1,3,5,7
/proc/14715/stat : 14715 (java) S 14713 14715 11485 0 -1 4202496 249013 0 1 0 426 28 0 0 25 0 19 0 877648621 10872733696 243569 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14715/statm: 2654476 243569 2235 9 0 2645210 0
[pid=14715/tid=14717] ppid=14713 vsize=10617904 CPUtime=3.08 cores=1,3,5,7
/proc/14715/task/14717/stat : 14717 (java) R 14713 14715 11485 0 -1 4202560 236229 0 1 0 282 26 0 0 25 0 19 0 877648622 10872733696 243569 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 46912506033685 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14718/stat : 14718 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10872733696 243569 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14719] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14719/stat : 14719 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10872733696 243569 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14720] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14720/stat : 14720 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10872733696 243569 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14721/stat : 14721 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10872733696 243569 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14722/stat : 14722 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10872733696 243569 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14723] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14723/stat : 14723 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10872733696 243569 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14724] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14724/stat : 14724 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10872733696 243569 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14725] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14725/stat : 14725 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10872733696 243569 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14726/stat : 14726 (java) S 14713 14715 11485 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 877648624 10872733696 243569 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 0 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14727/stat : 14727 (java) S 14713 14715 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877648625 10872733696 243570 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14728/stat : 14728 (java) S 14713 14715 11485 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 877648625 10872733696 243570 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14729/stat : 14729 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648627 10872733696 243570 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676631985 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=10617904 CPUtime=0.76 cores=1,3,5,7
/proc/14715/task/14730/stat : 14730 (java) S 14713 14715 11485 0 -1 4202560 7764 0 0 0 75 1 0 0 15 0 19 0 877648627 10872733696 243570 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=10617904 CPUtime=0.67 cores=1,3,5,7
/proc/14715/task/14731/stat : 14731 (java) S 14713 14715 11485 0 -1 4202560 3860 0 0 0 67 0 0 0 15 0 19 0 877648627 10872733696 243570 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14732/stat : 14732 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877648627 10872733696 243570 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14733] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14733/stat : 14733 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877648627 10872733696 243570 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14734] ppid=14713 vsize=10617904 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14734/stat : 14734 (java) S 14713 14715 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 877648814 10872733696 243570 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 10617904
[startup+6.30155 s]
/proc/loadavg: 2.00 2.01 2.00 3/212 14734
/proc/meminfo: memFree=26794768/32951132 swapFree=67054608/67111528
[pid=14715] ppid=14713 vsize=10615188 CPUtime=7.84 cores=1,3,5,7
/proc/14715/stat : 14715 (java) S 14713 14715 11485 0 -1 4202496 655642 0 1 0 715 69 0 0 25 0 19 0 877648621 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14715/statm: 2653797 649428 2236 9 0 2644531 0
[pid=14715/tid=14717] ppid=14713 vsize=10615188 CPUtime=6.28 cores=1,3,5,7
/proc/14715/task/14717/stat : 14717 (java) R 14713 14715 11485 0 -1 4202560 642845 0 1 0 561 67 0 0 25 0 19 0 877648622 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 46912505967533 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14718/stat : 14718 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14719] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14719/stat : 14719 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14720] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14720/stat : 14720 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14721/stat : 14721 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14722/stat : 14722 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14723] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14723/stat : 14723 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14724] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14724/stat : 14724 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14725] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14725/stat : 14725 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648623 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14726/stat : 14726 (java) S 14713 14715 11485 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 877648624 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 0 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14727/stat : 14727 (java) S 14713 14715 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877648625 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14728/stat : 14728 (java) S 14713 14715 11485 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 877648625 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14729/stat : 14729 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648627 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676631985 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=10615188 CPUtime=0.78 cores=1,3,5,7
/proc/14715/task/14730/stat : 14730 (java) S 14713 14715 11485 0 -1 4202560 7766 0 0 0 77 1 0 0 15 0 19 0 877648627 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=10615188 CPUtime=0.75 cores=1,3,5,7
/proc/14715/task/14731/stat : 14731 (java) S 14713 14715 11485 0 -1 4202560 3870 0 0 0 75 0 0 0 15 0 19 0 877648627 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14732/stat : 14732 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877648627 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14733] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14733/stat : 14733 (java) S 14713 14715 11485 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877648627 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14734] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14734/stat : 14734 (java) S 14713 14715 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 877648814 10869952512 649428 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 10615188
[startup+12.7014 s]
/proc/loadavg: 2.00 2.01 2.00 3/212 14734
/proc/meminfo: memFree=26222172/32951132 swapFree=67054608/67111528
################
# More data... #
################
/proc/14715/task/14727/stat : 14727 (java) S 14713 14715 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877648625 10869952512 1032993 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14728/stat : 14728 (java) S 14713 14715 11485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877648625 10869952512 1032993 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14729/stat : 14729 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648627 10869952512 1032993 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676631985 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=10615188 CPUtime=1.04 cores=1,3,5,7
/proc/14715/task/14730/stat : 14730 (java) S 14713 14715 11485 0 -1 4202560 7837 0 0 0 103 1 0 0 15 0 19 0 877648627 10869952512 1032993 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=10615188 CPUtime=0.84 cores=1,3,5,7
/proc/14715/task/14731/stat : 14731 (java) S 14713 14715 11485 0 -1 4202560 3873 0 0 0 84 0 0 0 15 0 19 0 877648627 10869952512 1032993 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14732/stat : 14732 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877648627 10869952512 1032993 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14733] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14733/stat : 14733 (java) S 14713 14715 11485 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877648627 10869952512 1032993 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14734] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14734/stat : 14734 (java) S 14713 14715 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 877648814 10869952512 1032993 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1671.32
Current children cumulated vsize (KiB) 10615188
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/212 14899
/proc/meminfo: memFree=24035892/32951132 swapFree=67054608/67111528
[pid=14715] ppid=14713 vsize=10615188 CPUtime=1731.52 cores=1,3,5,7
/proc/14715/stat : 14715 (java) S 14713 14715 11485 0 -1 4202496 1046994 0 1 0 173030 122 0 0 25 0 19 0 877648621 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14715/statm: 2653797 1037084 2266 9 0 2644531 0
[pid=14715/tid=14717] ppid=14713 vsize=10615188 CPUtime=1718.64 cores=1,3,5,7
/proc/14715/task/14717/stat : 14717 (java) R 14713 14715 11485 0 -1 4202560 783371 0 1 0 171781 83 0 0 25 0 19 0 877648622 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 46912506237846 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=10615188 CPUtime=1.45 cores=1,3,5,7
/proc/14715/task/14718/stat : 14718 (java) S 14713 14715 11485 0 -1 4202560 37008 0 0 0 141 4 0 0 16 0 19 0 877648623 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14719] ppid=14713 vsize=10615188 CPUtime=1.02 cores=1,3,5,7
/proc/14715/task/14719/stat : 14719 (java) S 14713 14715 11485 0 -1 4202560 23550 0 0 0 99 3 0 0 15 0 19 0 877648623 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14720] ppid=14713 vsize=10615188 CPUtime=1.26 cores=1,3,5,7
/proc/14715/task/14720/stat : 14720 (java) S 14713 14715 11485 0 -1 4202560 25124 0 0 0 123 3 0 0 16 0 19 0 877648623 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=10615188 CPUtime=1.2 cores=1,3,5,7
/proc/14715/task/14721/stat : 14721 (java) S 14713 14715 11485 0 -1 4202560 30748 0 0 0 116 4 0 0 16 0 19 0 877648623 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=10615188 CPUtime=1.33 cores=1,3,5,7
/proc/14715/task/14722/stat : 14722 (java) S 14713 14715 11485 0 -1 4202560 33738 0 0 0 129 4 0 0 15 0 19 0 877648623 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14723] ppid=14713 vsize=10615188 CPUtime=1.23 cores=1,3,5,7
/proc/14715/task/14723/stat : 14723 (java) S 14713 14715 11485 0 -1 4202560 30436 0 0 0 120 3 0 0 15 0 19 0 877648623 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14724] ppid=14713 vsize=10615188 CPUtime=1.37 cores=1,3,5,7
/proc/14715/task/14724/stat : 14724 (java) S 14713 14715 11485 0 -1 4202560 31242 0 0 0 132 5 0 0 15 0 19 0 877648623 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14725] ppid=14713 vsize=10615188 CPUtime=1.35 cores=1,3,5,7
/proc/14715/task/14725/stat : 14725 (java) S 14713 14715 11485 0 -1 4202560 38543 0 0 0 131 4 0 0 16 0 19 0 877648623 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=10615188 CPUtime=0.7 cores=1,3,5,7
/proc/14715/task/14726/stat : 14726 (java) S 14713 14715 11485 0 -1 4202560 275 0 0 0 68 2 0 0 15 0 19 0 877648624 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 0 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14727/stat : 14727 (java) S 14713 14715 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877648625 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14728/stat : 14728 (java) S 14713 14715 11485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877648625 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14729/stat : 14729 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648627 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676631985 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=10615188 CPUtime=1.04 cores=1,3,5,7
/proc/14715/task/14730/stat : 14730 (java) S 14713 14715 11485 0 -1 4202560 7837 0 0 0 103 1 0 0 15 0 19 0 877648627 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=10615188 CPUtime=0.84 cores=1,3,5,7
/proc/14715/task/14731/stat : 14731 (java) S 14713 14715 11485 0 -1 4202560 3873 0 0 0 84 0 0 0 15 0 19 0 877648627 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14732/stat : 14732 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877648627 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14733] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14733/stat : 14733 (java) S 14713 14715 11485 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 877648627 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14734] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14734/stat : 14734 (java) S 14713 14715 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 877648814 10869952512 1037084 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1731.52
Current children cumulated vsize (KiB) 10615188
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/212 14901
/proc/meminfo: memFree=23990116/32951132 swapFree=67054608/67111528
[pid=14715] ppid=14713 vsize=10615188 CPUtime=1791.79 cores=1,3,5,7
/proc/14715/stat : 14715 (java) S 14713 14715 11485 0 -1 4202496 1054478 0 1 0 179056 123 0 0 25 0 19 0 877648621 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14715/statm: 2653797 1044403 2266 9 0 2644531 0
[pid=14715/tid=14717] ppid=14713 vsize=10615188 CPUtime=1778.52 cores=1,3,5,7
/proc/14715/task/14717/stat : 14717 (java) R 14713 14715 11485 0 -1 4202560 783385 0 1 0 177769 83 0 0 25 0 19 0 877648622 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 46912506237994 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=10615188 CPUtime=1.5 cores=1,3,5,7
/proc/14715/task/14718/stat : 14718 (java) S 14713 14715 11485 0 -1 4202560 37883 0 0 0 146 4 0 0 15 0 19 0 877648623 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14719] ppid=14713 vsize=10615188 CPUtime=1.06 cores=1,3,5,7
/proc/14715/task/14719/stat : 14719 (java) S 14713 14715 11485 0 -1 4202560 24485 0 0 0 103 3 0 0 15 0 19 0 877648623 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14720] ppid=14713 vsize=10615188 CPUtime=1.32 cores=1,3,5,7
/proc/14715/task/14720/stat : 14720 (java) S 14713 14715 11485 0 -1 4202560 25410 0 0 0 129 3 0 0 16 0 19 0 877648623 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=10615188 CPUtime=1.24 cores=1,3,5,7
/proc/14715/task/14721/stat : 14721 (java) S 14713 14715 11485 0 -1 4202560 31344 0 0 0 120 4 0 0 15 0 19 0 877648623 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=10615188 CPUtime=1.35 cores=1,3,5,7
/proc/14715/task/14722/stat : 14722 (java) S 14713 14715 11485 0 -1 4202560 33752 0 0 0 131 4 0 0 16 0 19 0 877648623 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14723] ppid=14713 vsize=10615188 CPUtime=1.28 cores=1,3,5,7
/proc/14715/task/14723/stat : 14723 (java) S 14713 14715 11485 0 -1 4202560 31227 0 0 0 125 3 0 0 15 0 19 0 877648623 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14724] ppid=14713 vsize=10615188 CPUtime=1.42 cores=1,3,5,7
/proc/14715/task/14724/stat : 14724 (java) S 14713 14715 11485 0 -1 4202560 33220 0 0 0 137 5 0 0 16 0 19 0 877648623 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14725] ppid=14713 vsize=10615188 CPUtime=1.39 cores=1,3,5,7
/proc/14715/task/14725/stat : 14725 (java) S 14713 14715 11485 0 -1 4202560 40530 0 0 0 135 4 0 0 16 0 19 0 877648623 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=10615188 CPUtime=0.7 cores=1,3,5,7
/proc/14715/task/14726/stat : 14726 (java) S 14713 14715 11485 0 -1 4202560 279 0 0 0 68 2 0 0 15 0 19 0 877648624 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 0 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14727/stat : 14727 (java) S 14713 14715 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877648625 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14728/stat : 14728 (java) S 14713 14715 11485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877648625 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14729/stat : 14729 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648627 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676631985 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=10615188 CPUtime=1.04 cores=1,3,5,7
/proc/14715/task/14730/stat : 14730 (java) S 14713 14715 11485 0 -1 4202560 7837 0 0 0 103 1 0 0 15 0 19 0 877648627 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=10615188 CPUtime=0.84 cores=1,3,5,7
/proc/14715/task/14731/stat : 14731 (java) S 14713 14715 11485 0 -1 4202560 3873 0 0 0 84 0 0 0 15 0 19 0 877648627 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14732/stat : 14732 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877648627 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14733] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14733/stat : 14733 (java) S 14713 14715 11485 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877648627 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14734] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14734/stat : 14734 (java) S 14713 14715 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 877648814 10869952512 1044403 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1791.79
Current children cumulated vsize (KiB) 10615188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/212 14901
/proc/meminfo: memFree=23978956/32951132 swapFree=67054608/67111528
[pid=14715] ppid=14713 vsize=10615188 CPUtime=1800.03 cores=1,3,5,7
/proc/14715/stat : 14715 (java) S 14713 14715 11485 0 -1 4202496 1057346 0 1 0 179880 123 0 0 25 0 19 0 877648621 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14715/statm: 2653797 1047184 2266 9 0 2644531 0
[pid=14715/tid=14717] ppid=14713 vsize=10615188 CPUtime=1786.71 cores=1,3,5,7
/proc/14715/task/14717/stat : 14717 (java) R 14713 14715 11485 0 -1 4202560 783387 0 1 0 178588 83 0 0 25 0 19 0 877648622 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 46912506117121 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=10615188 CPUtime=1.5 cores=1,3,5,7
/proc/14715/task/14718/stat : 14718 (java) S 14713 14715 11485 0 -1 4202560 37883 0 0 0 146 4 0 0 15 0 19 0 877648623 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14719] ppid=14713 vsize=10615188 CPUtime=1.06 cores=1,3,5,7
/proc/14715/task/14719/stat : 14719 (java) S 14713 14715 11485 0 -1 4202560 24485 0 0 0 103 3 0 0 15 0 19 0 877648623 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14720] ppid=14713 vsize=10615188 CPUtime=1.33 cores=1,3,5,7
/proc/14715/task/14720/stat : 14720 (java) S 14713 14715 11485 0 -1 4202560 25968 0 0 0 130 3 0 0 16 0 19 0 877648623 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=10615188 CPUtime=1.25 cores=1,3,5,7
/proc/14715/task/14721/stat : 14721 (java) S 14713 14715 11485 0 -1 4202560 32785 0 0 0 121 4 0 0 16 0 19 0 877648623 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=10615188 CPUtime=1.36 cores=1,3,5,7
/proc/14715/task/14722/stat : 14722 (java) S 14713 14715 11485 0 -1 4202560 34249 0 0 0 132 4 0 0 16 0 19 0 877648623 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14723] ppid=14713 vsize=10615188 CPUtime=1.28 cores=1,3,5,7
/proc/14715/task/14723/stat : 14723 (java) S 14713 14715 11485 0 -1 4202560 31227 0 0 0 125 3 0 0 15 0 19 0 877648623 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14724] ppid=14713 vsize=10615188 CPUtime=1.44 cores=1,3,5,7
/proc/14715/task/14724/stat : 14724 (java) S 14713 14715 11485 0 -1 4202560 33590 0 0 0 139 5 0 0 16 0 19 0 877648623 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14725] ppid=14713 vsize=10615188 CPUtime=1.39 cores=1,3,5,7
/proc/14715/task/14725/stat : 14725 (java) S 14713 14715 11485 0 -1 4202560 40530 0 0 0 135 4 0 0 15 0 19 0 877648623 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=10615188 CPUtime=0.7 cores=1,3,5,7
/proc/14715/task/14726/stat : 14726 (java) S 14713 14715 11485 0 -1 4202560 279 0 0 0 68 2 0 0 15 0 19 0 877648624 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 0 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14727/stat : 14727 (java) S 14713 14715 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877648625 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14728/stat : 14728 (java) S 14713 14715 11485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877648625 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14729/stat : 14729 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877648627 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676631985 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=10615188 CPUtime=1.04 cores=1,3,5,7
/proc/14715/task/14730/stat : 14730 (java) S 14713 14715 11485 0 -1 4202560 7837 0 0 0 103 1 0 0 15 0 19 0 877648627 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=10615188 CPUtime=0.84 cores=1,3,5,7
/proc/14715/task/14731/stat : 14731 (java) S 14713 14715 11485 0 -1 4202560 3873 0 0 0 84 0 0 0 15 0 19 0 877648627 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14732/stat : 14732 (java) S 14713 14715 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877648627 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=14715/tid=14733] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14733/stat : 14733 (java) S 14713 14715 11485 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877648627 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=14715/tid=14734] ppid=14713 vsize=10615188 CPUtime=0 cores=1,3,5,7
/proc/14715/task/14734/stat : 14734 (java) S 14713 14715 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 877648814 10869952512 1047184 33554432000 1073741824 1073778376 140733896141712 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10615188
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.61 s]
/proc/loadavg: 2.02 2.03 2.00 3/212 14901
/proc/meminfo: memFree=23978956/32951132 swapFree=67054608/67111528
[pid=14715] ppid=14713 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/14715/stat : 14715 (java) Z 14713 14715 11485 0 -1 4203548 1057374 0 1 0 179882 133 0 0 17 0 2 0 877648621 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14715/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.68
CPU time (s): 1800.22
CPU user time (s): 1798.82
CPU system time (s): 1.39379
CPU usage (%): 100.533
Max. virtual memory (cumulated for all children) (KiB): 10617904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 1.39379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1057374
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= 46700
involuntary context switches= 17915
runsolver used 2.95255 second user time and 6.85896 second system time
The end