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-3482292-1307578909/watcher-3482292-1307578909 -o /tmp/evaluation-result-3482292-1307578909/solver-3482292-1307578909 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482292-1307578909.opb -seed 772710201 -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.02 2.08 1.94 3/902 21688
/proc/meminfo: memFree=8725544/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/21688/stat : 21688 (python) R 21686 21688 19061 0 -1 4202496 1038 0 0 0 0 0 0 0 17 0 1 0 869487629 16625664 909 33554432000 4194304 5683644 140735993212576 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21688/statm: 4059 909 380 364 0 546 0

[startup+0.0851599 s]
/proc/loadavg: 2.02 2.08 1.94 3/902 21688
/proc/meminfo: memFree=8725544/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=50300 CPUtime=0.05 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 1978 0 0 0 3 2 0 0 17 0 1 0 869487629 51507200 1738 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/21688/statm: 12575 1738 480 364 0 1275 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50300

[startup+0.101153 s]
/proc/loadavg: 2.02 2.08 1.94 3/902 21688
/proc/meminfo: memFree=8725544/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=85616 CPUtime=0.06 cores=1,3,5,7
/proc/21688/stat : 21688 (python) R 21686 21688 19061 0 -1 4202496 2662 0 0 0 4 2 0 0 17 0 1 0 869487629 87670784 2381 33554432000 4194304 5683644 140735993212576 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21688/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616

[startup+0.301114 s]
/proc/loadavg: 2.02 2.08 1.94 3/902 21688
/proc/meminfo: memFree=8725544/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/21688/stat : 21688 (python) R 21686 21688 19061 0 -1 4202496 5357 931 1 0 11 6 0 0 16 0 1 0 869487629 126709760 3744 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500687877 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21688/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740

[startup+0.70103 s]
/proc/loadavg: 2.02 2.08 1.94 3/902 21688
/proc/meminfo: memFree=8725544/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=277984 CPUtime=0.42 cores=1,3,5,7
/proc/21688/stat : 21688 (python) R 21686 21688 19061 0 -1 4202496 8936 931 1 0 27 15 0 0 15 0 1 0 869487629 284655616 6854 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500735111 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21688/statm: 69496 6854 1740 364 0 5461 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 277984

[startup+1.50087 s]
/proc/loadavg: 2.02 2.08 1.94 3/906 21697
/proc/meminfo: memFree=8654948/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=294120 CPUtime=0.53 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 9862 931 1 0 38 15 0 0 18 0 2 0 869487629 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21688/statm: 73530 7369 1870 364 0 8417 0
[pid=21695] ppid=21688 vsize=283876 CPUtime=0 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 738 0 0 0 0 0 0 0 15 0 1 0 869487711 290689024 5847 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500711951 0 0 16781312 33554946 5656685341461938438 0 0 17 3 0 0 0
/proc/21695/statm: 70969 5847 352 364 0 5856 0
[pid=21697] ppid=21695 vsize=38552 CPUtime=0.67 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) R 21695 21697 21697 0 -1 4202496 7849 0 0 0 61 6 0 0 21 0 1 0 869487712 39477248 7228 33554432000 4194304 13684479 140736558164176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21697/statm: 9638 7228 657 2317 0 7316 0
[pid=21688/tid=21696] ppid=21686 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 869487711 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 616548

[startup+3.10059 s]
/proc/loadavg: 2.02 2.08 1.94 3/906 21697
/proc/meminfo: memFree=8639324/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=294120 CPUtime=0.53 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 9862 931 1 0 38 15 0 0 18 0 2 0 869487629 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21688/statm: 73530 7369 1870 364 0 8417 0
[pid=21695] ppid=21688 vsize=283876 CPUtime=0 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 745 0 0 0 0 0 0 0 15 0 1 0 869487711 290689024 5847 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500711951 0 0 16781312 33554946 5656685341461938438 0 0 17 3 0 0 0
/proc/21695/statm: 70969 5847 352 364 0 5856 0
[pid=21697] ppid=21695 vsize=48436 CPUtime=2.26 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) R 21695 21697 21697 0 -1 4202496 10544 0 0 0 216 10 0 0 25 0 1 0 869487712 49598464 9784 33554432000 4194304 13684479 140736558164176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21697/statm: 12109 9784 760 2317 0 9787 0
[pid=21688/tid=21696] ppid=21686 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 869487711 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 626432

