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-3482302-1307578979/watcher-3482302-1307578979 -o /tmp/evaluation-result-3482302-1307578979/solver-3482302-1307578979 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482302-1307578979.opb -seed 1220167651 -budget 1800 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.10 1.94 3/865 25575
/proc/meminfo: memFree=6419724/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=15912 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (python) R 25573 25575 22387 0 -1 4202496 939 0 0 0 0 0 0 0 25 0 1 0 948128667 16293888 817 33554432000 4194304 5683644 140734440963968 18446744073709551615 260905055265 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25575/statm: 3978 819 356 364 0 465 0

[startup+0.0411311 s]
/proc/loadavg: 2.04 2.10 1.94 3/865 25575
/proc/meminfo: memFree=6419724/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=18888 CPUtime=0.02 cores=0,2,4,6
/proc/25575/stat : 25575 (python) R 25573 25575 22387 0 -1 4202496 1284 0 0 0 2 0 0 0 25 0 1 0 948128667 19341312 1136 33554432000 4194304 5683644 140734440963968 18446744073709551615 4870108 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25575/statm: 4722 1136 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888

[startup+0.100131 s]
/proc/loadavg: 2.04 2.10 1.94 3/865 25575
/proc/meminfo: memFree=6419724/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/25575/stat : 25575 (python) R 25573 25575 22387 0 -1 4202496 2665 0 0 0 4 2 0 0 25 0 1 0 948128667 87674880 2382 33554432000 4194304 5683644 140734440963968 18446744073709551615 260905392128 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25575/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620

[startup+0.300158 s]
/proc/loadavg: 2.04 2.10 1.94 3/865 25575
/proc/meminfo: memFree=6419724/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=123744 CPUtime=0.18 cores=0,2,4,6
/proc/25575/stat : 25575 (python) R 25573 25575 22387 0 -1 4202496 5358 933 1 0 12 6 0 0 25 0 1 0 948128667 126713856 3745 33554432000 4194304 5683644 140734440963968 18446744073709551615 260905390085 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/25575/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123744

[startup+0.701013 s]
/proc/loadavg: 2.04 2.10 1.94 3/865 25575
/proc/meminfo: memFree=6419724/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=288244 CPUtime=0.46 cores=0,2,4,6
/proc/25575/stat : 25575 (python) R 25573 25575 22387 0 -1 4202496 10513 933 1 0 33 13 0 0 17 0 1 0 948128667 295161856 8375 33554432000 4194304 5683644 140734440963968 18446744073709551615 4603492 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25575/statm: 72061 8375 1781 364 0 6954 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 288244

[startup+1.50087 s]
/proc/loadavg: 2.04 2.10 1.94 3/866 25580
/proc/meminfo: memFree=6381276/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=316940 CPUtime=1.26 cores=0,2,4,6
/proc/25575/stat : 25575 (python) R 25573 25575 22387 0 -1 4202496 16645 933 1 0 112 14 0 0 17 0 1 0 948128667 324546560 14409 33554432000 4194304 5683644 140734440963968 18446744073709551615 47103464950469 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25575/statm: 79235 14410 1781 364 0 14128 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 316940

[startup+3.10069 s]
/proc/loadavg: 2.04 2.10 1.94 3/866 25580
/proc/meminfo: memFree=6361436/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=315524 CPUtime=2.86 cores=0,2,4,6
/proc/25575/stat : 25575 (python) R 25573 25575 22387 0 -1 4202496 23609 933 1 0 271 15 0 0 20 0 1 0 948128667 323096576 15251 33554432000 4194304 5683644 140734440963968 18446744073709551615 260905051963 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/25575/statm: 78881 15251 1816 364 0 13774 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 315524

