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-3482067-1307576849/watcher-3482067-1307576849 -o /tmp/evaluation-result-3482067-1307576849/solver-3482067-1307576849 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482067-1307576849.opb -seed 1067838095 -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.17 1.75 0.86 2/606 15477
/proc/meminfo: memFree=19988296/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/15477/stat : 15477 (python) R 15475 15477 14716 0 -1 4202496 859 0 0 0 0 0 0 0 21 0 1 0 947915768 16150528 740 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988592272 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15477/statm: 3943 740 335 364 0 430 0
[startup+0.0925941 s]
/proc/loadavg: 2.17 1.75 0.86 2/606 15477
/proc/meminfo: memFree=19988296/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/15477/stat : 15477 (python) S 15475 15477 14716 0 -1 4202496 3033 464 1 0 5 1 0 0 18 0 1 0 947915768 98435072 2483 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988592384 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/15477/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.100589 s]
/proc/loadavg: 2.17 1.75 0.86 2/606 15477
/proc/meminfo: memFree=19988296/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/15477/stat : 15477 (python) R 15475 15477 14716 0 -1 4202496 3169 929 1 0 5 1 0 0 18 0 1 0 947915768 98430976 2483 33554432000 4194304 5683644 140736522911104 18446744073709551615 5170188 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15477/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300558 s]
/proc/loadavg: 2.17 1.75 0.86 2/606 15477
/proc/meminfo: memFree=19988296/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=203276 CPUtime=0.22 cores=1,3,5,7
/proc/15477/stat : 15477 (python) S 15475 15477 14716 0 -1 4202496 6735 929 1 0 17 5 0 0 18 0 1 0 947915768 208154624 5010 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/15477/statm: 50819 5010 1472 364 0 3781 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 203276
[startup+0.700486 s]
/proc/loadavg: 2.17 1.75 0.86 2/606 15477
/proc/meminfo: memFree=19988296/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=293924 CPUtime=0.45 cores=1,3,5,7
/proc/15477/stat : 15477 (python) S 15475 15477 14716 0 -1 4202496 9844 929 1 0 38 7 0 0 20 0 2 0 947915768 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15477/statm: 73481 7349 1870 364 0 8368 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293924
[startup+1.50035 s]
/proc/loadavg: 2.17 1.75 0.86 3/610 15485
/proc/meminfo: memFree=19940024/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=293924 CPUtime=0.45 cores=1,3,5,7
/proc/15477/stat : 15477 (python) S 15475 15477 14716 0 -1 4202496 9844 929 1 0 38 7 0 0 20 0 2 0 947915768 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15477/statm: 73481 7349 1870 364 0 8368 0
[pid=15483] ppid=15477 vsize=283680 CPUtime=0 cores=1,3,5,7
/proc/15483/stat : 15483 (python) S 15477 15477 14716 0 -1 4202560 781 0 0 0 0 0 0 0 15 0 1 0 947915825 290488320 5827 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988612623 0 0 16781312 33554946 4156906847875366912 0 0 17 3 0 0 0
/proc/15483/statm: 70920 5827 352 364 0 5807 0
[pid=15485] ppid=15483 vsize=45296 CPUtime=0.92 cores=1,3,5,7
/proc/15485/stat : 15485 (scip-2.0.1.linu) R 15483 15485 15485 0 -1 4202496 9765 0 0 0 84 8 0 0 23 0 1 0 947915825 46383104 9009 33554432000 4194304 13684479 140736731616192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15485/statm: 11324 9009 805 2317 0 9002 0
[pid=15477/tid=15484] ppid=15475 vsize=293924 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (python) S 15475 15477 14716 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 2 0 947915825 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669253504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 622900
[startup+3.10106 s]
/proc/loadavg: 2.15 1.76 0.86 3/610 15485
/proc/meminfo: memFree=19920680/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=293924 CPUtime=0.45 cores=1,3,5,7
/proc/15477/stat : 15477 (python) S 15475 15477 14716 0 -1 4202496 9844 929 1 0 38 7 0 0 20 0 2 0 947915768 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15477/statm: 73481 7349 1870 364 0 8368 0
[pid=15483] ppid=15477 vsize=283680 CPUtime=0 cores=1,3,5,7
/proc/15483/stat : 15483 (python) S 15477 15477 14716 0 -1 4202560 783 0 0 0 0 0 0 0 15 0 1 0 947915825 290488320 5827 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988612623 0 0 16781312 33554946 1961058213105238016 0 0 17 3 0 0 0
/proc/15483/statm: 70920 5827 352 364 0 5807 0
[pid=15485] ppid=15483 vsize=64008 CPUtime=2.53 cores=1,3,5,7
/proc/15485/stat : 15485 (scip-2.0.1.linu) R 15483 15485 15485 0 -1 4202496 14494 0 0 0 239 14 0 0 25 0 1 0 947915825 65544192 13647 33554432000 4194304 13684479 140736731616192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15485/statm: 16002 13647 822 2317 0 13680 0
[pid=15477/tid=15484] ppid=15475 vsize=293924 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (python) S 15475 15477 14716 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 2 0 947915825 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669253504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 641612
[startup+6.3005 s]
/proc/loadavg: 2.15 1.76 0.86 3/610 15485
/proc/meminfo: memFree=19910764/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=293924 CPUtime=0.45 cores=1,3,5,7
/proc/15477/stat : 15477 (python) S 15475 15477 14716 0 -1 4202496 9844 929 1 0 38 7 0 0 20 0 2 0 947915768 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15477/statm: 73481 7349 1870 364 0 8368 0
[pid=15483] ppid=15477 vsize=283680 CPUtime=0.01 cores=1,3,5,7
/proc/15483/stat : 15483 (python) S 15477 15477 14716 0 -1 4202560 917 0 0 0 1 0 0 0 15 0 1 0 947915825 290488320 5851 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988612623 0 0 16781312 33554946 2251559999891308544 0 0 17 3 0 0 0
/proc/15483/statm: 70920 5851 376 364 0 5807 0
[pid=15485] ppid=15483 vsize=64680 CPUtime=5.72 cores=1,3,5,7
/proc/15485/stat : 15485 (scip-2.0.1.linu) R 15483 15485 15485 0 -1 4202496 15509 0 0 0 550 22 0 0 25 0 1 0 947915825 66232320 13892 33554432000 4194304 13684479 140736731616192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15485/statm: 16170 13892 831 2317 0 13848 0
[pid=15477/tid=15484] ppid=15475 vsize=293924 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (python) S 15475 15477 14716 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 2 0 947915825 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669253504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 642284
[startup+12.7004 s]
/proc/loadavg: 2.13 1.76 0.87 3/610 15485
/proc/meminfo: memFree=19909676/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=293924 CPUtime=0.45 cores=1,3,5,7
/proc/15477/stat : 15477 (python) S 15475 15477 14716 0 -1 4202496 9844 929 1 0 38 7 0 0 20 0 2 0 947915768 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15477/statm: 73481 7349 1870 364 0 8368 0
[pid=15483] ppid=15477 vsize=283680 CPUtime=0.04 cores=1,3,5,7
/proc/15483/stat : 15483 (python) S 15477 15477 14716 0 -1 4202560 925 0 0 0 2 2 0 0 15 0 1 0 947915825 290488320 5851 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988612623 0 0 16781312 33554946 5623458817330129667 0 0 17 3 0 0 0
/proc/15483/statm: 70920 5851 376 364 0 5807 0
[pid=15485] ppid=15483 vsize=64680 CPUtime=12.12 cores=1,3,5,7
/proc/15485/stat : 15485 (scip-2.0.1.linu) R 15483 15485 15485 0 -1 4202496 15511 0 0 0 1171 41 0 0 25 0 1 0 947915825 66232320 13894 33554432000 4194304 13684479 140736731616192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15485/statm: 16170 13894 833 2317 0 13848 0
[pid=15477/tid=15484] ppid=15475 vsize=293924 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (python) S 15475 15477 14716 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 2 0 947915825 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669253504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 642284
[startup+25.5011 s]
/proc/loadavg: 2.11 1.77 0.89 3/610 15485
/proc/meminfo: memFree=19908160/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=293924 CPUtime=0.45 cores=1,3,5,7
/proc/15477/stat : 15477 (python) S 15475 15477 14716 0 -1 4202496 9844 929 1 0 38 7 0 0 20 0 2 0 947915768 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15477/statm: 73481 7349 1870 364 0 8368 0
[pid=15483] ppid=15477 vsize=283680 CPUtime=0.1 cores=1,3,5,7
/proc/15483/stat : 15483 (python) S 15477 15477 14716 0 -1 4202560 932 0 0 0 5 5 0 0 15 0 1 0 947915825 290488320 5851 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988612623 0 0 16781312 33554946 647652227531407360 0 0 17 7 0 0 0
/proc/15483/statm: 70920 5851 376 364 0 5807 0
[pid=15485] ppid=15483 vsize=65756 CPUtime=24.92 cores=1,3,5,7
/proc/15485/stat : 15485 (scip-2.0.1.linu) R 15483 15485 15485 0 -1 4202496 15801 0 0 0 2405 87 0 0 25 0 1 0 947915825 67334144 14161 33554432000 4194304 13684479 140736731616192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15485/statm: 16439 14161 810 2317 0 14117 0
[pid=15477/tid=15484] ppid=15475 vsize=293924 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (python) S 15475 15477 14716 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 2 0 947915825 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669253504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 643360
[startup+51.1007 s]
/proc/loadavg: 2.23 1.82 0.93 3/614 15490
/proc/meminfo: memFree=19805252/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=293924 CPUtime=0.45 cores=1,3,5,7
/proc/15477/stat : 15477 (python) S 15475 15477 14716 0 -1 4202496 9844 929 1 0 38 7 0 0 20 0 2 0 947915768 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15477/statm: 73481 7349 1870 364 0 8368 0
[pid=15483] ppid=15477 vsize=283680 CPUtime=0.22 cores=1,3,5,7
/proc/15483/stat : 15483 (python) S 15477 15477 14716 0 -1 4202560 945 0 0 0 10 12 0 0 15 0 1 0 947915825 290488320 5851 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988612623 0 0 16781312 33554946 1659453441937768448 0 0 17 7 0 0 0
/proc/15483/statm: 70920 5851 376 364 0 5807 0
[pid=15485] ppid=15483 vsize=67536 CPUtime=50.52 cores=1,3,5,7
/proc/15485/stat : 15485 (scip-2.0.1.linu) R 15483 15485 15485 0 -1 4202496 16194 0 0 0 4839 213 0 0 25 0 1 0 947915825 69156864 14554 33554432000 4194304 13684479 140736731616192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15485/statm: 16884 14554 810 2317 0 14562 0
[pid=15477/tid=15484] ppid=15475 vsize=293924 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (python) S 15475 15477 14716 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 2 0 947915825 300978176 7349 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669253504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 645140
Solver just ended. Dumping a history of the last processes samples
[startup+52.7004 s]
/proc/loadavg: 2.21 1.82 0.93 3/635 15511
/proc/meminfo: memFree=19787208/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=304684 CPUtime=0.48 cores=1,3,5,7
/proc/15477/stat : 15477 (python) S 15475 15477 14716 0 -1 4202496 10678 929 1 0 41 7 0 0 20 0 3 0 947915768 311996416 7468 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15477/statm: 76171 7468 1873 364 0 11055 0
[pid=15483] ppid=15477 vsize=293924 CPUtime=0.26 cores=1,3,5,7
/proc/15483/stat : 15483 (python) S 15477 15477 14716 0 -1 4202560 1160 0 0 0 12 14 0 0 16 0 2 0 947915825 300978176 5892 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15483/statm: 73481 5892 412 364 0 8368 0
[pid=15485] ppid=15483 vsize=67536 CPUtime=51.98 cores=1,3,5,7
/proc/15485/stat : 15485 (scip-2.0.1.linu) T 15483 15485 15485 0 -1 4202496 16222 0 0 0 4979 219 0 0 25 0 1 0 947915825 69156864 14582 33554432000 4194304 13684479 140736731616192 18446744073709551615 7158619 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/15485/statm: 16884 14582 810 2317 0 14562 0
[pid=15483/tid=15491] ppid=15477 vsize=293924 CPUtime=0 cores=1,3,5,7
/proc/15483/task/15491/stat : 15491 (python) S 15477 15477 14716 0 -1 4202560 97 0 0 0 0 0 0 0 16 0 2 0 947921023 300978176 5892 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554946 18446604455686323008 0 0 -1 7 0 0 0
[pid=15492] ppid=15477 vsize=294440 CPUtime=0 cores=1,3,5,7
/proc/15492/stat : 15492 (python) S 15477 15477 14716 0 -1 4202560 879 0 0 0 0 0 0 0 19 0 1 0 947921026 301506560 5947 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988612678 0 0 16781312 33554946 630878842642235392 0 0 17 7 0 0 0
/proc/15492/statm: 73610 5947 356 364 0 8494 0
[pid=15494] ppid=15492 vsize=8532076 CPUtime=0.14 cores=1,3,5,7
/proc/15494/stat : 15494 (java) S 15492 15494 15494 0 -1 4202496 5776 0 1 0 13 1 0 0 20 0 18 0 947921026 8736845824 5197 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15494/statm: 2133019 5197 2150 9 0 2123760 0
[pid=15494/tid=15495] ppid=15492 vsize=8532076 CPUtime=0.13 cores=1,3,5,7
/proc/15494/task/15495/stat : 15495 (java) R 15492 15494 15494 0 -1 4202560 3538 0 1 0 12 1 0 0 18 0 18 0 947921027 8736845824 5314 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15494/tid=15496] ppid=15492 vsize=8532076 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15496/stat : 15496 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947921027 8736845824 5314 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15497] ppid=15492 vsize=8532076 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15497/stat : 15497 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947921027 8736845824 5314 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15498] ppid=15492 vsize=8532076 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15498/stat : 15498 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 947921027 8736845824 5314 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15499] ppid=15492 vsize=8532076 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15499/stat : 15499 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947921027 8736845824 5315 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15500] ppid=15492 vsize=8532076 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15500/stat : 15500 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947921027 8736845824 5315 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=15492] ppid=15477 vsize=294440 CPUtime=0 cores=1,3,5,7
/proc/15492/stat : 15492 (python) S 15477 15477 14716 0 -1 4202560 880 0 0 0 0 0 0 0 15 0 1 0 947921026 301506560 5947 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988612678 0 0 16781312 33554946 2872459009279918080 0 0 17 7 0 0 0
/proc/15492/statm: 73610 5947 356 364 0 8494 0
[pid=15494] ppid=15492 vsize=8537108 CPUtime=2.33 cores=1,3,5,7
/proc/15494/stat : 15494 (java) S 15492 15494 15494 0 -1 4202496 13041 0 1 0 231 2 0 0 20 0 19 0 947921026 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15494/statm: 2134277 10899 2224 9 0 2125018 0
[pid=15494/tid=15495] ppid=15492 vsize=8537108 CPUtime=1.7 cores=1,3,5,7
/proc/15494/task/15495/stat : 15495 (java) R 15492 15494 15494 0 -1 4202560 7078 0 1 0 169 1 0 0 21 0 19 0 947921027 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 46912505818423 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15494/tid=15496] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15496/stat : 15496 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947921027 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15497] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15497/stat : 15497 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947921027 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15498] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15498/stat : 15498 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947921027 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15499] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15499/stat : 15499 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947921027 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15500] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15500/stat : 15500 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947921027 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15501] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15501/stat : 15501 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947921027 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15502] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15502/stat : 15502 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947921027 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15503] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15503/stat : 15503 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947921027 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15504] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15504/stat : 15504 (java) S 15492 15494 15494 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 947921028 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000409088 0 0 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15505] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15505/stat : 15505 (java) S 15492 15494 15494 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947921029 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15506] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15506/stat : 15506 (java) S 15492 15494 15494 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947921029 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15507] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15507/stat : 15507 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947921031 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000416177 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15508] ppid=15492 vsize=8537108 CPUtime=0.25 cores=1,3,5,7
/proc/15494/task/15508/stat : 15508 (java) S 15492 15494 15494 0 -1 4202560 2021 0 0 0 25 0 0 0 18 0 19 0 947921031 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 7 0 0 0
[pid=15494/tid=15509] ppid=15492 vsize=8537108 CPUtime=0.35 cores=1,3,5,7
/proc/15494/task/15509/stat : 15509 (java) S 15492 15494 15494 0 -1 4202560 2542 0 0 0 35 0 0 0 15 0 19 0 947921031 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15510] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15510/stat : 15510 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947921031 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15511] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15511/stat : 15511 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947921031 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000409088 0 4 0 16800975 18446604460028603264 0 0 -1 7 0 0 0
[pid=15494/tid=15512] ppid=15492 vsize=8537108 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15512/stat : 15512 (java) S 15492 15494 15494 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947921061 8741998592 10899 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000409088 0 4 0 16800975 18446604460028603264 0 0 -1 1 0 0 0
[pid=15477/tid=15484] ppid=15475 vsize=304684 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (python) S 15475 15477 14716 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 3 0 947915825 311996416 7468 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669253504 0 0 -1 7 0 0 0
[pid=15477/tid=15493] ppid=15475 vsize=304684 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15493/stat : 15493 (python) S 15475 15477 14716 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 3 0 947921026 311996416 7468 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669253504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 55.05
Current children cumulated vsize (KiB) 9497692
[startup+54.5011 s]
/proc/loadavg: 2.21 1.82 0.93 3/636 15512
/proc/meminfo: memFree=19762400/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=304684 CPUtime=0.48 cores=1,3,5,7
/proc/15477/stat : 15477 (python) S 15475 15477 14716 0 -1 4202496 10678 929 1 0 41 7 0 0 20 0 3 0 947915768 311996416 7468 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15477/statm: 76171 7468 1873 364 0 11055 0
[pid=15483] ppid=15477 vsize=293924 CPUtime=0.26 cores=1,3,5,7
/proc/15483/stat : 15483 (python) S 15477 15477 14716 0 -1 4202560 1160 0 0 0 12 14 0 0 16 0 2 0 947915825 300978176 5892 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15483/statm: 73481 5892 412 364 0 8368 0
[pid=15485] ppid=15483 vsize=67536 CPUtime=51.98 cores=1,3,5,7
/proc/15485/stat : 15485 (scip-2.0.1.linu) T 15483 15485 15485 0 -1 4202496 16222 0 0 0 4979 219 0 0 25 0 1 0 947915825 69156864 14582 33554432000 4194304 13684479 140736731616192 18446744073709551615 7158619 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/15485/statm: 16884 14582 810 2317 0 14562 0
[pid=15483/tid=15491] ppid=15477 vsize=293924 CPUtime=0 cores=1,3,5,7
/proc/15483/task/15491/stat : 15491 (python) S 15477 15477 14716 0 -1 4202560 97 0 0 0 0 0 0 0 16 0 2 0 947921023 300978176 5892 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554946 18446604455686323008 0 0 -1 7 0 0 0
[pid=15492] ppid=15477 vsize=294440 CPUtime=0 cores=1,3,5,7
/proc/15492/stat : 15492 (python) S 15477 15477 14716 0 -1 4202560 894 0 0 0 0 0 0 0 15 0 1 0 947921026 301506560 5947 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988612678 0 0 16781312 33554946 4168559489286406144 0 0 17 7 0 0 0
/proc/15492/statm: 73610 5947 356 364 0 8494 0
[pid=15494] ppid=15492 vsize=8550556 CPUtime=2.7 cores=1,3,5,7
/proc/15494/stat : 15494 (java) S 15492 15494 15494 0 -1 4202496 18437 0 1 0 267 3 0 0 20 0 18 0 947921026 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15494/statm: 2137639 14625 2256 9 0 2128380 0
[pid=15494/tid=15495] ppid=15492 vsize=8550556 CPUtime=1.87 cores=1,3,5,7
/proc/15494/task/15495/stat : 15495 (java) S 15492 15494 15494 0 -1 4202560 7089 0 1 0 186 1 0 0 22 0 18 0 947921027 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 7 0 0 0
[pid=15494/tid=15496] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15496/stat : 15496 (java) S 15492 15494 15494 0 -1 4202560 181 0 0 0 0 0 0 0 18 0 18 0 947921027 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 7 0 0 0
[pid=15494/tid=15497] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15497/stat : 15497 (java) S 15492 15494 15494 0 -1 4202560 166 0 0 0 0 0 0 0 18 0 18 0 947921027 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 1 0 0 0
[pid=15494/tid=15498] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15498/stat : 15498 (java) S 15492 15494 15494 0 -1 4202560 70 0 0 0 0 0 0 0 18 0 18 0 947921027 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 7 0 0 0
[pid=15494/tid=15499] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15499/stat : 15499 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947921027 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15500] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15500/stat : 15500 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947921027 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15501] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15501/stat : 15501 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947921027 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15502] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15502/stat : 15502 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947921027 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15503] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15503/stat : 15503 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947921027 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15504] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15504/stat : 15504 (java) S 15492 15494 15494 0 -1 4202560 418 0 0 0 0 0 0 0 15 0 18 0 947921028 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000409088 0 0 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15505] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15505/stat : 15505 (java) S 15492 15494 15494 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 947921029 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15506] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15506/stat : 15506 (java) S 15492 15494 15494 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 947921029 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15507] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15507/stat : 15507 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947921031 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 1 0 0 0
[pid=15494/tid=15508] ppid=15492 vsize=8550556 CPUtime=0.39 cores=1,3,5,7
/proc/15494/task/15508/stat : 15508 (java) R 15492 15494 15494 0 -1 4202560 6556 0 0 0 39 0 0 0 16 0 18 0 947921031 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 47256481957976 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15494/tid=15509] ppid=15492 vsize=8550556 CPUtime=0.38 cores=1,3,5,7
/proc/15494/task/15509/stat : 15509 (java) S 15492 15494 15494 0 -1 4202560 2552 0 0 0 38 0 0 0 15 0 18 0 947921031 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15510] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15510/stat : 15510 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947921031 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15512] ppid=15492 vsize=8550556 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15512/stat : 15512 (java) S 15492 15494 15494 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 947921061 8755769344 14625 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000409088 0 4 0 16800975 18446604460028603264 0 0 -1 1 0 0 0
[pid=15477/tid=15484] ppid=15475 vsize=304684 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (python) S 15475 15477 14716 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 3 0 947915825 311996416 7468 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669253504 0 0 -1 7 0 0 0
[pid=15477/tid=15493] ppid=15475 vsize=304684 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15493/stat : 15493 (python) S 15475 15477 14716 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 3 0 947921026 311996416 7468 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669253504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 55.42
Current children cumulated vsize (KiB) 9511140
[startup+54.601 s]
/proc/loadavg: 2.21 1.82 0.93 3/636 15512
/proc/meminfo: memFree=19762400/32950940 swapFree=67111360/67111528
[pid=15477] ppid=15475 vsize=304684 CPUtime=0.48 cores=1,3,5,7
/proc/15477/stat : 15477 (python) S 15475 15477 14716 0 -1 4202496 10678 929 1 0 41 7 0 0 20 0 3 0 947915768 311996416 7468 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15477/statm: 76171 7468 1873 364 0 11055 0
[pid=15483] ppid=15477 vsize=293924 CPUtime=0.26 cores=1,3,5,7
/proc/15483/stat : 15483 (python) S 15477 15477 14716 0 -1 4202560 1160 0 0 0 12 14 0 0 16 0 2 0 947915825 300978176 5892 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15483/statm: 73481 5892 412 364 0 8368 0
[pid=15485] ppid=15483 vsize=67536 CPUtime=51.98 cores=1,3,5,7
/proc/15485/stat : 15485 (scip-2.0.1.linu) T 15483 15485 15485 0 -1 4202496 16222 0 0 0 4979 219 0 0 25 0 1 0 947915825 69156864 14582 33554432000 4194304 13684479 140736731616192 18446744073709551615 7158619 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/15485/statm: 16884 14582 810 2317 0 14562 0
[pid=15483/tid=15491] ppid=15477 vsize=293924 CPUtime=0 cores=1,3,5,7
/proc/15483/task/15491/stat : 15491 (python) S 15477 15477 14716 0 -1 4202560 97 0 0 0 0 0 0 0 16 0 2 0 947921023 300978176 5892 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554946 18446604455686323008 0 0 -1 7 0 0 0
[pid=15492] ppid=15477 vsize=294440 CPUtime=0 cores=1,3,5,7
/proc/15492/stat : 15492 (python) S 15477 15477 14716 0 -1 4202560 894 0 0 0 0 0 0 0 15 0 1 0 947921026 301506560 5947 33554432000 4194304 5683644 140736522911104 18446744073709551615 215988612678 0 0 16781312 33554946 4168559489286406144 0 0 17 7 0 0 0
/proc/15492/statm: 73610 5947 356 364 0 8494 0
[pid=15494] ppid=15492 vsize=8555312 CPUtime=2.8 cores=1,3,5,7
/proc/15494/stat : 15494 (java) S 15492 15494 15494 0 -1 4202496 19762 0 1 0 277 3 0 0 20 0 18 0 947921026 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15494/statm: 2138828 15950 2256 9 0 2129569 0
[pid=15494/tid=15495] ppid=15492 vsize=8555312 CPUtime=1.87 cores=1,3,5,7
/proc/15494/task/15495/stat : 15495 (java) S 15492 15494 15494 0 -1 4202560 7089 0 1 0 186 1 0 0 22 0 18 0 947921027 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 7 0 0 0
[pid=15494/tid=15496] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15496/stat : 15496 (java) S 15492 15494 15494 0 -1 4202560 181 0 0 0 0 0 0 0 18 0 18 0 947921027 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 7 0 0 0
[pid=15494/tid=15497] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15497/stat : 15497 (java) S 15492 15494 15494 0 -1 4202560 166 0 0 0 0 0 0 0 18 0 18 0 947921027 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 1 0 0 0
[pid=15494/tid=15498] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15498/stat : 15498 (java) S 15492 15494 15494 0 -1 4202560 70 0 0 0 0 0 0 0 18 0 18 0 947921027 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 7 0 0 0
[pid=15494/tid=15499] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15499/stat : 15499 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947921027 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15500] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15500/stat : 15500 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947921027 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15501] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15501/stat : 15501 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947921027 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15502] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15502/stat : 15502 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947921027 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15503] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15503/stat : 15503 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947921027 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15504] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15504/stat : 15504 (java) S 15492 15494 15494 0 -1 4202560 418 0 0 0 0 0 0 0 15 0 18 0 947921028 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000409088 0 0 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15505] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15505/stat : 15505 (java) S 15492 15494 15494 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 947921029 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15506] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15506/stat : 15506 (java) S 15492 15494 15494 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 947921029 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15507] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15507/stat : 15507 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947921031 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 1 0 0 0
[pid=15494/tid=15508] ppid=15492 vsize=8555312 CPUtime=0.5 cores=1,3,5,7
/proc/15494/task/15508/stat : 15508 (java) R 15492 15494 15494 0 -1 4202560 7881 0 0 0 49 1 0 0 16 0 18 0 947921031 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 47256483139587 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15494/tid=15509] ppid=15492 vsize=8555312 CPUtime=0.38 cores=1,3,5,7
/proc/15494/task/15509/stat : 15509 (java) S 15492 15494 15494 0 -1 4202560 2552 0 0 0 38 0 0 0 15 0 18 0 947921031 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 5 0 0 0
[pid=15494/tid=15510] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15510/stat : 15510 (java) S 15492 15494 15494 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947921031 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000408473 0 4 0 16800975 18446604460028603264 0 0 -1 3 0 0 0
[pid=15494/tid=15512] ppid=15492 vsize=8555312 CPUtime=0 cores=1,3,5,7
/proc/15494/task/15512/stat : 15512 (java) S 15492 15494 15494 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 947921061 8760639488 15950 33554432000 1073741824 1073778376 140736368312000 18446744073709551615 216000409088 0 4 0 16800975 18446604460028603264 0 0 -1 1 0 0 0
[pid=15477/tid=15484] ppid=15475 vsize=304684 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15484/stat : 15484 (python) S 15475 15477 14716 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 3 0 947915825 311996416 7468 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669253504 0 0 -1 7 0 0 0
[pid=15477/tid=15493] ppid=15475 vsize=304684 CPUtime=0 cores=1,3,5,7
/proc/15477/task/15493/stat : 15493 (python) S 15475 15477 14716 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 3 0 947921026 311996416 7468 33554432000 4194304 5683644 140736522911104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669253504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 55.52
Current children cumulated vsize (KiB) 9515896
Child status: 0
Real time (s): 54.6386
CPU time (s): 55.5895
CPU user time (s): 53.1269
CPU system time (s): 2.46263
CPU usage (%): 101.74
Max. virtual memory (cumulated for all children) (KiB): 9515896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.1269
system time used= 2.46263
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54959
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1517
involuntary context switches= 151
runsolver used 0.26096 second user time and 0.695894 second system time
The end