[startup+6.30091 s]
/proc/loadavg: 2.10 2.10 1.94 3/906 21697
/proc/meminfo: memFree=8639080/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=294120 CPUtime=0.53 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 9862 931 1 0 38 15 0 0 18 0 2 0 869487629 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21688/statm: 73530 7369 1870 364 0 8417 0
[pid=21695] ppid=21688 vsize=283876 CPUtime=0.02 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 899 0 0 0 1 1 0 0 15 0 1 0 869487711 290689024 5871 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500711951 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/21695/statm: 70969 5871 376 364 0 5856 0
[pid=21697] ppid=21695 vsize=50096 CPUtime=5.46 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) R 21695 21697 21697 0 -1 4202496 11013 0 0 0 531 15 0 0 25 0 1 0 869487712 51298304 10248 33554432000 4194304 13684479 140736558164176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21697/statm: 12524 10248 773 2317 0 10202 0
[pid=21688/tid=21696] ppid=21686 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 869487711 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 628092

[startup+12.7006 s]
/proc/loadavg: 2.09 2.10 1.94 3/906 21697
/proc/meminfo: memFree=8638320/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=294120 CPUtime=0.53 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 9862 931 1 0 38 15 0 0 18 0 2 0 869487629 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21688/statm: 73530 7369 1870 364 0 8417 0
[pid=21695] ppid=21688 vsize=283876 CPUtime=0.04 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 904 0 0 0 2 2 0 0 15 0 1 0 869487711 290689024 5871 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500711951 0 0 16781312 33554946 5623753486446373558 0 0 17 7 0 0 0
/proc/21695/statm: 70969 5871 376 364 0 5856 0
[pid=21697] ppid=21695 vsize=50096 CPUtime=11.86 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) R 21695 21697 21697 0 -1 4202496 11022 0 0 0 1163 23 0 0 25 0 1 0 869487712 51298304 10257 33554432000 4194304 13684479 140736558164176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21697/statm: 12524 10257 774 2317 0 10202 0
[pid=21688/tid=21696] ppid=21686 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 869487711 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 628092

[startup+25.5011 s]
/proc/loadavg: 2.07 2.09 1.94 3/906 21697
/proc/meminfo: memFree=8547456/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=294120 CPUtime=0.53 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 9862 931 1 0 38 15 0 0 18 0 2 0 869487629 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21688/statm: 73530 7369 1870 364 0 8417 0
[pid=21695] ppid=21688 vsize=283876 CPUtime=0.12 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 1005 0 0 0 6 6 0 0 15 0 1 0 869487711 290689024 5876 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500711951 0 0 16781312 33554946 5623753486446373558 0 0 17 7 0 0 0
/proc/21695/statm: 70969 5876 381 364 0 5856 0
[pid=21697] ppid=21695 vsize=143804 CPUtime=24.67 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) R 21695 21697 21697 0 -1 4202496 34885 0 0 0 2410 57 0 0 25 0 1 0 869487712 147255296 33095 33554432000 4194304 13684479 140736558164176 18446744073709551615 5490192 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21697/statm: 35951 33095 829 2317 0 33629 0
[pid=21688/tid=21696] ppid=21686 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 869487711 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 721800

[startup+51.101 s]
/proc/loadavg: 2.19 2.11 1.95 3/906 21698
/proc/meminfo: memFree=8552596/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=294120 CPUtime=0.53 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 9862 931 1 0 38 15 0 0 18 0 2 0 869487629 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21688/statm: 73530 7369 1870 364 0 8417 0
[pid=21695] ppid=21688 vsize=283876 CPUtime=0.23 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 1017 0 0 0 11 12 0 0 15 0 1 0 869487711 290689024 5876 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500711951 0 0 16781312 33554946 5623753486446373558 0 0 17 7 0 0 0
/proc/21695/statm: 70969 5876 381 364 0 5856 0
[pid=21697] ppid=21695 vsize=137652 CPUtime=50.26 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) R 21695 21697 21697 0 -1 4202496 34902 0 0 0 4927 99 0 0 25 0 1 0 869487712 140955648 31618 33554432000 4194304 13684479 140736558164176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21697/statm: 34413 31618 838 2317 0 32091 0
[pid=21688/tid=21696] ppid=21686 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 869487711 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 715648

Solver just ended. Dumping a history of the last processes samples