[startup+6.30111 s]
/proc/loadavg: 2.03 2.10 1.94 3/869 25583
/proc/meminfo: memFree=6244252/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=325792 CPUtime=3.09 cores=0,2,4,6
/proc/25575/stat : 25575 (python) S 25573 25575 22387 0 -1 4202496 23904 933 1 0 294 15 0 0 23 0 2 0 948128667 333611008 15314 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/25575/statm: 81448 15314 1872 364 0 16335 0
[pid=25581] ppid=25575 vsize=315548 CPUtime=0 cores=0,2,4,6
/proc/25581/stat : 25581 (python) S 25575 25575 22387 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 948129000 323121152 13789 33554432000 4194304 5683644 140734440963968 18446744073709551615 260905414159 0 0 16781312 33554946 9557305782773448962 0 0 17 2 0 0 0
/proc/25581/statm: 78887 13789 351 364 0 13774 0
[pid=25583] ppid=25581 vsize=141716 CPUtime=2.95 cores=0,2,4,6
/proc/25583/stat : 25583 (scip-2.0.1.linu) R 25581 25583 25583 0 -1 4202496 32644 0 0 0 291 4 0 0 25 0 1 0 948129000 145117184 31082 33554432000 4194304 13684479 140734975506944 18446744073709551615 4665408 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25583/statm: 35429 31082 728 2317 0 33107 0
[pid=25575/tid=25582] ppid=25573 vsize=325792 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25582/stat : 25582 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 23 0 2 0 948129000 333611008 15314 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 783056

[startup+12.7009 s]
/proc/loadavg: 2.03 2.09 1.94 3/869 25584
/proc/meminfo: memFree=6195508/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=325792 CPUtime=3.09 cores=0,2,4,6
/proc/25575/stat : 25575 (python) S 25573 25575 22387 0 -1 4202496 23904 933 1 0 294 15 0 0 23 0 2 0 948128667 333611008 15314 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/25575/statm: 81448 15314 1872 364 0 16335 0
[pid=25581] ppid=25575 vsize=315548 CPUtime=0.03 cores=0,2,4,6
/proc/25581/stat : 25581 (python) S 25575 25575 22387 0 -1 4202560 916 0 0 0 1 2 0 0 15 0 1 0 948129000 323121152 13813 33554432000 4194304 5683644 140734440963968 18446744073709551615 260905414159 0 0 16781312 33554946 4294934785 0 0 17 2 0 0 0
/proc/25581/statm: 78887 13813 375 364 0 13774 0
[pid=25583] ppid=25581 vsize=149680 CPUtime=9.33 cores=0,2,4,6
/proc/25583/stat : 25583 (scip-2.0.1.linu) R 25581 25583 25583 0 -1 4202496 36291 0 0 0 927 6 0 0 25 0 1 0 948129000 153272320 33384 33554432000 4194304 13684479 140734975506944 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25583/statm: 37420 33384 751 2317 0 35098 0
[pid=25575/tid=25582] ppid=25573 vsize=325792 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25582/stat : 25582 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 23 0 2 0 948129000 333611008 15314 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 791020

[startup+25.5006 s]
/proc/loadavg: 2.02 2.09 1.94 3/873 25588
/proc/meminfo: memFree=6118856/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=325792 CPUtime=3.09 cores=0,2,4,6
/proc/25575/stat : 25575 (python) S 25573 25575 22387 0 -1 4202496 23904 933 1 0 294 15 0 0 23 0 2 0 948128667 333611008 15314 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/25575/statm: 81448 15314 1872 364 0 16335 0
[pid=25581] ppid=25575 vsize=315548 CPUtime=0.08 cores=0,2,4,6
/proc/25581/stat : 25581 (python) S 25575 25575 22387 0 -1 4202560 1014 0 0 0 3 5 0 0 15 0 1 0 948129000 323121152 13818 33554432000 4194304 5683644 140734440963968 18446744073709551615 260905414159 0 0 16781312 33554946 72262103200705239 0 0 17 2 0 0 0
/proc/25581/statm: 78887 13818 380 364 0 13774 0
[pid=25583] ppid=25581 vsize=149680 CPUtime=22.12 cores=0,2,4,6
/proc/25583/stat : 25583 (scip-2.0.1.linu) R 25581 25583 25583 0 -1 4202496 36301 0 0 0 2206 6 0 0 25 0 1 0 948129000 153272320 33394 33554432000 4194304 13684479 140734975506944 18446744073709551615 5465008 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25583/statm: 37420 33394 759 2317 0 35098 0
[pid=25575/tid=25582] ppid=25573 vsize=325792 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25582/stat : 25582 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 23 0 2 0 948129000 333611008 15314 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 791020

