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-3482237-1307578758/watcher-3482237-1307578758 -o /tmp/evaluation-result-3482237-1307578758/solver-3482237-1307578758 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482237-1307578758.opb -seed 401728441 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.32 2.12 1.92 2/779 28908
/proc/meminfo: memFree=12484856/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/28908/stat : 28908 (python) R 28906 28908 27575 0 -1 4202496 1051 0 0 0 0 0 0 0 17 0 1 0 850291510 16633856 922 33554432000 4194304 5683644 140737166824416 18446744073709551615 5293775 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28908/statm: 4061 922 381 364 0 548 0
[startup+0.0393789 s]
/proc/loadavg: 2.32 2.12 1.92 2/779 28908
/proc/meminfo: memFree=12484856/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=18892 CPUtime=0.02 cores=1,3,5,7
/proc/28908/stat : 28908 (python) R 28906 28908 27575 0 -1 4202496 1266 0 0 0 1 1 0 0 17 0 1 0 850291510 19345408 1118 33554432000 4194304 5683644 140737166824416 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28908/statm: 4723 1118 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
[startup+0.100384 s]
/proc/loadavg: 2.32 2.12 1.92 2/779 28908
/proc/meminfo: memFree=12484856/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=85624 CPUtime=0.07 cores=1,3,5,7
/proc/28908/stat : 28908 (python) R 28906 28908 27575 0 -1 4202496 2663 0 0 0 4 3 0 0 17 0 1 0 850291510 87678976 2382 33554432000 4194304 5683644 140737166824416 18446744073709551615 4539104 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28908/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85624
[startup+0.300343 s]
/proc/loadavg: 2.32 2.12 1.92 2/779 28908
/proc/meminfo: memFree=12484856/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/28908/stat : 28908 (python) S 28906 28908 27575 0 -1 4202496 5357 932 1 0 10 7 0 0 16 0 1 0 850291510 126713856 3744 33554432000 4194304 5683644 140737166824416 18446744073709551615 264726401029 0 2147483391 16781312 2 18446744071699207358 0 0 17 3 0 0 0
/proc/28908/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700285 s]
/proc/loadavg: 2.32 2.12 1.92 2/779 28908
/proc/meminfo: memFree=12484856/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=273720 CPUtime=0.42 cores=1,3,5,7
/proc/28908/stat : 28908 (python) R 28906 28908 27575 0 -1 4202496 8809 932 1 0 25 17 0 0 15 0 1 0 850291510 280289280 6759 33554432000 4194304 5683644 140737166824416 18446744073709551615 4962193 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28908/statm: 68430 6759 1720 364 0 5463 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 273720
[startup+1.50011 s]
/proc/loadavg: 2.32 2.12 1.92 3/780 28913
/proc/meminfo: memFree=12442192/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=318612 CPUtime=1.22 cores=1,3,5,7
/proc/28908/stat : 28908 (python) R 28906 28908 27575 0 -1 4202496 17896 932 1 0 104 18 0 0 16 0 1 0 850291510 326258688 15759 33554432000 4194304 5683644 140737166824416 18446744073709551615 47205189510632 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28908/statm: 79653 15760 1781 364 0 14546 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 318612
[startup+3.1008 s]
/proc/loadavg: 2.53 2.17 1.94 3/780 28913
/proc/meminfo: memFree=12404912/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=335500 CPUtime=2.84 cores=1,3,5,7
/proc/28908/stat : 28908 (python) R 28906 28908 27575 0 -1 4202496 31117 932 1 0 265 19 0 0 18 0 1 0 850291510 343552000 20222 33554432000 4194304 5683644 140737166824416 18446744073709551615 4417150 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/28908/statm: 83875 20222 1816 364 0 18768 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 335500
[startup+6.3002 s]
/proc/loadavg: 2.53 2.17 1.94 3/783 28916
/proc/meminfo: memFree=12358024/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=349772 CPUtime=3.95 cores=1,3,5,7
/proc/28908/stat : 28908 (python) S 28906 28908 27575 0 -1 4202496 32408 932 1 0 376 19 0 0 22 0 2 0 850291510 358166528 21281 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/28908/statm: 87443 21281 1870 364 0 22330 0
[pid=28914] ppid=28908 vsize=339528 CPUtime=0 cores=1,3,5,7
/proc/28914/stat : 28914 (python) S 28908 28908 27575 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 850291933 347676672 19758 33554432000 4194304 5683644 140737166824416 18446744073709551615 264726425103 0 0 16781312 33554946 7685370262774055176 0 0 17 3 0 0 0
/proc/28914/statm: 84882 19758 351 364 0 19769 0
[pid=28916] ppid=28914 vsize=46068 CPUtime=2.05 cores=1,3,5,7
/proc/28916/stat : 28916 (wbo1.4a) R 28914 28916 28916 0 -1 4202496 16363 0 0 0 202 3 0 0 25 0 1 0 850291934 47173632 10479 33554432000 134512640 135751879 4289478544 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/28916/statm: 11517 10479 146 303 0 11212 0
[pid=28908/tid=28915] ppid=28906 vsize=349772 CPUtime=0 cores=1,3,5,7
/proc/28908/task/28915/stat : 28915 (python) S 28906 28908 27575 0 -1 4202560 26 932 0 0 0 0 0 0 22 0 2 0 850291934 358166528 21281 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 735368
[startup+12.701 s]
/proc/loadavg: 2.60 2.19 1.95 3/783 28916
/proc/meminfo: memFree=12345640/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=349772 CPUtime=3.95 cores=1,3,5,7
/proc/28908/stat : 28908 (python) S 28906 28908 27575 0 -1 4202496 32408 932 1 0 376 19 0 0 22 0 2 0 850291510 358166528 21281 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/28908/statm: 87443 21281 1870 364 0 22330 0
[pid=28914] ppid=28908 vsize=339528 CPUtime=0.04 cores=1,3,5,7
/proc/28914/stat : 28914 (python) S 28908 28908 27575 0 -1 4202560 918 0 0 0 1 3 0 0 15 0 1 0 850291933 347676672 19782 33554432000 4194304 5683644 140737166824416 18446744073709551615 264726425103 0 0 16781312 33554946 5623458817330129646 0 0 17 3 0 0 0
/proc/28914/statm: 84882 19782 375 364 0 19769 0
[pid=28916] ppid=28914 vsize=46068 CPUtime=8.46 cores=1,3,5,7
/proc/28916/stat : 28916 (wbo1.4a) R 28914 28916 28916 0 -1 4202496 16381 0 0 0 839 7 0 0 25 0 1 0 850291934 47173632 10497 33554432000 134512640 135751879 4289478544 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/28916/statm: 11517 10497 146 303 0 11212 0
[pid=28908/tid=28915] ppid=28906 vsize=349772 CPUtime=0 cores=1,3,5,7
/proc/28908/task/28915/stat : 28915 (python) S 28906 28908 27575 0 -1 4202560 26 932 0 0 0 0 0 0 22 0 2 0 850291934 358166528 21281 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 735368
[startup+25.5006 s]
/proc/loadavg: 2.51 2.19 1.95 3/783 28916
/proc/meminfo: memFree=12321848/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=349772 CPUtime=3.95 cores=1,3,5,7
/proc/28908/stat : 28908 (python) S 28906 28908 27575 0 -1 4202496 32408 932 1 0 376 19 0 0 22 0 2 0 850291510 358166528 21281 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/28908/statm: 87443 21281 1870 364 0 22330 0
[pid=28914] ppid=28908 vsize=339528 CPUtime=0.09 cores=1,3,5,7
/proc/28914/stat : 28914 (python) S 28908 28908 27575 0 -1 4202560 924 0 0 0 3 6 0 0 15 0 1 0 850291933 347676672 19782 33554432000 4194304 5683644 140737166824416 18446744073709551615 264726425103 0 0 16781312 33554946 5623753486446373614 0 0 17 7 0 0 0
/proc/28914/statm: 84882 19782 375 364 0 19769 0
[pid=28916] ppid=28914 vsize=57932 CPUtime=21.25 cores=1,3,5,7
/proc/28916/stat : 28916 (wbo1.4a) R 28914 28916 28916 0 -1 4202496 20586 0 0 0 2111 14 0 0 25 0 1 0 850291934 59322368 13447 33554432000 134512640 135751879 4289478544 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/28916/statm: 14483 13447 146 303 0 14178 0
[pid=28908/tid=28915] ppid=28906 vsize=349772 CPUtime=0 cores=1,3,5,7
/proc/28908/task/28915/stat : 28915 (python) S 28906 28908 27575 0 -1 4202560 26 932 0 0 0 0 0 0 22 0 2 0 850291934 358166528 21281 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 747232
[startup+51.1007 s]
/proc/loadavg: 2.46 2.20 1.96 3/784 28918
/proc/meminfo: memFree=12302260/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=349772 CPUtime=3.95 cores=1,3,5,7
/proc/28908/stat : 28908 (python) S 28906 28908 27575 0 -1 4202496 32408 932 1 0 376 19 0 0 22 0 2 0 850291510 358166528 21281 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/28908/statm: 87443 21281 1870 364 0 22330 0
[pid=28914] ppid=28908 vsize=339528 CPUtime=0.23 cores=1,3,5,7
/proc/28914/stat : 28914 (python) S 28908 28908 27575 0 -1 4202560 935 0 0 0 9 14 0 0 15 0 1 0 850291933 347676672 19782 33554432000 4194304 5683644 140737166824416 18446744073709551615 264726425103 0 0 16781312 33554946 5623753486446373614 0 0 17 7 0 0 0
/proc/28914/statm: 84882 19782 375 364 0 19769 0
[pid=28916] ppid=28914 vsize=74516 CPUtime=46.85 cores=1,3,5,7
/proc/28916/stat : 28916 (wbo1.4a) R 28914 28916 28916 0 -1 4202496 24804 0 0 0 4662 23 0 0 25 0 1 0 850291934 76304384 17665 33554432000 134512640 135751879 4289478544 18446744073709551615 134616532 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/28916/statm: 18629 17665 146 303 0 18324 0
[pid=28908/tid=28915] ppid=28906 vsize=349772 CPUtime=0 cores=1,3,5,7
/proc/28908/task/28915/stat : 28915 (python) S 28906 28908 27575 0 -1 4202560 26 932 0 0 0 0 0 0 22 0 2 0 850291934 358166528 21281 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 763816
[startup+102.301 s]
/proc/loadavg: 2.34 2.21 1.97 3/788 28923
/proc/meminfo: memFree=11269972/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=360028 CPUtime=3.97 cores=1,3,5,7
/proc/28908/stat : 28908 (python) S 28906 28908 27575 0 -1 4202496 33278 932 1 0 378 19 0 0 19 0 3 0 850291510 368668672 21288 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/28908/statm: 90007 21288 1873 364 0 24891 0
[pid=28914] ppid=28908 vsize=349772 CPUtime=0.25 cores=1,3,5,7
/proc/28914/stat : 28914 (python) S 28908 28908 27575 0 -1 4202560 1096 0 0 0 10 15 0 0 16 0 2 0 850291933 358166528 19818 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28914/statm: 87443 19818 406 364 0 22330 0
[pid=28916] ppid=28914 vsize=76648 CPUtime=50.03 cores=1,3,5,7
/proc/28916/stat : 28916 (wbo1.4a) T 28914 28916 28916 0 -1 4202496 25327 0 0 0 4978 25 0 0 25 0 1 0 850291934 78487552 18188 33554432000 134512640 135751879 4289478544 18446744073709551615 134616334 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/28916/statm: 19162 18188 146 303 0 18857 0
[pid=28914/tid=28919] ppid=28908 vsize=349772 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28919/stat : 28919 (python) S 28908 28908 27575 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850296937 358166528 19818 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554946 18446604470683281472 0 0 -1 7 0 0 0
[pid=28920] ppid=28908 vsize=349784 CPUtime=0.23 cores=1,3,5,7
/proc/28920/stat : 28920 (python) S 28908 28908 27575 0 -1 4202560 948 0 0 0 12 11 0 0 15 0 1 0 850296939 358178816 19783 33554432000 4194304 5683644 140737166824416 18446744073709551615 264726425158 0 0 16781312 33554946 5623753486446373614 0 0 17 7 0 0 0
/proc/28920/statm: 87446 19783 372 364 0 22330 0
[pid=28922] ppid=28920 vsize=1045156 CPUtime=48 cores=1,3,5,7
/proc/28922/stat : 28922 (scip-2.0.1.linu) R 28920 28922 28922 0 -1 4202496 261817 0 0 0 4587 213 0 0 25 0 1 0 850296940 1070239744 253920 33554432000 4194304 13684479 140737304120864 18446744073709551615 4880933 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28922/statm: 261289 253920 693 2317 0 258967 0
[pid=28908/tid=28915] ppid=28906 vsize=360028 CPUtime=0 cores=1,3,5,7
/proc/28908/task/28915/stat : 28915 (python) S 28906 28908 27575 0 -1 4202560 26 932 0 0 0 0 0 0 22 0 3 0 850291934 368668672 21288 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 3 0 0 0
[pid=28908/tid=28921] ppid=28906 vsize=360028 CPUtime=0 cores=1,3,5,7
/proc/28908/task/28921/stat : 28921 (python) S 28906 28908 27575 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 3 0 850296940 368668672 21288 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 2181388
[startup+162.302 s]
/proc/loadavg: 2.63 2.32 2.02 3/799 29098
/proc/meminfo: memFree=8245100/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=380540 CPUtime=4.03 cores=1,3,5,7
/proc/28908/stat : 28908 (python) S 28906 28908 27575 0 -1 4202496 35064 932 1 0 383 20 0 0 20 0 5 0 850291510 389672960 21300 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28908/statm: 95135 21300 1877 364 0 30013 0
[pid=28914] ppid=28908 vsize=349772 CPUtime=0.25 cores=1,3,5,7
/proc/28914/stat : 28914 (python) S 28908 28908 27575 0 -1 4202560 1096 0 0 0 10 15 0 0 16 0 2 0 850291933 358166528 19818 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28914/statm: 87443 19818 406 364 0 22330 0
[pid=28916] ppid=28914 vsize=76648 CPUtime=50.03 cores=1,3,5,7
/proc/28916/stat : 28916 (wbo1.4a) T 28914 28916 28916 0 -1 4202496 25327 0 0 0 4978 25 0 0 25 0 1 0 850291934 78487552 18188 33554432000 134512640 135751879 4289478544 18446744073709551615 134616334 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/28916/statm: 19162 18188 146 303 0 18857 0
[pid=28914/tid=28919] ppid=28908 vsize=349772 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28919/stat : 28919 (python) S 28908 28908 27575 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850296937 358166528 19818 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554946 18446604470683281472 0 0 -1 7 0 0 0
[pid=28920] ppid=28908 vsize=349784 CPUtime=0.25 cores=1,3,5,7
/proc/28920/stat : 28920 (python) S 28908 28908 27575 0 -1 4202560 1109 0 0 0 12 13 0 0 16 0 2 0 850296939 358178816 19808 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28920/statm: 87446 19808 396 364 0 22330 0
[pid=28922] ppid=28920 vsize=1050204 CPUtime=51.29 cores=1,3,5,7
/proc/28922/stat : 28922 (scip-2.0.1.linu) T 28920 28922 28922 0 -1 4202496 263059 0 0 0 4916 213 0 0 25 0 1 0 850296940 1075408896 255162 33554432000 4194304 13684479 140737304120864 18446744073709551615 4508550 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/28922/statm: 262551 255162 693 2317 0 260229 0
[pid=28920/tid=28924] ppid=28908 vsize=349784 CPUtime=0 cores=1,3,5,7
/proc/28920/task/28924/stat : 28924 (python) S 28908 28908 27575 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850302070 358178816 19808 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554946 18446604464735289600 0 0 -1 7 0 0 0
[pid=28925] ppid=28908 vsize=360040 CPUtime=0.22 cores=1,3,5,7
################
# More data... #
################
/proc/28922/stat : 28922 (scip-2.0.1.linu) T 28920 28922 28922 0 -1 4202496 263059 0 0 0 4916 213 0 0 25 0 1 0 850296940 1075408896 255162 33554432000 4194304 13684479 140737304120864 18446744073709551615 4508550 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/28922/statm: 262551 255162 693 2317 0 260229 0
[pid=28920/tid=28924] ppid=28908 vsize=349784 CPUtime=0 cores=1,3,5,7
/proc/28920/task/28924/stat : 28924 (python) S 28908 28908 27575 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850302070 358178816 19808 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554946 18446604464735289600 0 0 -1 7 0 0 0
[pid=28925] ppid=28908 vsize=360040 CPUtime=0.22 cores=1,3,5,7
/proc/28925/stat : 28925 (python) S 28908 28908 27575 0 -1 4202560 1118 0 0 0 10 12 0 0 17 0 2 0 850302072 368680960 19812 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28925/statm: 90010 19812 396 364 0 24891 0
[pid=28927] ppid=28925 vsize=8540972 CPUtime=48.73 cores=1,3,5,7
/proc/28927/stat : 28927 (java) T 28925 28927 28927 0 -1 4202496 720702 0 1 0 4792 81 0 0 15 0 19 0 850302072 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28927/statm: 2135243 709304 2249 9 0 2125984 0
[pid=28927/tid=28928] ppid=28925 vsize=8540972 CPUtime=45.63 cores=1,3,5,7
/proc/28927/task/28928/stat : 28928 (java) T 28925 28927 28927 0 -1 4202560 629302 0 1 0 4493 70 0 0 25 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 46912505807178 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28927/tid=28929] ppid=28925 vsize=8540972 CPUtime=0.12 cores=1,3,5,7
/proc/28927/task/28929/stat : 28929 (java) T 28925 28927 28927 0 -1 4202560 9129 0 0 0 11 1 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28930] ppid=28925 vsize=8540972 CPUtime=0.17 cores=1,3,5,7
/proc/28927/task/28930/stat : 28930 (java) T 28925 28927 28927 0 -1 4202560 13399 0 0 0 16 1 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28931] ppid=28925 vsize=8540972 CPUtime=0.13 cores=1,3,5,7
/proc/28927/task/28931/stat : 28931 (java) T 28925 28927 28927 0 -1 4202560 9418 0 0 0 13 0 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28927/tid=28932] ppid=28925 vsize=8540972 CPUtime=0.1 cores=1,3,5,7
/proc/28927/task/28932/stat : 28932 (java) T 28925 28927 28927 0 -1 4202560 8091 0 0 0 10 0 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28927/tid=28933] ppid=28925 vsize=8540972 CPUtime=0.11 cores=1,3,5,7
/proc/28927/task/28933/stat : 28933 (java) T 28925 28927 28927 0 -1 4202560 10883 0 0 0 11 0 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28927/tid=28934] ppid=28925 vsize=8540972 CPUtime=0.11 cores=1,3,5,7
/proc/28927/task/28934/stat : 28934 (java) T 28925 28927 28927 0 -1 4202560 8280 0 0 0 10 1 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28927/tid=28935] ppid=28925 vsize=8540972 CPUtime=0.12 cores=1,3,5,7
/proc/28927/task/28935/stat : 28935 (java) T 28925 28927 28927 0 -1 4202560 8462 0 0 0 11 1 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28936] ppid=28925 vsize=8540972 CPUtime=0.13 cores=1,3,5,7
/proc/28927/task/28936/stat : 28936 (java) T 28925 28927 28927 0 -1 4202560 9512 0 0 0 12 1 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28927/tid=28937] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28937/stat : 28937 (java) T 28925 28927 28927 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 850302075 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738221568 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28927/tid=28938] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28938/stat : 28938 (java) T 28925 28927 28927 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 850302076 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28939] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28939/stat : 28939 (java) T 28925 28927 28927 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 850302076 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28927/tid=28940] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28940/stat : 28940 (java) T 28925 28927 28927 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850302078 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738228657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28941] ppid=28925 vsize=8540972 CPUtime=1 cores=1,3,5,7
/proc/28927/task/28941/stat : 28941 (java) T 28925 28927 28927 0 -1 4202560 7832 0 0 0 99 1 0 0 15 0 19 0 850302078 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28927/tid=28942] ppid=28925 vsize=8540972 CPUtime=1.01 cores=1,3,5,7
/proc/28927/task/28942/stat : 28942 (java) T 28925 28927 28927 0 -1 4202560 3732 0 0 0 101 0 0 0 15 0 19 0 850302078 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28927/tid=28943] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28943/stat : 28943 (java) T 28925 28927 28927 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 850302078 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28944] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28944/stat : 28944 (java) T 28925 28927 28927 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850302078 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28946] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28946/stat : 28946 (java) T 28925 28927 28927 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850302233 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28925/tid=29095] ppid=28908 vsize=360040 CPUtime=0 cores=1,3,5,7
/proc/28925/task/29095/stat : 29095 (python) S 28908 28908 27575 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 850306674 368680960 19812 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554946 18446604463896134592 0 0 -1 7 0 0 0
[pid=29096] ppid=28908 vsize=370296 CPUtime=7.89 cores=1,3,5,7
/proc/29096/stat : 29096 (python) S 28908 28908 27575 0 -1 4202560 1053 0 0 0 359 430 0 0 15 0 1 0 850306677 379183104 19791 33554432000 4194304 5683644 140737166824416 18446744073709551615 264726425158 0 0 16781312 33554946 5623753486446373614 0 0 17 7 0 0 0
/proc/29096/statm: 92574 19791 372 364 0 27452 0
[pid=29098] ppid=29096 vsize=736916 CPUtime=1630.64 cores=1,3,5,7
/proc/29098/stat : 29098 (bsolo_pb10) R 29096 29098 29098 0 -1 4202496 17001916 0 0 0 161096 1968 0 0 25 0 1 0 850306677 754601984 181610 33554432000 134512640 137138936 4292586960 18446744073709551615 134542808 0 0 16781312 16384 0 0 0 17 3 0 0 0
/proc/29098/statm: 184229 181610 192 642 0 183585 0
[pid=28908/tid=28915] ppid=28906 vsize=380540 CPUtime=0 cores=1,3,5,7
/proc/28908/task/28915/stat : 28915 (python) S 28906 28908 27575 0 -1 4202560 26 932 0 0 0 0 0 0 22 0 5 0 850291934 389672960 21300 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 3 0 0 0
[pid=28908/tid=28921] ppid=28906 vsize=380540 CPUtime=0 cores=1,3,5,7
/proc/28908/task/28921/stat : 28921 (python) S 28906 28908 27575 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 5 0 850296940 389672960 21300 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 3 0 0 0
[pid=28908/tid=28926] ppid=28906 vsize=380540 CPUtime=0 cores=1,3,5,7
/proc/28908/task/28926/stat : 28926 (python) S 28906 28908 27575 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 5 0 850302072 389672960 21300 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 5 0 0 0
[pid=28908/tid=29097] ppid=28906 vsize=380540 CPUtime=0 cores=1,3,5,7
/proc/28908/task/29097/stat : 29097 (python) S 28906 28908 27575 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 5 0 850306677 389672960 21300 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1793.33
Current children cumulated vsize (KiB) 12215172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789 s]
/proc/loadavg: 1.04 1.05 1.25 2/813 29220
/proc/meminfo: memFree=7424684/32951124 swapFree=62998992/67111528
[pid=28908] ppid=28906 vsize=380540 CPUtime=4.03 cores=1,3,5,7
/proc/28908/stat : 28908 (python) S 28906 28908 27575 0 -1 4202496 35064 932 1 0 383 20 0 0 20 0 5 0 850291510 389672960 21300 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28908/statm: 95135 21300 1877 364 0 30013 0
[pid=28914] ppid=28908 vsize=349772 CPUtime=0.25 cores=1,3,5,7
/proc/28914/stat : 28914 (python) S 28908 28908 27575 0 -1 4202560 1096 0 0 0 10 15 0 0 16 0 2 0 850291933 358166528 19818 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28914/statm: 87443 19818 406 364 0 22330 0
[pid=28916] ppid=28914 vsize=76648 CPUtime=50.03 cores=1,3,5,7
/proc/28916/stat : 28916 (wbo1.4a) T 28914 28916 28916 0 -1 4202496 25327 0 0 0 4978 25 0 0 25 0 1 0 850291934 78487552 18188 33554432000 134512640 135751879 4289478544 18446744073709551615 134616334 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/28916/statm: 19162 18188 146 303 0 18857 0
[pid=28914/tid=28919] ppid=28908 vsize=349772 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28919/stat : 28919 (python) S 28908 28908 27575 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850296937 358166528 19818 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554946 18446604470683281472 0 0 -1 7 0 0 0
[pid=28920] ppid=28908 vsize=349784 CPUtime=0.25 cores=1,3,5,7
/proc/28920/stat : 28920 (python) S 28908 28908 27575 0 -1 4202560 1109 0 0 0 12 13 0 0 16 0 2 0 850296939 358178816 19808 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28920/statm: 87446 19808 396 364 0 22330 0
[pid=28922] ppid=28920 vsize=1050204 CPUtime=51.29 cores=1,3,5,7
/proc/28922/stat : 28922 (scip-2.0.1.linu) T 28920 28922 28922 0 -1 4202496 263059 0 0 0 4916 213 0 0 25 0 1 0 850296940 1075408896 255162 33554432000 4194304 13684479 140737304120864 18446744073709551615 4508550 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/28922/statm: 262551 255162 693 2317 0 260229 0
[pid=28920/tid=28924] ppid=28908 vsize=349784 CPUtime=0 cores=1,3,5,7
/proc/28920/task/28924/stat : 28924 (python) S 28908 28908 27575 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850302070 358178816 19808 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554946 18446604464735289600 0 0 -1 7 0 0 0
[pid=28925] ppid=28908 vsize=360040 CPUtime=0.22 cores=1,3,5,7
/proc/28925/stat : 28925 (python) S 28908 28908 27575 0 -1 4202560 1118 0 0 0 10 12 0 0 17 0 2 0 850302072 368680960 19812 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28925/statm: 90010 19812 396 364 0 24891 0
[pid=28927] ppid=28925 vsize=8540972 CPUtime=48.73 cores=1,3,5,7
/proc/28927/stat : 28927 (java) T 28925 28927 28927 0 -1 4202496 720702 0 1 0 4792 81 0 0 15 0 19 0 850302072 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28927/statm: 2135243 709304 2249 9 0 2125984 0
[pid=28927/tid=28928] ppid=28925 vsize=8540972 CPUtime=45.63 cores=1,3,5,7
/proc/28927/task/28928/stat : 28928 (java) T 28925 28927 28927 0 -1 4202560 629302 0 1 0 4493 70 0 0 25 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 46912505807178 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28927/tid=28929] ppid=28925 vsize=8540972 CPUtime=0.12 cores=1,3,5,7
/proc/28927/task/28929/stat : 28929 (java) T 28925 28927 28927 0 -1 4202560 9129 0 0 0 11 1 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28930] ppid=28925 vsize=8540972 CPUtime=0.17 cores=1,3,5,7
/proc/28927/task/28930/stat : 28930 (java) T 28925 28927 28927 0 -1 4202560 13399 0 0 0 16 1 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28931] ppid=28925 vsize=8540972 CPUtime=0.13 cores=1,3,5,7
/proc/28927/task/28931/stat : 28931 (java) T 28925 28927 28927 0 -1 4202560 9418 0 0 0 13 0 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28927/tid=28932] ppid=28925 vsize=8540972 CPUtime=0.1 cores=1,3,5,7
/proc/28927/task/28932/stat : 28932 (java) T 28925 28927 28927 0 -1 4202560 8091 0 0 0 10 0 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28927/tid=28933] ppid=28925 vsize=8540972 CPUtime=0.11 cores=1,3,5,7
/proc/28927/task/28933/stat : 28933 (java) T 28925 28927 28927 0 -1 4202560 10883 0 0 0 11 0 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28927/tid=28934] ppid=28925 vsize=8540972 CPUtime=0.11 cores=1,3,5,7
/proc/28927/task/28934/stat : 28934 (java) T 28925 28927 28927 0 -1 4202560 8280 0 0 0 10 1 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28927/tid=28935] ppid=28925 vsize=8540972 CPUtime=0.12 cores=1,3,5,7
/proc/28927/task/28935/stat : 28935 (java) T 28925 28927 28927 0 -1 4202560 8462 0 0 0 11 1 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28936] ppid=28925 vsize=8540972 CPUtime=0.13 cores=1,3,5,7
/proc/28927/task/28936/stat : 28936 (java) T 28925 28927 28927 0 -1 4202560 9512 0 0 0 12 1 0 0 15 0 19 0 850302074 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28927/tid=28937] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28937/stat : 28937 (java) T 28925 28927 28927 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 850302075 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738221568 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28927/tid=28938] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28938/stat : 28938 (java) T 28925 28927 28927 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 850302076 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28939] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28939/stat : 28939 (java) T 28925 28927 28927 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 850302076 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28927/tid=28940] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28940/stat : 28940 (java) T 28925 28927 28927 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850302078 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738228657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28941] ppid=28925 vsize=8540972 CPUtime=1 cores=1,3,5,7
/proc/28927/task/28941/stat : 28941 (java) T 28925 28927 28927 0 -1 4202560 7832 0 0 0 99 1 0 0 15 0 19 0 850302078 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28927/tid=28942] ppid=28925 vsize=8540972 CPUtime=1.01 cores=1,3,5,7
/proc/28927/task/28942/stat : 28942 (java) T 28925 28927 28927 0 -1 4202560 3732 0 0 0 101 0 0 0 15 0 19 0 850302078 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28927/tid=28943] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28943/stat : 28943 (java) T 28925 28927 28927 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 850302078 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28944] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28944/stat : 28944 (java) T 28925 28927 28927 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850302078 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28927/tid=28946] ppid=28925 vsize=8540972 CPUtime=0 cores=1,3,5,7
/proc/28927/task/28946/stat : 28946 (java) T 28925 28927 28927 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850302233 8745955328 709304 33554432000 1073741824 1073778376 140736497441680 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28925/tid=29095] ppid=28908 vsize=360040 CPUtime=0 cores=1,3,5,7
/proc/28925/task/29095/stat : 29095 (python) S 28908 28908 27575 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 850306674 368680960 19812 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554946 18446604463896134592 0 0 -1 7 0 0 0
[pid=29096] ppid=28908 vsize=370296 CPUtime=7.92 cores=1,3,5,7
/proc/29096/stat : 29096 (python) S 28908 28908 27575 0 -1 4202560 1053 0 0 0 360 432 0 0 15 0 1 0 850306677 379183104 19791 33554432000 4194304 5683644 140737166824416 18446744073709551615 264726425158 0 0 16781312 33554946 5623753486446373614 0 0 17 7 0 0 0
/proc/29096/statm: 92574 19791 372 364 0 27452 0
[pid=29098] ppid=29096 vsize=739028 CPUtime=1637.37 cores=1,3,5,7
/proc/29098/stat : 29098 (bsolo_pb10) R 29096 29098 29098 0 -1 4202496 17055929 0 0 0 161761 1976 0 0 25 0 1 0 850306677 756764672 182141 33554432000 134512640 137138936 4292586960 18446744073709551615 134542808 0 0 16781312 16384 0 0 0 17 3 0 0 0
/proc/29098/statm: 184757 182141 192 642 0 184113 0
[pid=28908/tid=28915] ppid=28906 vsize=380540 CPUtime=0 cores=1,3,5,7
/proc/28908/task/28915/stat : 28915 (python) S 28906 28908 27575 0 -1 4202560 26 932 0 0 0 0 0 0 22 0 5 0 850291934 389672960 21300 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 3 0 0 0
[pid=28908/tid=28921] ppid=28906 vsize=380540 CPUtime=0 cores=1,3,5,7
/proc/28908/task/28921/stat : 28921 (python) S 28906 28908 27575 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 5 0 850296940 389672960 21300 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 3 0 0 0
[pid=28908/tid=28926] ppid=28906 vsize=380540 CPUtime=0 cores=1,3,5,7
/proc/28908/task/28926/stat : 28926 (python) S 28906 28908 27575 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 5 0 850302072 389672960 21300 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 5 0 0 0
[pid=28908/tid=29097] ppid=28906 vsize=380540 CPUtime=0 cores=1,3,5,7
/proc/28908/task/29097/stat : 29097 (python) S 28906 28908 27575 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 5 0 850306677 389672960 21300 33554432000 4194304 5683644 140737166824416 18446744073709551615 264738228657 0 0 16781312 33554434 18446604469487653888 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 12217284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28908 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=836416
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=209968
# CPU time returned by wait4() is 4.04638
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1789.09
CPU time (s): 1800.09
CPU user time (s): 1772.22
CPU system time (s): 27.87
CPU usage (%): 100.615
Max. virtual memory (cumulated for all children) (KiB): 12217460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.83642
system time used= 0.209968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35998
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= 2864
involuntary context switches= 18
runsolver used 13.5479 second user time and 37.0304 second system time
The end