[startup+51.3009 s]
/proc/loadavg: 2.19 2.11 1.95 3/906 21698
/proc/meminfo: memFree=8552596/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=294120 CPUtime=0.53 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 9862 931 1 0 38 15 0 0 18 0 2 0 869487629 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21688/statm: 73530 7369 1870 364 0 8417 0
[pid=21695] ppid=21688 vsize=283876 CPUtime=0.23 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 1017 0 0 0 11 12 0 0 15 0 1 0 869487711 290689024 5876 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500711951 0 0 16781312 33554946 5623753486446373558 0 0 17 7 0 0 0
/proc/21695/statm: 70969 5876 381 364 0 5856 0
[pid=21697] ppid=21695 vsize=137652 CPUtime=50.47 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) R 21695 21697 21697 0 -1 4202496 34902 0 0 0 4947 100 0 0 25 0 1 0 869487712 140955648 31618 33554432000 4194304 13684479 140736558164176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21697/statm: 34413 31618 838 2317 0 32091 0
[pid=21688/tid=21696] ppid=21686 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 869487711 301178880 7369 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 715648

[startup+76.9008 s]
/proc/loadavg: 2.12 2.10 1.95 3/910 21703
/proc/meminfo: memFree=8424156/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=304880 CPUtime=0.56 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 10772 931 1 0 41 15 0 0 20 0 3 0 869487629 312197120 7502 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21688/statm: 76220 7502 1873 364 0 11104 0
[pid=21695] ppid=21688 vsize=294120 CPUtime=0.26 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 1150 0 0 0 12 14 0 0 16 0 2 0 869487711 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21695/statm: 73530 5912 412 364 0 8417 0
[pid=21697] ppid=21695 vsize=137652 CPUtime=50.86 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) T 21695 21697 21697 0 -1 4202496 34902 0 0 0 4986 100 0 0 25 0 1 0 869487712 140955648 31618 33554432000 4194304 13684479 140736558164176 18446744073709551615 7390765 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21697/statm: 34413 31618 838 2317 0 32091 0
[pid=21695/tid=21699] ppid=21688 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21695/task/21699/stat : 21699 (python) S 21688 21688 19061 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869492798 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554946 18446604464233670656 0 0 -1 7 0 0 0
[pid=21700] ppid=21688 vsize=294636 CPUtime=0.12 cores=1,3,5,7

################
# More data... #
################

/proc/21702/stat : 21702 (scip-2.0.1.linu) R 21700 21702 21702 0 -1 4202496 46313 0 0 0 3775 22 0 0 25 0 1 0 869492801 145743872 32017 33554432000 4194304 15243407 140735518638784 18446744073709551615 8135328 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21702/statm: 35582 32017 949 2698 0 32877 0
[pid=21688/tid=21696] ppid=21686 vsize=304880 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 3 0 869487711 312197120 7502 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
[pid=21688/tid=21701] ppid=21686 vsize=304880 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21701/stat : 21701 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 3 0 869492801 312197120 7502 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 89.84
Current children cumulated vsize (KiB) 1173616

[startup+92.9006 s]
/proc/loadavg: 2.10 2.10 1.95 3/910 21703
/proc/meminfo: memFree=8423464/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=304880 CPUtime=0.56 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 10772 931 1 0 41 15 0 0 20 0 3 0 869487629 312197120 7502 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21688/statm: 76220 7502 1873 364 0 11104 0
[pid=21695] ppid=21688 vsize=294120 CPUtime=0.26 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 1150 0 0 0 12 14 0 0 16 0 2 0 869487711 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21695/statm: 73530 5912 412 364 0 8417 0
[pid=21697] ppid=21695 vsize=137652 CPUtime=50.86 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) T 21695 21697 21697 0 -1 4202496 34902 0 0 0 4986 100 0 0 25 0 1 0 869487712 140955648 31618 33554432000 4194304 13684479 140736558164176 18446744073709551615 7390765 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21697/statm: 34413 31618 838 2317 0 32091 0
[pid=21695/tid=21699] ppid=21688 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21695/task/21699/stat : 21699 (python) S 21688 21688 19061 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869492798 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554946 18446604464233670656 0 0 -1 7 0 0 0
[pid=21700] ppid=21688 vsize=294636 CPUtime=0.19 cores=1,3,5,7
/proc/21700/stat : 21700 (python) S 21688 21688 19061 0 -1 4202560 957 0 0 0 8 11 0 0 15 0 1 0 869492801 301707264 5998 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500712006 0 0 16781312 33554946 5623753486446373558 0 0 17 7 0 0 0
/proc/21700/statm: 73659 5998 373 364 0 8543 0
[pid=21702] ppid=21700 vsize=142328 CPUtime=41.17 cores=1,3,5,7
/proc/21702/stat : 21702 (scip-2.0.1.linu) R 21700 21702 21702 0 -1 4202496 46441 0 0 0 4094 23 0 0 25 0 1 0 869492801 145743872 32145 33554432000 4194304 15243407 140735518638784 18446744073709551615 7429492 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21702/statm: 35582 32145 949 2698 0 32877 0
[pid=21688/tid=21696] ppid=21686 vsize=304880 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 3 0 869487711 312197120 7502 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
[pid=21688/tid=21701] ppid=21686 vsize=304880 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21701/stat : 21701 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 3 0 869492801 312197120 7502 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 93.04
Current children cumulated vsize (KiB) 1173616

