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-3482314-1307578933/watcher-3482314-1307578933 -o /tmp/evaluation-result-3482314-1307578933/solver-3482314-1307578933 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482314-1307578933.opb -seed 1221386940 -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.21 2.10 1.93 2/871 30654
/proc/meminfo: memFree=9995972/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=16244 CPUtime=0.01 cores=1,3,5,7
/proc/30654/stat : 30654 (python) R 30652 30654 27243 0 -1 4202496 1063 0 0 0 1 0 0 0 25 0 1 0 850309264 16633856 934 33554432000 4194304 5683644 140736500378176 18446744073709551615 220816236288 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30654/statm: 4061 934 381 364 0 548 0
[startup+0.0410701 s]
/proc/loadavg: 2.21 2.10 1.93 2/871 30654
/proc/meminfo: memFree=9995972/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=18888 CPUtime=0.03 cores=1,3,5,7
/proc/30654/stat : 30654 (python) R 30652 30654 27243 0 -1 4202496 1288 0 0 0 3 0 0 0 17 0 1 0 850309264 19341312 1140 33554432000 4194304 5683644 140736500378176 18446744073709551615 4438554 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30654/statm: 4722 1140 421 364 0 691 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18888
[startup+0.101066 s]
/proc/loadavg: 2.21 2.10 1.93 2/871 30654
/proc/meminfo: memFree=9995972/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/30654/stat : 30654 (python) R 30652 30654 27243 0 -1 4202496 3169 933 1 0 5 1 0 0 18 0 1 0 850309264 98435072 2483 33554432000 4194304 5683644 140736500378176 18446744073709551615 5158290 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30654/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300977 s]
/proc/loadavg: 2.21 2.10 1.93 2/871 30654
/proc/meminfo: memFree=9995972/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=184600 CPUtime=0.22 cores=1,3,5,7
/proc/30654/stat : 30654 (python) R 30652 30654 27243 0 -1 4202496 6374 933 1 0 16 6 0 0 17 0 1 0 850309264 189030400 4670 33554432000 4194304 5683644 140736500378176 18446744073709551615 220816234496 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/30654/statm: 46150 4670 1251 364 0 3656 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184600
[startup+0.700938 s]
/proc/loadavg: 2.21 2.10 1.93 2/871 30654
/proc/meminfo: memFree=9995972/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=294220 CPUtime=0.48 cores=1,3,5,7
/proc/30654/stat : 30654 (python) S 30652 30654 27243 0 -1 4202496 9955 933 1 0 39 9 0 0 19 0 2 0 850309264 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30654/statm: 73555 7394 1870 364 0 8442 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 294220
[startup+1.50079 s]
/proc/loadavg: 2.21 2.10 1.93 3/875 30662
/proc/meminfo: memFree=9938280/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=294220 CPUtime=0.48 cores=1,3,5,7
/proc/30654/stat : 30654 (python) S 30652 30654 27243 0 -1 4202496 9955 933 1 0 39 9 0 0 19 0 2 0 850309264 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30654/statm: 73555 7394 1870 364 0 8442 0
[pid=30660] ppid=30654 vsize=283976 CPUtime=0 cores=1,3,5,7
/proc/30660/stat : 30660 (python) S 30654 30654 27243 0 -1 4202560 846 0 0 0 0 0 0 0 15 0 1 0 850309324 290791424 5878 33554432000 4194304 5683644 140736500378176 18446744073709551615 220816256527 0 0 16781312 33554946 2315166850637365248 0 0 17 1 0 0 0
/proc/30660/statm: 70994 5878 358 364 0 5881 0
[pid=30662] ppid=30660 vsize=45436 CPUtime=0.89 cores=1,3,5,7
/proc/30662/stat : 30662 (scip-2.0.1.linu) R 30660 30662 30662 0 -1 4202496 9801 0 0 0 82 7 0 0 18 0 1 0 850309324 46526464 9050 33554432000 4194304 13684479 140734152656096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30662/statm: 11359 9050 752 2317 0 9037 0
[pid=30654/tid=30661] ppid=30652 vsize=294220 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30661/stat : 30661 (python) S 30652 30654 27243 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 850309324 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 623632
[startup+3.1205 s]
/proc/loadavg: 2.21 2.10 1.93 3/875 30662
/proc/meminfo: memFree=9921644/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=294220 CPUtime=0.48 cores=1,3,5,7
/proc/30654/stat : 30654 (python) S 30652 30654 27243 0 -1 4202496 9955 933 1 0 39 9 0 0 19 0 2 0 850309264 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30654/statm: 73555 7394 1870 364 0 8442 0
[pid=30660] ppid=30654 vsize=283976 CPUtime=0 cores=1,3,5,7
/proc/30660/stat : 30660 (python) S 30654 30654 27243 0 -1 4202560 850 0 0 0 0 0 0 0 15 0 1 0 850309324 290791424 5878 33554432000 4194304 5683644 140736500378176 18446744073709551615 220816256527 0 0 16781312 33554946 930858338055356416 0 0 17 1 0 0 0
/proc/30660/statm: 70994 5878 358 364 0 5881 0
[pid=30662] ppid=30660 vsize=60808 CPUtime=2.51 cores=1,3,5,7
/proc/30662/stat : 30662 (scip-2.0.1.linu) R 30660 30662 30662 0 -1 4202496 13708 0 0 0 239 12 0 0 18 0 1 0 850309324 62267392 12834 33554432000 4194304 13684479 140734152656096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30662/statm: 15202 12834 751 2317 0 12880 0
[pid=30654/tid=30661] ppid=30652 vsize=294220 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30661/stat : 30661 (python) S 30652 30654 27243 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 850309324 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 639004
[startup+6.30091 s]
/proc/loadavg: 2.19 2.10 1.93 3/875 30662
/proc/meminfo: memFree=9904460/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=294220 CPUtime=0.48 cores=1,3,5,7
/proc/30654/stat : 30654 (python) S 30652 30654 27243 0 -1 4202496 9955 933 1 0 39 9 0 0 19 0 2 0 850309264 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30654/statm: 73555 7394 1870 364 0 8442 0
[pid=30660] ppid=30654 vsize=283976 CPUtime=0.02 cores=1,3,5,7
/proc/30660/stat : 30660 (python) S 30654 30654 27243 0 -1 4202560 994 0 0 0 1 1 0 0 15 0 1 0 850309324 290791424 5901 33554432000 4194304 5683644 140736500378176 18446744073709551615 220816256527 0 0 16781312 33554946 1692845416799797248 0 0 17 1 0 0 0
/proc/30660/statm: 70994 5901 381 364 0 5881 0
[pid=30662] ppid=30660 vsize=79736 CPUtime=5.72 cores=1,3,5,7
/proc/30662/stat : 30662 (scip-2.0.1.linu) R 30660 30662 30662 0 -1 4202496 22945 0 0 0 551 21 0 0 18 0 1 0 850309324 81649664 17271 33554432000 4194304 13684479 140734152656096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30662/statm: 19934 17271 810 2317 0 17612 0
[pid=30654/tid=30661] ppid=30652 vsize=294220 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30661/stat : 30661 (python) S 30652 30654 27243 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 850309324 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 657932
[startup+12.7007 s]
/proc/loadavg: 2.18 2.10 1.93 3/879 30666
/proc/meminfo: memFree=9841200/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=294220 CPUtime=0.48 cores=1,3,5,7
/proc/30654/stat : 30654 (python) S 30652 30654 27243 0 -1 4202496 9955 933 1 0 39 9 0 0 19 0 2 0 850309264 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30654/statm: 73555 7394 1870 364 0 8442 0
[pid=30660] ppid=30654 vsize=283976 CPUtime=0.06 cores=1,3,5,7
/proc/30660/stat : 30660 (python) S 30654 30654 27243 0 -1 4202560 1003 0 0 0 3 3 0 0 15 0 1 0 850309324 290791424 5901 33554432000 4194304 5683644 140736500378176 18446744073709551615 220816256527 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/30660/statm: 70994 5901 381 364 0 5881 0
[pid=30662] ppid=30660 vsize=91068 CPUtime=12.1 cores=1,3,5,7
/proc/30662/stat : 30662 (scip-2.0.1.linu) R 30660 30662 30662 0 -1 4202496 34831 0 0 0 1178 32 0 0 18 0 1 0 850309324 93253632 20060 33554432000 4194304 13684479 140734152656096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30662/statm: 22767 20060 904 2317 0 20445 0
[pid=30654/tid=30661] ppid=30652 vsize=294220 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30661/stat : 30661 (python) S 30652 30654 27243 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 850309324 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 669264
[startup+25.5014 s]
/proc/loadavg: 2.14 2.09 1.93 3/879 30666
/proc/meminfo: memFree=9787000/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=294220 CPUtime=0.48 cores=1,3,5,7
/proc/30654/stat : 30654 (python) S 30652 30654 27243 0 -1 4202496 9955 933 1 0 39 9 0 0 19 0 2 0 850309264 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30654/statm: 73555 7394 1870 364 0 8442 0
[pid=30660] ppid=30654 vsize=283976 CPUtime=0.11 cores=1,3,5,7
/proc/30660/stat : 30660 (python) S 30654 30654 27243 0 -1 4202560 1009 0 0 0 6 5 0 0 15 0 1 0 850309324 290791424 5901 33554432000 4194304 5683644 140736500378176 18446744073709551615 220816256527 0 0 16781312 33554946 922021812211023872 0 0 17 7 0 0 0
/proc/30660/statm: 70994 5901 381 364 0 5881 0
[pid=30662] ppid=30660 vsize=116688 CPUtime=24.89 cores=1,3,5,7
/proc/30662/stat : 30662 (scip-2.0.1.linu) R 30660 30662 30662 0 -1 4202496 51075 0 0 0 2436 53 0 0 25 0 1 0 850309324 119488512 25639 33554432000 4194304 13684479 140734152656096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30662/statm: 29172 25639 822 2317 0 26850 0
[pid=30654/tid=30661] ppid=30652 vsize=294220 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30661/stat : 30661 (python) S 30652 30654 27243 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 850309324 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 694884
[startup+51.1006 s]
/proc/loadavg: 2.09 2.08 1.93 3/879 30667
/proc/meminfo: memFree=9766392/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=294220 CPUtime=0.48 cores=1,3,5,7
/proc/30654/stat : 30654 (python) S 30652 30654 27243 0 -1 4202496 9955 933 1 0 39 9 0 0 19 0 2 0 850309264 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30654/statm: 73555 7394 1870 364 0 8442 0
[pid=30660] ppid=30654 vsize=283976 CPUtime=0.24 cores=1,3,5,7
/proc/30660/stat : 30660 (python) S 30654 30654 27243 0 -1 4202560 1021 0 0 0 12 12 0 0 15 0 1 0 850309324 290791424 5901 33554432000 4194304 5683644 140736500378176 18446744073709551615 220816256527 0 0 16781312 33554946 1748173318650855424 0 0 17 7 0 0 0
/proc/30660/statm: 70994 5901 381 364 0 5881 0
[pid=30662] ppid=30660 vsize=138476 CPUtime=50.49 cores=1,3,5,7
/proc/30662/stat : 30662 (scip-2.0.1.linu) R 30660 30662 30662 0 -1 4202496 63451 0 0 0 4952 97 0 0 25 0 1 0 850309324 141799424 30447 33554432000 4194304 13684479 140734152656096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30662/statm: 34619 30447 755 2317 0 32297 0
[pid=30654/tid=30661] ppid=30652 vsize=294220 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30661/stat : 30661 (python) S 30652 30654 27243 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 850309324 301281280 7394 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 716672
[startup+102.301 s]
/proc/loadavg: 2.11 2.10 1.94 3/898 30749
/proc/meminfo: memFree=7735636/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=315184 CPUtime=0.52 cores=1,3,5,7
/proc/30654/stat : 30654 (python) S 30652 30654 27243 0 -1 4202496 11649 933 1 0 43 9 0 0 20 0 4 0 850309264 322748416 7536 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30654/statm: 78796 7536 1875 364 0 13677 0
[pid=30660] ppid=30654 vsize=294220 CPUtime=0.27 cores=1,3,5,7
/proc/30660/stat : 30660 (python) S 30654 30654 27243 0 -1 4202560 1181 0 0 0 13 14 0 0 16 0 2 0 850309324 301281280 5937 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30660/statm: 73555 5937 412 364 0 8442 0
[pid=30662] ppid=30660 vsize=138476 CPUtime=50.55 cores=1,3,5,7
/proc/30662/stat : 30662 (scip-2.0.1.linu) T 30660 30662 30662 0 -1 4202496 63451 0 0 0 4958 97 0 0 25 0 1 0 850309324 141799424 30447 33554432000 4194304 13684479 140734152656096 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/30662/statm: 34619 30447 755 2317 0 32297 0
[pid=30660/tid=30668] ppid=30654 vsize=294220 CPUtime=0 cores=1,3,5,7
/proc/30660/task/30668/stat : 30668 (python) S 30654 30654 27243 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850314380 301281280 5937 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554946 18446604465121515712 0 0 -1 3 0 0 0
[pid=30669] ppid=30654 vsize=294684 CPUtime=0.24 cores=1,3,5,7
/proc/30669/stat : 30669 (python) S 30654 30654 27243 0 -1 4202560 1106 0 0 0 12 12 0 0 16 0 2 0 850314383 301756416 6034 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30669/statm: 73671 6034 397 364 0 8555 0
[pid=30671] ppid=30669 vsize=8537568 CPUtime=49.77 cores=1,3,5,7
/proc/30671/stat : 30671 (java) T 30669 30671 30671 0 -1 4202496 38013 0 1 0 4971 6 0 0 18 0 19 0 850314383 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30671/statm: 2134392 35205 2254 9 0 2125133 0
[pid=30671/tid=30672] ppid=30669 vsize=8537568 CPUtime=48.19 cores=1,3,5,7
/proc/30671/task/30672/stat : 30672 (java) T 30669 30671 30671 0 -1 4202560 12039 0 1 0 4816 3 0 0 25 0 19 0 850314384 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 46912505700666 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30671/tid=30673] ppid=30669 vsize=8537568 CPUtime=0.03 cores=1,3,5,7
/proc/30671/task/30673/stat : 30673 (java) T 30669 30671 30671 0 -1 4202560 1485 0 0 0 3 0 0 0 15 0 19 0 850314384 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30671/tid=30674] ppid=30669 vsize=8537568 CPUtime=0.03 cores=1,3,5,7
/proc/30671/task/30674/stat : 30674 (java) T 30669 30671 30671 0 -1 4202560 1502 0 0 0 3 0 0 0 15 0 19 0 850314384 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30671/tid=30675] ppid=30669 vsize=8537568 CPUtime=0.04 cores=1,3,5,7
/proc/30671/task/30675/stat : 30675 (java) T 30669 30671 30671 0 -1 4202560 2594 0 0 0 4 0 0 0 15 0 19 0 850314384 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30671/tid=30676] ppid=30669 vsize=8537568 CPUtime=0.03 cores=1,3,5,7
/proc/30671/task/30676/stat : 30676 (java) T 30669 30671 30671 0 -1 4202560 2398 0 0 0 3 0 0 0 15 0 19 0 850314385 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30671/tid=30677] ppid=30669 vsize=8537568 CPUtime=0.03 cores=1,3,5,7
/proc/30671/task/30677/stat : 30677 (java) T 30669 30671 30671 0 -1 4202560 877 0 0 0 3 0 0 0 15 0 19 0 850314385 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30671/tid=30678] ppid=30669 vsize=8537568 CPUtime=0.04 cores=1,3,5,7
/proc/30671/task/30678/stat : 30678 (java) T 30669 30671 30671 0 -1 4202560 1809 0 0 0 4 0 0 0 15 0 19 0 850314385 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=30747/tid=30751] ppid=30654 vsize=304940 CPUtime=0 cores=1,3,5,7
/proc/30747/task/30751/stat : 30751 (python) S 30654 30654 27243 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850323999 312258560 6055 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554946 18446604461076472256 0 0 -1 7 0 0 0
[pid=30752] ppid=30654 vsize=315196 CPUtime=0.12 cores=1,3,5,7
/proc/30752/stat : 30752 (python) S 30654 30654 27243 0 -1 4202560 973 0 0 0 8 4 0 0 15 0 1 0 850324001 322760704 6034 33554432000 4194304 5683644 140736500378176 18446744073709551615 220816256582 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/30752/statm: 78799 6034 373 364 0 13677 0
[pid=30754] ppid=30752 vsize=33000 CPUtime=14.92 cores=1,3,5,7
/proc/30754/stat : 30754 (wbo1.4a) R 30752 30754 30754 0 -1 4202496 11556 0 0 0 1437 55 0 0 25 0 1 0 850324002 33792000 7810 33554432000 134512640 135751879 4293144000 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/30754/statm: 8250 7810 146 303 0 7945 0
[pid=30654/tid=30661] ppid=30652 vsize=325440 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30661/stat : 30661 (python) S 30652 30654 27243 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 5 0 850309324 333250560 7542 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 7 0 0 0
[pid=30654/tid=30670] ppid=30652 vsize=325440 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30670/stat : 30670 (python) S 30652 30654 27243 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 5 0 850314383 333250560 7542 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 3 0 0 0
[pid=30654/tid=30748] ppid=30652 vsize=325440 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30748/stat : 30748 (python) S 30652 30654 27243 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 5 0 850319251 333250560 7542 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 3 0 0 0
[pid=30654/tid=30753] ppid=30652 vsize=325440 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30753/stat : 30753 (python) S 30652 30654 27243 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 5 0 850324001 333250560 7542 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 164.14
Current children cumulated vsize (KiB) 10393444
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+195.502 s]
/proc/loadavg: 2.13 2.10 1.95 5/924 30781
/proc/meminfo: memFree=5562772/32951124 swapFree=60476376/67111528
[pid=30654] ppid=30652 vsize=335696 CPUtime=0.58 cores=1,3,5,7
/proc/30654/stat : 30654 (python) S 30652 30654 27243 0 -1 4202496 13395 933 1 0 48 10 0 0 20 0 6 0 850309264 343752704 7550 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 83924 7550 1879 364 0 18799 0
[pid=30660] ppid=30654 vsize=294220 CPUtime=0.27 cores=1,3,5,7
/proc/30660/stat : 30660 (python) S 30654 30654 27243 0 -1 4202560 1181 0 0 0 13 14 0 0 16 0 2 0 850309324 301281280 5937 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30660/statm: 73555 5937 412 364 0 8442 0
[pid=30662] ppid=30660 vsize=138476 CPUtime=50.55 cores=1,3,5,7
/proc/30662/stat : 30662 (scip-2.0.1.linu) T 30660 30662 30662 0 -1 4202496 63451 0 0 0 4958 97 0 0 25 0 1 0 850309324 141799424 30447 33554432000 4194304 13684479 140734152656096 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/30662/statm: 34619 30447 755 2317 0 32297 0
[pid=30660/tid=30668] ppid=30654 vsize=294220 CPUtime=0 cores=1,3,5,7
/proc/30660/task/30668/stat : 30668 (python) S 30654 30654 27243 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850314380 301281280 5937 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554946 18446604465121515712 0 0 -1 3 0 0 0
[pid=30669] ppid=30654 vsize=294684 CPUtime=0.24 cores=1,3,5,7
/proc/30669/stat : 30669 (python) S 30654 30654 27243 0 -1 4202560 1106 0 0 0 12 12 0 0 16 0 2 0 850314383 301756416 6034 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30669/statm: 73671 6034 397 364 0 8555 0
[pid=30671] ppid=30669 vsize=8537568 CPUtime=49.77 cores=1,3,5,7
/proc/30671/stat : 30671 (java) T 30669 30671 30671 0 -1 4202496 38013 0 1 0 4971 6 0 0 18 0 19 0 850314383 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30671/statm: 2134392 35205 2254 9 0 2125133 0
[pid=30671/tid=30672] ppid=30669 vsize=8537568 CPUtime=48.19 cores=1,3,5,7
/proc/30671/task/30672/stat : 30672 (java) T 30669 30671 30671 0 -1 4202560 12039 0 1 0 4816 3 0 0 25 0 19 0 850314384 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 46912505700666 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30671/tid=30673] ppid=30669 vsize=8537568 CPUtime=0.03 cores=1,3,5,7
/proc/30671/task/30673/stat : 30673 (java) T 30669 30671 30671 0 -1 4202560 1485 0 0 0 3 0 0 0 15 0 19 0 850314384 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30671/tid=30674] ppid=30669 vsize=8537568 CPUtime=0.03 cores=1,3,5,7
/proc/30671/task/30674/stat : 30674 (java) T 30669 30671 30671 0 -1 4202560 1502 0 0 0 3 0 0 0 15 0 19 0 850314384 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30671/tid=30675] ppid=30669 vsize=8537568 CPUtime=0.04 cores=1,3,5,7
/proc/30671/task/30675/stat : 30675 (java) T 30669 30671 30671 0 -1 4202560 2594 0 0 0 4 0 0 0 15 0 19 0 850314384 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30671/tid=30676] ppid=30669 vsize=8537568 CPUtime=0.03 cores=1,3,5,7
/proc/30671/task/30676/stat : 30676 (java) T 30669 30671 30671 0 -1 4202560 2398 0 0 0 3 0 0 0 15 0 19 0 850314385 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30671/tid=30677] ppid=30669 vsize=8537568 CPUtime=0.03 cores=1,3,5,7
/proc/30671/task/30677/stat : 30677 (java) T 30669 30671 30671 0 -1 4202560 877 0 0 0 3 0 0 0 15 0 19 0 850314385 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30671/tid=30678] ppid=30669 vsize=8537568 CPUtime=0.04 cores=1,3,5,7
/proc/30671/task/30678/stat : 30678 (java) T 30669 30671 30671 0 -1 4202560 1809 0 0 0 4 0 0 0 15 0 19 0 850314385 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30671/tid=30679] ppid=30669 vsize=8537568 CPUtime=0.02 cores=1,3,5,7
/proc/30671/task/30679/stat : 30679 (java) T 30669 30671 30671 0 -1 4202560 586 0 0 0 2 0 0 0 15 0 19 0 850314385 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30671/tid=30680] ppid=30669 vsize=8537568 CPUtime=0.02 cores=1,3,5,7
/proc/30671/task/30680/stat : 30680 (java) T 30669 30671 30671 0 -1 4202560 1076 0 0 0 2 0 0 0 15 0 19 0 850314385 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30671/tid=30681] ppid=30669 vsize=8537568 CPUtime=0.29 cores=1,3,5,7
/proc/30671/task/30681/stat : 30681 (java) T 30669 30671 30671 0 -1 4202560 7007 0 0 0 29 0 0 0 15 0 19 0 850314386 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052992 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30671/tid=30682] ppid=30669 vsize=8537568 CPUtime=0 cores=1,3,5,7
/proc/30671/task/30682/stat : 30682 (java) T 30669 30671 30671 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850314386 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30671/tid=30683] ppid=30669 vsize=8537568 CPUtime=0 cores=1,3,5,7
/proc/30671/task/30683/stat : 30683 (java) T 30669 30671 30671 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850314386 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30671/tid=30684] ppid=30669 vsize=8537568 CPUtime=0 cores=1,3,5,7
/proc/30671/task/30684/stat : 30684 (java) T 30669 30671 30671 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850314388 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828060081 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30671/tid=30685] ppid=30669 vsize=8537568 CPUtime=0.48 cores=1,3,5,7
/proc/30671/task/30685/stat : 30685 (java) T 30669 30671 30671 0 -1 4202560 3379 0 0 0 48 0 0 0 15 0 19 0 850314388 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30671/tid=30686] ppid=30669 vsize=8537568 CPUtime=0.46 cores=1,3,5,7
/proc/30671/task/30686/stat : 30686 (java) T 30669 30671 30671 0 -1 4202560 1872 0 0 0 46 0 0 0 15 0 19 0 850314388 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30671/tid=30687] ppid=30669 vsize=8537568 CPUtime=0 cores=1,3,5,7
/proc/30671/task/30687/stat : 30687 (java) T 30669 30671 30671 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850314388 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30671/tid=30688] ppid=30669 vsize=8537568 CPUtime=0 cores=1,3,5,7
/proc/30671/task/30688/stat : 30688 (java) T 30669 30671 30671 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850314388 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30671/tid=30689] ppid=30669 vsize=8537568 CPUtime=0 cores=1,3,5,7
/proc/30671/task/30689/stat : 30689 (java) T 30669 30671 30671 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850314420 8742469632 35205 33554432000 1073741824 1073778376 140736004416272 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30669/tid=30746] ppid=30654 vsize=294684 CPUtime=0 cores=1,3,5,7
/proc/30669/task/30746/stat : 30746 (python) S 30654 30654 27243 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850319248 301756416 6034 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554946 18446604464372327552 0 0 -1 7 0 0 0
[pid=30747] ppid=30654 vsize=304940 CPUtime=0.25 cores=1,3,5,7
/proc/30747/stat : 30747 (python) S 30654 30654 27243 0 -1 4202560 1129 0 0 0 12 13 0 0 16 0 2 0 850319251 312258560 6055 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30747/statm: 76235 6055 397 364 0 11116 0
[pid=30749] ppid=30747 vsize=149920 CPUtime=47.47 cores=1,3,5,7
/proc/30749/stat : 30749 (scip-2.0.1.linu) T 30747 30749 30749 0 -1 4202496 70679 0 0 0 4713 34 0 0 19 0 1 0 850319251 153518080 32855 33554432000 4194304 15243407 140733296806272 18446744073709551615 8113576 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/30749/statm: 37480 32855 860 2698 0 34775 0
[pid=30747/tid=30751] ppid=30654 vsize=304940 CPUtime=0 cores=1,3,5,7
/proc/30747/task/30751/stat : 30751 (python) S 30654 30654 27243 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850323999 312258560 6055 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554946 18446604461076472256 0 0 -1 7 0 0 0
[pid=30752] ppid=30654 vsize=315196 CPUtime=0.29 cores=1,3,5,7
/proc/30752/stat : 30752 (python) S 30654 30654 27243 0 -1 4202560 1154 0 0 0 16 13 0 0 16 0 2 0 850324001 322760704 6059 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30752/statm: 78799 6059 397 364 0 13677 0
[pid=30754] ppid=30752 vsize=85100 CPUtime=47.27 cores=1,3,5,7
/proc/30754/stat : 30754 (wbo1.4a) T 30752 30754 30754 0 -1 4202496 24558 0 0 0 4602 125 0 0 25 0 1 0 850324002 87142400 20812 33554432000 134512640 135751879 4293144000 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/30754/statm: 21275 20812 146 303 0 20970 0
[pid=30752/tid=30760] ppid=30654 vsize=315196 CPUtime=0 cores=1,3,5,7
/proc/30752/task/30760/stat : 30760 (python) S 30654 30654 27243 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 850328730 322760704 6059 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554946 18446604469418469440 0 0 -1 7 0 0 0
[pid=30761] ppid=30654 vsize=325452 CPUtime=0 cores=1,3,5,7
/proc/30761/stat : 30761 (python) S 30654 30654 27243 0 -1 4202560 816 0 0 0 0 0 0 0 15 0 1 0 850328732 333262848 6016 33554432000 4194304 5683644 140736500378176 18446744073709551615 220816256582 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/30761/statm: 81363 6016 349 364 0 16238 0
[pid=30763] ppid=30761 vsize=8550368 CPUtime=1.87 cores=1,3,5,7
/proc/30763/stat : 30763 (java) S 30761 30763 30763 0 -1 4202496 33422 0 1 0 183 4 0 0 17 0 19 0 850328733 8755576832 28302 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/30763/statm: 2137592 28305 2228 9 0 2128333 0
[pid=30763/tid=30764] ppid=30761 vsize=8550368 CPUtime=0.83 cores=1,3,5,7
/proc/30763/task/30764/stat : 30764 (java) R 30761 30763 30763 0 -1 4202560 21282 0 1 0 81 2 0 0 25 0 19 0 850328734 8755576832 28377 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 46912505955449 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30763/tid=30765] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30765/stat : 30765 (java) S 30761 30763 30763 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850328734 8755576832 28382 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052377 0 4 0 16800975 18446604458914171968 0 0 -1 7 0 0 0
[pid=30763/tid=30766] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30766/stat : 30766 (java) S 30761 30763 30763 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850328734 8755576832 28386 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052377 0 4 0 16800975 18446604458914171968 0 0 -1 5 0 0 0
[pid=30763/tid=30767] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30767/stat : 30767 (java) S 30761 30763 30763 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850328734 8755576832 28386 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052377 0 4 0 16800975 18446604458914171968 0 0 -1 5 0 0 0
[pid=30763/tid=30768] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30768/stat : 30768 (java) S 30761 30763 30763 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850328734 8755576832 28386 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052377 0 4 0 16800975 18446604458914171968 0 0 -1 5 0 0 0
[pid=30763/tid=30769] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30769/stat : 30769 (java) S 30761 30763 30763 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850328734 8755576832 28390 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052377 0 4 0 16800975 18446604458914171968 0 0 -1 5 0 0 0
[pid=30763/tid=30770] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30770/stat : 30770 (java) S 30761 30763 30763 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850328734 8755576832 28396 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052377 0 4 0 16800975 18446604458914171968 0 0 -1 5 0 0 0
[pid=30763/tid=30771] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30771/stat : 30771 (java) S 30761 30763 30763 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850328734 8755576832 28397 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052377 0 4 0 16800975 18446604458914171968 0 0 -1 5 0 0 0
[pid=30763/tid=30772] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30772/stat : 30772 (java) S 30761 30763 30763 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850328734 8755576832 28397 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052377 0 4 0 16800975 18446604458914171968 0 0 -1 5 0 0 0
[pid=30763/tid=30773] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30773/stat : 30773 (java) S 30761 30763 30763 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 850328735 8755576832 28398 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052992 0 0 0 16800975 18446604458914171968 0 0 -1 5 0 0 0
[pid=30763/tid=30774] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30774/stat : 30774 (java) S 30761 30763 30763 0 -1 4202560 17 0 0 0 0 0 0 0 23 0 19 0 850328736 8755576832 28403 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052377 0 4 0 16800975 18446604458914171968 0 0 -1 5 0 0 0
[pid=30763/tid=30775] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30775/stat : 30775 (java) S 30761 30763 30763 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850328736 8755576832 28407 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052377 0 4 0 16800975 18446604458914171968 0 0 -1 7 0 0 0
[pid=30763/tid=30776] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30776/stat : 30776 (java) S 30761 30763 30763 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850328738 8755576832 28407 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828060081 0 4 0 16800975 18446604458914171968 0 0 -1 7 0 0 0
[pid=30763/tid=30777] ppid=30761 vsize=8550368 CPUtime=0.56 cores=1,3,5,7
/proc/30763/task/30777/stat : 30777 (java) R 30761 30763 30763 0 -1 4202560 7279 0 0 0 56 0 0 0 16 0 19 0 850328738 8755576832 28407 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 47422647863855 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30763/tid=30778] ppid=30761 vsize=8550368 CPUtime=0.45 cores=1,3,5,7
/proc/30763/task/30778/stat : 30778 (java) S 30761 30763 30763 0 -1 4202560 3536 0 0 0 45 0 0 0 20 0 19 0 850328738 8755576832 28410 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052377 0 4 0 16800975 18446604458914171968 0 0 -1 7 0 0 0
[pid=30763/tid=30779] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30779/stat : 30779 (java) S 30761 30763 30763 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850328738 8755576832 28415 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052377 0 4 0 16800975 18446604458914171968 0 0 -1 7 0 0 0
[pid=30763/tid=30780] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30780/stat : 30780 (java) R 30761 30763 30763 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 850328738 8755576832 28417 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052992 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30763/tid=30781] ppid=30761 vsize=8550368 CPUtime=0 cores=1,3,5,7
/proc/30763/task/30781/stat : 30781 (java) S 30761 30763 30763 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850328770 8755576832 28417 33554432000 1073741824 1073778376 140735992317824 18446744073709551615 220828052992 0 4 0 16800975 18446604458914171968 0 0 -1 7 0 0 0
[pid=30654/tid=30661] ppid=30652 vsize=335696 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30661/stat : 30661 (python) S 30652 30654 27243 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 6 0 850309324 343752704 7550 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 7 0 0 0
[pid=30654/tid=30670] ppid=30652 vsize=335696 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30670/stat : 30670 (python) S 30652 30654 27243 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 6 0 850314383 343752704 7550 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 3 0 0 0
[pid=30654/tid=30748] ppid=30652 vsize=335696 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30748/stat : 30748 (python) S 30652 30654 27243 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 6 0 850319251 343752704 7550 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 3 0 0 0
[pid=30654/tid=30753] ppid=30652 vsize=335696 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30753/stat : 30753 (python) S 30652 30654 27243 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 6 0 850324001 343752704 7550 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 3 0 0 0
[pid=30654/tid=30762] ppid=30652 vsize=335696 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30762/stat : 30762 (python) S 30652 30654 27243 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 6 0 850328733 343752704 7550 33554432000 4194304 5683644 140736500378176 18446744073709551615 220828060081 0 0 16781312 33554434 18446604462952294400 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 198.56
Current children cumulated vsize (KiB) 19331620
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 30654 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=485926
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=104984
# CPU time returned by wait4() is 0.59091
# while last known CPU time is 198.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 195.587
CPU time (s): 198.56
CPU user time (s): 195.28
CPU system time (s): 3.28
CPU usage (%): 101.52
Max. virtual memory (cumulated for all children) (KiB): 19331620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.485926
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14330
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= 1016
involuntary context switches= 16
runsolver used 1.13183 second user time and 2.54761 second system time
The end