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-3481714-1307577309/watcher-3481714-1307577309 -o /tmp/evaluation-result-3481714-1307577309/solver-3481714-1307577309 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481714-1307577309.opb -seed 1024586003 -budget 1800
running on 4 cores: 0,2,4,6
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.15 1.95 1.23 2/583 27558
/proc/meminfo: memFree=19638504/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=15904 CPUtime=0 cores=0,2,4,6
/proc/27558/stat : 27558 (python) R 27556 27558 26377 0 -1 4202496 982 0 0 0 0 0 0 0 25 0 1 0 869333728 16285696 855 33554432000 4194304 5683644 140733925919376 18446744073709551615 218371000455 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27558/statm: 4059 857 362 364 0 546 0
[startup+0.0922219 s]
/proc/loadavg: 2.15 1.95 1.23 2/583 27558
/proc/meminfo: memFree=19638504/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=84568 CPUtime=0.05 cores=0,2,4,6
/proc/27558/stat : 27558 (python) S 27556 27558 26377 0 -1 4202496 2409 0 0 0 4 1 0 0 25 0 1 0 869333728 86597632 2136 33554432000 4194304 5683644 140733925919376 18446744073709551615 218370955264 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/27558/statm: 21142 2136 707 364 0 1359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84568
[startup+0.101166 s]
/proc/loadavg: 2.15 1.95 1.23 2/583 27558
/proc/meminfo: memFree=19638504/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=87828 CPUtime=0.06 cores=0,2,4,6
/proc/27558/stat : 27558 (python) S 27556 27558 26377 0 -1 4202496 2691 0 0 0 5 1 0 0 25 0 1 0 869333728 89935872 2407 33554432000 4194304 5683644 140733925919376 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/27558/statm: 21957 2407 735 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87828
[startup+0.300147 s]
/proc/loadavg: 2.15 1.95 1.23 2/583 27558
/proc/meminfo: memFree=19638504/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/27558/stat : 27558 (python) S 27556 27558 26377 0 -1 4202496 5357 933 1 0 12 6 0 0 17 0 1 0 869333728 126709760 3744 33554432000 4194304 5683644 140733925919376 18446744073709551615 218370953221 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/27558/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.701135 s]
/proc/loadavg: 2.15 1.95 1.23 2/583 27558
/proc/meminfo: memFree=19638504/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=293084 CPUtime=0.46 cores=0,2,4,6
/proc/27558/stat : 27558 (python) S 27556 27558 26377 0 -1 4202496 9632 933 1 0 35 11 0 0 18 0 2 0 869333728 300118016 7142 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/27558/statm: 73271 7142 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293084
[startup+1.50095 s]
/proc/loadavg: 2.15 1.95 1.23 3/587 27566
/proc/meminfo: memFree=19613672/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=293084 CPUtime=0.46 cores=0,2,4,6
/proc/27558/stat : 27558 (python) S 27556 27558 26377 0 -1 4202496 9632 933 1 0 35 11 0 0 18 0 2 0 869333728 300118016 7142 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/27558/statm: 73271 7142 1870 364 0 8158 0
[pid=27564] ppid=27558 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/27564/stat : 27564 (python) S 27558 27558 26377 0 -1 4202560 703 0 0 0 0 0 0 0 18 0 1 0 869333797 289628160 5617 33554432000 4194304 5683644 140733925919376 18446744073709551615 218370977295 0 0 16781312 33554946 6334131288974262529 0 0 17 6 0 0 0
/proc/27564/statm: 70710 5617 349 364 0 5597 0
[pid=27566] ppid=27564 vsize=1860 CPUtime=0.8 cores=0,2,4,6
/proc/27566/stat : 27566 (clasp-1.3.7-x86) R 27564 27566 27566 0 -1 4202496 469 0 0 0 80 0 0 0 21 0 1 0 869333798 1904640 213 33554432000 134512640 136139019 4293870448 18446744073709551615 134632429 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/27566/statm: 465 213 183 398 0 65 0
[pid=27558/tid=27565] ppid=27556 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27565/stat : 27565 (python) S 27556 27558 26377 0 -1 4202560 24 933 0 0 0 0 0 0 18 0 2 0 869333798 300118016 7142 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 577784
[startup+3.10067 s]
/proc/loadavg: 2.30 1.98 1.24 3/587 27567
/proc/meminfo: memFree=19609704/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=293084 CPUtime=0.46 cores=0,2,4,6
/proc/27558/stat : 27558 (python) S 27556 27558 26377 0 -1 4202496 9632 933 1 0 35 11 0 0 18 0 2 0 869333728 300118016 7142 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/27558/statm: 73271 7142 1870 364 0 8158 0
[pid=27564] ppid=27558 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/27564/stat : 27564 (python) S 27558 27558 26377 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 869333797 289628160 5620 33554432000 4194304 5683644 140733925919376 18446744073709551615 218370977295 0 0 16781312 33554946 6334128265317286145 0 0 17 6 0 0 0
/proc/27564/statm: 70710 5620 352 364 0 5597 0
[pid=27566] ppid=27564 vsize=1860 CPUtime=2.4 cores=0,2,4,6
/proc/27566/stat : 27566 (clasp-1.3.7-x86) R 27564 27566 27566 0 -1 4202496 470 0 0 0 239 1 0 0 25 0 1 0 869333798 1904640 214 33554432000 134512640 136139019 4293870448 18446744073709551615 134831243 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/27566/statm: 465 214 183 398 0 65 0
[pid=27558/tid=27565] ppid=27556 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27565/stat : 27565 (python) S 27556 27558 26377 0 -1 4202560 24 933 0 0 0 0 0 0 18 0 2 0 869333798 300118016 7142 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 577784
[startup+6.30113 s]
/proc/loadavg: 2.30 1.98 1.24 3/587 27567
/proc/meminfo: memFree=19612468/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=293084 CPUtime=0.46 cores=0,2,4,6
/proc/27558/stat : 27558 (python) S 27556 27558 26377 0 -1 4202496 9632 933 1 0 35 11 0 0 18 0 2 0 869333728 300118016 7142 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/27558/statm: 73271 7142 1870 364 0 8158 0
[pid=27564] ppid=27558 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/27564/stat : 27564 (python) S 27558 27558 26377 0 -1 4202560 864 0 0 0 0 0 0 0 18 0 1 0 869333797 289628160 5643 33554432000 4194304 5683644 140733925919376 18446744073709551615 218370977295 0 0 16781312 33554946 6334125997574553857 0 0 17 6 0 0 0
/proc/27564/statm: 70710 5643 375 364 0 5597 0
[pid=27566] ppid=27564 vsize=1860 CPUtime=5.6 cores=0,2,4,6
/proc/27566/stat : 27566 (clasp-1.3.7-x86) R 27564 27566 27566 0 -1 4202496 470 0 0 0 559 1 0 0 25 0 1 0 869333798 1904640 214 33554432000 134512640 136139019 4293870448 18446744073709551615 134742398 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/27566/statm: 465 214 183 398 0 65 0
[pid=27558/tid=27565] ppid=27556 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27565/stat : 27565 (python) S 27556 27558 26377 0 -1 4202560 24 933 0 0 0 0 0 0 18 0 2 0 869333798 300118016 7142 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 577784
[startup+12.701 s]
/proc/loadavg: 2.25 1.98 1.25 3/587 27567
/proc/meminfo: memFree=19612228/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=293084 CPUtime=0.46 cores=0,2,4,6
/proc/27558/stat : 27558 (python) S 27556 27558 26377 0 -1 4202496 9632 933 1 0 35 11 0 0 18 0 2 0 869333728 300118016 7142 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/27558/statm: 73271 7142 1870 364 0 8158 0
[pid=27564] ppid=27558 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/27564/stat : 27564 (python) S 27558 27558 26377 0 -1 4202560 871 0 0 0 1 1 0 0 18 0 1 0 869333797 289628160 5644 33554432000 4194304 5683644 140733925919376 18446744073709551615 218370977295 0 0 16781312 33554946 72556772316949242 0 0 17 6 0 0 0
/proc/27564/statm: 70710 5644 376 364 0 5597 0
[pid=27566] ppid=27564 vsize=1860 CPUtime=12 cores=0,2,4,6
/proc/27566/stat : 27566 (clasp-1.3.7-x86) R 27564 27566 27566 0 -1 4202496 471 0 0 0 1199 1 0 0 25 0 1 0 869333798 1904640 215 33554432000 134512640 136139019 4293870448 18446744073709551615 134876659 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/27566/statm: 465 215 183 398 0 65 0
[pid=27558/tid=27565] ppid=27556 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27565/stat : 27565 (python) S 27556 27558 26377 0 -1 4202560 24 933 0 0 0 0 0 0 18 0 2 0 869333798 300118016 7142 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 577784
[startup+25.5007 s]
/proc/loadavg: 2.29 2.00 1.26 3/587 27567
/proc/meminfo: memFree=19612072/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=293084 CPUtime=0.46 cores=0,2,4,6
/proc/27558/stat : 27558 (python) S 27556 27558 26377 0 -1 4202496 9632 933 1 0 35 11 0 0 18 0 2 0 869333728 300118016 7142 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/27558/statm: 73271 7142 1870 364 0 8158 0
[pid=27564] ppid=27558 vsize=282840 CPUtime=0.07 cores=0,2,4,6
/proc/27564/stat : 27564 (python) S 27558 27558 26377 0 -1 4202560 876 0 0 0 3 4 0 0 18 0 1 0 869333797 289628160 5644 33554432000 4194304 5683644 140733925919376 18446744073709551615 218370977295 0 0 16781312 33554946 72556772316949242 0 0 17 6 0 0 0
/proc/27564/statm: 70710 5644 376 364 0 5597 0
[pid=27566] ppid=27564 vsize=1860 CPUtime=24.78 cores=0,2,4,6
/proc/27566/stat : 27566 (clasp-1.3.7-x86) R 27564 27566 27566 0 -1 4202496 472 0 0 0 2477 1 0 0 25 0 1 0 869333798 1904640 216 33554432000 134512640 136139019 4293870448 18446744073709551615 134831215 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/27566/statm: 465 216 183 398 0 65 0
[pid=27558/tid=27565] ppid=27556 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27565/stat : 27565 (python) S 27556 27558 26377 0 -1 4202560 24 933 0 0 0 0 0 0 18 0 2 0 869333798 300118016 7142 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 577784
[startup+51.1012 s]
/proc/loadavg: 2.26 2.01 1.29 3/569 27607
/proc/meminfo: memFree=20154656/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=303876 CPUtime=0.48 cores=0,2,4,6
/proc/27558/stat : 27558 (python) S 27556 27558 26377 0 -1 4202496 10479 933 1 0 37 11 0 0 20 0 3 0 869333728 311169024 7267 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/27558/statm: 75969 7267 1873 364 0 10853 0
[pid=27564] ppid=27558 vsize=293084 CPUtime=0.15 cores=0,2,4,6
/proc/27564/stat : 27564 (python) S 27558 27558 26377 0 -1 4202560 1111 0 0 0 7 8 0 0 19 0 2 0 869333797 300118016 5685 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27564/statm: 73271 5685 412 364 0 8158 0
[pid=27566] ppid=27564 vsize=1860 CPUtime=48.13 cores=0,2,4,6
/proc/27566/stat : 27566 (clasp-1.3.7-x86) T 27564 27566 27566 0 -1 4202496 472 0 0 0 4810 3 0 0 25 0 1 0 869333798 1904640 216 33554432000 134512640 136139019 4293870448 18446744073709551615 134832345 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/27566/statm: 465 216 183 398 0 65 0
[pid=27564/tid=27604] ppid=27558 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/27564/task/27604/stat : 27604 (python) S 27558 27558 26377 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869338614 300118016 5685 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554946 18446604442781517696 0 0 -1 6 0 0 0
[pid=27605] ppid=27558 vsize=293632 CPUtime=0 cores=0,2,4,6
/proc/27605/stat : 27605 (python) S 27558 27558 26377 0 -1 4202560 787 0 0 0 0 0 0 0 15 0 1 0 869338616 300679168 5739 33554432000 4194304 5683644 140733925919376 18446744073709551615 218370977350 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/27605/statm: 73408 5739 349 364 0 8292 0
[pid=27607] ppid=27605 vsize=9624 CPUtime=2.21 cores=0,2,4,6
/proc/27607/stat : 27607 (wbo1.4a) R 27605 27607 27607 0 -1 4202496 2225 0 0 0 219 2 0 0 25 0 1 0 869338616 9854976 1960 33554432000 134512640 135751879 4288958096 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/27607/statm: 2406 1960 143 303 0 2101 0
[pid=27558/tid=27565] ppid=27556 vsize=303876 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27565/stat : 27565 (python) S 27556 27558 26377 0 -1 4202560 24 933 0 0 0 0 0 0 18 0 3 0 869333798 311169024 7267 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 2 0 0 0
[pid=27558/tid=27606] ppid=27556 vsize=303876 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27606/stat : 27606 (python) S 27556 27558 26377 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 3 0 869338616 311169024 7267 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 902076
[startup+102.316 s]
/proc/loadavg: 2.10 2.01 1.33 3/577 27616
/proc/meminfo: memFree=19965688/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=313912 CPUtime=0.51 cores=0,2,4,6
/proc/27558/stat : 27558 (python) S 27556 27558 26377 0 -1 4202496 11373 933 1 0 40 11 0 0 20 0 4 0 869333728 321445888 7205 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/27558/statm: 78478 7205 1875 364 0 13359 0
[pid=27564] ppid=27558 vsize=293084 CPUtime=0.15 cores=0,2,4,6
/proc/27564/stat : 27564 (python) S 27558 27558 26377 0 -1 4202560 1111 0 0 0 7 8 0 0 19 0 2 0 869333797 300118016 5685 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27564/statm: 73271 5685 412 364 0 8158 0
[pid=27566] ppid=27564 vsize=1860 CPUtime=48.13 cores=0,2,4,6
/proc/27566/stat : 27566 (clasp-1.3.7-x86) T 27564 27566 27566 0 -1 4202496 472 0 0 0 4810 3 0 0 25 0 1 0 869333798 1904640 216 33554432000 134512640 136139019 4293870448 18446744073709551615 134832345 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/27566/statm: 465 216 183 398 0 65 0
[pid=27564/tid=27604] ppid=27558 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/27564/task/27604/stat : 27604 (python) S 27558 27558 26377 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869338614 300118016 5685 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554946 18446604442781517696 0 0 -1 6 0 0 0
[pid=27605] ppid=27558 vsize=293632 CPUtime=0.15 cores=0,2,4,6
/proc/27605/stat : 27605 (python) S 27558 27558 26377 0 -1 4202560 1111 0 0 0 7 8 0 0 16 0 2 0 869338616 300679168 5788 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27605/statm: 73408 5788 397 364 0 8292 0
[pid=27607] ppid=27605 vsize=109864 CPUtime=46.76 cores=0,2,4,6
/proc/27607/stat : 27607 (wbo1.4a) T 27605 27607 27607 0 -1 4202496 27235 0 0 0 4631 45 0 0 25 0 1 0 869338616 112500736 26970 33554432000 134512640 135751879 4288958096 18446744073709551615 134517414 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/27607/statm: 27466 26970 143 303 0 27161 0
[pid=27605/tid=27613] ppid=27558 vsize=293632 CPUtime=0 cores=0,2,4,6
/proc/27605/task/27613/stat : 27613 (python) S 27558 27558 26377 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869343294 300679168 5788 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554946 18446604444264350080 0 0 -1 6 0 0 0
[pid=27614] ppid=27558 vsize=303668 CPUtime=0.05 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27558 27558 26377 0 -1 4202560 938 0 0 0 4 1 0 0 15 0 1 0 869343296 310956032 5700 33554432000 4194304 5683644 140733925919376 18446744073709551615 218370977350 0 0 16781312 33554946 2077776208526835712 0 0 17 2 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 485.08
Current children cumulated vsize (KiB) 20122276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+481.702 s]
/proc/loadavg: 2.14 2.07 1.57 4/655 27850
/proc/meminfo: memFree=18808664/32951124 swapFree=49244124/67111528
[pid=27558] ppid=27556 vsize=355496 CPUtime=0.66 cores=0,2,4,6
/proc/27558/stat : 27558 (python) S 27556 27558 26377 0 -1 4202496 14828 933 1 0 54 12 0 0 19 0 8 0 869333728 364027904 7391 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27558/statm: 88874 7391 1883 364 0 23743 0
[pid=27564] ppid=27558 vsize=293084 CPUtime=0.32 cores=0,2,4,6
/proc/27564/stat : 27564 (python) S 27558 27558 26377 0 -1 4202560 1136 0 0 0 17 15 0 0 18 0 2 0 869333797 300118016 5686 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27564/statm: 73271 5686 413 364 0 8158 0
[pid=27566] ppid=27564 vsize=1860 CPUtime=94.29 cores=0,2,4,6
/proc/27566/stat : 27566 (clasp-1.3.7-x86) T 27564 27566 27566 0 -1 4202496 474 0 0 0 9426 3 0 0 25 0 1 0 869333798 1904640 218 33554432000 134512640 136139019 4293870448 18446744073709551615 134832198 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/27566/statm: 465 218 183 398 0 65 0
[pid=27564/tid=27604] ppid=27558 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/27564/task/27604/stat : 27604 (python) S 27558 27558 26377 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869338614 300118016 5686 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554946 18446604442781517696 0 0 -1 6 0 0 0
[pid=27605] ppid=27558 vsize=293632 CPUtime=0.35 cores=0,2,4,6
/proc/27605/stat : 27605 (python) S 27558 27558 26377 0 -1 4202560 1138 0 0 0 17 18 0 0 15 0 2 0 869338616 300679168 5788 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27605/statm: 73408 5788 397 364 0 8292 0
[pid=27607] ppid=27605 vsize=206588 CPUtime=96.25 cores=0,2,4,6
/proc/27607/stat : 27607 (wbo1.4a) T 27605 27607 27607 0 -1 4202496 51429 0 0 0 9542 83 0 0 25 0 1 0 869338616 211546112 51164 33554432000 134512640 135751879 4288958096 18446744073709551615 134604729 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/27607/statm: 51647 51164 143 303 0 51342 0
[pid=27605/tid=27613] ppid=27558 vsize=293632 CPUtime=0 cores=0,2,4,6
/proc/27605/task/27613/stat : 27613 (python) S 27558 27558 26377 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869343294 300679168 5788 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554946 18446604444264350080 0 0 -1 6 0 0 0
[pid=27614] ppid=27558 vsize=303968 CPUtime=0.43 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27558 27558 26377 0 -1 4202560 1233 0 0 0 30 13 0 0 17 0 2 0 869343296 311263232 5802 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27614/statm: 75992 5802 399 364 0 10873 0
[pid=27616] ppid=27614 vsize=93980 CPUtime=51.36 cores=0,2,4,6
/proc/27616/stat : 27616 (scip-2.0.1.linu) T 27614 27616 27616 0 -1 4202496 22689 0 0 0 4807 329 0 0 18 0 1 0 869343296 96235520 21172 33554432000 4194304 13684479 140734805454368 18446744073709551615 4695442 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/27616/statm: 23495 21172 804 2317 0 21173 0
[pid=27614/tid=27622] ppid=27558 vsize=303968 CPUtime=0 cores=0,2,4,6
/proc/27614/task/27622/stat : 27622 (python) S 27558 27558 26377 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869348433 311263232 5802 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554946 18446604449245581696 0 0 -1 6 0 0 0
[pid=27623] ppid=27558 vsize=314320 CPUtime=0.17 cores=0,2,4,6
/proc/27623/stat : 27623 (python) S 27558 27558 26377 0 -1 4202560 1133 0 0 0 9 8 0 0 18 0 2 0 869348436 321863680 5824 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27623/statm: 78580 5824 397 364 0 13458 0
[pid=27625] ppid=27623 vsize=8544096 CPUtime=49.56 cores=0,2,4,6
/proc/27625/stat : 27625 (java) T 27623 27625 27625 0 -1 4202496 61837 0 1 0 4947 9 0 0 18 0 19 0 869348436 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27625/statm: 2136024 35370 2232 9 0 2126765 0
[pid=27625/tid=27626] ppid=27623 vsize=8544096 CPUtime=48.2 cores=0,2,4,6
/proc/27625/task/27626/stat : 27626 (java) T 27623 27625 27625 0 -1 4202560 35358 0 1 0 4816 4 0 0 25 0 19 0 869348437 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 46912505563777 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27625/tid=27627] ppid=27623 vsize=8544096 CPUtime=0.02 cores=0,2,4,6
/proc/27625/task/27627/stat : 27627 (java) T 27623 27625 27625 0 -1 4202560 2745 0 0 0 2 0 0 0 15 0 19 0 869348438 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=8544096 CPUtime=0.01 cores=0,2,4,6
/proc/27625/task/27628/stat : 27628 (java) T 27623 27625 27625 0 -1 4202560 1045 0 0 0 1 0 0 0 15 0 19 0 869348438 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27625/tid=27629] ppid=27623 vsize=8544096 CPUtime=0.03 cores=0,2,4,6
/proc/27625/task/27629/stat : 27629 (java) T 27623 27625 27625 0 -1 4202560 2211 0 0 0 3 0 0 0 15 0 19 0 869348438 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=27625/tid=27630] ppid=27623 vsize=8544096 CPUtime=0.01 cores=0,2,4,6
/proc/27625/task/27630/stat : 27630 (java) T 27623 27625 27625 0 -1 4202560 1065 0 0 0 1 0 0 0 15 0 19 0 869348438 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27625/tid=27631] ppid=27623 vsize=8544096 CPUtime=0.01 cores=0,2,4,6
/proc/27625/task/27631/stat : 27631 (java) T 27623 27625 27625 0 -1 4202560 1539 0 0 0 1 0 0 0 15 0 19 0 869348438 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=27625/tid=27632] ppid=27623 vsize=8544096 CPUtime=0.02 cores=0,2,4,6
/proc/27625/task/27632/stat : 27632 (java) T 27623 27625 27625 0 -1 4202560 1893 0 0 0 2 0 0 0 15 0 19 0 869348438 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27625/tid=27633] ppid=27623 vsize=8544096 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27633/stat : 27633 (java) T 27623 27625 27625 0 -1 4202560 1078 0 0 0 0 0 0 0 15 0 19 0 869348438 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27625/tid=27634] ppid=27623 vsize=8544096 CPUtime=0.02 cores=0,2,4,6
/proc/27625/task/27634/stat : 27634 (java) T 27623 27625 27625 0 -1 4202560 2536 0 0 0 2 0 0 0 15 0 19 0 869348438 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27625/tid=27635] ppid=27623 vsize=8544096 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27635/stat : 27635 (java) T 27623 27625 27625 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 869348439 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27625/tid=27636] ppid=27623 vsize=8544096 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27636/stat : 27636 (java) T 27623 27625 27625 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869348439 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27625/tid=27637] ppid=27623 vsize=8544096 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27637/stat : 27637 (java) T 27623 27625 27625 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869348439 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27625/tid=27638] ppid=27623 vsize=8544096 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27638/stat : 27638 (java) T 27623 27625 27625 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869348441 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27625/tid=27639] ppid=27623 vsize=8544096 CPUtime=0.6 cores=0,2,4,6
/proc/27625/task/27639/stat : 27639 (java) T 27623 27625 27625 0 -1 4202560 4644 0 0 0 60 0 0 0 15 0 19 0 869348441 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27625/tid=27640] ppid=27623 vsize=8544096 CPUtime=0.54 cores=0,2,4,6
/proc/27625/task/27640/stat : 27640 (java) T 27623 27625 27625 0 -1 4202560 6318 0 0 0 53 1 0 0 15 0 19 0 869348441 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=27625/tid=27641] ppid=27623 vsize=8544096 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27641/stat : 27641 (java) T 27623 27625 27625 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869348441 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27625/tid=27642] ppid=27623 vsize=8544096 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27642/stat : 27642 (java) T 27623 27625 27625 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869348441 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=27625/tid=27643] ppid=27623 vsize=8544096 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27643/stat : 27643 (java) T 27623 27625 27625 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869348451 8749154304 35370 33554432000 1073741824 1073778376 140736022191040 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27623/tid=27647] ppid=27558 vsize=314320 CPUtime=0 cores=0,2,4,6
/proc/27623/task/27647/stat : 27647 (python) S 27558 27558 26377 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869353267 321863680 5824 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554946 18446604451738325312 0 0 -1 2 0 0 0
[pid=27648] ppid=27558 vsize=324576 CPUtime=0.48 cores=0,2,4,6
/proc/27648/stat : 27648 (python) S 27558 27558 26377 0 -1 4202560 1155 0 0 0 25 23 0 0 19 0 2 0 869353270 332365824 5848 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27648/statm: 81144 5848 397 364 0 16019 0
[pid=27650] ppid=27648 vsize=26816 CPUtime=138.48 cores=0,2,4,6
/proc/27650/stat : 27650 (bsolo_pb10) T 27648 27650 27650 0 -1 4202496 2581 0 0 0 13838 10 0 0 25 0 1 0 869353270 27459584 2313 33554432000 134512640 137138936 4294785152 18446744073709551615 134542480 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/27650/statm: 6704 2313 192 642 0 6060 0
[pid=27648/tid=27721] ppid=27558 vsize=324576 CPUtime=0 cores=0,2,4,6
/proc/27648/task/27721/stat : 27721 (python) S 27558 27558 26377 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 869367118 332365824 5848 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554946 18446604453903432512 0 0 -1 6 0 0 0
[pid=27722] ppid=27558 vsize=334996 CPUtime=0.41 cores=0,2,4,6
/proc/27722/stat : 27722 (python) S 27558 27558 26377 0 -1 4202560 1253 0 0 0 28 13 0 0 16 0 2 0 869367121 343035904 5874 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/27722/statm: 83749 5874 398 364 0 18621 0
[pid=27724] ppid=27722 vsize=83124 CPUtime=51.4 cores=0,2,4,6
/proc/27724/stat : 27724 (scip-2.0.1.linu) T 27722 27724 27724 0 -1 4202496 19574 0 0 0 4894 246 0 0 18 0 1 0 869367121 85118976 17431 33554432000 4194304 15243407 140734464204816 18446744073709551615 5554620 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/27724/statm: 20781 17431 929 2698 0 18076 0
[pid=27722/tid=27819] ppid=27558 vsize=334996 CPUtime=0 cores=0,2,4,6
/proc/27722/task/27819/stat : 27819 (python) S 27558 27558 26377 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869372262 343035904 5874 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554946 18446604453939173248 0 0 -1 2 0 0 0
[pid=27830] ppid=27558 vsize=345252 CPUtime=0 cores=0,2,4,6
/proc/27830/stat : 27830 (python) S 27558 27558 26377 0 -1 4202560 846 0 0 0 0 0 0 0 18 0 1 0 869381834 353538048 5853 33554432000 4194304 5683644 140733925919376 18446744073709551615 218370977350 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/27830/statm: 86313 5853 349 364 0 21182 0
[pid=27832] ppid=27830 vsize=8600488 CPUtime=0.92 cores=0,2,4,6
/proc/27832/stat : 27832 (java) S 27830 27832 27832 0 -1 4202496 27225 0 1 0 88 4 0 0 20 0 19 0 869381834 8806899712 25612 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27832/statm: 2150122 25613 2207 9 0 2140863 0
[pid=27832/tid=27833] ppid=27830 vsize=8600488 CPUtime=0.64 cores=0,2,4,6
/proc/27832/task/27833/stat : 27833 (java) R 27830 27832 27832 0 -1 4202560 22766 0 1 0 61 3 0 0 25 0 19 0 869381835 8806899712 25668 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 46912505537452 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27832/tid=27834] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27834/stat : 27834 (java) S 27830 27832 27832 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869381836 8806899712 25669 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 4 0 0 0
[pid=27832/tid=27835] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27835/stat : 27835 (java) S 27830 27832 27832 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869381836 8806899712 25671 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 4 0 0 0
[pid=27832/tid=27836] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27836/stat : 27836 (java) S 27830 27832 27832 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869381836 8806899712 25672 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 4 0 0 0
[pid=27832/tid=27837] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27837/stat : 27837 (java) S 27830 27832 27832 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381836 8806899712 25674 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 6 0 0 0
[pid=27832/tid=27838] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27838/stat : 27838 (java) S 27830 27832 27832 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381836 8806899712 25675 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 6 0 0 0
[pid=27832/tid=27839] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27839/stat : 27839 (java) S 27830 27832 27832 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381836 8806899712 25676 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 6 0 0 0
[pid=27832/tid=27840] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27840/stat : 27840 (java) S 27830 27832 27832 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381836 8806899712 25677 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 6 0 0 0
[pid=27832/tid=27841] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27841/stat : 27841 (java) S 27830 27832 27832 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381836 8806899712 25679 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 6 0 0 0
[pid=27832/tid=27842] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27842/stat : 27842 (java) S 27830 27832 27832 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869381837 8806899712 25681 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773760 0 0 0 16800975 18446604446389657856 0 0 -1 4 0 0 0
[pid=27832/tid=27843] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27843/stat : 27843 (java) S 27830 27832 27832 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869381837 8806899712 25681 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 4 0 0 0
[pid=27832/tid=27844] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27844/stat : 27844 (java) S 27830 27832 27832 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869381837 8806899712 25681 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 4 0 0 0
[pid=27832/tid=27845] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27845/stat : 27845 (java) S 27830 27832 27832 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381839 8806899712 25681 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382780849 0 4 0 16800975 18446604446389657856 0 0 -1 4 0 0 0
[pid=27832/tid=27846] ppid=27830 vsize=8600488 CPUtime=0.16 cores=0,2,4,6
/proc/27832/task/27846/stat : 27846 (java) S 27830 27832 27832 0 -1 4202560 1408 0 0 0 16 0 0 0 15 0 19 0 869381839 8806899712 25681 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 4 0 0 0
[pid=27832/tid=27847] ppid=27830 vsize=8600488 CPUtime=0.1 cores=0,2,4,6
/proc/27832/task/27847/stat : 27847 (java) S 27830 27832 27832 0 -1 4202560 1703 0 0 0 10 0 0 0 25 0 19 0 869381839 8806899712 25682 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 6 0 0 0
[pid=27832/tid=27848] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27848/stat : 27848 (java) S 27830 27832 27832 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381839 8806899712 25684 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773145 0 4 0 16800975 18446604446389657856 0 0 -1 4 0 0 0
[pid=27832/tid=27849] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27849/stat : 27849 (java) S 27830 27832 27832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869381839 8806899712 25685 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773760 0 4 0 16800975 18446604446389657856 0 0 -1 6 0 0 0
[pid=27832/tid=27850] ppid=27830 vsize=8600488 CPUtime=0 cores=0,2,4,6
/proc/27832/task/27850/stat : 27850 (java) S 27830 27832 27832 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869381850 8806899712 25685 33554432000 1073741824 1073778376 140735387377680 18446744073709551615 218382773760 0 4 0 16800975 18446604446389657856 0 0 -1 4 0 0 0
[pid=27558/tid=27565] ppid=27556 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27565/stat : 27565 (python) S 27556 27558 26377 0 -1 4202560 28 933 0 0 0 0 0 0 18 0 8 0 869333798 364027904 7391 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 2 0 0 0
[pid=27558/tid=27606] ppid=27556 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27606/stat : 27606 (python) S 27556 27558 26377 0 -1 4202560 35 933 0 0 0 0 0 0 18 0 8 0 869338616 364027904 7391 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 6 0 0 0
[pid=27558/tid=27615] ppid=27556 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27615/stat : 27615 (python) S 27556 27558 26377 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 8 0 869343296 364027904 7391 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 6 0 0 0
[pid=27558/tid=27624] ppid=27556 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27624/stat : 27624 (python) S 27556 27558 26377 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 8 0 869348436 364027904 7391 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 6 0 0 0
[pid=27558/tid=27649] ppid=27556 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27649/stat : 27649 (python) S 27556 27558 26377 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 8 0 869353270 364027904 7391 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 6 0 0 0
[pid=27558/tid=27723] ppid=27556 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27723/stat : 27723 (python) S 27556 27558 26377 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 8 0 869367121 364027904 7391 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 4 0 0 0
[pid=27558/tid=27831] ppid=27556 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/27558/task/27831/stat : 27831 (python) S 27556 27558 26377 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 8 0 869381834 364027904 7391 33554432000 4194304 5683644 140733925919376 18446744073709551615 218382780849 0 0 16781312 33554434 18446604469113484608 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 485.08
Current children cumulated vsize (KiB) 20122276
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27558 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=546916
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=123981
# CPU time returned by wait4() is 0.670897
# while last known CPU time is 485.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 481.788
CPU time (s): 485.08
CPU user time (s): 477.22
CPU system time (s): 7.86
CPU usage (%): 100.683
Max. virtual memory (cumulated for all children) (KiB): 20122276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.546916
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15765
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= 2643
involuntary context switches= 31
runsolver used 3.2715 second user time and 6.51801 second system time
The end