[startup+51.1009 s]
/proc/loadavg: 2.01 2.08 1.94 3/873 25589
/proc/meminfo: memFree=6083808/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=336048 CPUtime=3.12 cores=0,2,4,6
/proc/25575/stat : 25575 (python) S 25573 25575 22387 0 -1 4202496 24826 933 1 0 296 16 0 0 20 0 3 0 948128667 344113152 15321 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/25575/statm: 84012 15321 1875 364 0 18896 0
[pid=25581] ppid=25575 vsize=325792 CPUtime=0.22 cores=0,2,4,6
/proc/25581/stat : 25581 (python) S 25575 25575 22387 0 -1 4202560 1172 0 0 0 11 11 0 0 17 0 2 0 948129000 333611008 13854 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/25581/statm: 81448 13854 411 364 0 16335 0
[pid=25583] ppid=25581 vsize=186140 CPUtime=47.21 cores=0,2,4,6
/proc/25583/stat : 25583 (scip-2.0.1.linu) T 25581 25583 25583 0 -1 4202496 45046 0 0 0 4695 26 0 0 25 0 1 0 948129000 190607360 42138 33554432000 4194304 13684479 140734975506944 18446744073709551615 7361360 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/25583/statm: 46535 42138 831 2317 0 44213 0
[pid=25575/tid=25582] ppid=25573 vsize=336048 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25582/stat : 25582 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 23 0 3 0 948129000 344113152 15321 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 847980

[startup+102.321 s]
/proc/loadavg: 1.52 1.94 1.90 2/867 25639
/proc/meminfo: memFree=6052048/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=346304 CPUtime=3.15 cores=0,2,4,6
/proc/25575/stat : 25575 (python) S 25573 25575 22387 0 -1 4202496 25675 933 1 0 299 16 0 0 20 0 4 0 948128667 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/25575/statm: 86576 15327 1877 364 0 21457 0
[pid=25581] ppid=25575 vsize=325792 CPUtime=0.22 cores=0,2,4,6
/proc/25581/stat : 25581 (python) S 25575 25575 22387 0 -1 4202560 1172 0 0 0 11 11 0 0 17 0 2 0 948129000 333611008 13854 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/25581/statm: 81448 13854 411 364 0 16335 0
[pid=25583] ppid=25581 vsize=186140 CPUtime=47.21 cores=0,2,4,6
/proc/25583/stat : 25583 (scip-2.0.1.linu) T 25581 25583 25583 0 -1 4202496 45046 0 0 0 4695 26 0 0 25 0 1 0 948129000 190607360 42138 33554432000 4194304 13684479 140734975506944 18446744073709551615 7361360 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/25583/statm: 46535 42138 831 2317 0 44213 0
[pid=25581/tid=25590] ppid=25575 vsize=325792 CPUtime=0 cores=0,2,4,6
/proc/25581/task/25590/stat : 25590 (python) S 25575 25575 22387 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948133728 333611008 13854 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446916692800 0 0 -1 2 0 0 0
[pid=25591] ppid=25575 vsize=325804 CPUtime=0.22 cores=0,2,4,6
/proc/25591/stat : 25591 (python) S 25575 25575 22387 0 -1 4202560 1143 0 0 0 11 11 0 0 17 0 2 0 948133731 333623296 13839 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25591/statm: 81451 13839 396 364 0 16335 0
[pid=25593] ppid=25591 vsize=146408 CPUtime=46.91 cores=0,2,4,6
/proc/25593/stat : 25593 (scip-2.0.1.linu) T 25591 25593 25593 0 -1 4202496 43159 0 0 0 4675 16 0 0 25 0 1 0 948133731 149921792 32167 33554432000 4194304 15243407 140736925444224 18446744073709551615 7126590 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/25593/statm: 36602 32167 939 2698 0 33897 0
[pid=25591/tid=25636] ppid=25575 vsize=325804 CPUtime=0 cores=0,2,4,6
/proc/25591/task/25636/stat : 25636 (python) S 25575 25575 22387 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 948138430 333623296 13839 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604448712410304 0 0 -1 2 0 0 0
[pid=25637] ppid=25575 vsize=336060 CPUtime=0.02 cores=0,2,4,6
/proc/25637/stat : 25637 (python) S 25575 25575 22387 0 -1 4202560 942 0 0 0 1 1 0 0 15 0 1 0 948138432 344125440 13818 33554432000 4194304 5683644 140734440963968 18446744073709551615 260905414214 0 0 16781312 33554946 15981018368576553219 0 0 17 2 0 0 0
/proc/25637/statm: 84015 13818 372 364 0 18896 0
[pid=25639] ppid=25637 vsize=26352 CPUtime=4.65 cores=0,2,4,6
/proc/25639/stat : 25639 (bsolo_pb10) R 25637 25639 25639 0 -1 4202496 8120 0 0 0 464 1 0 0 25 0 1 0 948138433 26984448 4160 33554432000 134512640 137138936 4290448640 18446744073709551615 136570369 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/25639/statm: 6588 4160 185 642 0 5944 0
[pid=25575/tid=25582] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25582/stat : 25582 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 23 0 4 0 948129000 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
[pid=25575/tid=25592] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25592/stat : 25592 (python) S 25573 25575 22387 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 4 0 948133731 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
[pid=25575/tid=25638] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25638/stat : 25638 (python) S 25573 25575 22387 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 4 0 948138433 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 1692860

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

