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-3454356-1307188852/watcher-3454356-1307188852 -o /tmp/evaluation-result-3454356-1307188852/solver-3454356-1307188852 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454356-1307188852.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.62 3.75 3.09 3/593 2837
/proc/meminfo: memFree=29616192/32950928 swapFree=43925852/67111528
[pid=2837] ppid=2835 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/2837/stat : 2837 (java) S 2835 2837 32216 0 -1 4202496 1315 0 0 0 0 0 0 0 25 0 2 0 830484020 36646912 1018 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 8947 1018 782 9 0 386 0
[pid=2837/tid=2838] ppid=2835 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (java) R 2835 2837 32216 0 -1 4202560 8415 0 1 0 0 1 0 0 25 0 2 0 830484020 10694979584 9231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.113727 s]
/proc/loadavg: 3.62 3.75 3.09 3/593 2837
/proc/meminfo: memFree=29616192/32950928 swapFree=43925852/67111528
[pid=2837] ppid=2835 vsize=10540620 CPUtime=0.12 cores=0,2,4,6
/proc/2837/stat : 2837 (java) S 2835 2837 32216 0 -1 4202496 13365 0 1 0 10 2 0 0 25 0 18 0 830484020 10793594880 12998 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 2635155 12998 2133 9 0 2625889 0
[pid=2837/tid=2838] ppid=2835 vsize=10540620 CPUtime=0.1 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (java) R 2835 2837 32216 0 -1 4202560 11339 0 1 0 8 2 0 0 25 0 18 0 830484020 10793594880 12998 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 47586059173795 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540620
[startup+0.201019 s]
/proc/loadavg: 3.62 3.75 3.09 3/593 2837
/proc/meminfo: memFree=29616192/32950928 swapFree=43925852/67111528
[pid=2837] ppid=2835 vsize=10541892 CPUtime=0.29 cores=0,2,4,6
/proc/2837/stat : 2837 (java) S 2835 2837 32216 0 -1 4202496 14363 0 1 0 27 2 0 0 25 0 18 0 830484020 10794897408 13996 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 2635473 13996 2186 9 0 2626207 0
[pid=2837/tid=2838] ppid=2835 vsize=10541892 CPUtime=0.18 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (java) R 2835 2837 32216 0 -1 4202560 11957 0 1 0 16 2 0 0 25 0 18 0 830484020 10794897408 13997 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 47586063641427 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10541892
[startup+0.300999 s]
/proc/loadavg: 3.62 3.75 3.09 3/593 2837
/proc/meminfo: memFree=29616192/32950928 swapFree=43925852/67111528
[pid=2837] ppid=2835 vsize=10541892 CPUtime=0.49 cores=0,2,4,6
/proc/2837/stat : 2837 (java) S 2835 2837 32216 0 -1 4202496 16357 0 1 0 47 2 0 0 25 0 18 0 830484020 10794897408 15547 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 2635473 15547 2201 9 0 2626207 0
[pid=2837/tid=2838] ppid=2835 vsize=10541892 CPUtime=0.28 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (java) R 2835 2837 32216 0 -1 4202560 13296 0 1 0 26 2 0 0 25 0 18 0 830484020 10794897408 15548 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541892
[startup+0.700949 s]
/proc/loadavg: 3.62 3.75 3.09 3/593 2837
/proc/meminfo: memFree=29616192/32950928 swapFree=43925852/67111528
[pid=2837] ppid=2835 vsize=10549568 CPUtime=1.12 cores=0,2,4,6
/proc/2837/stat : 2837 (java) S 2835 2837 32216 0 -1 4202496 23555 0 1 0 108 4 0 0 25 0 19 0 830484020 10802757632 20642 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 2637392 20642 2230 9 0 2628126 0
[pid=2837/tid=2838] ppid=2835 vsize=10549568 CPUtime=0.35 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (java) S 2835 2837 32216 0 -1 4202560 15752 0 1 0 33 2 0 0 25 0 19 0 830484020 10802757632 20642 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 10549568
[startup+1.50074 s]
/proc/loadavg: 3.62 3.75 3.09 3/612 2873
/proc/meminfo: memFree=29538736/32950928 swapFree=43925852/67111528
[pid=2837] ppid=2835 vsize=10550632 CPUtime=1.58 cores=0,2,4,6
/proc/2837/stat : 2837 (java) S 2835 2837 32216 0 -1 4202496 24971 0 1 0 153 5 0 0 25 0 21 0 830484020 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 2637658 21688 2240 9 0 2628392 0
[pid=2837/tid=2838] ppid=2835 vsize=10550632 CPUtime=0.38 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (java) S 2835 2837 32216 0 -1 4202560 16142 0 1 0 35 3 0 0 17 0 21 0 830484020 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2840] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2841] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2841/stat : 2841 (java) S 2835 2837 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 21 0 830484022 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2842] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2842/stat : 2842 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2843] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2843/stat : 2843 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2844] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2844/stat : 2844 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2846] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2846/stat : 2846 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2847] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2847/stat : 2847 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2848] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2848/stat : 2848 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2858] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2858/stat : 2858 (java) S 2835 2837 32216 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 21 0 830484023 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 0 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2859] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2859/stat : 2859 (java) S 2835 2837 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 21 0 830484023 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2860] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2860/stat : 2860 (java) S 2835 2837 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830484023 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2861] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2861/stat : 2861 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484025 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284512689 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2862] ppid=2835 vsize=10550632 CPUtime=0.47 cores=0,2,4,6
/proc/2837/task/2862/stat : 2862 (java) R 2835 2837 32216 0 -1 4202560 3082 0 0 0 47 0 0 0 18 0 21 0 830484025 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 47586059968968 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2837/tid=2863] ppid=2835 vsize=10550632 CPUtime=0.41 cores=0,2,4,6
/proc/2837/task/2863/stat : 2863 (java) R 2835 2837 32216 0 -1 4202560 3954 0 0 0 41 0 0 0 17 0 21 0 830484025 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 47586061841154 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2837/tid=2864] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2864/stat : 2864 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484025 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2865] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2865/stat : 2865 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 21 0 830484026 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2868] ppid=2835 vsize=10550632 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2868/stat : 2868 (java) S 2835 2837 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830484059 10803847168 21688 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10550632
[startup+3.1015 s]
/proc/loadavg: 3.62 3.75 3.09 4/614 2876
/proc/meminfo: memFree=29303616/32950928 swapFree=43925852/67111528
[pid=2837] ppid=2835 vsize=10563292 CPUtime=3.85 cores=0,2,4,6
/proc/2837/stat : 2837 (java) S 2835 2837 32216 0 -1 4202496 172107 0 1 0 364 21 0 0 25 0 21 0 830484020 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 2640823 165719 2241 9 0 2631557 0
[pid=2837/tid=2838] ppid=2835 vsize=10563292 CPUtime=0.38 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (java) S 2835 2837 32216 0 -1 4202560 16143 0 1 0 35 3 0 0 15 0 21 0 830484020 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2840] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2841] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2841/stat : 2841 (java) S 2835 2837 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2842] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2842/stat : 2842 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2843] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2843/stat : 2843 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2844] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2844/stat : 2844 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2846] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2846/stat : 2846 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2847] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2847/stat : 2847 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2848] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2848/stat : 2848 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2858] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2858/stat : 2858 (java) S 2835 2837 32216 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 21 0 830484023 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 0 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2859] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2859/stat : 2859 (java) S 2835 2837 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 21 0 830484023 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2860] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2860/stat : 2860 (java) S 2835 2837 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830484023 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2861] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2861/stat : 2861 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484025 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284512689 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2862] ppid=2835 vsize=10563292 CPUtime=0.69 cores=0,2,4,6
/proc/2837/task/2862/stat : 2862 (java) S 2835 2837 32216 0 -1 4202560 4712 0 0 0 69 0 0 0 15 0 21 0 830484025 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2863] ppid=2835 vsize=10563292 CPUtime=0.86 cores=0,2,4,6
/proc/2837/task/2863/stat : 2863 (java) S 2835 2837 32216 0 -1 4202560 8928 0 0 0 85 1 0 0 15 0 21 0 830484025 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2864] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2864/stat : 2864 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484025 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2865] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2865/stat : 2865 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 21 0 830484026 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2868] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2868/stat : 2868 (java) S 2835 2837 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830484059 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2875] ppid=2835 vsize=10563292 CPUtime=1.66 cores=0,2,4,6
/proc/2837/task/2875/stat : 2875 (java) R 2835 2837 32216 0 -1 4202560 140793 0 0 0 151 15 0 0 18 0 21 0 830484162 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 46912506217230 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2837/tid=2876] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2876/stat : 2876 (java) S 2835 2837 32216 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 21 0 830484163 10816811008 165719 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 10563292
[startup+6.30088 s]
/proc/loadavg: 3.49 3.72 3.09 3/614 2876
/proc/meminfo: memFree=28036052/32950928 swapFree=43925852/67111528
[pid=2837] ppid=2835 vsize=10563292 CPUtime=7.19 cores=0,2,4,6
/proc/2837/stat : 2837 (java) S 2835 2837 32216 0 -1 4202496 479819 0 1 0 668 51 0 0 25 0 21 0 830484020 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 2640823 473015 2241 9 0 2631557 0
[pid=2837/tid=2838] ppid=2835 vsize=10563292 CPUtime=0.38 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (java) S 2835 2837 32216 0 -1 4202560 16144 0 1 0 35 3 0 0 15 0 21 0 830484020 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2840] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2841] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2841/stat : 2841 (java) S 2835 2837 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2842] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2842/stat : 2842 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2843] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2843/stat : 2843 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2844] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2844/stat : 2844 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2846] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2846/stat : 2846 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2847] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2847/stat : 2847 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2848] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2848/stat : 2848 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484022 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2858] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2858/stat : 2858 (java) S 2835 2837 32216 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 21 0 830484023 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 0 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2859] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2859/stat : 2859 (java) S 2835 2837 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 21 0 830484023 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2860] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2860/stat : 2860 (java) S 2835 2837 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830484023 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2861] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2861/stat : 2861 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484025 10816811008 473015 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284512689 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/2837/task/2838/stat : 2838 (java) S 2835 2837 32216 0 -1 4202560 16144 0 1 0 35 3 0 0 15 0 21 0 830484020 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2840] ppid=2835 vsize=10563292 CPUtime=0.49 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (java) S 2835 2837 32216 0 -1 4202560 38216 0 0 0 42 7 0 0 16 0 21 0 830484022 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2841] ppid=2835 vsize=10563292 CPUtime=0.46 cores=0,2,4,6
/proc/2837/task/2841/stat : 2841 (java) S 2835 2837 32216 0 -1 4202560 29291 0 0 0 41 5 0 0 16 0 21 0 830484022 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2842] ppid=2835 vsize=10563292 CPUtime=0.4 cores=0,2,4,6
/proc/2837/task/2842/stat : 2842 (java) S 2835 2837 32216 0 -1 4202560 23180 0 0 0 37 3 0 0 16 0 21 0 830484022 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2843] ppid=2835 vsize=10563292 CPUtime=0.38 cores=0,2,4,6
/proc/2837/task/2843/stat : 2843 (java) S 2835 2837 32216 0 -1 4202560 25346 0 0 0 34 4 0 0 15 0 21 0 830484022 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2844] ppid=2835 vsize=10563292 CPUtime=0.48 cores=0,2,4,6
/proc/2837/task/2844/stat : 2844 (java) S 2835 2837 32216 0 -1 4202560 38345 0 0 0 42 6 0 0 16 0 21 0 830484022 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2846] ppid=2835 vsize=10563292 CPUtime=0.47 cores=0,2,4,6
/proc/2837/task/2846/stat : 2846 (java) S 2835 2837 32216 0 -1 4202560 33697 0 0 0 42 5 0 0 15 0 21 0 830484022 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2847] ppid=2835 vsize=10563292 CPUtime=0.53 cores=0,2,4,6
/proc/2837/task/2847/stat : 2847 (java) S 2835 2837 32216 0 -1 4202560 36200 0 0 0 48 5 0 0 15 0 21 0 830484022 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2848] ppid=2835 vsize=10563292 CPUtime=0.47 cores=0,2,4,6
/proc/2837/task/2848/stat : 2848 (java) S 2835 2837 32216 0 -1 4202560 27136 0 0 0 42 5 0 0 15 0 21 0 830484022 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2858] ppid=2835 vsize=10563292 CPUtime=0.01 cores=0,2,4,6
/proc/2837/task/2858/stat : 2858 (java) S 2835 2837 32216 0 -1 4202560 104 0 0 0 1 0 0 0 15 0 21 0 830484023 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 0 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2859] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2859/stat : 2859 (java) S 2835 2837 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 830484023 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2860] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2860/stat : 2860 (java) S 2835 2837 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 21 0 830484023 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2861] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2861/stat : 2861 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484025 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284512689 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2862] ppid=2835 vsize=10563292 CPUtime=0.85 cores=0,2,4,6
/proc/2837/task/2862/stat : 2862 (java) S 2835 2837 32216 0 -1 4202560 5126 0 0 0 84 1 0 0 15 0 21 0 830484025 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2863] ppid=2835 vsize=10563292 CPUtime=0.94 cores=0,2,4,6
/proc/2837/task/2863/stat : 2863 (java) S 2835 2837 32216 0 -1 4202560 8936 0 0 0 93 1 0 0 15 0 21 0 830484025 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2864] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2864/stat : 2864 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484025 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2865] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2865/stat : 2865 (java) S 2835 2837 32216 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 21 0 830484026 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2868] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2868/stat : 2868 (java) S 2835 2837 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830484059 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2875] ppid=2835 vsize=10563292 CPUtime=1719.58 cores=0,2,4,6
/proc/2837/task/2875/stat : 2875 (java) R 2835 2837 32216 0 -1 4202560 820517 0 0 0 171871 87 0 0 25 0 21 0 830484162 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 46912506281141 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2837/tid=2876] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2876/stat : 2876 (java) S 2835 2837 32216 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 21 0 830484163 10816811008 1083811 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1725.77
Current children cumulated vsize (KiB) 10563292
[startup+1782.3 s]
/proc/loadavg: 3.01 2.93 2.96 4/614 3143
/proc/meminfo: memFree=25613268/32950928 swapFree=43925852/67111528
[pid=2837] ppid=2835 vsize=10563292 CPUtime=1785.78 cores=0,2,4,6
/proc/2837/stat : 2837 (java) S 2835 2837 32216 0 -1 4202496 1104283 0 1 0 178441 137 0 0 25 0 21 0 830484020 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 2640823 1084231 2253 9 0 2631557 0
[pid=2837/tid=2838] ppid=2835 vsize=10563292 CPUtime=0.38 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (java) S 2835 2837 32216 0 -1 4202560 16144 0 1 0 35 3 0 0 15 0 21 0 830484020 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2840] ppid=2835 vsize=10563292 CPUtime=0.49 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (java) S 2835 2837 32216 0 -1 4202560 38216 0 0 0 42 7 0 0 15 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2841] ppid=2835 vsize=10563292 CPUtime=0.47 cores=0,2,4,6
/proc/2837/task/2841/stat : 2841 (java) S 2835 2837 32216 0 -1 4202560 29711 0 0 0 42 5 0 0 16 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2842] ppid=2835 vsize=10563292 CPUtime=0.4 cores=0,2,4,6
/proc/2837/task/2842/stat : 2842 (java) S 2835 2837 32216 0 -1 4202560 23180 0 0 0 37 3 0 0 15 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2843] ppid=2835 vsize=10563292 CPUtime=0.38 cores=0,2,4,6
/proc/2837/task/2843/stat : 2843 (java) S 2835 2837 32216 0 -1 4202560 25346 0 0 0 34 4 0 0 15 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2844] ppid=2835 vsize=10563292 CPUtime=0.49 cores=0,2,4,6
/proc/2837/task/2844/stat : 2844 (java) S 2835 2837 32216 0 -1 4202560 38345 0 0 0 43 6 0 0 16 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2846] ppid=2835 vsize=10563292 CPUtime=0.47 cores=0,2,4,6
/proc/2837/task/2846/stat : 2846 (java) S 2835 2837 32216 0 -1 4202560 33697 0 0 0 42 5 0 0 15 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2847] ppid=2835 vsize=10563292 CPUtime=0.53 cores=0,2,4,6
/proc/2837/task/2847/stat : 2847 (java) S 2835 2837 32216 0 -1 4202560 36200 0 0 0 48 5 0 0 15 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2848] ppid=2835 vsize=10563292 CPUtime=0.47 cores=0,2,4,6
/proc/2837/task/2848/stat : 2848 (java) S 2835 2837 32216 0 -1 4202560 27136 0 0 0 42 5 0 0 15 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2858] ppid=2835 vsize=10563292 CPUtime=0.01 cores=0,2,4,6
/proc/2837/task/2858/stat : 2858 (java) S 2835 2837 32216 0 -1 4202560 106 0 0 0 1 0 0 0 15 0 21 0 830484023 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 0 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2859] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2859/stat : 2859 (java) S 2835 2837 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 830484023 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2860] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2860/stat : 2860 (java) S 2835 2837 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 21 0 830484023 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2861] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2861/stat : 2861 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484025 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284512689 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2862] ppid=2835 vsize=10563292 CPUtime=0.85 cores=0,2,4,6
/proc/2837/task/2862/stat : 2862 (java) S 2835 2837 32216 0 -1 4202560 5126 0 0 0 84 1 0 0 15 0 21 0 830484025 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2863] ppid=2835 vsize=10563292 CPUtime=0.94 cores=0,2,4,6
/proc/2837/task/2863/stat : 2863 (java) S 2835 2837 32216 0 -1 4202560 8936 0 0 0 93 1 0 0 15 0 21 0 830484025 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2864] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2864/stat : 2864 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484025 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2865] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2865/stat : 2865 (java) S 2835 2837 32216 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 21 0 830484026 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2868] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2868/stat : 2868 (java) S 2835 2837 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830484059 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2875] ppid=2835 vsize=10563292 CPUtime=1779.57 cores=0,2,4,6
/proc/2837/task/2875/stat : 2875 (java) R 2835 2837 32216 0 -1 4202560 820518 0 0 0 177870 87 0 0 25 0 21 0 830484162 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 46912506264522 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2837/tid=2876] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2876/stat : 2876 (java) S 2835 2837 32216 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 21 0 830484163 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1785.78
Current children cumulated vsize (KiB) 10563292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 3.01 2.93 2.96 4/614 3144
/proc/meminfo: memFree=25610156/32950928 swapFree=43925852/67111528
[pid=2837] ppid=2835 vsize=10563292 CPUtime=1800.1 cores=0,2,4,6
/proc/2837/stat : 2837 (java) S 2835 2837 32216 0 -1 4202496 1104285 0 1 0 179872 138 0 0 25 0 21 0 830484020 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2837/statm: 2640823 1084231 2253 9 0 2631557 0
[pid=2837/tid=2838] ppid=2835 vsize=10563292 CPUtime=0.38 cores=0,2,4,6
/proc/2837/task/2838/stat : 2838 (java) S 2835 2837 32216 0 -1 4202560 16144 0 1 0 35 3 0 0 15 0 21 0 830484020 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2840] ppid=2835 vsize=10563292 CPUtime=0.49 cores=0,2,4,6
/proc/2837/task/2840/stat : 2840 (java) S 2835 2837 32216 0 -1 4202560 38216 0 0 0 42 7 0 0 15 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2841] ppid=2835 vsize=10563292 CPUtime=0.47 cores=0,2,4,6
/proc/2837/task/2841/stat : 2841 (java) S 2835 2837 32216 0 -1 4202560 29711 0 0 0 42 5 0 0 16 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2842] ppid=2835 vsize=10563292 CPUtime=0.4 cores=0,2,4,6
/proc/2837/task/2842/stat : 2842 (java) S 2835 2837 32216 0 -1 4202560 23180 0 0 0 37 3 0 0 15 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2843] ppid=2835 vsize=10563292 CPUtime=0.38 cores=0,2,4,6
/proc/2837/task/2843/stat : 2843 (java) S 2835 2837 32216 0 -1 4202560 25346 0 0 0 34 4 0 0 15 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2844] ppid=2835 vsize=10563292 CPUtime=0.49 cores=0,2,4,6
/proc/2837/task/2844/stat : 2844 (java) S 2835 2837 32216 0 -1 4202560 38345 0 0 0 43 6 0 0 16 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 6 0 0 0
[pid=2837/tid=2846] ppid=2835 vsize=10563292 CPUtime=0.47 cores=0,2,4,6
/proc/2837/task/2846/stat : 2846 (java) S 2835 2837 32216 0 -1 4202560 33697 0 0 0 42 5 0 0 15 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2847] ppid=2835 vsize=10563292 CPUtime=0.53 cores=0,2,4,6
/proc/2837/task/2847/stat : 2847 (java) S 2835 2837 32216 0 -1 4202560 36200 0 0 0 48 5 0 0 15 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2848] ppid=2835 vsize=10563292 CPUtime=0.47 cores=0,2,4,6
/proc/2837/task/2848/stat : 2848 (java) S 2835 2837 32216 0 -1 4202560 27136 0 0 0 42 5 0 0 15 0 21 0 830484022 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2858] ppid=2835 vsize=10563292 CPUtime=0.01 cores=0,2,4,6
/proc/2837/task/2858/stat : 2858 (java) S 2835 2837 32216 0 -1 4202560 106 0 0 0 1 0 0 0 15 0 21 0 830484023 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 0 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2859] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2859/stat : 2859 (java) S 2835 2837 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 830484023 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2860] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2860/stat : 2860 (java) S 2835 2837 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 21 0 830484023 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2861] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2861/stat : 2861 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484025 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284512689 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2862] ppid=2835 vsize=10563292 CPUtime=0.85 cores=0,2,4,6
/proc/2837/task/2862/stat : 2862 (java) S 2835 2837 32216 0 -1 4202560 5126 0 0 0 84 1 0 0 15 0 21 0 830484025 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2863] ppid=2835 vsize=10563292 CPUtime=0.94 cores=0,2,4,6
/proc/2837/task/2863/stat : 2863 (java) S 2835 2837 32216 0 -1 4202560 8936 0 0 0 93 1 0 0 15 0 21 0 830484025 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 4 0 0 0
[pid=2837/tid=2864] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2864/stat : 2864 (java) S 2835 2837 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830484025 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284504985 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
[pid=2837/tid=2865] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2865/stat : 2865 (java) R 2835 2837 32216 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 21 0 830484026 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2837/tid=2868] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2868/stat : 2868 (java) S 2835 2837 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830484059 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 0 0 0 0
[pid=2837/tid=2875] ppid=2835 vsize=10563292 CPUtime=1793.89 cores=0,2,4,6
/proc/2837/task/2875/stat : 2875 (java) R 2835 2837 32216 0 -1 4202560 820518 0 0 0 179302 87 0 0 25 0 21 0 830484162 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 46912506281211 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2837/tid=2876] ppid=2835 vsize=10563292 CPUtime=0 cores=0,2,4,6
/proc/2837/task/2876/stat : 2876 (java) S 2835 2837 32216 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 21 0 830484163 10816811008 1084231 33554432000 1073741824 1073778376 140735244293024 18446744073709551615 268284505600 0 4 0 16800975 18446604452314110784 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10563292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.73 s]
/proc/loadavg: 3.01 2.93 2.96 4/614 3144
/proc/meminfo: memFree=25610156/32950928 swapFree=43925852/67111528
[pid=2837] ppid=2835 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/2837/stat : 2837 (java) Z 2835 2837 32216 0 -1 4203548 1106064 0 1 0 179880 145 0 0 17 0 2 0 830484020 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2837/statm: 0 0 0 0 0 0 0
[pid=2837/tid=2864] ppid=2835 vsize=0 CPUtime=0.06 cores=0,2,4,6
/proc/2837/task/2864/stat : 2864 (java) R 2835 2837 32216 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 830484025 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
[startup+1796.8 s]
/proc/loadavg: 3.01 2.93 2.96 4/614 3144
/proc/meminfo: memFree=25610156/32950928 swapFree=43925852/67111528
[pid=2837] ppid=2835 vsize=0 CPUtime=1800.33 cores=0,2,4,6
/proc/2837/stat : 2837 (java) Z 2835 2837 32216 0 -1 4203548 1106064 0 1 0 179880 153 0 0 17 0 2 0 830484020 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2837/statm: 0 0 0 0 0 0 0
[pid=2837/tid=2864] ppid=2835 vsize=0 CPUtime=0.14 cores=0,2,4,6
/proc/2837/task/2864/stat : 2864 (java) R 2835 2837 32216 0 -1 4203588 1 0 0 0 0 14 0 0 18 0 2 0 830484025 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.82
CPU time (s): 1800.36
CPU user time (s): 1798.81
CPU system time (s): 1.54876
CPU usage (%): 100.197
Max. virtual memory (cumulated for all children) (KiB): 10563292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.54876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1106064
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= 43665
involuntary context switches= 19833
runsolver used 10.6144 second user time and 24.4053 second system time
The end