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-3481574-1307578270/watcher-3481574-1307578270 -o /tmp/evaluation-result-3481574-1307578270/solver-3481574-1307578270 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481574-1307578270.opb -seed 1839271435 -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.22 2.08 1.76 3/789 29804
/proc/meminfo: memFree=12803872/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/29804/stat : 29804 (python) R 29802 29804 27243 0 -1 4202496 1041 0 0 0 0 0 0 0 20 0 1 0 850243018 16629760 912 33554432000 4194304 5683644 140736701805152 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29804/statm: 4060 912 380 364 0 547 0
[startup+0.076542 s]
/proc/loadavg: 2.22 2.08 1.76 3/789 29804
/proc/meminfo: memFree=12803872/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=43620 CPUtime=0.05 cores=1,3,5,7
/proc/29804/stat : 29804 (python) R 29802 29804 27243 0 -1 4202496 1880 0 0 0 3 2 0 0 17 0 1 0 850243018 44666880 1654 33554432000 4194304 5683644 140736701805152 18446744073709551615 220816234496 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29804/statm: 10905 1654 467 364 0 1170 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 43620
[startup+0.100558 s]
/proc/loadavg: 2.22 2.08 1.76 3/789 29804
/proc/meminfo: memFree=12803872/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/29804/stat : 29804 (python) R 29802 29804 27243 0 -1 4202496 2665 0 0 0 4 2 0 0 17 0 1 0 850243018 87674880 2382 33554432000 4194304 5683644 140736701805152 18446744073709551615 220816232293 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/29804/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300542 s]
/proc/loadavg: 2.22 2.08 1.76 3/789 29804
/proc/meminfo: memFree=12803872/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=123740 CPUtime=0.18 cores=1,3,5,7
/proc/29804/stat : 29804 (python) R 29802 29804 27243 0 -1 4202496 5358 928 1 0 11 7 0 0 16 0 1 0 850243018 126709760 3744 33554432000 4194304 5683644 140736701805152 18446744073709551615 220815929040 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29804/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.70045 s]
/proc/loadavg: 2.22 2.08 1.76 3/789 29804
/proc/meminfo: memFree=12803872/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=282408 CPUtime=0.44 cores=1,3,5,7
/proc/29804/stat : 29804 (python) R 29802 29804 27243 0 -1 4202496 9198 928 1 0 28 16 0 0 15 0 1 0 850243018 289185792 6938 33554432000 4194304 5683644 140736701805152 18446744073709551615 220816256527 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29804/statm: 70602 6938 1777 364 0 5495 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 282408
[startup+1.50028 s]
/proc/loadavg: 2.22 2.08 1.76 3/793 29813
/proc/meminfo: memFree=12757960/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=293780 CPUtime=0.54 cores=1,3,5,7
/proc/29804/stat : 29804 (python) S 29802 29804 27243 0 -1 4202496 10915 1332 1 0 37 16 1 0 18 0 2 0 850243018 300830720 7285 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29804/statm: 73445 7285 1871 364 0 8332 0
[pid=29811] ppid=29804 vsize=283536 CPUtime=0 cores=1,3,5,7
/proc/29811/stat : 29811 (python) S 29804 29804 27243 0 -1 4202560 811 0 0 0 0 0 0 0 15 0 1 0 850243098 290340864 5735 33554432000 4194304 5683644 140736701805152 18446744073709551615 220816256527 0 0 16781312 33554946 16372238899390415109 0 0 17 1 0 0 0
/proc/29811/statm: 70884 5735 325 364 0 5771 0
[pid=29813] ppid=29811 vsize=56076 CPUtime=0.69 cores=1,3,5,7
/proc/29813/stat : 29813 (scip-2.0.1.linu) R 29811 29813 29813 0 -1 4202496 12329 0 0 0 50 19 0 0 18 0 1 0 850243098 57421824 11600 33554432000 4194304 13684479 140735077500304 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29813/statm: 14019 11600 821 2317 0 11697 0
[pid=29804/tid=29812] ppid=29802 vsize=293780 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29812/stat : 29812 (python) S 29802 29804 27243 0 -1 4202560 28 1332 0 0 0 0 1 0 18 0 2 0 850243098 300830720 7285 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 633392
[startup+3.10098 s]
/proc/loadavg: 2.44 2.13 1.78 3/793 29813
/proc/meminfo: memFree=12731420/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=293780 CPUtime=0.54 cores=1,3,5,7
/proc/29804/stat : 29804 (python) S 29802 29804 27243 0 -1 4202496 10915 1332 1 0 37 16 1 0 18 0 2 0 850243018 300830720 7285 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29804/statm: 73445 7285 1871 364 0 8332 0
[pid=29811] ppid=29804 vsize=283536 CPUtime=0 cores=1,3,5,7
/proc/29811/stat : 29811 (python) S 29804 29804 27243 0 -1 4202560 812 0 0 0 0 0 0 0 15 0 1 0 850243098 290340864 5735 33554432000 4194304 5683644 140736701805152 18446744073709551615 220816256527 0 0 16781312 33554946 16372238899390415109 0 0 17 1 0 0 0
/proc/29811/statm: 70884 5735 325 364 0 5771 0
[pid=29813] ppid=29811 vsize=56076 CPUtime=2.29 cores=1,3,5,7
/proc/29813/stat : 29813 (scip-2.0.1.linu) R 29811 29813 29813 0 -1 4202496 12330 0 0 0 206 23 0 0 20 0 1 0 850243098 57421824 11601 33554432000 4194304 13684479 140735077500304 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29813/statm: 14019 11601 822 2317 0 11697 0
[pid=29804/tid=29812] ppid=29802 vsize=293780 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29812/stat : 29812 (python) S 29802 29804 27243 0 -1 4202560 28 1332 0 0 0 0 1 0 18 0 2 0 850243098 300830720 7285 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 633392
[startup+6.3194 s]
/proc/loadavg: 2.44 2.13 1.78 3/793 29813
/proc/meminfo: memFree=12578344/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=293780 CPUtime=0.54 cores=1,3,5,7
/proc/29804/stat : 29804 (python) S 29802 29804 27243 0 -1 4202496 10915 1332 1 0 37 16 1 0 18 0 2 0 850243018 300830720 7285 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29804/statm: 73445 7285 1871 364 0 8332 0
[pid=29811] ppid=29804 vsize=283536 CPUtime=0.01 cores=1,3,5,7
/proc/29811/stat : 29811 (python) S 29804 29804 27243 0 -1 4202560 949 0 0 0 0 1 0 0 15 0 1 0 850243098 290340864 5758 33554432000 4194304 5683644 140736701805152 18446744073709551615 220816256527 0 0 16781312 33554946 4294934789 0 0 17 1 0 0 0
/proc/29811/statm: 70884 5758 348 364 0 5771 0
[pid=29813] ppid=29811 vsize=57152 CPUtime=5.51 cores=1,3,5,7
/proc/29813/stat : 29813 (scip-2.0.1.linu) R 29811 29813 29813 0 -1 4202496 12753 0 0 0 522 29 0 0 18 0 1 0 850243098 58523648 12023 33554432000 4194304 13684479 140735077500304 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29813/statm: 14288 12023 833 2317 0 11966 0
[pid=29804/tid=29812] ppid=29802 vsize=293780 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29812/stat : 29812 (python) S 29802 29804 27243 0 -1 4202560 28 1332 0 0 0 0 1 0 18 0 2 0 850243098 300830720 7285 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 634468
[startup+12.7002 s]
/proc/loadavg: 2.56 2.16 1.79 3/793 29813
/proc/meminfo: memFree=12185288/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=293780 CPUtime=0.54 cores=1,3,5,7
/proc/29804/stat : 29804 (python) S 29802 29804 27243 0 -1 4202496 10915 1332 1 0 37 16 1 0 18 0 2 0 850243018 300830720 7285 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29804/statm: 73445 7285 1871 364 0 8332 0
[pid=29811] ppid=29804 vsize=283536 CPUtime=0.04 cores=1,3,5,7
/proc/29811/stat : 29811 (python) S 29804 29804 27243 0 -1 4202560 957 0 0 0 1 3 0 0 15 0 1 0 850243098 290340864 5758 33554432000 4194304 5683644 140736701805152 18446744073709551615 220816256527 0 0 16781312 33554946 4294934789 0 0 17 5 0 0 0
/proc/29811/statm: 70884 5758 348 364 0 5771 0
[pid=29813] ppid=29811 vsize=56596 CPUtime=11.89 cores=1,3,5,7
/proc/29813/stat : 29813 (scip-2.0.1.linu) R 29811 29813 29813 0 -1 4202496 13516 0 0 0 1149 40 0 0 25 0 1 0 850243098 57954304 12050 33554432000 4194304 13684479 140735077500304 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29813/statm: 14149 12050 835 2317 0 11827 0
[pid=29804/tid=29812] ppid=29802 vsize=293780 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29812/stat : 29812 (python) S 29802 29804 27243 0 -1 4202560 28 1332 0 0 0 0 1 0 18 0 2 0 850243098 300830720 7285 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 633912
[startup+25.5009 s]
/proc/loadavg: 2.44 2.16 1.79 3/793 29814
/proc/meminfo: memFree=12124920/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=293780 CPUtime=0.54 cores=1,3,5,7
/proc/29804/stat : 29804 (python) S 29802 29804 27243 0 -1 4202496 10915 1332 1 0 37 16 1 0 18 0 2 0 850243018 300830720 7285 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29804/statm: 73445 7285 1871 364 0 8332 0
[pid=29811] ppid=29804 vsize=283536 CPUtime=0.1 cores=1,3,5,7
/proc/29811/stat : 29811 (python) S 29804 29804 27243 0 -1 4202560 964 0 0 0 4 6 0 0 15 0 1 0 850243098 290340864 5758 33554432000 4194304 5683644 140736701805152 18446744073709551615 220816256527 0 0 16781312 33554946 5623753486446373564 0 0 17 7 0 0 0
/proc/29811/statm: 70884 5758 348 364 0 5771 0
[pid=29813] ppid=29811 vsize=56596 CPUtime=24.69 cores=1,3,5,7
/proc/29813/stat : 29813 (scip-2.0.1.linu) R 29811 29813 29813 0 -1 4202496 13516 0 0 0 2399 70 0 0 25 0 1 0 850243098 57954304 12050 33554432000 4194304 13684479 140735077500304 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29813/statm: 14149 12050 835 2317 0 11827 0
[pid=29804/tid=29812] ppid=29802 vsize=293780 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29812/stat : 29812 (python) S 29802 29804 27243 0 -1 4202560 28 1332 0 0 0 0 1 0 18 0 2 0 850243098 300830720 7285 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 633912
[startup+51.1011 s]
/proc/loadavg: 2.29 2.14 1.80 3/797 29818
/proc/meminfo: memFree=12065716/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=293780 CPUtime=0.54 cores=1,3,5,7
/proc/29804/stat : 29804 (python) S 29802 29804 27243 0 -1 4202496 10915 1332 1 0 37 16 1 0 18 0 2 0 850243018 300830720 7285 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29804/statm: 73445 7285 1871 364 0 8332 0
[pid=29811] ppid=29804 vsize=283536 CPUtime=0.2 cores=1,3,5,7
/proc/29811/stat : 29811 (python) S 29804 29804 27243 0 -1 4202560 976 0 0 0 9 11 0 0 15 0 1 0 850243098 290340864 5758 33554432000 4194304 5683644 140736701805152 18446744073709551615 220816256527 0 0 16781312 33554946 625911970662449152 0 0 17 7 0 0 0
/proc/29811/statm: 70884 5758 348 364 0 5771 0
[pid=29813] ppid=29811 vsize=56596 CPUtime=50.29 cores=1,3,5,7
/proc/29813/stat : 29813 (scip-2.0.1.linu) R 29811 29813 29813 0 -1 4202496 13516 0 0 0 4902 127 0 0 25 0 1 0 850243098 57954304 12050 33554432000 4194304 13684479 140735077500304 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29813/statm: 14149 12050 835 2317 0 11827 0
[pid=29804/tid=29812] ppid=29802 vsize=293780 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29812/stat : 29812 (python) S 29802 29804 27243 0 -1 4202560 28 1332 0 0 0 0 1 0 18 0 2 0 850243098 300830720 7285 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 633912
[startup+102.302 s]
/proc/loadavg: 2.23 2.15 1.82 3/823 29849
/proc/meminfo: memFree=11853288/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=314796 CPUtime=0.6 cores=1,3,5,7
/proc/29804/stat : 29804 (python) S 29802 29804 27243 0 -1 4202496 12662 1332 1 0 42 17 1 0 20 0 4 0 850243018 322351104 7441 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29804/statm: 78699 7441 1876 364 0 13580 0
[pid=29811] ppid=29804 vsize=293780 CPUtime=0.23 cores=1,3,5,7
/proc/29811/stat : 29811 (python) S 29804 29804 27243 0 -1 4202560 1176 0 0 0 10 13 0 0 16 0 2 0 850243098 300830720 5826 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29811/statm: 73445 5826 411 364 0 8332 0
[pid=29813] ppid=29811 vsize=56596 CPUtime=50.7 cores=1,3,5,7
/proc/29813/stat : 29813 (scip-2.0.1.linu) T 29811 29813 29813 0 -1 4202496 13516 0 0 0 4942 128 0 0 25 0 1 0 850243098 57954304 12050 33554432000 4194304 13684479 140735077500304 18446744073709551615 7398120 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/29813/statm: 14149 12050 835 2317 0 11827 0
[pid=29811/tid=29819] ppid=29804 vsize=293780 CPUtime=0 cores=1,3,5,7
/proc/29811/task/29819/stat : 29819 (python) S 29804 29804 27243 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850248169 300830720 5826 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554946 18446604460786386752 0 0 -1 7 0 0 0
[pid=29820] ppid=29804 vsize=294296 CPUtime=0.2 cores=1,3,5,7
/proc/29820/stat : 29820 (python) S 29804 29804 27243 0 -1 4202560 1127 0 0 0 10 10 0 0 16 0 2 0 850248171 301359104 5932 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29820/statm: 73574 5932 391 364 0 8458 0
[pid=29822] ppid=29820 vsize=60612 CPUtime=47.71 cores=1,3,5,7
/proc/29822/stat : 29822 (scip-2.0.1.linu) T 29820 29822 29822 0 -1 4202496 13293 0 0 0 4739 32 0 0 25 0 1 0 850248171 62066688 12415 33554432000 4194304 15243407 140736990844864 18446744073709551615 8113472 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/29822/statm: 15153 12415 962 2698 0 12448 0
[pid=29820/tid=29825] ppid=29804 vsize=294296 CPUtime=0 cores=1,3,5,7
/proc/29820/task/29825/stat : 29825 (python) S 29804 29804 27243 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850252944 301359104 5932 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554946 18446604462952294400 0 0 -1 7 0 0 0
[pid=29826] ppid=29804 vsize=304552 CPUtime=0 cores=1,3,5,7
/proc/29826/stat : 29826 (python) S 29804 29804 27243 0 -1 4202560 777 0 0 0 0 0 0 0 15 0 1 0 850252947 311861248 5881 33554432000 4194304 5683644 140736701805152 18446744073709551615 220816256582 0 0 16781312 33554946 2060338890413178880 0 0 17 7 0 0 0
/proc/29826/statm: 76138 5881 320 364 0 11019 0
[pid=29828] ppid=29826 vsize=8538564 CPUtime=3.56 cores=1,3,5,7
/proc/29828/stat : 29828 (java) S 29826 29828 29828 0 -1 4202496 43409 0 1 0 350 6 0 0 17 0 19 0 850252947 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/29828/statm: 2134641 41318 2254 9 0 2125382 0
[pid=29828/tid=29829] ppid=29826 vsize=8538564 CPUtime=2.92 cores=1,3,5,7
/proc/29828/task/29829/stat : 29829 (java) R 29826 29828 29828 0 -1 4202560 35277 0 1 0 288 4 0 0 25 0 19 0 850252948 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 46912505557700 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29828/tid=29830] ppid=29826 vsize=8538564 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29830/stat : 29830 (java) S 29826 29828 29828 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 850252949 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446604466453301376 0 0 -1 5 0 0 0
[pid=29828/tid=29831] ppid=29826 vsize=8538564 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29831/stat : 29831 (java) S 29826 29828 29828 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 850252949 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446604466453301376 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=29828/tid=29838] ppid=29826 vsize=8538564 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29838/stat : 29838 (java) S 29826 29828 29828 0 -1 4202560 189 0 0 0 0 0 0 0 15 0 19 0 850252949 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446604466453301376 0 0 -1 7 0 0 0
[pid=29828/tid=29839] ppid=29826 vsize=8538564 CPUtime=0.02 cores=1,3,5,7
/proc/29828/task/29839/stat : 29839 (java) S 29826 29828 29828 0 -1 4202560 717 0 0 0 2 0 0 0 15 0 19 0 850252950 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052992 0 0 0 16800975 18446604466453301376 0 0 -1 5 0 0 0
[pid=29828/tid=29840] ppid=29826 vsize=8538564 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29840/stat : 29840 (java) S 29826 29828 29828 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850252950 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446604466453301376 0 0 -1 7 0 0 0
[pid=29828/tid=29841] ppid=29826 vsize=8538564 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29841/stat : 29841 (java) S 29826 29828 29828 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850252950 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446604466453301376 0 0 -1 7 0 0 0
[pid=29828/tid=29843] ppid=29826 vsize=8538564 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29843/stat : 29843 (java) S 29826 29828 29828 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850252952 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828060081 0 4 0 16800975 18446604466453301376 0 0 -1 7 0 0 0
[pid=29828/tid=29844] ppid=29826 vsize=8538564 CPUtime=0.28 cores=1,3,5,7
/proc/29828/task/29844/stat : 29844 (java) S 29826 29828 29828 0 -1 4202560 2949 0 0 0 28 0 0 0 15 0 19 0 850252952 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446604466453301376 0 0 -1 3 0 0 0
[pid=29828/tid=29845] ppid=29826 vsize=8538564 CPUtime=0.29 cores=1,3,5,7
/proc/29828/task/29845/stat : 29845 (java) S 29826 29828 29828 0 -1 4202560 2057 0 0 0 29 0 0 0 15 0 19 0 850252952 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446604466453301376 0 0 -1 5 0 0 0
[pid=29828/tid=29846] ppid=29826 vsize=8538564 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29846/stat : 29846 (java) S 29826 29828 29828 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850252952 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446604466453301376 0 0 -1 7 0 0 0
[pid=29828/tid=29847] ppid=29826 vsize=8538564 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29847/stat : 29847 (java) S 29826 29828 29828 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850252952 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052992 0 4 0 16800975 18446604466453301376 0 0 -1 5 0 0 0
[pid=29828/tid=29849] ppid=29826 vsize=8538564 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29849/stat : 29849 (java) S 29826 29828 29828 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850252975 8743489536 41318 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052992 0 4 0 16800975 18446604466453301376 0 0 -1 5 0 0 0
[pid=29804/tid=29812] ppid=29802 vsize=314796 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29812/stat : 29812 (python) S 29802 29804 27243 0 -1 4202560 28 1332 0 0 0 0 1 0 18 0 4 0 850243098 322351104 7441 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 7 0 0 0
[pid=29804/tid=29821] ppid=29802 vsize=314796 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29821/stat : 29821 (python) S 29802 29804 27243 0 -1 4202560 32 1332 0 0 0 0 1 0 20 0 4 0 850248171 322351104 7441 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 7 0 0 0
[pid=29804/tid=29827] ppid=29802 vsize=314796 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29827/stat : 29827 (python) S 29802 29804 27243 0 -1 4202560 31 1332 0 0 0 0 1 0 20 0 4 0 850252947 322351104 7441 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 103
Current children cumulated vsize (KiB) 9863196
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+147.001 s]
/proc/loadavg: 2.30 2.17 1.84 4/846 29874
/proc/meminfo: memFree=11777680/32951124 swapFree=60476376/67111528
[pid=29804] ppid=29802 vsize=325052 CPUtime=0.62 cores=1,3,5,7
/proc/29804/stat : 29804 (python) S 29802 29804 27243 0 -1 4202496 13558 1332 1 0 44 17 1 0 20 0 5 0 850243018 332853248 7447 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29804/statm: 81263 7447 1878 364 0 16141 0
[pid=29811] ppid=29804 vsize=293780 CPUtime=0.23 cores=1,3,5,7
/proc/29811/stat : 29811 (python) S 29804 29804 27243 0 -1 4202560 1176 0 0 0 10 13 0 0 16 0 2 0 850243098 300830720 5826 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29811/statm: 73445 5826 411 364 0 8332 0
[pid=29813] ppid=29811 vsize=56596 CPUtime=50.7 cores=1,3,5,7
/proc/29813/stat : 29813 (scip-2.0.1.linu) T 29811 29813 29813 0 -1 4202496 13516 0 0 0 4942 128 0 0 25 0 1 0 850243098 57954304 12050 33554432000 4194304 13684479 140735077500304 18446744073709551615 7398120 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/29813/statm: 14149 12050 835 2317 0 11827 0
[pid=29811/tid=29819] ppid=29804 vsize=293780 CPUtime=0 cores=1,3,5,7
/proc/29811/task/29819/stat : 29819 (python) S 29804 29804 27243 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850248169 300830720 5826 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554946 18446604460786386752 0 0 -1 7 0 0 0
[pid=29820] ppid=29804 vsize=294296 CPUtime=0.2 cores=1,3,5,7
/proc/29820/stat : 29820 (python) S 29804 29804 27243 0 -1 4202560 1127 0 0 0 10 10 0 0 16 0 2 0 850248171 301359104 5932 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29820/statm: 73574 5932 391 364 0 8458 0
[pid=29822] ppid=29820 vsize=60612 CPUtime=47.71 cores=1,3,5,7
/proc/29822/stat : 29822 (scip-2.0.1.linu) T 29820 29822 29822 0 -1 4202496 13293 0 0 0 4739 32 0 0 25 0 1 0 850248171 62066688 12415 33554432000 4194304 15243407 140736990844864 18446744073709551615 8113472 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/29822/statm: 15153 12415 962 2698 0 12448 0
[pid=29820/tid=29825] ppid=29804 vsize=294296 CPUtime=0 cores=1,3,5,7
/proc/29820/task/29825/stat : 29825 (python) S 29804 29804 27243 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850252944 301359104 5932 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554946 18446604462952294400 0 0 -1 7 0 0 0
[pid=29826] ppid=29804 vsize=304552 CPUtime=0.23 cores=1,3,5,7
/proc/29826/stat : 29826 (python) S 29804 29804 27243 0 -1 4202560 1119 0 0 0 11 12 0 0 17 0 2 0 850252947 311861248 5953 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29826/statm: 76138 5953 391 364 0 11019 0
[pid=29828] ppid=29826 vsize=8537304 CPUtime=47.55 cores=1,3,5,7
/proc/29828/stat : 29828 (java) T 29826 29828 29828 0 -1 4202496 50007 0 1 0 4747 8 0 0 15 0 19 0 850252947 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29828/statm: 2134326 23996 2254 9 0 2125067 0
[pid=29828/tid=29829] ppid=29826 vsize=8537304 CPUtime=46.15 cores=1,3,5,7
/proc/29828/task/29829/stat : 29829 (java) T 29826 29828 29828 0 -1 4202560 35358 0 1 0 4610 5 0 0 25 0 19 0 850252948 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29828/tid=29830] ppid=29826 vsize=8537304 CPUtime=0.05 cores=1,3,5,7
/proc/29828/task/29830/stat : 29830 (java) T 29826 29828 29828 0 -1 4202560 736 0 0 0 5 0 0 0 16 0 19 0 850252949 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29828/tid=29831] ppid=29826 vsize=8537304 CPUtime=0.04 cores=1,3,5,7
/proc/29828/task/29831/stat : 29831 (java) T 29826 29828 29828 0 -1 4202560 1222 0 0 0 4 0 0 0 16 0 19 0 850252949 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29828/tid=29832] ppid=29826 vsize=8537304 CPUtime=0.03 cores=1,3,5,7
/proc/29828/task/29832/stat : 29832 (java) T 29826 29828 29828 0 -1 4202560 695 0 0 0 3 0 0 0 16 0 19 0 850252949 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29828/tid=29833] ppid=29826 vsize=8537304 CPUtime=0.03 cores=1,3,5,7
/proc/29828/task/29833/stat : 29833 (java) T 29826 29828 29828 0 -1 4202560 518 0 0 0 3 0 0 0 15 0 19 0 850252949 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29828/tid=29834] ppid=29826 vsize=8537304 CPUtime=0.04 cores=1,3,5,7
/proc/29828/task/29834/stat : 29834 (java) T 29826 29828 29828 0 -1 4202560 820 0 0 0 4 0 0 0 15 0 19 0 850252949 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29828/tid=29836] ppid=29826 vsize=8537304 CPUtime=0.03 cores=1,3,5,7
/proc/29828/task/29836/stat : 29836 (java) T 29826 29828 29828 0 -1 4202560 653 0 0 0 3 0 0 0 15 0 19 0 850252949 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29828/tid=29837] ppid=29826 vsize=8537304 CPUtime=0.03 cores=1,3,5,7
/proc/29828/task/29837/stat : 29837 (java) T 29826 29828 29828 0 -1 4202560 884 0 0 0 3 0 0 0 15 0 19 0 850252949 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29828/tid=29838] ppid=29826 vsize=8537304 CPUtime=0.05 cores=1,3,5,7
/proc/29828/task/29838/stat : 29838 (java) T 29826 29828 29828 0 -1 4202560 953 0 0 0 5 0 0 0 15 0 19 0 850252949 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29828/tid=29839] ppid=29826 vsize=8537304 CPUtime=0.38 cores=1,3,5,7
/proc/29828/task/29839/stat : 29839 (java) T 29826 29828 29828 0 -1 4202560 1750 0 0 0 38 0 0 0 15 0 19 0 850252950 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29828/tid=29840] ppid=29826 vsize=8537304 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29840/stat : 29840 (java) T 29826 29828 29828 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850252950 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29828/tid=29841] ppid=29826 vsize=8537304 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29841/stat : 29841 (java) T 29826 29828 29828 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850252950 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29828/tid=29843] ppid=29826 vsize=8537304 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29843/stat : 29843 (java) T 29826 29828 29828 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850252952 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828060081 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29828/tid=29844] ppid=29826 vsize=8537304 CPUtime=0.28 cores=1,3,5,7
/proc/29828/task/29844/stat : 29844 (java) T 29826 29828 29828 0 -1 4202560 2950 0 0 0 28 0 0 0 15 0 19 0 850252952 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29828/tid=29845] ppid=29826 vsize=8537304 CPUtime=0.34 cores=1,3,5,7
/proc/29828/task/29845/stat : 29845 (java) T 29826 29828 29828 0 -1 4202560 2071 0 0 0 34 0 0 0 15 0 19 0 850252952 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29828/tid=29846] ppid=29826 vsize=8537304 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29846/stat : 29846 (java) T 29826 29828 29828 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850252952 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29828/tid=29847] ppid=29826 vsize=8537304 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29847/stat : 29847 (java) T 29826 29828 29828 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850252952 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29828/tid=29849] ppid=29826 vsize=8537304 CPUtime=0 cores=1,3,5,7
/proc/29828/task/29849/stat : 29849 (java) T 29826 29828 29828 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850252975 8742199296 23996 33554432000 1073741824 1073778376 140735290108736 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29826/tid=29852] ppid=29804 vsize=304552 CPUtime=0 cores=1,3,5,7
/proc/29826/task/29852/stat : 29852 (python) S 29804 29804 27243 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850257629 311861248 5953 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554946 18446604470138152896 0 0 -1 3 0 0 0
[pid=29853] ppid=29804 vsize=314808 CPUtime=0 cores=1,3,5,7
/proc/29853/stat : 29853 (python) S 29804 29804 27243 0 -1 4202560 778 0 0 0 0 0 0 0 15 0 1 0 850257632 322363392 5885 33554432000 4194304 5683644 140736701805152 18446744073709551615 220816256582 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/29853/statm: 78702 5885 320 364 0 13580 0
[pid=29855] ppid=29853 vsize=8545344 CPUtime=2.06 cores=1,3,5,7
/proc/29855/stat : 29855 (java) S 29853 29855 29855 0 -1 4202496 39236 0 1 0 201 5 0 0 18 0 19 0 850257632 8750432256 34550 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29855/statm: 2136336 34551 2225 9 0 2127077 0
[pid=29855/tid=29857] ppid=29853 vsize=8545344 CPUtime=0.88 cores=1,3,5,7
/proc/29855/task/29857/stat : 29857 (java) R 29853 29855 29855 0 -1 4202560 27147 0 1 0 85 3 0 0 19 0 19 0 850257632 8750432256 34623 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 46912505602602 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29855/tid=29858] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29858/stat : 29858 (java) S 29853 29855 29855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850257633 8750432256 34623 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 1 0 0 0
[pid=29855/tid=29859] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29859/stat : 29859 (java) S 29853 29855 29855 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 850257633 8750432256 34624 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 1 0 0 0
[pid=29855/tid=29860] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29860/stat : 29860 (java) S 29853 29855 29855 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850257633 8750432256 34624 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 1 0 0 0
[pid=29855/tid=29861] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29861/stat : 29861 (java) S 29853 29855 29855 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850257633 8750432256 34624 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 1 0 0 0
[pid=29855/tid=29862] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29862/stat : 29862 (java) S 29853 29855 29855 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850257633 8750432256 34624 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 1 0 0 0
[pid=29855/tid=29863] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29863/stat : 29863 (java) S 29853 29855 29855 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850257633 8750432256 34625 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 1 0 0 0
[pid=29855/tid=29864] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29864/stat : 29864 (java) S 29853 29855 29855 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850257633 8750432256 34627 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 1 0 0 0
[pid=29855/tid=29865] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29865/stat : 29865 (java) S 29853 29855 29855 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850257633 8750432256 34629 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 1 0 0 0
[pid=29855/tid=29866] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29866/stat : 29866 (java) S 29853 29855 29855 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 850257634 8750432256 34631 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052992 0 0 0 16800975 18446604461044706240 0 0 -1 7 0 0 0
[pid=29855/tid=29867] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29867/stat : 29867 (java) S 29853 29855 29855 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 850257634 8750432256 34633 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 1 0 0 0
[pid=29855/tid=29868] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29868/stat : 29868 (java) S 29853 29855 29855 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850257634 8750432256 34635 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 1 0 0 0
[pid=29855/tid=29869] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29869/stat : 29869 (java) S 29853 29855 29855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850257636 8750432256 34640 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828060081 0 4 0 16800975 18446604461044706240 0 0 -1 1 0 0 0
[pid=29855/tid=29870] ppid=29853 vsize=8545344 CPUtime=0.57 cores=1,3,5,7
/proc/29855/task/29870/stat : 29870 (java) S 29853 29855 29855 0 -1 4202560 6177 0 0 0 56 1 0 0 25 0 19 0 850257636 8750432256 34643 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 3 0 0 0
[pid=29855/tid=29871] ppid=29853 vsize=8545344 CPUtime=0.59 cores=1,3,5,7
/proc/29855/task/29871/stat : 29871 (java) S 29853 29855 29855 0 -1 4202560 4584 0 0 0 59 0 0 0 17 0 19 0 850257636 8750432256 34645 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 5 0 0 0
[pid=29855/tid=29872] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29872/stat : 29872 (java) S 29853 29855 29855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850257636 8750432256 34647 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052377 0 4 0 16800975 18446604461044706240 0 0 -1 1 0 0 0
[pid=29855/tid=29873] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29873/stat : 29873 (java) S 29853 29855 29855 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850257636 8750432256 34648 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052992 0 4 0 16800975 18446604461044706240 0 0 -1 7 0 0 0
[pid=29855/tid=29874] ppid=29853 vsize=8545344 CPUtime=0 cores=1,3,5,7
/proc/29855/task/29874/stat : 29874 (java) S 29853 29855 29855 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850257659 8750432256 34649 33554432000 1073741824 1073778376 140735682280208 18446744073709551615 220828052992 0 4 0 16800975 18446604461044706240 0 0 -1 7 0 0 0
[pid=29804/tid=29812] ppid=29802 vsize=325052 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29812/stat : 29812 (python) S 29802 29804 27243 0 -1 4202560 28 1332 0 0 0 0 1 0 18 0 5 0 850243098 332853248 7447 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 7 0 0 0
[pid=29804/tid=29821] ppid=29802 vsize=325052 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29821/stat : 29821 (python) S 29802 29804 27243 0 -1 4202560 32 1332 0 0 0 0 1 0 20 0 5 0 850248171 332853248 7447 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 7 0 0 0
[pid=29804/tid=29827] ppid=29802 vsize=325052 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29827/stat : 29827 (python) S 29802 29804 27243 0 -1 4202560 31 1332 0 0 0 0 1 0 20 0 5 0 850252947 332853248 7447 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 5 0 0 0
[pid=29804/tid=29854] ppid=29802 vsize=325052 CPUtime=0.01 cores=1,3,5,7
/proc/29804/task/29854/stat : 29854 (python) S 29802 29804 27243 0 -1 4202560 31 1332 0 0 0 0 1 0 20 0 5 0 850257632 332853248 7447 33554432000 4194304 5683644 140736701805152 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466332690496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 149.3
Current children cumulated vsize (KiB) 18732344
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 29804 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=462929
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=182972
# CPU time returned by wait4() is 0.645901
# while last known CPU time is 149.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 147.08
CPU time (s): 149.3
CPU user time (s): 147.05
CPU system time (s): 2.25
CPU usage (%): 101.509
Max. virtual memory (cumulated for all children) (KiB): 18732344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.462929
system time used= 0.182972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14891
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= 4015
involuntary context switches= 20
runsolver used 0.846871 second user time and 1.81672 second system time
The end