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-3481663-1307577673/watcher-3481663-1307577673 -o /tmp/evaluation-result-3481663-1307577673/solver-3481663-1307577673 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481663-1307577673.opb -seed 78350329 -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.12 2.03 1.49 3/621 27809
/proc/meminfo: memFree=19389660/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/27809/stat : 27809 (python) R 27807 27809 26377 0 -1 4202496 1041 0 0 0 0 0 0 0 18 0 1 0 869370144 16629760 912 33554432000 4194304 5683644 140733652167952 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27809/statm: 4060 912 380 364 0 547 0
[startup+0.0522001 s]
/proc/loadavg: 2.12 2.03 1.49 3/621 27809
/proc/meminfo: memFree=19389660/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=29788 CPUtime=0.03 cores=1,3,5,7
/proc/27809/stat : 27809 (python) R 27807 27809 26377 0 -1 4202496 1461 0 0 0 2 1 0 0 17 0 1 0 869370144 30502912 1300 33554432000 4194304 5683644 140733652167952 18446744073709551615 4522371 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27809/statm: 7447 1300 443 364 0 817 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29788
[startup+0.100154 s]
/proc/loadavg: 2.12 2.03 1.49 3/621 27809
/proc/meminfo: memFree=19389660/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/27809/stat : 27809 (python) R 27807 27809 26377 0 -1 4202496 3170 928 1 0 5 1 0 0 18 0 1 0 869370144 98435072 2484 33554432000 4194304 5683644 140733652167952 18446744073709551615 5178114 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27809/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300118 s]
/proc/loadavg: 2.12 2.03 1.49 3/621 27809
/proc/meminfo: memFree=19389660/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=190668 CPUtime=0.2 cores=1,3,5,7
/proc/27809/stat : 27809 (python) R 27807 27809 26377 0 -1 4202496 6473 928 1 0 16 4 0 0 17 0 1 0 869370144 195244032 4768 33554432000 4194304 5683644 140733652167952 18446744073709551615 218365987696 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27809/statm: 47667 4769 1338 364 0 3677 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 190668
[startup+0.701094 s]
/proc/loadavg: 2.12 2.03 1.49 3/621 27809
/proc/meminfo: memFree=19389660/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=286760 CPUtime=0.56 cores=1,3,5,7
/proc/27809/stat : 27809 (python) R 27807 27809 26377 0 -1 4202496 10757 928 1 0 50 6 0 0 17 0 1 0 869370144 293642240 8038 33554432000 4194304 5683644 140733652167952 18446744073709551615 4509160 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/27809/statm: 71690 8038 1816 364 0 6583 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 286760
[startup+1.50096 s]
/proc/loadavg: 2.12 2.03 1.49 3/625 27817
/proc/meminfo: memFree=19321528/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=297364 CPUtime=0.68 cores=1,3,5,7
/proc/27809/stat : 27809 (python) S 27807 27809 26377 0 -1 4202496 11129 928 1 0 62 6 0 0 19 0 2 0 869370144 304500736 8180 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27809/statm: 74341 8180 1870 364 0 9228 0
[pid=27815] ppid=27809 vsize=287120 CPUtime=0 cores=1,3,5,7
/proc/27815/stat : 27815 (python) S 27809 27809 26377 0 -1 4202560 737 0 0 0 0 0 0 0 15 0 1 0 869370227 294010880 6658 33554432000 4194304 5683644 140733652167952 18446744073709551615 218370977295 0 0 16781312 33554946 4480708796007547141 0 0 17 3 0 0 0
/proc/27815/statm: 71780 6658 352 364 0 6667 0
[pid=27817] ppid=27815 vsize=66364 CPUtime=0.67 cores=1,3,5,7
/proc/27817/stat : 27817 (scip-2.0.1.linu) R 27815 27817 27817 0 -1 4202496 15508 0 0 0 56 11 0 0 21 0 1 0 869370227 67956736 14134 33554432000 4194304 13684479 140736184925008 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27817/statm: 16591 14134 657 2317 0 14269 0
[pid=27809/tid=27816] ppid=27807 vsize=297364 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27816/stat : 27816 (python) S 27807 27809 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869370227 304500736 8180 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 650848
[startup+3.10066 s]
/proc/loadavg: 2.27 2.06 1.51 3/625 27817
/proc/meminfo: memFree=19261680/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=297364 CPUtime=0.68 cores=1,3,5,7
/proc/27809/stat : 27809 (python) S 27807 27809 26377 0 -1 4202496 11129 928 1 0 62 6 0 0 19 0 2 0 869370144 304500736 8180 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27809/statm: 74341 8180 1870 364 0 9228 0
[pid=27815] ppid=27809 vsize=287120 CPUtime=0 cores=1,3,5,7
/proc/27815/stat : 27815 (python) S 27809 27809 26377 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 869370227 294010880 6658 33554432000 4194304 5683644 140733652167952 18446744073709551615 218370977295 0 0 16781312 33554946 4480708796007547141 0 0 17 3 0 0 0
/proc/27815/statm: 71780 6658 352 364 0 6667 0
[pid=27817] ppid=27815 vsize=108644 CPUtime=2.26 cores=1,3,5,7
/proc/27817/stat : 27817 (scip-2.0.1.linu) R 27815 27817 27817 0 -1 4202496 25906 0 0 0 210 16 0 0 25 0 1 0 869370227 111251456 24188 33554432000 4194304 13684479 140736184925008 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27817/statm: 27161 24188 764 2317 0 24839 0
[pid=27809/tid=27816] ppid=27807 vsize=297364 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27816/stat : 27816 (python) S 27807 27809 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869370227 304500736 8180 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 693128
[startup+6.3161 s]
/proc/loadavg: 2.27 2.06 1.51 3/625 27817
/proc/meminfo: memFree=19259656/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=297364 CPUtime=0.68 cores=1,3,5,7
/proc/27809/stat : 27809 (python) S 27807 27809 26377 0 -1 4202496 11129 928 1 0 62 6 0 0 19 0 2 0 869370144 304500736 8180 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27809/statm: 74341 8180 1870 364 0 9228 0
[pid=27815] ppid=27809 vsize=287120 CPUtime=0 cores=1,3,5,7
/proc/27815/stat : 27815 (python) S 27809 27809 26377 0 -1 4202560 896 0 0 0 0 0 0 0 15 0 1 0 869370227 294010880 6682 33554432000 4194304 5683644 140733652167952 18446744073709551615 218370977295 0 0 16781312 33554946 847539511566008320 0 0 17 3 0 0 0
/proc/27815/statm: 71780 6682 376 364 0 6667 0
[pid=27817] ppid=27815 vsize=108644 CPUtime=5.48 cores=1,3,5,7
/proc/27817/stat : 27817 (scip-2.0.1.linu) R 27815 27817 27817 0 -1 4202496 26496 0 0 0 529 19 0 0 18 0 1 0 869370227 111251456 24773 33554432000 4194304 13684479 140736184925008 18446744073709551615 7419470 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27817/statm: 27161 24773 885 2317 0 24839 0
[pid=27809/tid=27816] ppid=27807 vsize=297364 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27816/stat : 27816 (python) S 27807 27809 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869370227 304500736 8180 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 693128
[startup+12.701 s]
/proc/loadavg: 2.25 2.06 1.51 3/625 27817
/proc/meminfo: memFree=19252668/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=297364 CPUtime=0.68 cores=1,3,5,7
/proc/27809/stat : 27809 (python) S 27807 27809 26377 0 -1 4202496 11129 928 1 0 62 6 0 0 19 0 2 0 869370144 304500736 8180 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27809/statm: 74341 8180 1870 364 0 9228 0
[pid=27815] ppid=27809 vsize=287120 CPUtime=0.02 cores=1,3,5,7
/proc/27815/stat : 27815 (python) S 27809 27809 26377 0 -1 4202560 898 0 0 0 1 1 0 0 15 0 1 0 869370227 294010880 6682 33554432000 4194304 5683644 140733652167952 18446744073709551615 218370977295 0 0 16781312 33554946 5623458817330129643 0 0 17 3 0 0 0
/proc/27815/statm: 71780 6682 376 364 0 6667 0
[pid=27817] ppid=27815 vsize=108644 CPUtime=11.87 cores=1,3,5,7
/proc/27817/stat : 27817 (scip-2.0.1.linu) R 27815 27817 27817 0 -1 4202496 26507 0 0 0 1165 22 0 0 25 0 1 0 869370227 111251456 24784 33554432000 4194304 13684479 140736184925008 18446744073709551615 7390463 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27817/statm: 27161 24784 885 2317 0 24839 0
[pid=27809/tid=27816] ppid=27807 vsize=297364 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27816/stat : 27816 (python) S 27807 27809 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869370227 304500736 8180 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 693128
[startup+25.5007 s]
/proc/loadavg: 2.19 2.06 1.52 3/626 27819
/proc/meminfo: memFree=19233704/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=297364 CPUtime=0.68 cores=1,3,5,7
/proc/27809/stat : 27809 (python) S 27807 27809 26377 0 -1 4202496 11129 928 1 0 62 6 0 0 19 0 2 0 869370144 304500736 8180 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27809/statm: 74341 8180 1870 364 0 9228 0
[pid=27815] ppid=27809 vsize=287120 CPUtime=0.08 cores=1,3,5,7
/proc/27815/stat : 27815 (python) S 27809 27809 26377 0 -1 4202560 904 0 0 0 4 4 0 0 15 0 1 0 869370227 294010880 6682 33554432000 4194304 5683644 140733652167952 18446744073709551615 218370977295 0 0 16781312 33554946 5623458817330129643 0 0 17 3 0 0 0
/proc/27815/statm: 71780 6682 376 364 0 6667 0
[pid=27817] ppid=27815 vsize=108644 CPUtime=24.66 cores=1,3,5,7
/proc/27817/stat : 27817 (scip-2.0.1.linu) R 27815 27817 27817 0 -1 4202496 26592 0 0 0 2435 31 0 0 25 0 1 0 869370227 111251456 24828 33554432000 4194304 13684479 140736184925008 18446744073709551615 4965392 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27817/statm: 27161 24828 855 2317 0 24839 0
[pid=27809/tid=27816] ppid=27807 vsize=297364 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27816/stat : 27816 (python) S 27807 27809 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869370227 304500736 8180 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 693128
[startup+51.1012 s]
/proc/loadavg: 2.13 2.05 1.53 3/630 27824
/proc/meminfo: memFree=19091540/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=307620 CPUtime=0.7 cores=1,3,5,7
/proc/27809/stat : 27809 (python) S 27807 27809 26377 0 -1 4202496 12006 928 1 0 64 6 0 0 20 0 3 0 869370144 315002880 8187 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27809/statm: 76905 8187 1873 364 0 11789 0
[pid=27815] ppid=27809 vsize=297364 CPUtime=0.16 cores=1,3,5,7
/proc/27815/stat : 27815 (python) S 27809 27809 26377 0 -1 4202560 1135 0 0 0 8 8 0 0 16 0 2 0 869370227 304500736 6723 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/27815/statm: 74341 6723 412 364 0 9228 0
[pid=27817] ppid=27815 vsize=112500 CPUtime=46.76 cores=1,3,5,7
/proc/27817/stat : 27817 (scip-2.0.1.linu) T 27815 27817 27817 0 -1 4202496 27518 0 0 0 4611 65 0 0 25 0 1 0 869370227 115200000 25690 33554432000 4194304 13684479 140736184925008 18446744073709551615 7095817 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/27817/statm: 28125 25690 848 2317 0 25803 0
[pid=27815/tid=27820] ppid=27809 vsize=297364 CPUtime=0 cores=1,3,5,7
/proc/27815/task/27820/stat : 27820 (python) S 27809 27809 26377 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869374904 304500736 6723 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554946 18446604457895106624 0 0 -1 3 0 0 0
[pid=27821] ppid=27809 vsize=297376 CPUtime=0 cores=1,3,5,7
/proc/27821/stat : 27821 (python) S 27809 27809 26377 0 -1 4202560 787 0 0 0 0 0 0 0 15 0 1 0 869374907 304513024 6659 33554432000 4194304 5683644 140733652167952 18446744073709551615 218370977350 0 0 16781312 33554946 2475917241619578880 0 0 17 5 0 0 0
/proc/27821/statm: 74344 6659 349 364 0 9228 0
[pid=27823] ppid=27821 vsize=108788 CPUtime=3.47 cores=1,3,5,7
/proc/27823/stat : 27823 (scip-2.0.1.linu) R 27821 27823 27823 0 -1 4202496 25254 0 0 0 333 14 0 0 19 0 1 0 869374907 111398912 22715 33554432000 4194304 15243407 140735327743520 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/27823/statm: 27197 22715 884 2698 0 24492 0
[pid=27809/tid=27816] ppid=27807 vsize=307620 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27816/stat : 27816 (python) S 27807 27809 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 3 0 869370227 315002880 8187 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 7 0 0 0
[pid=27809/tid=27822] ppid=27807 vsize=307620 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27822/stat : 27822 (python) S 27807 27809 26377 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 3 0 869374907 315002880 8187 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1123648
[startup+102.301 s]
/proc/loadavg: 2.09 2.06 1.56 3/634 27829
/proc/meminfo: memFree=18977084/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=317876 CPUtime=0.73 cores=1,3,5,7
/proc/27809/stat : 27809 (python) S 27807 27809 26377 0 -1 4202496 12858 928 1 0 67 6 0 0 20 0 4 0 869370144 325505024 8193 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/27809/statm: 79469 8193 1875 364 0 14350 0
[pid=27815] ppid=27809 vsize=297364 CPUtime=0.16 cores=1,3,5,7
/proc/27815/stat : 27815 (python) S 27809 27809 26377 0 -1 4202560 1135 0 0 0 8 8 0 0 16 0 2 0 869370227 304500736 6723 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/27815/statm: 74341 6723 412 364 0 9228 0
[pid=27817] ppid=27815 vsize=112500 CPUtime=46.76 cores=1,3,5,7
/proc/27817/stat : 27817 (scip-2.0.1.linu) T 27815 27817 27817 0 -1 4202496 27518 0 0 0 4611 65 0 0 25 0 1 0 869370227 115200000 25690 33554432000 4194304 13684479 140736184925008 18446744073709551615 7095817 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/27817/statm: 28125 25690 848 2317 0 25803 0
[pid=27815/tid=27820] ppid=27809 vsize=297364 CPUtime=0 cores=1,3,5,7
/proc/27815/task/27820/stat : 27820 (python) S 27809 27809 26377 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869374904 304500736 6723 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554946 18446604457895106624 0 0 -1 3 0 0 0
[pid=27821] ppid=27809 vsize=297376 CPUtime=0.18 cores=1,3,5,7
/proc/27821/stat : 27821 (python) S 27809 27809 26377 0 -1 4202560 1125 0 0 0 10 8 0 0 16 0 2 0 869374907 304513024 6708 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/27821/statm: 74344 6708 397 364 0 9228 0
[pid=27823] ppid=27821 vsize=150952 CPUtime=50.31 cores=1,3,5,7
/proc/27823/stat : 27823 (scip-2.0.1.linu) T 27821 27823 27823 0 -1 4202496 39435 0 0 0 4977 54 0 0 25 0 1 0 869374907 154574848 34152 33554432000 4194304 15243407 140735327743520 18446744073709551615 8145068 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/27823/statm: 37738 34152 949 2698 0 35033 0
[pid=27821/tid=27826] ppid=27809 vsize=297376 CPUtime=0 cores=1,3,5,7
/proc/27821/task/27826/stat : 27826 (python) S 27809 27809 26377 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869379939 304513024 6708 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554946 18446604469186664320 0 0 -1 3 0 0 0
[pid=27827] ppid=27809 vsize=307632 CPUtime=0.01 cores=1,3,5,7
/proc/27827/stat : 27827 (python) S 27809 27809 26377 0 -1 4202560 933 0 0 0 0 1 0 0 15 0 1 0 869379941 315015168 6687 33554432000 4194304 5683644 140733652167952 18446744073709551615 218370977350 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
################
# More data... #
################
[pid=28004/tid=28019] ppid=28002 vsize=8541704 CPUtime=0.46 cores=1,3,5,7
/proc/28004/task/28019/stat : 28019 (java) S 28002 28004 28004 0 -1 4202560 1882 0 0 0 46 0 0 0 15 0 19 0 869384597 8746704896 23157 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446604468477518080 0 0 -1 7 0 0 0
[pid=28004/tid=28020] ppid=28002 vsize=8541704 CPUtime=0 cores=1,3,5,7
/proc/28004/task/28020/stat : 28020 (java) S 28002 28004 28004 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869384597 8746704896 23157 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446604468477518080 0 0 -1 7 0 0 0
[pid=28004/tid=28021] ppid=28002 vsize=8541704 CPUtime=0 cores=1,3,5,7
/proc/28004/task/28021/stat : 28021 (java) S 28002 28004 28004 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869384597 8746704896 23157 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773760 0 4 0 16800975 18446604468477518080 0 0 -1 5 0 0 0
[pid=28004/tid=28022] ppid=28002 vsize=8541704 CPUtime=0 cores=1,3,5,7
/proc/28004/task/28022/stat : 28022 (java) S 28002 28004 28004 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869384638 8746704896 23157 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773760 0 4 0 16800975 18446604468477518080 0 0 -1 3 0 0 0
[pid=27809/tid=27816] ppid=27807 vsize=328132 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27816/stat : 27816 (python) S 27807 27809 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 5 0 869370227 336007168 8199 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 7 0 0 0
[pid=27809/tid=27822] ppid=27807 vsize=328132 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27822/stat : 27822 (python) S 27807 27809 26377 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 5 0 869374907 336007168 8199 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 5 0 0 0
[pid=27809/tid=27828] ppid=27807 vsize=328132 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27828/stat : 27828 (python) S 27807 27809 26377 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 5 0 869379941 336007168 8199 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 1 0 0 0
[pid=27809/tid=28003] ppid=27807 vsize=328132 CPUtime=0 cores=1,3,5,7
/proc/27809/task/28003/stat : 28003 (python) S 27807 27809 26377 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 5 0 869384592 336007168 8199 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 163.6
Current children cumulated vsize (KiB) 10590588
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+193.202 s]
/proc/loadavg: 2.32 2.13 1.63 12/663 28261
/proc/meminfo: memFree=18345572/32951124 swapFree=49244124/67111528
[pid=27809] ppid=27807 vsize=338388 CPUtime=0.79 cores=1,3,5,7
/proc/27809/stat : 27809 (python) S 27807 27809 26377 0 -1 4202496 14661 928 1 0 72 7 0 0 19 0 6 0 869370144 346509312 8205 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/27809/statm: 84597 8205 1879 364 0 19472 0
[pid=27815] ppid=27809 vsize=297364 CPUtime=0.16 cores=1,3,5,7
/proc/27815/stat : 27815 (python) S 27809 27809 26377 0 -1 4202560 1135 0 0 0 8 8 0 0 16 0 2 0 869370227 304500736 6723 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/27815/statm: 74341 6723 412 364 0 9228 0
[pid=27817] ppid=27815 vsize=112500 CPUtime=46.76 cores=1,3,5,7
/proc/27817/stat : 27817 (scip-2.0.1.linu) T 27815 27817 27817 0 -1 4202496 27518 0 0 0 4611 65 0 0 25 0 1 0 869370227 115200000 25690 33554432000 4194304 13684479 140736184925008 18446744073709551615 7095817 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/27817/statm: 28125 25690 848 2317 0 25803 0
[pid=27815/tid=27820] ppid=27809 vsize=297364 CPUtime=0 cores=1,3,5,7
/proc/27815/task/27820/stat : 27820 (python) S 27809 27809 26377 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869374904 304500736 6723 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554946 18446604457895106624 0 0 -1 3 0 0 0
[pid=27821] ppid=27809 vsize=297376 CPUtime=0.18 cores=1,3,5,7
/proc/27821/stat : 27821 (python) S 27809 27809 26377 0 -1 4202560 1125 0 0 0 10 8 0 0 16 0 2 0 869374907 304513024 6708 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/27821/statm: 74344 6708 397 364 0 9228 0
[pid=27823] ppid=27821 vsize=150952 CPUtime=50.31 cores=1,3,5,7
/proc/27823/stat : 27823 (scip-2.0.1.linu) T 27821 27823 27823 0 -1 4202496 39435 0 0 0 4977 54 0 0 25 0 1 0 869374907 154574848 34152 33554432000 4194304 15243407 140735327743520 18446744073709551615 8145068 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/27823/statm: 37738 34152 949 2698 0 35033 0
[pid=27821/tid=27826] ppid=27809 vsize=297376 CPUtime=0 cores=1,3,5,7
/proc/27821/task/27826/stat : 27826 (python) S 27809 27809 26377 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869379939 304513024 6708 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554946 18446604469186664320 0 0 -1 3 0 0 0
[pid=27827] ppid=27809 vsize=307632 CPUtime=0.17 cores=1,3,5,7
/proc/27827/stat : 27827 (python) S 27809 27809 26377 0 -1 4202560 1114 0 0 0 8 9 0 0 16 0 2 0 869379941 315015168 6712 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27827/statm: 76908 6712 397 364 0 11789 0
[pid=27829] ppid=27827 vsize=237040 CPUtime=46.47 cores=1,3,5,7
/proc/27829/stat : 27829 (wbo1.4a) T 27827 27829 27829 0 -1 4202496 59347 0 0 0 4589 58 0 0 25 0 1 0 869379942 242728960 58791 33554432000 134512640 135751879 4288602464 18446744073709551615 134610008 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/27829/statm: 59260 58791 146 303 0 58955 0
[pid=27827/tid=28001] ppid=27809 vsize=307632 CPUtime=0 cores=1,3,5,7
/proc/27827/task/28001/stat : 28001 (python) S 27809 27809 26377 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869384589 315015168 6712 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554946 18446604461693348736 0 0 -1 7 0 0 0
[pid=28002] ppid=27809 vsize=317888 CPUtime=0.18 cores=1,3,5,7
/proc/28002/stat : 28002 (python) S 27809 27809 26377 0 -1 4202560 1124 0 0 0 10 8 0 0 16 0 2 0 869384592 325517312 6716 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/28002/statm: 79472 6716 397 364 0 14350 0
[pid=28004] ppid=28002 vsize=8541704 CPUtime=48.81 cores=1,3,5,7
/proc/28004/stat : 28004 (java) T 28002 28004 28004 0 -1 4202496 31075 0 1 0 4877 4 0 0 18 0 19 0 869384592 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28004/statm: 2135426 27891 2256 9 0 2126167 0
[pid=28004/tid=28005] ppid=28002 vsize=8541704 CPUtime=47.37 cores=1,3,5,7
/proc/28004/task/28005/stat : 28005 (java) T 28002 28004 28004 0 -1 4202560 14903 0 1 0 4735 2 0 0 25 0 19 0 869384593 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 46912505759947 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28004/tid=28006] ppid=28002 vsize=8541704 CPUtime=0.01 cores=1,3,5,7
/proc/28004/task/28006/stat : 28006 (java) T 28002 28004 28004 0 -1 4202560 816 0 0 0 1 0 0 0 15 0 19 0 869384593 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28004/tid=28007] ppid=28002 vsize=8541704 CPUtime=0.01 cores=1,3,5,7
/proc/28004/task/28007/stat : 28007 (java) T 28002 28004 28004 0 -1 4202560 947 0 0 0 1 0 0 0 15 0 19 0 869384593 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28004/tid=28008] ppid=28002 vsize=8541704 CPUtime=0 cores=1,3,5,7
/proc/28004/task/28008/stat : 28008 (java) T 28002 28004 28004 0 -1 4202560 456 0 0 0 0 0 0 0 15 0 19 0 869384593 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28004/tid=28009] ppid=28002 vsize=8541704 CPUtime=0.01 cores=1,3,5,7
/proc/28004/task/28009/stat : 28009 (java) T 28002 28004 28004 0 -1 4202560 613 0 0 0 1 0 0 0 15 0 19 0 869384593 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28004/tid=28010] ppid=28002 vsize=8541704 CPUtime=0.01 cores=1,3,5,7
/proc/28004/task/28010/stat : 28010 (java) T 28002 28004 28004 0 -1 4202560 929 0 0 0 1 0 0 0 15 0 19 0 869384593 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28004/tid=28011] ppid=28002 vsize=8541704 CPUtime=0.01 cores=1,3,5,7
/proc/28004/task/28011/stat : 28011 (java) T 28002 28004 28004 0 -1 4202560 1122 0 0 0 1 0 0 0 15 0 19 0 869384593 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28004/tid=28012] ppid=28002 vsize=8541704 CPUtime=0.01 cores=1,3,5,7
/proc/28004/task/28012/stat : 28012 (java) T 28002 28004 28004 0 -1 4202560 287 0 0 0 1 0 0 0 15 0 19 0 869384593 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28004/tid=28013] ppid=28002 vsize=8541704 CPUtime=0.02 cores=1,3,5,7
/proc/28004/task/28013/stat : 28013 (java) T 28002 28004 28004 0 -1 4202560 905 0 0 0 2 0 0 0 15 0 19 0 869384593 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28004/tid=28014] ppid=28002 vsize=8541704 CPUtime=0.35 cores=1,3,5,7
/proc/28004/task/28014/stat : 28014 (java) T 28002 28004 28004 0 -1 4202560 2516 0 0 0 35 0 0 0 15 0 19 0 869384594 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28004/tid=28015] ppid=28002 vsize=8541704 CPUtime=0 cores=1,3,5,7
/proc/28004/task/28015/stat : 28015 (java) T 28002 28004 28004 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869384595 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28004/tid=28016] ppid=28002 vsize=8541704 CPUtime=0 cores=1,3,5,7
/proc/28004/task/28016/stat : 28016 (java) T 28002 28004 28004 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869384595 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28004/tid=28017] ppid=28002 vsize=8541704 CPUtime=0 cores=1,3,5,7
/proc/28004/task/28017/stat : 28017 (java) T 28002 28004 28004 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869384597 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28004/tid=28018] ppid=28002 vsize=8541704 CPUtime=0.45 cores=1,3,5,7
/proc/28004/task/28018/stat : 28018 (java) T 28002 28004 28004 0 -1 4202560 4304 0 0 0 45 0 0 0 15 0 19 0 869384597 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28004/tid=28019] ppid=28002 vsize=8541704 CPUtime=0.47 cores=1,3,5,7
/proc/28004/task/28019/stat : 28019 (java) T 28002 28004 28004 0 -1 4202560 1886 0 0 0 47 0 0 0 15 0 19 0 869384597 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28004/tid=28020] ppid=28002 vsize=8541704 CPUtime=0 cores=1,3,5,7
/proc/28004/task/28020/stat : 28020 (java) T 28002 28004 28004 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869384597 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28004/tid=28021] ppid=28002 vsize=8541704 CPUtime=0 cores=1,3,5,7
/proc/28004/task/28021/stat : 28021 (java) T 28002 28004 28004 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869384597 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28004/tid=28022] ppid=28002 vsize=8541704 CPUtime=0 cores=1,3,5,7
/proc/28004/task/28022/stat : 28022 (java) T 28002 28004 28004 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869384638 8746704896 27891 33554432000 1073741824 1073778376 140736204918032 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28002/tid=28240] ppid=27809 vsize=317888 CPUtime=0 cores=1,3,5,7
/proc/28002/task/28240/stat : 28240 (python) S 27809 27809 26377 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869389376 325517312 6716 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554946 18446604461693346944 0 0 -1 3 0 0 0
[pid=28241] ppid=27809 vsize=328144 CPUtime=0 cores=1,3,5,7
/proc/28241/stat : 28241 (python) S 27809 27809 26377 0 -1 4202560 811 0 0 0 0 0 0 0 15 0 1 0 869389379 336019456 6671 33554432000 4194304 5683644 140733652167952 18446744073709551615 218370977350 0 0 16781312 33554946 898490979181395968 0 0 17 1 0 0 0
/proc/28241/statm: 82036 6671 349 364 0 16911 0
[pid=28243] ppid=28241 vsize=8551388 CPUtime=1.96 cores=1,3,5,7
/proc/28243/stat : 28243 (java) S 28241 28243 28243 0 -1 4202496 49622 0 1 0 190 6 0 0 18 0 19 0 869389379 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28243/statm: 2137847 44825 2238 9 0 2128588 0
[pid=28243/tid=28244] ppid=28241 vsize=8551388 CPUtime=0.82 cores=1,3,5,7
/proc/28243/task/28244/stat : 28244 (java) S 28241 28243 28243 0 -1 4202560 35300 0 1 0 77 5 0 0 19 0 19 0 869389380 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218382773145 0 4 0 16800975 18446604467359124352 0 0 -1 5 0 0 0
[pid=28243/tid=28245] ppid=28241 vsize=8551388 CPUtime=0.01 cores=1,3,5,7
/proc/28243/task/28245/stat : 28245 (java) R 28241 28243 28243 0 -1 4202560 678 0 0 0 1 0 0 0 18 0 19 0 869389381 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28243/tid=28246] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28246/stat : 28246 (java) R 28241 28243 28243 0 -1 4202560 187 0 0 0 0 0 0 0 18 0 19 0 869389381 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 47195554912431 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28243/tid=28247] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28247/stat : 28247 (java) R 28241 28243 28243 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869389381 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28243/tid=28248] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28248/stat : 28248 (java) R 28241 28243 28243 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869389381 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28243/tid=28249] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28249/stat : 28249 (java) R 28241 28243 28243 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869389381 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28243/tid=28250] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28250/stat : 28250 (java) R 28241 28243 28243 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869389381 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28243/tid=28251] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28251/stat : 28251 (java) R 28241 28243 28243 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869389381 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28243/tid=28252] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28252/stat : 28252 (java) R 28241 28243 28243 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869389381 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28243/tid=28253] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28253/stat : 28253 (java) S 28241 28243 28243 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 19 0 869389382 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218382773145 0 0 0 16800975 18446604467359124352 0 0 -1 7 0 0 0
[pid=28243/tid=28254] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28254/stat : 28254 (java) S 28241 28243 28243 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869389382 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218382773145 0 4 0 16800975 18446604467359124352 0 0 -1 5 0 0 0
[pid=28243/tid=28255] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28255/stat : 28255 (java) S 28241 28243 28243 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869389382 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218382773145 0 4 0 16800975 18446604467359124352 0 0 -1 3 0 0 0
[pid=28243/tid=28256] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28256/stat : 28256 (java) S 28241 28243 28243 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869389385 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218382780849 0 4 0 16800975 18446604467359124352 0 0 -1 5 0 0 0
[pid=28243/tid=28257] ppid=28241 vsize=8551388 CPUtime=0.53 cores=1,3,5,7
/proc/28243/task/28257/stat : 28257 (java) S 28241 28243 28243 0 -1 4202560 7217 0 0 0 53 0 0 0 25 0 19 0 869389385 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218382773145 0 4 0 16800975 18446604467359124352 0 0 -1 3 0 0 0
[pid=28243/tid=28258] ppid=28241 vsize=8551388 CPUtime=0.53 cores=1,3,5,7
/proc/28243/task/28258/stat : 28258 (java) S 28241 28243 28243 0 -1 4202560 4835 0 0 0 53 0 0 0 25 0 19 0 869389385 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218382773145 0 4 0 16800975 18446604467359124352 0 0 -1 7 0 0 0
[pid=28243/tid=28259] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28259/stat : 28259 (java) S 28241 28243 28243 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869389385 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218382773145 0 4 0 16800975 18446604467359124352 0 0 -1 5 0 0 0
[pid=28243/tid=28260] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28260/stat : 28260 (java) S 28241 28243 28243 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869389385 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218382773760 0 4 0 16800975 18446604467359124352 0 0 -1 7 0 0 0
[pid=28243/tid=28261] ppid=28241 vsize=8551388 CPUtime=0 cores=1,3,5,7
/proc/28243/task/28261/stat : 28261 (java) S 28241 28243 28243 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869389426 8756621312 44825 33554432000 1073741824 1073778376 140735715715280 18446744073709551615 218382773760 0 4 0 16800975 18446604467359124352 0 0 -1 3 0 0 0
[pid=27809/tid=27816] ppid=27807 vsize=338388 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27816/stat : 27816 (python) S 27807 27809 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 6 0 869370227 346509312 8205 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 7 0 0 0
[pid=27809/tid=27822] ppid=27807 vsize=338388 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27822/stat : 27822 (python) S 27807 27809 26377 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 6 0 869374907 346509312 8205 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 5 0 0 0
[pid=27809/tid=27828] ppid=27807 vsize=338388 CPUtime=0 cores=1,3,5,7
/proc/27809/task/27828/stat : 27828 (python) S 27807 27809 26377 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 6 0 869379941 346509312 8205 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 1 0 0 0
[pid=27809/tid=28003] ppid=27807 vsize=338388 CPUtime=0 cores=1,3,5,7
/proc/27809/task/28003/stat : 28003 (python) S 27807 27809 26377 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 6 0 869384592 346509312 8205 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 7 0 0 0
[pid=27809/tid=28242] ppid=27807 vsize=338388 CPUtime=0 cores=1,3,5,7
/proc/27809/task/28242/stat : 28242 (python) S 27807 27809 26377 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 6 0 869389379 346509312 8205 33554432000 4194304 5683644 140733652167952 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465437747328 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 195.79
Current children cumulated vsize (KiB) 19480376
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 27809 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=723889
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=73988
# CPU time returned by wait4() is 0.797877
# while last known CPU time is 195.79
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 193.279
CPU time (s): 195.79
CPU user time (s): 193.52
CPU system time (s): 2.27
CPU usage (%): 101.299
Max. virtual memory (cumulated for all children) (KiB): 19480376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.723889
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15592
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= 1008
involuntary context switches= 20
runsolver used 0.932858 second user time and 1.9897 second system time
The end