[startup+96.101 s]
/proc/loadavg: 2.41 2.16 1.97 3/910 21703
/proc/meminfo: memFree=8424332/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=304880 CPUtime=0.56 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 10772 931 1 0 41 15 0 0 20 0 3 0 869487629 312197120 7502 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21688/statm: 76220 7502 1873 364 0 11104 0
[pid=21695] ppid=21688 vsize=294120 CPUtime=0.26 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 1150 0 0 0 12 14 0 0 16 0 2 0 869487711 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21695/statm: 73530 5912 412 364 0 8417 0
[pid=21697] ppid=21695 vsize=137652 CPUtime=50.86 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) T 21695 21697 21697 0 -1 4202496 34902 0 0 0 4986 100 0 0 25 0 1 0 869487712 140955648 31618 33554432000 4194304 13684479 140736558164176 18446744073709551615 7390765 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21697/statm: 34413 31618 838 2317 0 32091 0
[pid=21695/tid=21699] ppid=21688 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21695/task/21699/stat : 21699 (python) S 21688 21688 19061 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869492798 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554946 18446604464233670656 0 0 -1 7 0 0 0
[pid=21700] ppid=21688 vsize=294636 CPUtime=0.22 cores=1,3,5,7
/proc/21700/stat : 21700 (python) S 21688 21688 19061 0 -1 4202560 959 0 0 0 9 13 0 0 15 0 1 0 869492801 301707264 5998 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500712006 0 0 16781312 33554946 5623753486446373558 0 0 17 7 0 0 0
/proc/21700/statm: 73659 5998 373 364 0 8543 0
[pid=21702] ppid=21700 vsize=142328 CPUtime=44.38 cores=1,3,5,7
/proc/21702/stat : 21702 (scip-2.0.1.linu) R 21700 21702 21702 0 -1 4202496 46446 0 0 0 4414 24 0 0 25 0 1 0 869492801 145743872 32150 33554432000 4194304 15243407 140735518638784 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21702/statm: 35582 32150 949 2698 0 32877 0
[pid=21688/tid=21696] ppid=21686 vsize=304880 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 3 0 869487711 312197120 7502 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
[pid=21688/tid=21701] ppid=21686 vsize=304880 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21701/stat : 21701 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 3 0 869492801 312197120 7502 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 96.28
Current children cumulated vsize (KiB) 1173616

[startup+97.7007 s]
/proc/loadavg: 2.41 2.16 1.97 3/910 21703
/proc/meminfo: memFree=8424332/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=304880 CPUtime=0.56 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 10772 931 1 0 41 15 0 0 20 0 3 0 869487629 312197120 7502 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21688/statm: 76220 7502 1873 364 0 11104 0
[pid=21695] ppid=21688 vsize=294120 CPUtime=0.26 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 1150 0 0 0 12 14 0 0 16 0 2 0 869487711 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21695/statm: 73530 5912 412 364 0 8417 0
[pid=21697] ppid=21695 vsize=137652 CPUtime=50.86 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) T 21695 21697 21697 0 -1 4202496 34902 0 0 0 4986 100 0 0 25 0 1 0 869487712 140955648 31618 33554432000 4194304 13684479 140736558164176 18446744073709551615 7390765 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21697/statm: 34413 31618 838 2317 0 32091 0
[pid=21695/tid=21699] ppid=21688 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21695/task/21699/stat : 21699 (python) S 21688 21688 19061 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869492798 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554946 18446604464233670656 0 0 -1 7 0 0 0
[pid=21700] ppid=21688 vsize=294636 CPUtime=0.22 cores=1,3,5,7
/proc/21700/stat : 21700 (python) S 21688 21688 19061 0 -1 4202560 959 0 0 0 9 13 0 0 15 0 1 0 869492801 301707264 5998 33554432000 4194304 5683644 140735993212576 18446744073709551615 254500712006 0 0 16781312 33554946 5623753486446373558 0 0 17 7 0 0 0
/proc/21700/statm: 73659 5998 373 364 0 8543 0
[pid=21702] ppid=21700 vsize=142328 CPUtime=45.97 cores=1,3,5,7
/proc/21702/stat : 21702 (scip-2.0.1.linu) R 21700 21702 21702 0 -1 4202496 46463 0 0 0 4573 24 0 0 25 0 1 0 869492801 145743872 32167 33554432000 4194304 15243407 140735518638784 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21702/statm: 35582 32167 950 2698 0 32877 0
[pid=21688/tid=21696] ppid=21686 vsize=304880 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 3 0 869487711 312197120 7502 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
[pid=21688/tid=21701] ppid=21686 vsize=304880 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21701/stat : 21701 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 3 0 869492801 312197120 7502 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 97.87
Current children cumulated vsize (KiB) 1173616