[startup+127.901 s]
/proc/loadavg: 1.34 1.86 1.87 2/867 25640
/proc/meminfo: memFree=6010828/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=346304 CPUtime=3.15 cores=0,2,4,6
/proc/25575/stat : 25575 (python) S 25573 25575 22387 0 -1 4202496 25675 933 1 0 299 16 0 0 20 0 4 0 948128667 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/25575/statm: 86576 15327 1877 364 0 21457 0
[pid=25581] ppid=25575 vsize=325792 CPUtime=0.22 cores=0,2,4,6
/proc/25581/stat : 25581 (python) S 25575 25575 22387 0 -1 4202560 1172 0 0 0 11 11 0 0 17 0 2 0 948129000 333611008 13854 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/25581/statm: 81448 13854 411 364 0 16335 0
[pid=25583] ppid=25581 vsize=186140 CPUtime=47.21 cores=0,2,4,6
/proc/25583/stat : 25583 (scip-2.0.1.linu) T 25581 25583 25583 0 -1 4202496 45046 0 0 0 4695 26 0 0 25 0 1 0 948129000 190607360 42138 33554432000 4194304 13684479 140734975506944 18446744073709551615 7361360 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0

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

/proc/25637/statm: 84015 13843 396 364 0 18896 0
[pid=25639] ppid=25637 vsize=78460 CPUtime=47.75 cores=0,2,4,6
/proc/25639/stat : 25639 (bsolo_pb10) T 25637 25639 25639 0 -1 4202496 21158 0 0 0 4771 4 0 0 25 0 1 0 948138433 80343040 17192 33554432000 134512640 137138936 4290448640 18446744073709551615 134542805 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/25639/statm: 19615 17192 192 642 0 18971 0
[pid=25637/tid=25641] ppid=25575 vsize=336060 CPUtime=0 cores=0,2,4,6
/proc/25637/task/25641/stat : 25641 (python) S 25575 25575 22387 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 948143209 344125440 13843 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604451854681280 0 0 -1 6 0 0 0
[pid=25575/tid=25582] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25582/stat : 25582 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 23 0 4 0 948129000 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
[pid=25575/tid=25592] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25592/stat : 25592 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 4 0 948133731 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
[pid=25575/tid=25638] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25638/stat : 25638 (python) S 25573 25575 22387 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 4 0 948138433 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 150.56
Current children cumulated vsize (KiB) 1743360

