runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311241-1304115337/watcher-3311241-1304115337 -o /tmp/evaluation-result-3311241-1304115337/solver-3311241-1304115337 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311241-1304115337.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 4.86 5.12 5.49 2/197 25858
/proc/meminfo: memFree=15685152/32951124 swapFree=67106388/67111528
[pid=25858] ppid=25856 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/25858/stat : 25858 (java) R 25856 25858 25707 0 -1 4202496 1198 0 0 0 0 0 0 0 25 0 1 0 503949977 23580672 685 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212034692584 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25858/statm: 5757 685 512 9 0 124 0
[startup+0.083937 s]
/proc/loadavg: 4.86 5.12 5.49 2/197 25858
/proc/meminfo: memFree=15685152/32951124 swapFree=67106388/67111528
[pid=25858] ppid=25856 vsize=15676928 CPUtime=0.08 cores=0,2,4,6
/proc/25858/stat : 25858 (java) S 25856 25858 25707 0 -1 4202496 5264 0 1 0 7 1 0 0 25 0 18 0 503949977 16053174272 4686 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 3919232 4686 2087 9 0 3909951 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15676928
[startup+0.101771 s]
/proc/loadavg: 4.86 5.12 5.49 2/197 25858
/proc/meminfo: memFree=15685152/32951124 swapFree=67106388/67111528
[pid=25858] ppid=25856 vsize=15676860 CPUtime=0.1 cores=0,2,4,6
/proc/25858/stat : 25858 (java) S 25856 25858 25707 0 -1 4202496 5562 0 1 0 9 1 0 0 25 0 18 0 503949977 16053104640 4984 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 3919215 4984 2117 9 0 3909934 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676860
[startup+0.300929 s]
/proc/loadavg: 4.86 5.12 5.49 2/197 25858
/proc/meminfo: memFree=15685152/32951124 swapFree=67106388/67111528
[pid=25858] ppid=25856 vsize=15680504 CPUtime=0.52 cores=0,2,4,6
/proc/25858/stat : 25858 (java) S 25856 25858 25707 0 -1 4202496 14828 0 1 0 51 1 0 0 25 0 18 0 503949977 16056836096 13236 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 3920126 13242 2207 9 0 3910845 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15680504
[startup+0.70083 s]
/proc/loadavg: 4.86 5.12 5.49 2/197 25858
/proc/meminfo: memFree=15685152/32951124 swapFree=67106388/67111528
[pid=25858] ppid=25856 vsize=15702768 CPUtime=1.22 cores=0,2,4,6
/proc/25858/stat : 25858 (java) S 25856 25858 25707 0 -1 4202496 46414 0 1 0 117 5 0 0 25 0 22 0 503949977 16079634432 42807 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 3925692 42807 2248 9 0 3916411 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 15702768
[startup+1.50441 s]
/proc/loadavg: 4.86 5.12 5.49 5/219 25880
/proc/meminfo: memFree=15506480/32951124 swapFree=67106388/67111528
[pid=25858] ppid=25856 vsize=15708364 CPUtime=3.66 cores=0,2,4,6
/proc/25858/stat : 25858 (java) S 25856 25858 25707 0 -1 4202496 55355 0 3 0 360 6 0 0 25 0 22 0 503949977 16085364736 46964 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 3927091 46964 2274 9 0 3917810 0
[pid=25858/tid=25860] ppid=25856 vsize=15708364 CPUtime=0.92 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (java) S 25856 25858 25707 0 -1 4202560 34138 0 1 0 88 4 0 0 18 0 22 0 503949978 16085364736 46964 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25861/stat : 25861 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503949978 16085364736 46964 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25862/stat : 25862 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503949978 16085364736 46964 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25863/stat : 25863 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503949978 16085364736 46964 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25864/stat : 25864 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503949978 16085364736 46964 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25865/stat : 25865 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503949978 16085364736 46964 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 25707 0 -1 4202560 37 0 0 0 0 0 0 0 18 0 22 0 503949978 16085364736 46964 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 25707 0 -1 4202560 329 0 0 0 0 0 0 0 21 0 22 0 503949978 16085364736 46964 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 25707 0 -1 4202560 41 0 0 0 0 0 0 0 21 0 22 0 503949978 16085364736 46964 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25869/stat : 25869 (java) R 25856 25858 25707 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 503949979 16085364736 46964 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 47756496523695 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 25707 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 503949980 16085364736 46965 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 25707 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 503949980 16085364736 46965 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503949982 16085364736 46966 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051478961 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=15708364 CPUtime=0.81 cores=0,2,4,6
/proc/25858/task/25873/stat : 25873 (java) S 25856 25858 25707 0 -1 4202560 11777 0 1 0 80 1 0 0 16 0 22 0 503949982 16085364736 46967 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 3
[pid=25858/tid=25874] ppid=25856 vsize=15708364 CPUtime=0.67 cores=0,2,4,6
/proc/25858/task/25874/stat : 25874 (java) S 25856 25858 25707 0 -1 4202560 6688 0 1 0 67 0 0 0 15 0 22 0 503949982 16085364736 46969 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 3
[pid=25858/tid=25875] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25875/stat : 25875 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503949982 16085364736 46970 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25876] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25876/stat : 25876 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503949982 16085364736 46973 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471872 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25877] ppid=25856 vsize=15708364 CPUtime=0.2 cores=0,2,4,6
/proc/25858/task/25877/stat : 25877 (java) S 25856 25858 25707 0 -1 4202560 25 0 0 0 20 0 0 0 16 0 22 0 503950023 16085364736 46975 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25878] ppid=25856 vsize=15708364 CPUtime=0.36 cores=0,2,4,6
/proc/25858/task/25878/stat : 25878 (java) S 25856 25858 25707 0 -1 4202560 682 0 0 0 36 0 0 0 16 0 22 0 503950023 16085364736 46977 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25879] ppid=25856 vsize=15708364 CPUtime=0.36 cores=0,2,4,6
/proc/25858/task/25879/stat : 25879 (java) S 25856 25858 25707 0 -1 4202560 231 0 0 0 36 0 0 0 16 0 22 0 503950023 16085364736 46979 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25880] ppid=25856 vsize=15708364 CPUtime=0.28 cores=0,2,4,6
/proc/25858/task/25880/stat : 25880 (java) S 25856 25858 25707 0 -1 4202560 8 0 0 0 28 0 0 0 16 0 22 0 503950023 16085364736 46981 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 15708364
[startup+3.10137 s]
/proc/loadavg: 4.86 5.12 5.49 7/219 25880
/proc/meminfo: memFree=15419804/32951124 swapFree=67106388/67111528
[pid=25858] ppid=25856 vsize=15708364 CPUtime=10.03 cores=0,2,4,6
/proc/25858/stat : 25858 (java) S 25856 25858 25707 0 -1 4202496 109039 0 3 0 987 16 0 0 25 0 22 0 503949977 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 3927091 100541 2274 9 0 3917810 0
[pid=25858/tid=25860] ppid=25856 vsize=15708364 CPUtime=0.92 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (java) S 25856 25858 25707 0 -1 4202560 34138 0 1 0 88 4 0 0 18 0 22 0 503949978 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=15708364 CPUtime=0.02 cores=0,2,4,6
/proc/25858/task/25861/stat : 25861 (java) S 25856 25858 25707 0 -1 4202560 7819 0 0 0 1 1 0 0 16 0 22 0 503949978 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25862/stat : 25862 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503949978 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25863/stat : 25863 (java) S 25856 25858 25707 0 -1 4202560 4894 0 0 0 0 0 0 0 15 0 22 0 503949978 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25864/stat : 25864 (java) S 25856 25858 25707 0 -1 4202560 4177 0 0 0 0 0 0 0 16 0 22 0 503949978 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=15708364 CPUtime=0.02 cores=0,2,4,6
/proc/25858/task/25865/stat : 25865 (java) S 25856 25858 25707 0 -1 4202560 7210 0 0 0 1 1 0 0 16 0 22 0 503949978 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 25707 0 -1 4202560 910 0 0 0 0 0 0 0 15 0 22 0 503949978 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 25707 0 -1 4202560 3978 0 0 0 0 0 0 0 15 0 22 0 503949978 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 25707 0 -1 4202560 2138 0 0 0 0 0 0 0 15 0 22 0 503949978 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25869/stat : 25869 (java) S 25856 25858 25707 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 22 0 503949979 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471872 0 0 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 25707 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 503949980 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 25707 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 503949980 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503949982 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051478961 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=15708364 CPUtime=0.88 cores=0,2,4,6
/proc/25858/task/25873/stat : 25873 (java) S 25856 25858 25707 0 -1 4202560 11788 0 1 0 87 1 0 0 15 0 22 0 503949982 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 3
[pid=25858/tid=25874] ppid=25856 vsize=15708364 CPUtime=0.69 cores=0,2,4,6
/proc/25858/task/25874/stat : 25874 (java) S 25856 25858 25707 0 -1 4202560 6690 0 1 0 69 0 0 0 15 0 22 0 503949982 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 3
[pid=25858/tid=25875] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25875/stat : 25875 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503949982 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25876] ppid=25856 vsize=15708364 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25876/stat : 25876 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503949982 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471872 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25877] ppid=25856 vsize=15708364 CPUtime=1.68 cores=0,2,4,6
/proc/25858/task/25877/stat : 25877 (java) R 25856 25858 25707 0 -1 4202560 5544 0 0 0 168 0 0 0 17 0 22 0 503950023 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 47756496574530 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=25858/tid=25878] ppid=25856 vsize=15708364 CPUtime=1.92 cores=0,2,4,6
/proc/25858/task/25878/stat : 25878 (java) R 25856 25858 25707 0 -1 4202560 6420 0 0 0 191 1 0 0 17 0 22 0 503950023 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912505809056 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25858/tid=25879] ppid=25856 vsize=15708364 CPUtime=1.92 cores=0,2,4,6
/proc/25858/task/25879/stat : 25879 (java) R 25856 25858 25707 0 -1 4202560 5655 0 0 0 192 0 0 0 17 0 22 0 503950023 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912505852132 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25858/tid=25880] ppid=25856 vsize=15708364 CPUtime=1.83 cores=0,2,4,6
/proc/25858/task/25880/stat : 25880 (java) R 25856 25858 25707 0 -1 4202560 6060 0 0 0 183 0 0 0 17 0 22 0 503950023 16085364736 100541 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912505875888 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.03
Current children cumulated vsize (KiB) 15708364
[startup+6.3008 s]
/proc/loadavg: 5.03 5.15 5.50 6/219 25880
/proc/meminfo: memFree=14900804/32951124 swapFree=67106388/67111528
[pid=25858] ppid=25856 vsize=15702256 CPUtime=22.79 cores=0,2,4,6
/proc/25858/stat : 25858 (java) S 25856 25858 25707 0 -1 4202496 249863 0 3 0 2244 35 0 0 25 0 22 0 503949977 16079110144 239726 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 3925564 239729 2284 9 0 3916283 0
[pid=25858/tid=25860] ppid=25856 vsize=15702256 CPUtime=0.92 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (java) S 25856 25858 25707 0 -1 4202560 34138 0 1 0 88 4 0 0 18 0 22 0 503949978 16079110144 239730 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=15702256 CPUtime=0.04 cores=0,2,4,6
/proc/25858/task/25861/stat : 25861 (java) S 25856 25858 25707 0 -1 4202560 14861 0 0 0 2 2 0 0 15 0 22 0 503949978 16079110144 239731 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=15702256 CPUtime=0.03 cores=0,2,4,6
/proc/25858/task/25862/stat : 25862 (java) S 25856 25858 25707 0 -1 4202560 10927 0 0 0 2 1 0 0 16 0 22 0 503949978 16079110144 239732 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=15702256 CPUtime=0.03 cores=0,2,4,6
/proc/25858/task/25863/stat : 25863 (java) S 25856 25858 25707 0 -1 4202560 12506 0 0 0 1 2 0 0 16 0 22 0 503949978 16079110144 239733 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=15702256 CPUtime=0.03 cores=0,2,4,6
/proc/25858/task/25864/stat : 25864 (java) S 25856 25858 25707 0 -1 4202560 10509 0 0 0 1 2 0 0 16 0 22 0 503949978 16079110144 239734 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=15702256 CPUtime=0.02 cores=0,2,4,6
/proc/25858/task/25865/stat : 25865 (java) S 25856 25858 25707 0 -1 4202560 7580 0 0 0 1 1 0 0 15 0 22 0 503949978 16079110144 239735 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=15702256 CPUtime=0.02 cores=0,2,4,6
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 25707 0 -1 4202560 10808 0 0 0 1 1 0 0 16 0 22 0 503949978 16079110144 239736 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 25707 0 -1 4202560 4013 0 0 0 0 0 0 0 15 0 22 0 503949978 16079110144 239738 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=15702256 CPUtime=0.01 cores=0,2,4,6
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 25707 0 -1 4202560 6192 0 0 0 1 0 0 0 16 0 22 0 503949978 16079110144 239740 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25869/stat : 25869 (java) S 25856 25858 25707 0 -1 4202560 506 0 0 0 0 0 0 0 15 0 22 0 503949979 16079110144 239742 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471872 0 0 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 25707 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 503949980 16079110144 239744 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 25707 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 503949980 16079110144 239745 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503949982 16079110144 239747 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051478961 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=15702256 CPUtime=1.07 cores=0,2,4,6
/proc/25858/task/25873/stat : 25873 (java) R 25856 25858 25707 0 -1 4202560 11849 0 1 0 106 1 0 0 15 0 22 0 503949982 16079110144 239749 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 47756495329782 0 4 0 16800975 0 0 0 -1 0 0 0 3
################
# More data... #
################
[pid=25858/tid=25878] ppid=25856 vsize=15702256 CPUtime=1107.89 cores=0,2,4,6
/proc/25858/task/25878/stat : 25878 (java) R 25856 25858 25707 0 -1 4202560 209839 0 0 0 110757 32 0 0 25 0 22 0 503950023 16079110144 109134 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912506052033 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25858/tid=25879] ppid=25856 vsize=15702256 CPUtime=1108.47 cores=0,2,4,6
/proc/25858/task/25879/stat : 25879 (java) R 25856 25858 25707 0 -1 4202560 219535 0 0 0 110811 36 0 0 25 0 22 0 503950023 16079110144 109134 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912505876968 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25858/tid=25880] ppid=25856 vsize=15702256 CPUtime=1107.44 cores=0,2,4,6
/proc/25858/task/25880/stat : 25880 (java) R 25856 25858 25707 0 -1 4202560 212407 0 0 0 110713 31 0 0 25 0 22 0 503950023 16079110144 109134 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912505917914 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4464.21
Current children cumulated vsize (KiB) 15702256
[startup+1182.3 s]
/proc/loadavg: 8.13 8.03 7.27 9/220 25965
/proc/meminfo: memFree=30098232/32951124 swapFree=67106388/67111528
[pid=25858] ppid=25856 vsize=15702256 CPUtime=4702.93 cores=0,2,4,6
/proc/25858/stat : 25858 (java) S 25856 25858 25707 0 -1 4202496 1711772 0 3 0 469923 370 0 0 25 0 22 0 503949977 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 3925564 110915 2298 9 0 3916283 0
[pid=25858/tid=25860] ppid=25856 vsize=15702256 CPUtime=0.92 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (java) S 25856 25858 25707 0 -1 4202560 34138 0 1 0 88 4 0 0 18 0 22 0 503949978 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=15702256 CPUtime=3.71 cores=0,2,4,6
/proc/25858/task/25861/stat : 25861 (java) S 25856 25858 25707 0 -1 4202560 96568 0 0 0 350 21 0 0 15 0 22 0 503949978 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=15702256 CPUtime=3.61 cores=0,2,4,6
/proc/25858/task/25862/stat : 25862 (java) S 25856 25858 25707 0 -1 4202560 93641 0 0 0 342 19 0 0 15 0 22 0 503949978 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=15702256 CPUtime=3.6 cores=0,2,4,6
/proc/25858/task/25863/stat : 25863 (java) S 25856 25858 25707 0 -1 4202560 96004 0 0 0 339 21 0 0 15 0 22 0 503949978 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=15702256 CPUtime=3.71 cores=0,2,4,6
/proc/25858/task/25864/stat : 25864 (java) S 25856 25858 25707 0 -1 4202560 99717 0 0 0 348 23 0 0 15 0 22 0 503949978 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=15702256 CPUtime=3.61 cores=0,2,4,6
/proc/25858/task/25865/stat : 25865 (java) S 25856 25858 25707 0 -1 4202560 91925 0 0 0 341 20 0 0 16 0 22 0 503949978 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=15702256 CPUtime=3.67 cores=0,2,4,6
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 25707 0 -1 4202560 94854 0 0 0 346 21 0 0 15 0 22 0 503949978 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=15702256 CPUtime=3.59 cores=0,2,4,6
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 25707 0 -1 4202560 82940 0 0 0 341 18 0 0 15 0 22 0 503949978 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=15702256 CPUtime=3.66 cores=0,2,4,6
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 25707 0 -1 4202560 87479 0 0 0 345 21 0 0 16 0 22 0 503949978 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=15702256 CPUtime=1.65 cores=0,2,4,6
/proc/25858/task/25869/stat : 25869 (java) S 25856 25858 25707 0 -1 4202560 4668 0 0 0 115 50 0 0 15 0 22 0 503949979 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471872 0 0 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 25707 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 503949980 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 25707 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 503949980 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503949982 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051478961 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=15702256 CPUtime=1.21 cores=0,2,4,6
/proc/25858/task/25873/stat : 25873 (java) S 25856 25858 25707 0 -1 4202560 11866 0 1 0 120 1 0 0 15 0 22 0 503949982 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 3
[pid=25858/tid=25874] ppid=25856 vsize=15702256 CPUtime=0.96 cores=0,2,4,6
/proc/25858/task/25874/stat : 25874 (java) S 25856 25858 25707 0 -1 4202560 6821 0 1 0 96 0 0 0 15 0 22 0 503949982 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 3
[pid=25858/tid=25875] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25875/stat : 25875 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503949982 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25876] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25876/stat : 25876 (java) S 25856 25858 25707 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 503949982 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471872 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25877] ppid=25856 vsize=15702256 CPUtime=1167.3 cores=0,2,4,6
/proc/25858/task/25877/stat : 25877 (java) R 25856 25858 25707 0 -1 4202560 227922 0 0 0 116693 37 0 0 25 0 22 0 503950023 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912506052908 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25858/tid=25878] ppid=25856 vsize=15702256 CPUtime=1167.11 cores=0,2,4,6
/proc/25858/task/25878/stat : 25878 (java) R 25856 25858 25707 0 -1 4202560 223149 0 0 0 116678 33 0 0 25 0 22 0 503950023 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912505841419 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25858/tid=25879] ppid=25856 vsize=15702256 CPUtime=1167.8 cores=0,2,4,6
/proc/25858/task/25879/stat : 25879 (java) R 25856 25858 25707 0 -1 4202560 232929 0 0 0 116742 38 0 0 25 0 22 0 503950023 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 47756496574006 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=25858/tid=25880] ppid=25856 vsize=15702256 CPUtime=1166.64 cores=0,2,4,6
/proc/25858/task/25880/stat : 25880 (java) R 25856 25858 25707 0 -1 4202560 225700 0 0 0 116631 33 0 0 25 0 22 0 503950023 16079110144 110915 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912505876857 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4702.93
Current children cumulated vsize (KiB) 15702256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1206.81 s]
/proc/loadavg: 8.22 8.06 7.30 10/220 25966
/proc/meminfo: memFree=30167896/32951124 swapFree=67106388/67111528
[pid=25858] ppid=25856 vsize=15702256 CPUtime=4800.39 cores=0,2,4,6
/proc/25858/stat : 25858 (java) S 25856 25858 25707 0 -1 4202496 1740571 0 3 0 479660 379 0 0 25 0 22 0 503949977 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 3925564 97632 2298 9 0 3916283 0
[pid=25858/tid=25860] ppid=25856 vsize=15702256 CPUtime=0.92 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (java) S 25856 25858 25707 0 -1 4202560 34138 0 1 0 88 4 0 0 18 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=15702256 CPUtime=3.78 cores=0,2,4,6
/proc/25858/task/25861/stat : 25861 (java) S 25856 25858 25707 0 -1 4202560 98569 0 0 0 356 22 0 0 15 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=15702256 CPUtime=3.69 cores=0,2,4,6
/proc/25858/task/25862/stat : 25862 (java) S 25856 25858 25707 0 -1 4202560 96092 0 0 0 349 20 0 0 16 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=15702256 CPUtime=3.68 cores=0,2,4,6
/proc/25858/task/25863/stat : 25863 (java) S 25856 25858 25707 0 -1 4202560 98185 0 0 0 346 22 0 0 15 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=15702256 CPUtime=3.8 cores=0,2,4,6
/proc/25858/task/25864/stat : 25864 (java) S 25856 25858 25707 0 -1 4202560 102518 0 0 0 356 24 0 0 15 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=15702256 CPUtime=3.69 cores=0,2,4,6
/proc/25858/task/25865/stat : 25865 (java) S 25856 25858 25707 0 -1 4202560 94234 0 0 0 349 20 0 0 15 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=15702256 CPUtime=3.74 cores=0,2,4,6
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 25707 0 -1 4202560 97161 0 0 0 353 21 0 0 16 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=15702256 CPUtime=3.67 cores=0,2,4,6
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 25707 0 -1 4202560 85324 0 0 0 348 19 0 0 16 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=15702256 CPUtime=3.73 cores=0,2,4,6
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 25707 0 -1 4202560 89332 0 0 0 351 22 0 0 16 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=15702256 CPUtime=1.7 cores=0,2,4,6
/proc/25858/task/25869/stat : 25869 (java) S 25856 25858 25707 0 -1 4202560 4787 0 0 0 118 52 0 0 15 0 22 0 503949979 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471872 0 0 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 25707 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 503949980 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 25707 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 503949980 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503949982 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051478961 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=15702256 CPUtime=1.21 cores=0,2,4,6
/proc/25858/task/25873/stat : 25873 (java) S 25856 25858 25707 0 -1 4202560 11866 0 1 0 120 1 0 0 15 0 22 0 503949982 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 3
[pid=25858/tid=25874] ppid=25856 vsize=15702256 CPUtime=0.96 cores=0,2,4,6
/proc/25858/task/25874/stat : 25874 (java) S 25856 25858 25707 0 -1 4202560 6821 0 1 0 96 0 0 0 15 0 22 0 503949982 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 3
[pid=25858/tid=25875] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25875/stat : 25875 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503949982 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25876] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25876/stat : 25876 (java) S 25856 25858 25707 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 503949982 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471872 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25877] ppid=25856 vsize=15702256 CPUtime=1191.54 cores=0,2,4,6
/proc/25858/task/25877/stat : 25877 (java) R 25856 25858 25707 0 -1 4202560 230467 0 0 0 119116 38 0 0 25 0 22 0 503950023 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912506052833 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25858/tid=25878] ppid=25856 vsize=15702256 CPUtime=1191.35 cores=0,2,4,6
/proc/25858/task/25878/stat : 25878 (java) R 25856 25858 25707 0 -1 4202560 226195 0 0 0 119101 34 0 0 25 0 22 0 503950023 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 47756496572859 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25858/tid=25879] ppid=25856 vsize=15702256 CPUtime=1192.01 cores=0,2,4,6
/proc/25858/task/25879/stat : 25879 (java) R 25856 25858 25707 0 -1 4202560 235516 0 0 0 119163 38 0 0 25 0 22 0 503950023 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912506058261 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25858/tid=25880] ppid=25856 vsize=15702256 CPUtime=1190.78 cores=0,2,4,6
/proc/25858/task/25880/stat : 25880 (java) R 25856 25858 25707 0 -1 4202560 227913 0 0 0 119044 34 0 0 25 0 22 0 503950023 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912506057663 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 15702256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1206.81 s]
/proc/loadavg: 8.22 8.06 7.30 10/220 25966
/proc/meminfo: memFree=30167896/32951124 swapFree=67106388/67111528
[pid=25858] ppid=25856 vsize=15702256 CPUtime=4800.39 cores=0,2,4,6
/proc/25858/stat : 25858 (java) S 25856 25858 25707 0 -1 4202496 1740571 0 3 0 479660 379 0 0 25 0 22 0 503949977 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 3925564 97632 2298 9 0 3916283 0
[pid=25858/tid=25860] ppid=25856 vsize=15702256 CPUtime=0.92 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (java) S 25856 25858 25707 0 -1 4202560 34138 0 1 0 88 4 0 0 18 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=15702256 CPUtime=3.78 cores=0,2,4,6
/proc/25858/task/25861/stat : 25861 (java) S 25856 25858 25707 0 -1 4202560 98569 0 0 0 356 22 0 0 15 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=15702256 CPUtime=3.69 cores=0,2,4,6
/proc/25858/task/25862/stat : 25862 (java) S 25856 25858 25707 0 -1 4202560 96092 0 0 0 349 20 0 0 16 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=15702256 CPUtime=3.68 cores=0,2,4,6
/proc/25858/task/25863/stat : 25863 (java) S 25856 25858 25707 0 -1 4202560 98185 0 0 0 346 22 0 0 15 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=15702256 CPUtime=3.8 cores=0,2,4,6
/proc/25858/task/25864/stat : 25864 (java) S 25856 25858 25707 0 -1 4202560 102518 0 0 0 356 24 0 0 15 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=15702256 CPUtime=3.69 cores=0,2,4,6
/proc/25858/task/25865/stat : 25865 (java) S 25856 25858 25707 0 -1 4202560 94234 0 0 0 349 20 0 0 15 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=15702256 CPUtime=3.74 cores=0,2,4,6
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 25707 0 -1 4202560 97161 0 0 0 353 21 0 0 16 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=15702256 CPUtime=3.67 cores=0,2,4,6
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 25707 0 -1 4202560 85324 0 0 0 348 19 0 0 16 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=15702256 CPUtime=3.73 cores=0,2,4,6
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 25707 0 -1 4202560 89332 0 0 0 351 22 0 0 16 0 22 0 503949978 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=15702256 CPUtime=1.7 cores=0,2,4,6
/proc/25858/task/25869/stat : 25869 (java) S 25856 25858 25707 0 -1 4202560 4787 0 0 0 118 52 0 0 15 0 22 0 503949979 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471872 0 0 0 16800975 18446604453985227136 0 0 -1 2 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 25707 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 503949980 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 25707 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 503949980 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503949982 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051478961 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=15702256 CPUtime=1.21 cores=0,2,4,6
/proc/25858/task/25873/stat : 25873 (java) S 25856 25858 25707 0 -1 4202560 11866 0 1 0 120 1 0 0 15 0 22 0 503949982 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 0 0 0 3
[pid=25858/tid=25874] ppid=25856 vsize=15702256 CPUtime=0.96 cores=0,2,4,6
/proc/25858/task/25874/stat : 25874 (java) S 25856 25858 25707 0 -1 4202560 6821 0 1 0 96 0 0 0 15 0 22 0 503949982 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 4 0 0 3
[pid=25858/tid=25875] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25875/stat : 25875 (java) S 25856 25858 25707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503949982 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471257 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25876] ppid=25856 vsize=15702256 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25876/stat : 25876 (java) S 25856 25858 25707 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 503949982 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 212051471872 0 4 0 16800975 18446604453985227136 0 0 -1 6 0 0 0
[pid=25858/tid=25877] ppid=25856 vsize=15702256 CPUtime=1191.54 cores=0,2,4,6
/proc/25858/task/25877/stat : 25877 (java) R 25856 25858 25707 0 -1 4202560 230467 0 0 0 119116 38 0 0 25 0 22 0 503950023 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912506052833 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25858/tid=25878] ppid=25856 vsize=15702256 CPUtime=1191.35 cores=0,2,4,6
/proc/25858/task/25878/stat : 25878 (java) R 25856 25858 25707 0 -1 4202560 226195 0 0 0 119101 34 0 0 25 0 22 0 503950023 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 47756496572859 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25858/tid=25879] ppid=25856 vsize=15702256 CPUtime=1192.01 cores=0,2,4,6
/proc/25858/task/25879/stat : 25879 (java) R 25856 25858 25707 0 -1 4202560 235516 0 0 0 119163 38 0 0 25 0 22 0 503950023 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912506058261 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25858/tid=25880] ppid=25856 vsize=15702256 CPUtime=1190.78 cores=0,2,4,6
/proc/25858/task/25880/stat : 25880 (java) R 25856 25858 25707 0 -1 4202560 227913 0 0 0 119044 34 0 0 25 0 22 0 503950023 16079110144 97632 33554432000 1073741824 1073778376 140735109507920 18446744073709551615 46912506057663 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 15702256
Child status: 143
Real time (s): 1206.84
CPU time (s): 4800.46
CPU user time (s): 4796.64
CPU system time (s): 3.81542
CPU usage (%): 397.77
Max. virtual memory (cumulated for all children) (KiB): 15711052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.64
system time used= 3.81542
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1740597
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 203628
involuntary context switches= 115235
runsolver used 2.10068 second user time and 4.54331 second system time
The end