[startup+98.5004 s]
/proc/loadavg: 2.46 2.18 1.98 3/910 21703
/proc/meminfo: memFree=8424332/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=315136 CPUtime=0.59 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 11648 931 1 0 43 16 0 0 20 0 4 0 869487629 322699264 7508 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21688/statm: 78784 7508 1875 364 0 13665 0
[pid=21695] ppid=21688 vsize=294120 CPUtime=0.26 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 1150 0 0 0 12 14 0 0 16 0 2 0 869487711 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21695/statm: 73530 5912 412 364 0 8417 0
[pid=21697] ppid=21695 vsize=137652 CPUtime=50.86 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) T 21695 21697 21697 0 -1 4202496 34902 0 0 0 4986 100 0 0 25 0 1 0 869487712 140955648 31618 33554432000 4194304 13684479 140736558164176 18446744073709551615 7390765 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21697/statm: 34413 31618 838 2317 0 32091 0
[pid=21695/tid=21699] ppid=21688 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21695/task/21699/stat : 21699 (python) S 21688 21688 19061 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869492798 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554946 18446604464233670656 0 0 -1 7 0 0 0
[pid=21700] ppid=21688 vsize=294636 CPUtime=0.23 cores=1,3,5,7
/proc/21700/stat : 21700 (python) S 21688 21688 19061 0 -1 4202560 1119 0 0 0 9 14 0 0 16 0 2 0 869492801 301707264 6023 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21700/statm: 73659 6023 397 364 0 8543 0
[pid=21702] ppid=21700 vsize=142328 CPUtime=46.33 cores=1,3,5,7
/proc/21702/stat : 21702 (scip-2.0.1.linu) T 21700 21702 21702 0 -1 4202496 46498 0 0 0 4609 24 0 0 25 0 1 0 869492801 145743872 32202 33554432000 4194304 15243407 140735518638784 18446744073709551615 8110927 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21702/statm: 35582 32202 950 2698 0 32877 0
[pid=21688/tid=21696] ppid=21686 vsize=315136 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 4 0 869487711 322699264 7508 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
[pid=21688/tid=21701] ppid=21686 vsize=315136 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21701/stat : 21701 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 4 0 869492801 322699264 7508 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 98.27
Current children cumulated vsize (KiB) 1183872

[startup+98.9004 s]
/proc/loadavg: 2.46 2.18 1.98 3/910 21703
/proc/meminfo: memFree=8424332/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=315136 CPUtime=0.59 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 11648 931 1 0 43 16 0 0 20 0 4 0 869487629 322699264 7508 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21688/statm: 78784 7508 1875 364 0 13665 0
[pid=21695] ppid=21688 vsize=294120 CPUtime=0.26 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 1150 0 0 0 12 14 0 0 16 0 2 0 869487711 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21695/statm: 73530 5912 412 364 0 8417 0
[pid=21697] ppid=21695 vsize=137652 CPUtime=50.86 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) T 21695 21697 21697 0 -1 4202496 34902 0 0 0 4986 100 0 0 25 0 1 0 869487712 140955648 31618 33554432000 4194304 13684479 140736558164176 18446744073709551615 7390765 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21697/statm: 34413 31618 838 2317 0 32091 0
[pid=21695/tid=21699] ppid=21688 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21695/task/21699/stat : 21699 (python) S 21688 21688 19061 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869492798 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554946 18446604464233670656 0 0 -1 7 0 0 0
[pid=21700] ppid=21688 vsize=294636 CPUtime=0.23 cores=1,3,5,7
/proc/21700/stat : 21700 (python) S 21688 21688 19061 0 -1 4202560 1119 0 0 0 9 14 0 0 16 0 2 0 869492801 301707264 6023 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21700/statm: 73659 6023 397 364 0 8543 0
[pid=21702] ppid=21700 vsize=142328 CPUtime=46.33 cores=1,3,5,7
/proc/21702/stat : 21702 (scip-2.0.1.linu) T 21700 21702 21702 0 -1 4202496 46498 0 0 0 4609 24 0 0 25 0 1 0 869492801 145743872 32202 33554432000 4194304 15243407 140735518638784 18446744073709551615 8110927 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21702/statm: 35582 32202 950 2698 0 32877 0
[pid=21688/tid=21696] ppid=21686 vsize=315136 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 4 0 869487711 322699264 7508 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
[pid=21688/tid=21701] ppid=21686 vsize=315136 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21701/stat : 21701 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 4 0 869492801 322699264 7508 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 98.27
Current children cumulated vsize (KiB) 1183872