[startup+151.901 s]
/proc/loadavg: 1.22 1.79 1.85 2/868 25641
/proc/meminfo: memFree=5996560/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=346304 CPUtime=3.17 cores=0,2,4,6
/proc/25575/stat : 25575 (python) S 25573 25575 22387 0 -1 4202496 26281 933 1 0 301 16 0 0 18 0 4 0 948128667 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/25575/statm: 86576 15327 1877 364 0 21457 0
[pid=25581] ppid=25575 vsize=325792 CPUtime=0.22 cores=0,2,4,6
/proc/25581/stat : 25581 (python) S 25575 25575 22387 0 -1 4202560 1172 0 0 0 11 11 0 0 17 0 2 0 948129000 333611008 13854 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/25581/statm: 81448 13854 411 364 0 16335 0
[pid=25583] ppid=25581 vsize=186140 CPUtime=47.21 cores=0,2,4,6
/proc/25583/stat : 25583 (scip-2.0.1.linu) T 25581 25583 25583 0 -1 4202496 45046 0 0 0 4695 26 0 0 25 0 1 0 948129000 190607360 42138 33554432000 4194304 13684479 140734975506944 18446744073709551615 7361360 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/25583/statm: 46535 42138 831 2317 0 44213 0
[pid=25581/tid=25590] ppid=25575 vsize=325792 CPUtime=0 cores=0,2,4,6
/proc/25581/task/25590/stat : 25590 (python) S 25575 25575 22387 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948133728 333611008 13854 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446916692800 0 0 -1 2 0 0 0
[pid=25591] ppid=25575 vsize=325804 CPUtime=0.27 cores=0,2,4,6
/proc/25591/stat : 25591 (python) S 25575 25575 22387 0 -1 4202560 1150 0 0 0 14 13 0 0 15 0 2 0 948133731 333623296 13839 33554432000 4194304 5683644 140734440963968 18446744073709551615 260905414214 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25591/statm: 81451 13839 396 364 0 16335 0
[pid=25593] ppid=25591 vsize=145064 CPUtime=53.34 cores=0,2,4,6
/proc/25593/stat : 25593 (scip-2.0.1.linu) R 25591 25593 25593 0 -1 4202496 43912 0 0 0 5316 18 0 0 25 0 1 0 948133731 148545536 32245 33554432000 4194304 15243407 140736925444224 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25593/statm: 36266 32245 939 2698 0 33561 0
[pid=25591/tid=25636] ppid=25575 vsize=325804 CPUtime=0 cores=0,2,4,6
/proc/25591/task/25636/stat : 25636 (python) S 25575 25575 22387 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 948138430 333623296 13839 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604448712410304 0 0 -1 2 0 0 0
[pid=25637] ppid=25575 vsize=336060 CPUtime=0.22 cores=0,2,4,6
/proc/25637/stat : 25637 (python) S 25575 25575 22387 0 -1 4202560 1132 0 0 0 11 11 0 0 17 0 2 0 948138432 344125440 13843 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25637/statm: 84015 13843 396 364 0 18896 0
[pid=25639] ppid=25637 vsize=78460 CPUtime=47.75 cores=0,2,4,6
/proc/25639/stat : 25639 (bsolo_pb10) T 25637 25639 25639 0 -1 4202496 21158 0 0 0 4771 4 0 0 25 0 1 0 948138433 80343040 17192 33554432000 134512640 137138936 4290448640 18446744073709551615 134542805 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/25639/statm: 19615 17192 192 642 0 18971 0
[pid=25637/tid=25641] ppid=25575 vsize=336060 CPUtime=0 cores=0,2,4,6
/proc/25637/task/25641/stat : 25641 (python) S 25575 25575 22387 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 948143209 344125440 13843 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604451854681280 0 0 -1 6 0 0 0
[pid=25575/tid=25582] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25582/stat : 25582 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 23 0 4 0 948129000 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
[pid=25575/tid=25592] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25592/stat : 25592 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 4 0 948133731 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
[pid=25575/tid=25638] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25638/stat : 25638 (python) S 25573 25575 22387 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 4 0 948138433 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 152.18
Current children cumulated vsize (KiB) 1743624

