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-3481903-1307577307/watcher-3481903-1307577307 -o /tmp/evaluation-result-3481903-1307577307/solver-3481903-1307577307 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481903-1307577307.opb -seed 1238398134 -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.68 2.15 1.35 2/548 2340
/proc/meminfo: memFree=21461872/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/2340/stat : 2340 (python) S 2338 2340 1406 0 -1 4202496 734 0 0 0 0 0 0 0 25 0 1 0 869328972 15548416 622 33554432000 4194304 5683644 140736579082928 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/2340/statm: 3796 622 322 364 0 283 0
[startup+0.0257531 s]
/proc/loadavg: 2.68 2.15 1.35 2/548 2340
/proc/meminfo: memFree=21461872/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=16540 CPUtime=0.01 cores=1,3,5,7
/proc/2340/stat : 2340 (python) R 2338 2340 1406 0 -1 4202496 1180 0 0 0 1 0 0 0 25 0 1 0 869328972 16936960 1042 33554432000 4194304 5683644 140736579082928 18446744073709551615 246516834048 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2340/statm: 4134 1041 415 364 0 621 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16540
[startup+0.104766 s]
/proc/loadavg: 2.68 2.15 1.35 2/548 2340
/proc/meminfo: memFree=21461872/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/2340/stat : 2340 (python) R 2338 2340 1406 0 -1 4202496 3170 932 1 0 5 2 0 0 18 0 1 0 869328972 98435072 2483 33554432000 4194304 5683644 140736579082928 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2340/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300707 s]
/proc/loadavg: 2.68 2.15 1.35 2/548 2340
/proc/meminfo: memFree=21461872/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=171052 CPUtime=0.21 cores=1,3,5,7
/proc/2340/stat : 2340 (python) R 2338 2340 1406 0 -1 4202496 6148 932 1 0 15 6 0 0 17 0 1 0 869328972 175157248 4463 33554432000 4194304 5683644 140736579082928 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2340/statm: 42763 4463 1226 364 0 3462 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 171052
[startup+0.700643 s]
/proc/loadavg: 2.68 2.15 1.35 2/548 2340
/proc/meminfo: memFree=21461872/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=293072 CPUtime=0.39 cores=1,3,5,7
/proc/2340/stat : 2340 (python) S 2338 2340 1406 0 -1 4202496 9631 932 1 0 30 9 0 0 19 0 2 0 869328972 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2340/statm: 73268 7138 1870 364 0 8155 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 293072
[startup+1.5005 s]
/proc/loadavg: 2.68 2.15 1.35 3/552 2349
/proc/meminfo: memFree=21419320/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=293072 CPUtime=0.39 cores=1,3,5,7
/proc/2340/stat : 2340 (python) S 2338 2340 1406 0 -1 4202496 9631 932 1 0 30 9 0 0 19 0 2 0 869328972 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2340/statm: 73268 7138 1870 364 0 8155 0
[pid=2346] ppid=2340 vsize=282828 CPUtime=0 cores=1,3,5,7
/proc/2346/stat : 2346 (python) S 2340 2340 1406 0 -1 4202560 862 0 0 0 0 0 0 0 15 0 1 0 869329025 289615872 5622 33554432000 4194304 5683644 140736579082928 18446744073709551615 246516854287 0 0 16781312 33554946 3389726127172878336 0 0 17 7 0 0 0
/proc/2346/statm: 70707 5622 358 364 0 5594 0
[pid=2348] ppid=2346 vsize=30120 CPUtime=0.95 cores=1,3,5,7
/proc/2348/stat : 2348 (scip-2.0.1.linu) R 2346 2348 2348 0 -1 4202496 5737 0 0 0 72 23 0 0 18 0 1 0 869329025 30842880 5123 33554432000 4194304 13684479 140734486655792 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2348/statm: 7530 5123 806 2317 0 5208 0
[pid=2340/tid=2347] ppid=2338 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2347/stat : 2347 (python) S 2338 2340 1406 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 869329025 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 606020
[startup+3.10021 s]
/proc/loadavg: 2.68 2.15 1.35 3/552 2349
/proc/meminfo: memFree=21418332/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=293072 CPUtime=0.39 cores=1,3,5,7
/proc/2340/stat : 2340 (python) S 2338 2340 1406 0 -1 4202496 9631 932 1 0 30 9 0 0 19 0 2 0 869328972 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2340/statm: 73268 7138 1870 364 0 8155 0
[pid=2346] ppid=2340 vsize=282960 CPUtime=0.01 cores=1,3,5,7
/proc/2346/stat : 2346 (python) S 2340 2340 1406 0 -1 4202560 885 0 0 0 1 0 0 0 15 0 1 0 869329025 289751040 5627 33554432000 4194304 5683644 140736579082928 18446744073709551615 246516854287 0 0 16781312 33554946 1747783829541617664 0 0 17 3 0 0 0
/proc/2346/statm: 70740 5627 361 364 0 5627 0
[pid=2348] ppid=2346 vsize=30120 CPUtime=2.55 cores=1,3,5,7
/proc/2348/stat : 2348 (scip-2.0.1.linu) R 2346 2348 2348 0 -1 4202496 5740 0 0 0 186 69 0 0 18 0 1 0 869329025 30842880 5126 33554432000 4194304 13684479 140734486655792 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2348/statm: 7530 5126 806 2317 0 5208 0
[pid=2340/tid=2347] ppid=2338 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2347/stat : 2347 (python) S 2338 2340 1406 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 869329025 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 606152
[startup+6.30062 s]
/proc/loadavg: 2.63 2.15 1.35 3/552 2349
/proc/meminfo: memFree=21415280/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=293072 CPUtime=0.39 cores=1,3,5,7
/proc/2340/stat : 2340 (python) S 2338 2340 1406 0 -1 4202496 9631 932 1 0 30 9 0 0 19 0 2 0 869328972 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2340/statm: 73268 7138 1870 364 0 8155 0
[pid=2346] ppid=2340 vsize=282960 CPUtime=0.05 cores=1,3,5,7
/proc/2346/stat : 2346 (python) S 2340 2340 1406 0 -1 4202560 1018 0 0 0 4 1 0 0 15 0 1 0 869329025 289751040 5667 33554432000 4194304 5683644 140736579082928 18446744073709551615 246516854287 0 0 16781312 33554946 2604275856838754304 0 0 17 3 0 0 0
/proc/2346/statm: 70740 5667 384 364 0 5627 0
[pid=2348] ppid=2346 vsize=30120 CPUtime=5.75 cores=1,3,5,7
/proc/2348/stat : 2348 (scip-2.0.1.linu) R 2346 2348 2348 0 -1 4202496 5740 0 0 0 430 145 0 0 18 0 1 0 869329025 30842880 5126 33554432000 4194304 13684479 140734486655792 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2348/statm: 7530 5126 806 2317 0 5208 0
[pid=2340/tid=2347] ppid=2338 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2347/stat : 2347 (python) S 2338 2340 1406 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 869329025 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 606152
[startup+12.7004 s]
/proc/loadavg: 2.50 2.13 1.35 3/544 2418
/proc/meminfo: memFree=21424424/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=293072 CPUtime=0.39 cores=1,3,5,7
/proc/2340/stat : 2340 (python) S 2338 2340 1406 0 -1 4202496 9631 932 1 0 30 9 0 0 19 0 2 0 869328972 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2340/statm: 73268 7138 1870 364 0 8155 0
[pid=2346] ppid=2340 vsize=283116 CPUtime=0.13 cores=1,3,5,7
/proc/2346/stat : 2346 (python) S 2340 2340 1406 0 -1 4202560 1049 0 0 0 9 4 0 0 15 0 1 0 869329025 289910784 5695 33554432000 4194304 5683644 140736579082928 18446744073709551615 246516854287 0 0 16781312 33554946 4261435489887715328 0 0 17 3 0 0 0
/proc/2346/statm: 70779 5695 384 364 0 5666 0
[pid=2348] ppid=2346 vsize=30120 CPUtime=12.15 cores=1,3,5,7
/proc/2348/stat : 2348 (scip-2.0.1.linu) R 2346 2348 2348 0 -1 4202496 5741 0 0 0 914 301 0 0 18 0 1 0 869329025 30842880 5127 33554432000 4194304 13684479 140734486655792 18446744073709551615 10577712 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2348/statm: 7530 5127 806 2317 0 5208 0
[pid=2340/tid=2347] ppid=2338 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2347/stat : 2347 (python) S 2338 2340 1406 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 869329025 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 606308
[startup+25.5011 s]
/proc/loadavg: 2.60 2.17 1.37 3/544 2418
/proc/meminfo: memFree=21425948/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=293072 CPUtime=0.39 cores=1,3,5,7
/proc/2340/stat : 2340 (python) S 2338 2340 1406 0 -1 4202496 9631 932 1 0 30 9 0 0 19 0 2 0 869328972 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2340/statm: 73268 7138 1870 364 0 8155 0
[pid=2346] ppid=2340 vsize=283468 CPUtime=0.28 cores=1,3,5,7
/proc/2346/stat : 2346 (python) S 2340 2340 1406 0 -1 4202560 1089 0 0 0 20 8 0 0 15 0 1 0 869329025 290271232 5729 33554432000 4194304 5683644 140736579082928 18446744073709551615 246516854287 0 0 16781312 33554946 3469731626911531008 0 0 17 3 0 0 0
/proc/2346/statm: 70867 5729 384 364 0 5754 0
[pid=2348] ppid=2346 vsize=30120 CPUtime=24.96 cores=1,3,5,7
/proc/2348/stat : 2348 (scip-2.0.1.linu) R 2346 2348 2348 0 -1 4202496 5771 0 0 0 1855 641 0 0 18 0 1 0 869329025 30842880 5157 33554432000 4194304 13684479 140734486655792 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2348/statm: 7530 5157 806 2317 0 5208 0
[pid=2340/tid=2347] ppid=2338 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2347/stat : 2347 (python) S 2338 2340 1406 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 869329025 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.63
Current children cumulated vsize (KiB) 606660
[startup+51.1005 s]
/proc/loadavg: 2.40 2.15 1.39 3/544 2419
/proc/meminfo: memFree=21420956/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=293072 CPUtime=0.39 cores=1,3,5,7
/proc/2340/stat : 2340 (python) S 2338 2340 1406 0 -1 4202496 9631 932 1 0 30 9 0 0 19 0 2 0 869328972 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2340/statm: 73268 7138 1870 364 0 8155 0
[pid=2346] ppid=2340 vsize=283468 CPUtime=0.56 cores=1,3,5,7
/proc/2346/stat : 2346 (python) S 2340 2340 1406 0 -1 4202560 1174 0 0 0 42 14 0 0 15 0 1 0 869329025 290271232 5803 33554432000 4194304 5683644 140736579082928 18446744073709551615 246516854287 0 0 16781312 33554946 1748909939901857792 0 0 17 3 0 0 0
/proc/2346/statm: 70867 5803 384 364 0 5754 0
[pid=2348] ppid=2346 vsize=30120 CPUtime=50.55 cores=1,3,5,7
/proc/2348/stat : 2348 (scip-2.0.1.linu) R 2346 2348 2348 0 -1 4202496 5774 0 0 0 3698 1357 0 0 18 0 1 0 869329025 30842880 5160 33554432000 4194304 13684479 140734486655792 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2348/statm: 7530 5160 806 2317 0 5208 0
[pid=2340/tid=2347] ppid=2338 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2347/stat : 2347 (python) S 2338 2340 1406 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 2 0 869329025 300105728 7138 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.5
Current children cumulated vsize (KiB) 606660
[startup+102.317 s]
/proc/loadavg: 2.28 2.16 1.43 3/548 2463
/proc/meminfo: memFree=21344724/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=303864 CPUtime=0.42 cores=1,3,5,7
/proc/2340/stat : 2340 (python) S 2338 2340 1406 0 -1 4202496 10498 932 1 0 33 9 0 0 20 0 3 0 869328972 311156736 7263 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2340/statm: 75966 7263 1873 364 0 10850 0
[pid=2346] ppid=2340 vsize=294424 CPUtime=0.74 cores=1,3,5,7
/proc/2346/stat : 2346 (python) S 2340 2340 1406 0 -1 4202560 1497 0 0 0 55 19 0 0 17 0 2 0 869329025 301490176 6021 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2346/statm: 73606 6021 414 364 0 8493 0
[pid=2348] ppid=2346 vsize=30120 CPUtime=63.38 cores=1,3,5,7
/proc/2348/stat : 2348 (scip-2.0.1.linu) T 2346 2348 2348 0 -1 4202496 5774 0 0 0 4616 1722 0 0 18 0 1 0 869329025 30842880 5160 33554432000 4194304 13684479 140734486655792 18446744073709551615 4865632 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/2348/statm: 7530 5160 806 2317 0 5208 0
[pid=2346/tid=2424] ppid=2340 vsize=294424 CPUtime=0 cores=1,3,5,7
/proc/2346/task/2424/stat : 2424 (python) S 2340 2340 1406 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869335365 301490176 6021 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554946 18446604470764356736 0 0 -1 7 0 0 0
[pid=2425] ppid=2340 vsize=293620 CPUtime=0.14 cores=1,3,5,7
/proc/2425/stat : 2425 (python) S 2340 2340 1406 0 -1 4202560 931 0 0 0 7 7 0 0 15 0 1 0 869335368 300666880 5759 33554432000 4194304 5683644 140736579082928 18446744073709551615 246516854342 0 0 16781312 33554946 5623606151888251591 0 0 17 5 0 0 0
/proc/2425/statm: 73405 5759 373 364 0 8289 0
[pid=2427] ppid=2425 vsize=95616 CPUtime=38.35 cores=1,3,5,7
/proc/2427/stat : 2427 (wbo1.4a) R 2425 2427 2427 0 -1 4202496 23679 0 0 0 3793 42 0 0 25 0 1 0 869335368 97910784 23415 33554432000 134512640 135751879 4292035952 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/2427/statm: 23904 23415 143 303 0 23599 0
[pid=2340/tid=2347] ppid=2338 vsize=303864 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2347/stat : 2347 (python) S 2338 2340 1406 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 3 0 869329025 311156736 7263 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 7 0 0 0
[pid=2340/tid=2426] ppid=2338 vsize=303864 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2426/stat : 2426 (python) S 2338 2340 1406 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 3 0 869335368 311156736 7263 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 103.03
Current children cumulated vsize (KiB) 1017644
[startup+162.301 s]
/proc/loadavg: 2.10 2.13 1.46 3/556 2473
/proc/meminfo: memFree=21199732/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=313896 CPUtime=0.44 cores=1,3,5,7
/proc/2340/stat : 2340 (python) S 2338 2340 1406 0 -1 4202496 11420 932 1 0 35 9 0 0 19 0 4 0 869328972 321429504 7217 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/2340/statm: 78474 7217 1875 364 0 13355 0
[pid=2346] ppid=2340 vsize=294424 CPUtime=0.74 cores=1,3,5,7
################
# More data... #
################
[pid=2340/tid=2467] ppid=2338 vsize=334812 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2467/stat : 2467 (python) S 2338 2340 1406 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 6 0 869340451 342847488 7329 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 1 0 0 0
[pid=2340/tid=2480] ppid=2338 vsize=334812 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2480/stat : 2480 (python) S 2338 2340 1406 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 6 0 869345993 342847488 7329 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 1 0 0 0
[pid=2340/tid=2526] ppid=2338 vsize=334812 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2526/stat : 2526 (python) S 2338 2340 1406 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 6 0 869350663 342847488 7329 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 345.95
Current children cumulated vsize (KiB) 10613852
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+359.601 s]
/proc/loadavg: 2.00 2.06 1.56 4/634 2566
/proc/meminfo: memFree=20377156/32951124 swapFree=43359760/67111528
[pid=2340] ppid=2338 vsize=345228 CPUtime=0.52 cores=1,3,5,7
/proc/2340/stat : 2340 (python) S 2338 2340 1406 0 -1 4202496 14025 932 1 0 43 9 0 0 19 0 7 0 869328972 353513472 7356 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2340/statm: 86307 7356 1881 364 0 21179 0
[pid=2346] ppid=2340 vsize=294424 CPUtime=0.74 cores=1,3,5,7
/proc/2346/stat : 2346 (python) S 2340 2340 1406 0 -1 4202560 1497 0 0 0 55 19 0 0 17 0 2 0 869329025 301490176 6021 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2346/statm: 73606 6021 414 364 0 8493 0
[pid=2348] ppid=2346 vsize=30120 CPUtime=63.38 cores=1,3,5,7
/proc/2348/stat : 2348 (scip-2.0.1.linu) T 2346 2348 2348 0 -1 4202496 5774 0 0 0 4616 1722 0 0 18 0 1 0 869329025 30842880 5160 33554432000 4194304 13684479 140734486655792 18446744073709551615 4865632 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/2348/statm: 7530 5160 806 2317 0 5208 0
[pid=2346/tid=2424] ppid=2340 vsize=294424 CPUtime=0 cores=1,3,5,7
/proc/2346/task/2424/stat : 2424 (python) S 2340 2340 1406 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869335365 301490176 6021 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554946 18446604470764356736 0 0 -1 7 0 0 0
[pid=2425] ppid=2340 vsize=293620 CPUtime=0.19 cores=1,3,5,7
/proc/2425/stat : 2425 (python) S 2340 2340 1406 0 -1 4202560 1097 0 0 0 10 9 0 0 16 0 2 0 869335368 300666880 5784 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/2425/statm: 73405 5784 397 364 0 8289 0
[pid=2427] ppid=2425 vsize=120912 CPUtime=50.8 cores=1,3,5,7
/proc/2427/stat : 2427 (wbo1.4a) T 2425 2427 2427 0 -1 4202496 29993 0 0 0 5025 55 0 0 25 0 1 0 869335368 123813888 29729 33554432000 134512640 135751879 4292035952 18446744073709551615 134602992 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/2427/statm: 30228 29729 143 303 0 29923 0
[pid=2425/tid=2465] ppid=2340 vsize=293620 CPUtime=0 cores=1,3,5,7
/proc/2425/task/2465/stat : 2465 (python) S 2340 2340 1406 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869340449 300666880 5784 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554946 18446604458424988992 0 0 -1 5 0 0 0
[pid=2466] ppid=2340 vsize=304540 CPUtime=0.51 cores=1,3,5,7
/proc/2466/stat : 2466 (python) S 2340 2340 1406 0 -1 4202560 1266 0 0 0 34 17 0 0 17 0 2 0 869340451 311848960 5828 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2466/statm: 76135 5828 399 364 0 11016 0
[pid=2468] ppid=2466 vsize=30336 CPUtime=55.37 cores=1,3,5,7
/proc/2468/stat : 2468 (scip-2.0.1.linu) T 2466 2468 2468 0 -1 4202496 7567 0 0 0 4818 719 0 0 18 0 1 0 869340452 31064064 4558 33554432000 4194304 15243407 140734526942560 18446744073709551615 13277498 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2468/statm: 7584 4558 931 2698 0 4879 0
[pid=2466/tid=2478] ppid=2340 vsize=304540 CPUtime=0 cores=1,3,5,7
/proc/2466/task/2478/stat : 2478 (python) S 2340 2340 1406 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869345990 311848960 5828 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554946 18446604466879721920 0 0 -1 7 0 0 0
[pid=2479] ppid=2340 vsize=314312 CPUtime=0.19 cores=1,3,5,7
/proc/2479/stat : 2479 (python) S 2340 2340 1406 0 -1 4202560 1110 0 0 0 8 11 0 0 16 0 2 0 869345993 321855488 5821 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2479/statm: 78578 5821 397 364 0 13456 0
[pid=2481] ppid=2479 vsize=8545268 CPUtime=48.46 cores=1,3,5,7
/proc/2481/stat : 2481 (java) T 2479 2481 2481 0 -1 4202496 158158 0 1 0 4824 22 0 0 15 0 19 0 869345993 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2481/statm: 2136317 126184 2244 9 0 2127058 0
[pid=2481/tid=2482] ppid=2479 vsize=8545268 CPUtime=46.19 cores=1,3,5,7
/proc/2481/task/2482/stat : 2482 (java) T 2479 2481 2481 0 -1 4202560 127205 0 1 0 4604 15 0 0 25 0 19 0 869345994 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 46912505540686 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2481/tid=2483] ppid=2479 vsize=8545268 CPUtime=0.08 cores=1,3,5,7
/proc/2481/task/2483/stat : 2483 (java) T 2479 2481 2481 0 -1 4202560 2615 0 0 0 8 0 0 0 15 0 19 0 869345995 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=8545268 CPUtime=0.11 cores=1,3,5,7
/proc/2481/task/2484/stat : 2484 (java) T 2479 2481 2481 0 -1 4202560 1876 0 0 0 11 0 0 0 15 0 19 0 869345995 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=8545268 CPUtime=0.09 cores=1,3,5,7
/proc/2481/task/2485/stat : 2485 (java) T 2479 2481 2481 0 -1 4202560 2493 0 0 0 9 0 0 0 15 0 19 0 869345995 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2481/tid=2486] ppid=2479 vsize=8545268 CPUtime=0.09 cores=1,3,5,7
/proc/2481/task/2486/stat : 2486 (java) T 2479 2481 2481 0 -1 4202560 1460 0 0 0 9 0 0 0 15 0 19 0 869345995 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2481/tid=2487] ppid=2479 vsize=8545268 CPUtime=0.1 cores=1,3,5,7
/proc/2481/task/2487/stat : 2487 (java) T 2479 2481 2481 0 -1 4202560 2311 0 0 0 10 0 0 0 15 0 19 0 869345995 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2481/tid=2488] ppid=2479 vsize=8545268 CPUtime=0.12 cores=1,3,5,7
/proc/2481/task/2488/stat : 2488 (java) T 2479 2481 2481 0 -1 4202560 2460 0 0 0 12 0 0 0 15 0 19 0 869345995 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2481/tid=2489] ppid=2479 vsize=8545268 CPUtime=0.11 cores=1,3,5,7
/proc/2481/task/2489/stat : 2489 (java) T 2479 2481 2481 0 -1 4202560 2806 0 0 0 11 0 0 0 15 0 19 0 869345995 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2481/tid=2490] ppid=2479 vsize=8545268 CPUtime=0.08 cores=1,3,5,7
/proc/2481/task/2490/stat : 2490 (java) T 2479 2481 2481 0 -1 4202560 2022 0 0 0 8 0 0 0 15 0 19 0 869345995 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2481/tid=2491] ppid=2479 vsize=8545268 CPUtime=0.07 cores=1,3,5,7
/proc/2481/task/2491/stat : 2491 (java) T 2479 2481 2481 0 -1 4202560 473 0 0 0 6 1 0 0 15 0 19 0 869345996 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650752 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2481/tid=2492] ppid=2479 vsize=8545268 CPUtime=0 cores=1,3,5,7
/proc/2481/task/2492/stat : 2492 (java) T 2479 2481 2481 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 869345996 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2481/tid=2493] ppid=2479 vsize=8545268 CPUtime=0 cores=1,3,5,7
/proc/2481/task/2493/stat : 2493 (java) T 2479 2481 2481 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869345996 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2481/tid=2494] ppid=2479 vsize=8545268 CPUtime=0 cores=1,3,5,7
/proc/2481/task/2494/stat : 2494 (java) T 2479 2481 2481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869345998 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528657841 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2481/tid=2495] ppid=2479 vsize=8545268 CPUtime=0.73 cores=1,3,5,7
/proc/2481/task/2495/stat : 2495 (java) T 2479 2481 2481 0 -1 4202560 4871 0 0 0 73 0 0 0 15 0 19 0 869345998 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2481/tid=2496] ppid=2479 vsize=8545268 CPUtime=0.57 cores=1,3,5,7
/proc/2481/task/2496/stat : 2496 (java) T 2479 2481 2481 0 -1 4202560 6173 0 0 0 57 0 0 0 18 0 19 0 869345998 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2481/tid=2497] ppid=2479 vsize=8545268 CPUtime=0 cores=1,3,5,7
/proc/2481/task/2497/stat : 2497 (java) T 2479 2481 2481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869345998 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2481/tid=2498] ppid=2479 vsize=8545268 CPUtime=0 cores=1,3,5,7
/proc/2481/task/2498/stat : 2498 (java) T 2479 2481 2481 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 869345998 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2481/tid=2500] ppid=2479 vsize=8545268 CPUtime=0 cores=1,3,5,7
/proc/2481/task/2500/stat : 2500 (java) T 2479 2481 2481 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869346007 8750354432 126184 33554432000 1073741824 1073778376 140733289491680 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2479/tid=2524] ppid=2340 vsize=314312 CPUtime=0 cores=1,3,5,7
/proc/2479/task/2524/stat : 2524 (python) S 2340 2340 1406 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869350660 321855488 5821 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554946 18446604470238352704 0 0 -1 7 0 0 0
[pid=2525] ppid=2340 vsize=324568 CPUtime=0.52 cores=1,3,5,7
/proc/2525/stat : 2525 (python) S 2340 2340 1406 0 -1 4202560 1169 0 0 0 24 28 0 0 17 0 2 0 869350663 332357632 5844 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2525/statm: 81142 5844 397 364 0 16017 0
[pid=2527] ppid=2525 vsize=21072 CPUtime=141.99 cores=1,3,5,7
/proc/2527/stat : 2527 (bsolo_pb10) T 2525 2527 2527 0 -1 4202496 1135 0 0 0 14178 21 0 0 25 0 1 0 869350663 21577728 870 33554432000 134512640 137138936 4291768272 18446744073709551615 134542497 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/2527/statm: 5268 870 192 642 0 4624 0
[pid=2525/tid=2545] ppid=2340 vsize=324568 CPUtime=0 cores=1,3,5,7
/proc/2525/task/2545/stat : 2545 (python) S 2340 2340 1406 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869364863 332357632 5844 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554946 18446604470404649216 0 0 -1 7 0 0 0
[pid=2546] ppid=2340 vsize=334984 CPUtime=0 cores=1,3,5,7
/proc/2546/stat : 2546 (python) S 2340 2340 1406 0 -1 4202560 817 0 0 0 0 0 0 0 15 0 1 0 869364865 343023616 5820 33554432000 4194304 5683644 140736579082928 18446744073709551615 246516854342 0 0 16781312 33554946 4294934789 0 0 17 3 0 0 0
/proc/2546/statm: 83746 5820 349 364 0 18618 0
[pid=2548] ppid=2546 vsize=8537500 CPUtime=0.98 cores=1,3,5,7
/proc/2548/stat : 2548 (java) S 2546 2548 2548 0 -1 4202496 15596 0 1 0 96 2 0 0 18 0 19 0 869364865 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2548/statm: 2134375 13859 2231 9 0 2125116 0
[pid=2548/tid=2549] ppid=2546 vsize=8537500 CPUtime=0.66 cores=1,3,5,7
/proc/2548/task/2549/stat : 2549 (java) R 2546 2548 2548 0 -1 4202560 10205 0 1 0 65 1 0 0 25 0 19 0 869364866 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 46912505546863 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2548/tid=2550] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2550/stat : 2550 (java) S 2546 2548 2548 0 -1 4202560 90 0 0 0 0 0 0 0 16 0 19 0 869364868 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=2548/tid=2551] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2551/stat : 2551 (java) S 2546 2548 2548 0 -1 4202560 34 0 0 0 0 0 0 0 17 0 19 0 869364868 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=2548/tid=2552] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2552/stat : 2552 (java) S 2546 2548 2548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869364868 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=2548/tid=2553] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2553/stat : 2553 (java) S 2546 2548 2548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869364868 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=2548/tid=2554] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2554/stat : 2554 (java) S 2546 2548 2548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869364868 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=2548/tid=2555] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2555/stat : 2555 (java) S 2546 2548 2548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869364868 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=2548/tid=2556] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2556/stat : 2556 (java) S 2546 2548 2548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869364868 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=2548/tid=2557] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2557/stat : 2557 (java) S 2546 2548 2548 0 -1 4202560 79 0 0 0 0 0 0 0 18 0 19 0 869364868 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=2548/tid=2558] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2558/stat : 2558 (java) S 2546 2548 2548 0 -1 4202560 213 0 0 0 0 0 0 0 19 0 19 0 869364869 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650752 0 0 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=2548/tid=2559] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2559/stat : 2559 (java) S 2546 2548 2548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 869364869 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=2548/tid=2560] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2560/stat : 2560 (java) S 2546 2548 2548 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 869364869 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=2548/tid=2561] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2561/stat : 2561 (java) S 2546 2548 2548 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869364871 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528657841 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=2548/tid=2562] ppid=2546 vsize=8537500 CPUtime=0.11 cores=1,3,5,7
/proc/2548/task/2562/stat : 2562 (java) S 2546 2548 2548 0 -1 4202560 1734 0 0 0 11 0 0 0 17 0 19 0 869364871 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=2548/tid=2563] ppid=2546 vsize=8537500 CPUtime=0.18 cores=1,3,5,7
/proc/2548/task/2563/stat : 2563 (java) S 2546 2548 2548 0 -1 4202560 1844 0 0 0 18 0 0 0 15 0 19 0 869364871 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=2548/tid=2564] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2564/stat : 2564 (java) S 2546 2548 2548 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869364871 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=2548/tid=2565] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2565/stat : 2565 (java) S 2546 2548 2548 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869364871 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=2548/tid=2566] ppid=2546 vsize=8537500 CPUtime=0 cores=1,3,5,7
/proc/2548/task/2566/stat : 2566 (java) S 2546 2548 2548 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 869364879 8742400000 13859 33554432000 1073741824 1073778376 140733676926416 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=2340/tid=2347] ppid=2338 vsize=345228 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2347/stat : 2347 (python) S 2338 2340 1406 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 7 0 869329025 353513472 7356 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 7 0 0 0
[pid=2340/tid=2426] ppid=2338 vsize=345228 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2426/stat : 2426 (python) S 2338 2340 1406 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 7 0 869335368 353513472 7356 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 5 0 0 0
[pid=2340/tid=2467] ppid=2338 vsize=345228 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2467/stat : 2467 (python) S 2338 2340 1406 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 7 0 869340451 353513472 7356 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 1 0 0 0
[pid=2340/tid=2480] ppid=2338 vsize=345228 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2480/stat : 2480 (python) S 2338 2340 1406 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 7 0 869345993 353513472 7356 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 1 0 0 0
[pid=2340/tid=2526] ppid=2338 vsize=345228 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2526/stat : 2526 (python) S 2338 2340 1406 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 7 0 869350663 353513472 7356 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 3 0 0 0
[pid=2340/tid=2547] ppid=2338 vsize=345228 CPUtime=0 cores=1,3,5,7
/proc/2340/task/2547/stat : 2547 (python) S 2338 2340 1406 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 7 0 869364865 353513472 7356 33554432000 4194304 5683644 140736579082928 18446744073709551615 246528657841 0 0 16781312 33554434 18446604471127568768 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 363.65
Current children cumulated vsize (KiB) 19496884
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 2340 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=432934
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=99984
# CPU time returned by wait4() is 0.532918
# while last known CPU time is 363.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 359.684
CPU time (s): 363.65
CPU user time (s): 337.31
CPU system time (s): 26.34
CPU usage (%): 101.103
Max. virtual memory (cumulated for all children) (KiB): 19496884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.432934
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14960
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1016
involuntary context switches= 23
runsolver used 2.27865 second user time and 4.77827 second system time
The end