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-3456521-1307216207/watcher-3456521-1307216207 -o /tmp/evaluation-result-3456521-1307216207/solver-3456521-1307216207 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456521-1307216207.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.04 1.36 0.60 2/391 24881
/proc/meminfo: memFree=19190372/32951124 swapFree=37148216/67111528
[pid=24881] ppid=24879 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 24770 0 -1 4202496 1367 0 1 0 0 0 0 0 25 0 2 0 833221117 37810176 1071 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/24881/statm: 9231 1071 832 9 0 387 0
[pid=24881/tid=24882] ppid=24879 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24882/stat : 24882 (java) R 24879 24881 24770 0 -1 4202560 1592 0 1 0 0 0 0 0 25 0 2 0 833221118 10681323520 2408 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0403119 s]
/proc/loadavg: 2.04 1.36 0.60 2/391 24881
/proc/meminfo: memFree=19190372/32951124 swapFree=37148216/67111528
[pid=24881] ppid=24879 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 24770 0 -1 4202496 11102 0 1 0 1 1 0 0 25 0 13 0 833221117 10718699520 10801 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/24881/statm: 2616870 10801 1638 9 0 2607618 0
[pid=24881/tid=24882] ppid=24879 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/24881/task/24882/stat : 24882 (java) S 24879 24881 24770 0 -1 4202560 9957 0 1 0 1 1 0 0 25 0 13 0 833221118 10718699520 10801 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230809185862 0 4 0 16784584 13964521701162090496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.1003 s]
/proc/loadavg: 2.04 1.36 0.60 2/391 24881
/proc/meminfo: memFree=19190372/32951124 swapFree=37148216/67111528
[pid=24881] ppid=24879 vsize=10540484 CPUtime=0.09 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 24770 0 -1 4202496 13043 0 1 0 8 1 0 0 25 0 18 0 833221117 10793455616 12722 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24881/statm: 2635121 12723 2093 9 0 2625855 0
[pid=24881/tid=24882] ppid=24879 vsize=10540484 CPUtime=0.08 cores=1,3,5,7
/proc/24881/task/24882/stat : 24882 (java) R 24879 24881 24770 0 -1 4202560 11104 0 1 0 7 1 0 0 18 0 18 0 833221118 10793455616 12723 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 47338429808547 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540484
[startup+0.300231 s]
/proc/loadavg: 2.04 1.36 0.60 2/391 24881
/proc/meminfo: memFree=19190372/32951124 swapFree=37148216/67111528
[pid=24881] ppid=24879 vsize=10542668 CPUtime=0.47 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 24770 0 -1 4202496 16067 0 1 0 46 1 0 0 25 0 19 0 833221117 10795692032 15314 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24881/statm: 2635667 15315 2209 9 0 2626401 0
[pid=24881/tid=24882] ppid=24879 vsize=10542668 CPUtime=0.28 cores=1,3,5,7
/proc/24881/task/24882/stat : 24882 (java) R 24879 24881 24770 0 -1 4202560 12953 0 1 0 27 1 0 0 19 0 19 0 833221118 10795692032 15315 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542668
[startup+0.700162 s]
/proc/loadavg: 2.04 1.36 0.60 2/391 24881
/proc/meminfo: memFree=19190372/32951124 swapFree=37148216/67111528
[pid=24881] ppid=24879 vsize=10558980 CPUtime=1.62 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 24770 0 -1 4202496 40173 0 1 0 157 5 0 0 25 0 19 0 833221117 10812395520 37025 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24881/statm: 2639745 37026 2223 9 0 2630479 0
[pid=24881/tid=24882] ppid=24879 vsize=10558980 CPUtime=0.67 cores=1,3,5,7
/proc/24881/task/24882/stat : 24882 (java) R 24879 24881 24770 0 -1 4202560 28079 0 1 0 64 3 0 0 19 0 19 0 833221118 10812395520 37027 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 46912505792619 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10558980
[startup+1.50105 s]
/proc/loadavg: 2.04 1.36 0.60 5/410 24901
/proc/meminfo: memFree=18933672/32951124 swapFree=37148216/67111528
[pid=24881] ppid=24879 vsize=10558980 CPUtime=2.82 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 24770 0 -1 4202496 122939 0 1 0 267 15 0 0 25 0 19 0 833221117 10812395520 119791 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24881/statm: 2639745 119799 2227 9 0 2630479 0
[pid=24881/tid=24882] ppid=24879 vsize=10558980 CPUtime=1.47 cores=1,3,5,7
/proc/24881/task/24882/stat : 24882 (java) R 24879 24881 24770 0 -1 4202560 110691 0 1 0 134 13 0 0 20 0 19 0 833221118 10812395520 119803 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 46912505654521 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24881/tid=24884] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24884/stat : 24884 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 119808 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24885] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24885/stat : 24885 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 119812 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24886] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24886/stat : 24886 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 119816 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24887] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24887/stat : 24887 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 119820 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24888] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24888/stat : 24888 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 119824 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24889] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 119827 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 119831 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 119834 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 24770 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833221120 10812395520 119837 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 0 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833221121 10812395520 119841 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 24770 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833221121 10812395520 119844 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 119847 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820989361 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=10558980 CPUtime=0.67 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 24770 0 -1 4202560 6095 0 0 0 67 0 0 0 15 0 19 0 833221123 10812395520 119850 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=10558980 CPUtime=0.65 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 24770 0 -1 4202560 5008 0 0 0 65 0 0 0 20 0 19 0 833221123 10812395520 119853 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 119856 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833221123 10812395520 119859 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 4 0 16800975 18446604461835765952 0 0 -1 5 0 0 0
[pid=24881/tid=24900] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24900/stat : 24900 (java) S 24879 24881 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833221147 10812395520 119861 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 10558980
[startup+3.10076 s]
/proc/loadavg: 2.04 1.36 0.60 3/410 24901
/proc/meminfo: memFree=18458752/32951124 swapFree=37148216/67111528
[pid=24881] ppid=24879 vsize=10558980 CPUtime=4.54 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 24770 0 -1 4202496 294092 0 1 0 421 33 0 0 25 0 19 0 833221117 10812395520 290943 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24881/statm: 2639745 290950 2227 9 0 2630479 0
[pid=24881/tid=24882] ppid=24879 vsize=10558980 CPUtime=3.08 cores=1,3,5,7
/proc/24881/task/24882/stat : 24882 (java) R 24879 24881 24770 0 -1 4202560 281827 0 1 0 276 32 0 0 25 0 19 0 833221118 10812395520 290954 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 46912505654536 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24881/tid=24884] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24884/stat : 24884 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 290958 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24885] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24885/stat : 24885 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 290961 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24886] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24886/stat : 24886 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 290965 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24887] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24887/stat : 24887 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 290968 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24888] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24888/stat : 24888 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 290971 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24889] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 290974 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 290976 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 290979 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 24770 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833221120 10812395520 290982 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 0 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833221121 10812395520 290985 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 24770 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833221121 10812395520 290987 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 290989 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820989361 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=10558980 CPUtime=0.72 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 24770 0 -1 4202560 6100 0 0 0 72 0 0 0 15 0 19 0 833221123 10812395520 290991 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=10558980 CPUtime=0.72 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 24770 0 -1 4202560 5018 0 0 0 72 0 0 0 15 0 19 0 833221123 10812395520 290993 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 290995 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833221123 10812395520 290997 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 4 0 16800975 18446604461835765952 0 0 -1 5 0 0 0
[pid=24881/tid=24900] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24900/stat : 24900 (java) S 24879 24881 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833221147 10812395520 290999 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 10558980
[startup+6.30119 s]
/proc/loadavg: 2.04 1.37 0.61 3/410 24901
/proc/meminfo: memFree=17091180/32951124 swapFree=37148216/67111528
[pid=24881] ppid=24879 vsize=10558980 CPUtime=7.78 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 24770 0 -1 4202496 617008 0 1 0 712 66 0 0 25 0 19 0 833221117 10812395520 613698 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24881/statm: 2639745 613701 2231 9 0 2630479 0
[pid=24881/tid=24882] ppid=24879 vsize=10558980 CPUtime=6.28 cores=1,3,5,7
/proc/24881/task/24882/stat : 24882 (java) R 24879 24881 24770 0 -1 4202560 604727 0 1 0 563 65 0 0 25 0 19 0 833221118 10812395520 613703 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 46912505677248 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24881/tid=24884] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24884/stat : 24884 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 613705 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24885] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24885/stat : 24885 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 613707 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24886] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24886/stat : 24886 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 613709 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24887] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24887/stat : 24887 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 613710 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24888] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24888/stat : 24888 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 613712 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24889] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 613714 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 613716 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221119 10812395520 613718 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 24770 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833221120 10812395520 613721 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 0 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833221121 10812395520 613723 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 24770 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833221121 10812395520 613724 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 613726 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820989361 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=10558980 CPUtime=0.72 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 24770 0 -1 4202560 6100 0 0 0 72 0 0 0 15 0 19 0 833221123 10812395520 613727 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=10558980 CPUtime=0.76 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 24770 0 -1 4202560 5027 0 0 0 76 0 0 0 15 0 19 0 833221123 10812395520 613728 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 24770 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833221121 10812395520 916084 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 916084 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820989361 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=10558980 CPUtime=0.91 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 24770 0 -1 4202560 6144 0 0 0 91 0 0 0 15 0 19 0 833221123 10812395520 916084 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=10558980 CPUtime=0.82 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 24770 0 -1 4202560 5040 0 0 0 82 0 0 0 16 0 19 0 833221123 10812395520 916084 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 916084 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 24770 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 833221123 10812395520 916084 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24900] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24900/stat : 24900 (java) S 24879 24881 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833221147 10812395520 916084 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.26
Current children cumulated vsize (KiB) 10558980
[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 1.77 3/410 25006
/proc/meminfo: memFree=15535276/32951124 swapFree=37148216/67111528
[pid=24881] ppid=24879 vsize=10558980 CPUtime=1727.37 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 24770 0 -1 4202496 920413 0 1 0 172635 102 0 0 25 0 19 0 833221117 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24881/statm: 2639745 916112 2257 9 0 2630479 0
[pid=24881/tid=24882] ppid=24879 vsize=10558980 CPUtime=1719.85 cores=1,3,5,7
/proc/24881/task/24882/stat : 24882 (java) R 24879 24881 24770 0 -1 4202560 838717 0 1 0 171895 90 0 0 25 0 19 0 833221118 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 46912505644672 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24881/tid=24884] ppid=24879 vsize=10558980 CPUtime=0.55 cores=1,3,5,7
/proc/24881/task/24884/stat : 24884 (java) S 24879 24881 24770 0 -1 4202560 10531 0 0 0 54 1 0 0 15 0 19 0 833221119 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 5 0 0 0
[pid=24881/tid=24885] ppid=24879 vsize=10558980 CPUtime=0.66 cores=1,3,5,7
/proc/24881/task/24885/stat : 24885 (java) S 24879 24881 24770 0 -1 4202560 6326 0 0 0 66 0 0 0 15 0 19 0 833221119 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24886] ppid=24879 vsize=10558980 CPUtime=0.59 cores=1,3,5,7
/proc/24881/task/24886/stat : 24886 (java) S 24879 24881 24770 0 -1 4202560 9756 0 0 0 58 1 0 0 16 0 19 0 833221119 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 5 0 0 0
[pid=24881/tid=24887] ppid=24879 vsize=10558980 CPUtime=0.6 cores=1,3,5,7
/proc/24881/task/24887/stat : 24887 (java) S 24879 24881 24770 0 -1 4202560 5624 0 0 0 60 0 0 0 15 0 19 0 833221119 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24888] ppid=24879 vsize=10558980 CPUtime=0.6 cores=1,3,5,7
/proc/24881/task/24888/stat : 24888 (java) S 24879 24881 24770 0 -1 4202560 6403 0 0 0 59 1 0 0 16 0 19 0 833221119 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24889] ppid=24879 vsize=10558980 CPUtime=0.64 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 24770 0 -1 4202560 7808 0 0 0 64 0 0 0 16 0 19 0 833221119 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=10558980 CPUtime=0.59 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 24770 0 -1 4202560 6381 0 0 0 59 0 0 0 16 0 19 0 833221119 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=10558980 CPUtime=0.54 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 24770 0 -1 4202560 8785 0 0 0 53 1 0 0 15 0 19 0 833221119 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 5 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=10558980 CPUtime=0.88 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 24770 0 -1 4202560 7652 0 0 0 87 1 0 0 15 0 19 0 833221120 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 0 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833221121 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 24770 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833221121 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820989361 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=10558980 CPUtime=0.91 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 24770 0 -1 4202560 6144 0 0 0 91 0 0 0 15 0 19 0 833221123 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=10558980 CPUtime=0.82 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 24770 0 -1 4202560 5040 0 0 0 82 0 0 0 16 0 19 0 833221123 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 24770 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833221123 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24900] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24900/stat : 24900 (java) S 24879 24881 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833221147 10812395520 916112 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.37
Current children cumulated vsize (KiB) 10558980
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.78 3/410 25008
/proc/meminfo: memFree=15507852/32951124 swapFree=37148216/67111528
[pid=24881] ppid=24879 vsize=10558980 CPUtime=1787.48 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 24770 0 -1 4202496 920449 0 1 0 178646 102 0 0 25 0 19 0 833221117 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24881/statm: 2639745 916136 2257 9 0 2630479 0
[pid=24881/tid=24882] ppid=24879 vsize=10558980 CPUtime=1779.79 cores=1,3,5,7
/proc/24881/task/24882/stat : 24882 (java) R 24879 24881 24770 0 -1 4202560 838721 0 1 0 177889 90 0 0 25 0 19 0 833221118 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 46912505760366 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24881/tid=24884] ppid=24879 vsize=10558980 CPUtime=0.58 cores=1,3,5,7
/proc/24881/task/24884/stat : 24884 (java) S 24879 24881 24770 0 -1 4202560 10537 0 0 0 57 1 0 0 15 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 5 0 0 0
[pid=24881/tid=24885] ppid=24879 vsize=10558980 CPUtime=0.7 cores=1,3,5,7
/proc/24881/task/24885/stat : 24885 (java) S 24879 24881 24770 0 -1 4202560 6327 0 0 0 70 0 0 0 16 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24886] ppid=24879 vsize=10558980 CPUtime=0.59 cores=1,3,5,7
/proc/24881/task/24886/stat : 24886 (java) S 24879 24881 24770 0 -1 4202560 9756 0 0 0 58 1 0 0 15 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 5 0 0 0
[pid=24881/tid=24887] ppid=24879 vsize=10558980 CPUtime=0.63 cores=1,3,5,7
/proc/24881/task/24887/stat : 24887 (java) S 24879 24881 24770 0 -1 4202560 5630 0 0 0 63 0 0 0 15 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24888] ppid=24879 vsize=10558980 CPUtime=0.62 cores=1,3,5,7
/proc/24881/task/24888/stat : 24888 (java) S 24879 24881 24770 0 -1 4202560 6410 0 0 0 61 1 0 0 15 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24889] ppid=24879 vsize=10558980 CPUtime=0.66 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 24770 0 -1 4202560 7808 0 0 0 66 0 0 0 16 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=10558980 CPUtime=0.6 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 24770 0 -1 4202560 6381 0 0 0 60 0 0 0 15 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=10558980 CPUtime=0.58 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 24770 0 -1 4202560 8789 0 0 0 57 1 0 0 15 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 5 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=10558980 CPUtime=0.89 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 24770 0 -1 4202560 7656 0 0 0 87 2 0 0 15 0 19 0 833221120 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 0 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833221121 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 24770 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833221121 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820989361 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=10558980 CPUtime=0.91 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 24770 0 -1 4202560 6144 0 0 0 91 0 0 0 15 0 19 0 833221123 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=10558980 CPUtime=0.82 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 24770 0 -1 4202560 5040 0 0 0 82 0 0 0 16 0 19 0 833221123 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 24770 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833221123 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24900] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24900/stat : 24900 (java) S 24879 24881 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833221147 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (KiB) 10558980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.9 s]
/proc/loadavg: 2.01 2.02 1.78 3/410 25008
/proc/meminfo: memFree=15507852/32951124 swapFree=37148216/67111528
[pid=24881] ppid=24879 vsize=10558980 CPUtime=1800.09 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 24770 0 -1 4202496 920449 0 1 0 179907 102 0 0 25 0 19 0 833221117 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24881/statm: 2639745 916136 2257 9 0 2630479 0
[pid=24881/tid=24882] ppid=24879 vsize=10558980 CPUtime=1792.4 cores=1,3,5,7
/proc/24881/task/24882/stat : 24882 (java) R 24879 24881 24770 0 -1 4202560 838721 0 1 0 179150 90 0 0 25 0 19 0 833221118 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 46912505802717 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24881/tid=24884] ppid=24879 vsize=10558980 CPUtime=0.58 cores=1,3,5,7
/proc/24881/task/24884/stat : 24884 (java) S 24879 24881 24770 0 -1 4202560 10537 0 0 0 57 1 0 0 15 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 5 0 0 0
[pid=24881/tid=24885] ppid=24879 vsize=10558980 CPUtime=0.7 cores=1,3,5,7
/proc/24881/task/24885/stat : 24885 (java) S 24879 24881 24770 0 -1 4202560 6327 0 0 0 70 0 0 0 16 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24886] ppid=24879 vsize=10558980 CPUtime=0.59 cores=1,3,5,7
/proc/24881/task/24886/stat : 24886 (java) S 24879 24881 24770 0 -1 4202560 9756 0 0 0 58 1 0 0 15 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 5 0 0 0
[pid=24881/tid=24887] ppid=24879 vsize=10558980 CPUtime=0.63 cores=1,3,5,7
/proc/24881/task/24887/stat : 24887 (java) S 24879 24881 24770 0 -1 4202560 5630 0 0 0 63 0 0 0 15 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24888] ppid=24879 vsize=10558980 CPUtime=0.62 cores=1,3,5,7
/proc/24881/task/24888/stat : 24888 (java) S 24879 24881 24770 0 -1 4202560 6410 0 0 0 61 1 0 0 15 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24889] ppid=24879 vsize=10558980 CPUtime=0.66 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 24770 0 -1 4202560 7808 0 0 0 66 0 0 0 16 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=10558980 CPUtime=0.6 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 24770 0 -1 4202560 6381 0 0 0 60 0 0 0 15 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=10558980 CPUtime=0.58 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 24770 0 -1 4202560 8789 0 0 0 57 1 0 0 15 0 19 0 833221119 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 5 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=10558980 CPUtime=0.89 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 24770 0 -1 4202560 7656 0 0 0 87 2 0 0 15 0 19 0 833221120 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 0 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833221121 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 24770 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833221121 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820989361 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=10558980 CPUtime=0.91 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 24770 0 -1 4202560 6144 0 0 0 91 0 0 0 15 0 19 0 833221123 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=10558980 CPUtime=0.82 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 24770 0 -1 4202560 5040 0 0 0 82 0 0 0 16 0 19 0 833221123 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833221123 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820981657 0 4 0 16800975 18446604461835765952 0 0 -1 1 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 24770 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833221123 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 4 0 16800975 18446604461835765952 0 0 -1 3 0 0 0
[pid=24881/tid=24900] ppid=24879 vsize=10558980 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24900/stat : 24900 (java) S 24879 24881 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833221147 10812395520 916136 33554432000 1073741824 1073778376 140735010029888 18446744073709551615 230820982272 0 4 0 16800975 18446604461835765952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10558980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.02 s]
/proc/loadavg: 2.01 2.02 1.78 3/410 25008
/proc/meminfo: memFree=15507852/32951124 swapFree=37148216/67111528
[pid=24881] ppid=24879 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/24881/stat : 24881 (java) Z 24879 24881 24770 0 -1 4203548 920488 0 1 0 179915 108 0 0 17 0 2 0 833221117 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24881/statm: 0 0 0 0 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=0 CPUtime=0.05 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) R 24879 24881 24770 0 -1 4203588 1 0 0 0 0 5 0 0 18 0 2 0 833221123 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.08
CPU time (s): 1800.31
CPU user time (s): 1799.16
CPU system time (s): 1.14582
CPU usage (%): 100.291
Max. virtual memory (cumulated for all children) (KiB): 10558980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 1.14582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 920488
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= 40650
involuntary context switches= 13833
runsolver used 6.68398 second user time and 16.1185 second system time
The end