[startup+152.301 s]
/proc/loadavg: 1.22 1.79 1.85 2/868 25641
/proc/meminfo: memFree=5996560/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=346304 CPUtime=3.17 cores=0,2,4,6
/proc/25575/stat : 25575 (python) S 25573 25575 22387 0 -1 4202496 26281 933 1 0 301 16 0 0 18 0 4 0 948128667 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/25575/statm: 86576 15327 1877 364 0 21457 0
[pid=25581] ppid=25575 vsize=325792 CPUtime=0.22 cores=0,2,4,6
/proc/25581/stat : 25581 (python) S 25575 25575 22387 0 -1 4202560 1172 0 0 0 11 11 0 0 17 0 2 0 948129000 333611008 13854 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/25581/statm: 81448 13854 411 364 0 16335 0
[pid=25583] ppid=25581 vsize=186140 CPUtime=47.21 cores=0,2,4,6
/proc/25583/stat : 25583 (scip-2.0.1.linu) T 25581 25583 25583 0 -1 4202496 45046 0 0 0 4695 26 0 0 25 0 1 0 948129000 190607360 42138 33554432000 4194304 13684479 140734975506944 18446744073709551615 7361360 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/25583/statm: 46535 42138 831 2317 0 44213 0
[pid=25581/tid=25590] ppid=25575 vsize=325792 CPUtime=0 cores=0,2,4,6
/proc/25581/task/25590/stat : 25590 (python) S 25575 25575 22387 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948133728 333611008 13854 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446916692800 0 0 -1 2 0 0 0
[pid=25591] ppid=25575 vsize=325804 CPUtime=0.27 cores=0,2,4,6
/proc/25591/stat : 25591 (python) S 25575 25575 22387 0 -1 4202560 1150 0 0 0 14 13 0 0 15 0 2 0 948133731 333623296 13839 33554432000 4194304 5683644 140734440963968 18446744073709551615 260905414214 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25591/statm: 81451 13839 396 364 0 16335 0
[pid=25593] ppid=25591 vsize=145064 CPUtime=53.74 cores=0,2,4,6
/proc/25593/stat : 25593 (scip-2.0.1.linu) R 25591 25593 25593 0 -1 4202496 43924 0 0 0 5356 18 0 0 25 0 1 0 948133731 148545536 32257 33554432000 4194304 15243407 140736925444224 18446744073709551615 8645232 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25593/statm: 36266 32257 939 2698 0 33561 0
[pid=25591/tid=25636] ppid=25575 vsize=325804 CPUtime=0 cores=0,2,4,6
/proc/25591/task/25636/stat : 25636 (python) S 25575 25575 22387 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 948138430 333623296 13839 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604448712410304 0 0 -1 2 0 0 0
[pid=25637] ppid=25575 vsize=336060 CPUtime=0.22 cores=0,2,4,6
/proc/25637/stat : 25637 (python) S 25575 25575 22387 0 -1 4202560 1132 0 0 0 11 11 0 0 17 0 2 0 948138432 344125440 13843 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25637/statm: 84015 13843 396 364 0 18896 0
[pid=25639] ppid=25637 vsize=78460 CPUtime=47.75 cores=0,2,4,6
/proc/25639/stat : 25639 (bsolo_pb10) T 25637 25639 25639 0 -1 4202496 21158 0 0 0 4771 4 0 0 25 0 1 0 948138433 80343040 17192 33554432000 134512640 137138936 4290448640 18446744073709551615 134542805 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/25639/statm: 19615 17192 192 642 0 18971 0
[pid=25637/tid=25641] ppid=25575 vsize=336060 CPUtime=0 cores=0,2,4,6
/proc/25637/task/25641/stat : 25641 (python) S 25575 25575 22387 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 948143209 344125440 13843 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604451854681280 0 0 -1 6 0 0 0
[pid=25575/tid=25582] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25582/stat : 25582 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 23 0 4 0 948129000 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
[pid=25575/tid=25592] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25592/stat : 25592 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 4 0 948133731 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
[pid=25575/tid=25638] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25638/stat : 25638 (python) S 25573 25575 22387 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 4 0 948138433 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 152.58
Current children cumulated vsize (KiB) 1743624