[startup+99.0013 s]
/proc/loadavg: 2.46 2.18 1.98 3/910 21703
/proc/meminfo: memFree=8424332/32950928 swapFree=26914392/67111528
[pid=21688] ppid=21686 vsize=315136 CPUtime=0.59 cores=1,3,5,7
/proc/21688/stat : 21688 (python) S 21686 21688 19061 0 -1 4202496 11648 931 1 0 43 16 0 0 20 0 4 0 869487629 322699264 7508 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21688/statm: 78784 7508 1875 364 0 13665 0
[pid=21695] ppid=21688 vsize=294120 CPUtime=0.26 cores=1,3,5,7
/proc/21695/stat : 21695 (python) S 21688 21688 19061 0 -1 4202560 1150 0 0 0 12 14 0 0 16 0 2 0 869487711 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21695/statm: 73530 5912 412 364 0 8417 0
[pid=21697] ppid=21695 vsize=137652 CPUtime=50.86 cores=1,3,5,7
/proc/21697/stat : 21697 (scip-2.0.1.linu) T 21695 21697 21697 0 -1 4202496 34902 0 0 0 4986 100 0 0 25 0 1 0 869487712 140955648 31618 33554432000 4194304 13684479 140736558164176 18446744073709551615 7390765 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21697/statm: 34413 31618 838 2317 0 32091 0
[pid=21695/tid=21699] ppid=21688 vsize=294120 CPUtime=0 cores=1,3,5,7
/proc/21695/task/21699/stat : 21699 (python) S 21688 21688 19061 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869492798 301178880 5912 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554946 18446604464233670656 0 0 -1 7 0 0 0
[pid=21700] ppid=21688 vsize=294636 CPUtime=0.23 cores=1,3,5,7
/proc/21700/stat : 21700 (python) S 21688 21688 19061 0 -1 4202560 1119 0 0 0 9 14 0 0 16 0 2 0 869492801 301707264 6023 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21700/statm: 73659 6023 397 364 0 8543 0
[pid=21702] ppid=21700 vsize=142328 CPUtime=46.33 cores=1,3,5,7
/proc/21702/stat : 21702 (scip-2.0.1.linu) T 21700 21702 21702 0 -1 4202496 46498 0 0 0 4609 24 0 0 25 0 1 0 869492801 145743872 32202 33554432000 4194304 15243407 140735518638784 18446744073709551615 8110927 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21702/statm: 35582 32202 950 2698 0 32877 0
[pid=21688/tid=21696] ppid=21686 vsize=315136 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21696/stat : 21696 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 4 0 869487711 322699264 7508 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 3 0 0 0
[pid=21688/tid=21701] ppid=21686 vsize=315136 CPUtime=0 cores=1,3,5,7
/proc/21688/task/21701/stat : 21701 (python) S 21686 21688 19061 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 4 0 869492801 322699264 7508 33554432000 4194304 5683644 140735993212576 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464041509952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 98.27
Current children cumulated vsize (KiB) 1183872

Child status: 0
Real time (s): 99.0821
CPU time (s): 99.9178
CPU user time (s): 98.1641
CPU system time (s): 1.75373
CPU usage (%): 100.843
Max. virtual memory (cumulated for all children) (KiB): 1205836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.1641
system time used= 1.75373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117664
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= 3473
involuntary context switches= 215

runsolver used 0.551916 second user time and 1.44378 second system time

The end