[startup+152.701 s]
/proc/loadavg: 1.22 1.79 1.85 2/868 25641
/proc/meminfo: memFree=5996560/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=346304 CPUtime=3.17 cores=0,2,4,6
/proc/25575/stat : 25575 (python) S 25573 25575 22387 0 -1 4202496 26281 933 1 0 301 16 0 0 18 0 4 0 948128667 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/25575/statm: 86576 15327 1877 364 0 21457 0
[pid=25581] ppid=25575 vsize=325792 CPUtime=0.22 cores=0,2,4,6
/proc/25581/stat : 25581 (python) S 25575 25575 22387 0 -1 4202560 1172 0 0 0 11 11 0 0 17 0 2 0 948129000 333611008 13854 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/25581/statm: 81448 13854 411 364 0 16335 0
[pid=25583] ppid=25581 vsize=186140 CPUtime=47.21 cores=0,2,4,6
/proc/25583/stat : 25583 (scip-2.0.1.linu) T 25581 25583 25583 0 -1 4202496 45046 0 0 0 4695 26 0 0 25 0 1 0 948129000 190607360 42138 33554432000 4194304 13684479 140734975506944 18446744073709551615 7361360 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/25583/statm: 46535 42138 831 2317 0 44213 0
[pid=25581/tid=25590] ppid=25575 vsize=325792 CPUtime=0 cores=0,2,4,6
/proc/25581/task/25590/stat : 25590 (python) S 25575 25575 22387 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948133728 333611008 13854 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446916692800 0 0 -1 2 0 0 0
[pid=25591] ppid=25575 vsize=325804 CPUtime=0.27 cores=0,2,4,6
/proc/25591/stat : 25591 (python) S 25575 25575 22387 0 -1 4202560 1150 0 0 0 14 13 0 0 15 0 2 0 948133731 333623296 13839 33554432000 4194304 5683644 140734440963968 18446744073709551615 260905414214 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25591/statm: 81451 13839 396 364 0 16335 0
[pid=25593] ppid=25591 vsize=145324 CPUtime=54.14 cores=0,2,4,6
/proc/25593/stat : 25593 (scip-2.0.1.linu) R 25591 25593 25593 0 -1 4202496 43954 0 0 0 5396 18 0 0 25 0 1 0 948133731 148811776 32287 33554432000 4194304 15243407 140736925444224 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25593/statm: 36331 32287 939 2698 0 33626 0
[pid=25591/tid=25636] ppid=25575 vsize=325804 CPUtime=0 cores=0,2,4,6
/proc/25591/task/25636/stat : 25636 (python) S 25575 25575 22387 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 948138430 333623296 13839 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604448712410304 0 0 -1 2 0 0 0
[pid=25637] ppid=25575 vsize=336060 CPUtime=0.22 cores=0,2,4,6
/proc/25637/stat : 25637 (python) S 25575 25575 22387 0 -1 4202560 1132 0 0 0 11 11 0 0 17 0 2 0 948138432 344125440 13843 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25637/statm: 84015 13843 396 364 0 18896 0
[pid=25639] ppid=25637 vsize=78460 CPUtime=47.75 cores=0,2,4,6
/proc/25639/stat : 25639 (bsolo_pb10) T 25637 25639 25639 0 -1 4202496 21158 0 0 0 4771 4 0 0 25 0 1 0 948138433 80343040 17192 33554432000 134512640 137138936 4290448640 18446744073709551615 134542805 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/25639/statm: 19615 17192 192 642 0 18971 0
[pid=25637/tid=25641] ppid=25575 vsize=336060 CPUtime=0 cores=0,2,4,6
/proc/25637/task/25641/stat : 25641 (python) S 25575 25575 22387 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 948143209 344125440 13843 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604451854681280 0 0 -1 6 0 0 0
[pid=25575/tid=25582] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25582/stat : 25582 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 23 0 4 0 948129000 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
[pid=25575/tid=25592] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25592/stat : 25592 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 4 0 948133731 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
[pid=25575/tid=25638] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25638/stat : 25638 (python) S 25573 25575 22387 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 4 0 948138433 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 152.98
Current children cumulated vsize (KiB) 1743884

[startup+152.801 s]
/proc/loadavg: 1.22 1.79 1.85 2/868 25641
/proc/meminfo: memFree=5996684/32950928 swapFree=61542368/67111528
[pid=25575] ppid=25573 vsize=346304 CPUtime=3.17 cores=0,2,4,6
/proc/25575/stat : 25575 (python) S 25573 25575 22387 0 -1 4202496 26281 933 1 0 301 16 0 0 18 0 4 0 948128667 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/25575/statm: 86576 15327 1877 364 0 21457 0
[pid=25581] ppid=25575 vsize=325792 CPUtime=0.22 cores=0,2,4,6
/proc/25581/stat : 25581 (python) S 25575 25575 22387 0 -1 4202560 1172 0 0 0 11 11 0 0 17 0 2 0 948129000 333611008 13854 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/25581/statm: 81448 13854 411 364 0 16335 0
[pid=25583] ppid=25581 vsize=186140 CPUtime=47.21 cores=0,2,4,6
/proc/25583/stat : 25583 (scip-2.0.1.linu) T 25581 25583 25583 0 -1 4202496 45046 0 0 0 4695 26 0 0 25 0 1 0 948129000 190607360 42138 33554432000 4194304 13684479 140734975506944 18446744073709551615 7361360 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/25583/statm: 46535 42138 831 2317 0 44213 0
[pid=25581/tid=25590] ppid=25575 vsize=325792 CPUtime=0 cores=0,2,4,6
/proc/25581/task/25590/stat : 25590 (python) S 25575 25575 22387 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948133728 333611008 13854 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446916692800 0 0 -1 2 0 0 0
[pid=25591] ppid=25575 vsize=325804 CPUtime=0.27 cores=0,2,4,6
/proc/25591/stat : 25591 (python) R 25575 25575 22387 0 -1 4202560 1150 0 0 0 14 13 0 0 15 0 2 0 948133731 333623296 13839 33554432000 4194304 5683644 140734440963968 18446744073709551615 260905414214 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25591/statm: 81451 13839 396 364 0 16335 0
[pid=25593] ppid=25591 vsize=145520 CPUtime=54.25 cores=0,2,4,6
/proc/25593/stat : 25593 (scip-2.0.1.linu) R 25591 25593 25593 0 -1 4202496 43964 0 0 0 5407 18 0 0 25 0 1 0 948133731 149012480 32297 33554432000 4194304 15243407 140736925444224 18446744073709551615 4888975 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25593/statm: 36380 32297 940 2698 0 33675 0
[pid=25591/tid=25636] ppid=25575 vsize=325804 CPUtime=0 cores=0,2,4,6
/proc/25591/task/25636/stat : 25636 (python) S 25575 25575 22387 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 948138430 333623296 13839 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604448712410304 0 0 -1 2 0 0 0
[pid=25637] ppid=25575 vsize=336060 CPUtime=0.22 cores=0,2,4,6
/proc/25637/stat : 25637 (python) S 25575 25575 22387 0 -1 4202560 1132 0 0 0 11 11 0 0 17 0 2 0 948138432 344125440 13843 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25637/statm: 84015 13843 396 364 0 18896 0
[pid=25639] ppid=25637 vsize=78460 CPUtime=47.75 cores=0,2,4,6
/proc/25639/stat : 25639 (bsolo_pb10) T 25637 25639 25639 0 -1 4202496 21158 0 0 0 4771 4 0 0 25 0 1 0 948138433 80343040 17192 33554432000 134512640 137138936 4290448640 18446744073709551615 134542805 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/25639/statm: 19615 17192 192 642 0 18971 0
[pid=25637/tid=25641] ppid=25575 vsize=336060 CPUtime=0 cores=0,2,4,6
/proc/25637/task/25641/stat : 25641 (python) S 25575 25575 22387 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 948143209 344125440 13843 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604451854681280 0 0 -1 6 0 0 0
[pid=25575/tid=25582] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25582/stat : 25582 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 23 0 4 0 948129000 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
[pid=25575/tid=25592] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25592/stat : 25592 (python) S 25573 25575 22387 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 4 0 948133731 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
[pid=25575/tid=25638] ppid=25573 vsize=346304 CPUtime=0 cores=0,2,4,6
/proc/25575/task/25638/stat : 25638 (python) S 25573 25575 22387 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 4 0 948138433 354615296 15327 33554432000 4194304 5683644 140734440963968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604440790931456 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 153.09
Current children cumulated vsize (KiB) 1744080

Child status: 0
Real time (s): 152.903
CPU time (s): 153.251
CPU user time (s): 152.198
CPU system time (s): 1.05284
CPU usage (%): 100.227
Max. virtual memory (cumulated for all children) (KiB): 1745272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.198
system time used= 1.05284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149630
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= 3652
involuntary context switches= 768

runsolver used 0.883865 second user time and 1.9587 second system time

The end