runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3378265-1305464361/watcher-3378265-1305464361 -o /tmp/evaluation-result-3378265-1305464361/solver-3378265-1305464361 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378265-1305464361.cnf -seed 1966936109 -budget 4800 -cores 4 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.02 8.08 6.97 2/391 21320
/proc/meminfo: memFree=22328152/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/21320/stat : 21320 (python) R 21318 21320 20819 0 -1 4202496 914 0 0 0 0 0 0 0 17 0 1 0 638852418 16154624 796 33554432000 4194304 5683644 140734574759424 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21320/statm: 3943 795 346 364 0 430 0

[startup+0.095574 s]
/proc/loadavg: 8.02 8.08 6.97 2/391 21320
/proc/meminfo: memFree=22328152/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=54532 CPUtime=0.05 cores=0,2,4,6
/proc/21320/stat : 21320 (python) S 21318 21320 20819 0 -1 4202496 2054 0 0 0 4 1 0 0 17 0 1 0 638852418 55840768 1813 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039653376 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/21320/statm: 13633 1813 492 364 0 1283 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54532

[startup+0.100625 s]
/proc/loadavg: 8.02 8.08 6.97 2/391 21320
/proc/meminfo: memFree=22328152/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=84520 CPUtime=0.05 cores=0,2,4,6
/proc/21320/stat : 21320 (python) R 21318 21320 20819 0 -1 4202496 2203 0 0 0 4 1 0 0 17 0 1 0 638852418 86548480 1953 33554432000 4194304 5683644 140734574759424 18446744073709551615 212034705888 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21320/statm: 21130 1953 576 364 0 1334 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84520

[startup+0.300591 s]
/proc/loadavg: 8.02 8.08 6.97 2/391 21320
/proc/meminfo: memFree=22328152/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=135748 CPUtime=0.18 cores=0,2,4,6
/proc/21320/stat : 21320 (python) S 21318 21320 20819 0 -1 4202496 5965 931 1 0 14 4 0 0 17 0 1 0 638852418 139005952 4150 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039653376 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/21320/statm: 33937 4150 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135748

[startup+0.700467 s]
/proc/loadavg: 8.02 8.08 6.97 2/391 21320
/proc/meminfo: memFree=22328152/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=261728 CPUtime=0.42 cores=0,2,4,6
/proc/21320/stat : 21320 (python) S 21318 21320 20819 0 -1 4202496 8751 931 1 0 31 11 0 0 16 0 1 0 638852418 268009472 6528 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039653376 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/21320/statm: 65432 6528 1663 364 0 5256 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 261728

[startup+1.50039 s]
/proc/loadavg: 8.02 8.08 6.97 3/397 21339
/proc/meminfo: memFree=22232240/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=282660 CPUtime=1.21 cores=0,2,4,6
/proc/21320/stat : 21320 (python) R 21318 21320 20819 0 -1 4202496 11047 931 1 0 109 12 0 0 17 0 1 0 638852418 289443840 8057 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039313216 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21320/statm: 70665 8057 1833 364 0 6589 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 282660

[startup+3.10099 s]
/proc/loadavg: 8.02 8.08 6.97 6/409 21351
/proc/meminfo: memFree=22155440/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=322056 CPUtime=1.26 cores=0,2,4,6
/proc/21320/stat : 21320 (python) S 21318 21320 20819 0 -1 4202496 13891 931 1 0 113 13 0 0 20 0 5 0 638852418 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21320/statm: 80514 7711 1881 364 0 16423 0
[pid=21340] ppid=21320 vsize=280760 CPUtime=0 cores=0,2,4,6
/proc/21340/stat : 21340 (python) S 21320 21320 20819 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 638852570 287498240 6129 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675407 0 0 16781312 514 7003696108937380098 0 0 17 4 0 0 0
/proc/21340/statm: 70190 6129 354 364 0 6108 0
[pid=21342] ppid=21340 vsize=268420 CPUtime=1.55 cores=0,2,4,6
/proc/21342/stat : 21342 (hybridGM3) R 21340 21342 21342 0 -1 4202496 5234 0 0 0 155 0 0 0 24 0 1 0 638852570 274862080 4970 33554432000 134512640 135204385 4288593744 18446744073709551615 134537249 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21342/statm: 67105 4970 64 169 0 66935 0
[pid=21343] ppid=21320 vsize=291168 CPUtime=0 cores=0,2,4,6
/proc/21343/stat : 21343 (python) S 21320 21320 20819 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 638852571 298156032 6149 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2814314639674834943 0 0 17 6 0 0 0
/proc/21343/statm: 72792 6149 348 364 0 8707 0
[pid=21345] ppid=21343 vsize=452900 CPUtime=1.56 cores=0,2,4,6
/proc/21345/stat : 21345 (TNM) R 21343 21345 21345 0 -1 4202496 1162 0 0 0 156 0 0 0 25 0 1 0 638852571 463769600 901 33554432000 134512640 135008748 4286942704 18446744073709551615 134528818 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21345/statm: 113225 901 46 122 0 112125 0
[pid=21346] ppid=21320 vsize=301424 CPUtime=0 cores=0,2,4,6
/proc/21346/stat : 21346 (python) S 21320 21320 20819 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 638852572 308658176 6153 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2945733217228914946 0 0 17 2 0 0 0
/proc/21346/statm: 75356 6153 348 364 0 11268 0
[pid=21348] ppid=21346 vsize=268428 CPUtime=1.55 cores=0,2,4,6
/proc/21348/stat : 21348 (hybridGM3) R 21346 21348 21348 0 -1 4202496 5232 0 0 0 154 1 0 0 25 0 1 0 638852572 274870272 4970 33554432000 134512640 135204385 4292781424 18446744073709551615 134537143 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/21348/statm: 67107 4970 64 169 0 66937 0
[pid=21349] ppid=21320 vsize=311812 CPUtime=0 cores=0,2,4,6
/proc/21349/stat : 21349 (python) S 21320 21320 20819 0 -1 4202560 747 0 0 0 0 0 0 0 18 0 1 0 638852573 319295488 6174 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 3882125972832485633 0 0 17 6 0 0 0
/proc/21349/statm: 77953 6174 348 364 0 13862 0
[pid=21351] ppid=21349 vsize=269252 CPUtime=1.53 cores=0,2,4,6
/proc/21351/stat : 21351 (hybridGM3) R 21349 21351 21351 0 -1 4202496 7117 0 0 0 153 0 0 0 25 0 1 0 638852573 275714048 5695 33554432000 134512640 135204385 4291662032 18446744073709551615 134536744 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21351/statm: 67313 5695 85 169 0 67143 0
[pid=21320/tid=21341] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21341/stat : 21341 (python) S 21318 21320 20819 0 -1 4202560 24 931 0 0 0 0 0 0 19 0 5 0 638852570 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
[pid=21320/tid=21344] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21344/stat : 21344 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852571 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 4 0 0 0
[pid=21320/tid=21347] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21347/stat : 21347 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852572 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 2 0 0 0
[pid=21320/tid=21350] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21350/stat : 21350 (python) S 21318 21320 20819 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 638852573 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 2766220

[startup+6.30142 s]
/proc/loadavg: 8.18 8.11 6.98 9/421 21363
/proc/meminfo: memFree=22115500/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=322056 CPUtime=1.26 cores=0,2,4,6
/proc/21320/stat : 21320 (python) S 21318 21320 20819 0 -1 4202496 13891 931 1 0 113 13 0 0 20 0 5 0 638852418 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21320/statm: 80514 7711 1881 364 0 16423 0
[pid=21340] ppid=21320 vsize=280760 CPUtime=0.01 cores=0,2,4,6
/proc/21340/stat : 21340 (python) S 21320 21320 20819 0 -1 4202560 878 0 0 0 1 0 0 0 18 0 1 0 638852570 287498240 6152 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675407 0 0 16781312 514 7003696108937380098 0 0 17 4 0 0 0
/proc/21340/statm: 70190 6152 377 364 0 6108 0
[pid=21342] ppid=21340 vsize=268420 CPUtime=4.67 cores=0,2,4,6
/proc/21342/stat : 21342 (hybridGM3) R 21340 21342 21342 0 -1 4202496 5234 0 0 0 467 0 0 0 25 0 1 0 638852570 274862080 4970 33554432000 134512640 135204385 4288593744 18446744073709551615 134536744 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21342/statm: 67105 4970 64 169 0 66935 0
[pid=21343] ppid=21320 vsize=291168 CPUtime=0.01 cores=0,2,4,6
/proc/21343/stat : 21343 (python) S 21320 21320 20819 0 -1 4202560 904 0 0 0 0 1 0 0 18 0 1 0 638852571 298156032 6172 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2814314639674802435 0 0 17 6 0 0 0
/proc/21343/statm: 72792 6172 371 364 0 8707 0
[pid=21345] ppid=21343 vsize=452900 CPUtime=4.74 cores=0,2,4,6
/proc/21345/stat : 21345 (TNM) R 21343 21345 21345 0 -1 4202496 1162 0 0 0 474 0 0 0 25 0 1 0 638852571 463769600 901 33554432000 134512640 135008748 4286942704 18446744073709551615 134527707 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21345/statm: 113225 901 46 122 0 112125 0
[pid=21346] ppid=21320 vsize=301424 CPUtime=0.01 cores=0,2,4,6
/proc/21346/stat : 21346 (python) S 21320 21320 20819 0 -1 4202560 897 0 0 0 0 1 0 0 18 0 1 0 638852572 308658176 6176 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2945733217228914946 0 0 17 2 0 0 0
/proc/21346/statm: 75356 6176 371 364 0 11268 0
[pid=21348] ppid=21346 vsize=268428 CPUtime=4.73 cores=0,2,4,6
/proc/21348/stat : 21348 (hybridGM3) R 21346 21348 21348 0 -1 4202496 5232 0 0 0 472 1 0 0 25 0 1 0 638852572 274870272 4970 33554432000 134512640 135204385 4292781424 18446744073709551615 134536843 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/21348/statm: 67107 4970 64 169 0 66937 0
[pid=21349] ppid=21320 vsize=311812 CPUtime=0.01 cores=0,2,4,6
/proc/21349/stat : 21349 (python) S 21320 21320 20819 0 -1 4202560 915 0 0 0 1 0 0 0 18 0 1 0 638852573 319295488 6197 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 3882125972832485633 0 0 17 6 0 0 0
/proc/21349/statm: 77953 6197 371 364 0 13862 0
[pid=21351] ppid=21349 vsize=269632 CPUtime=4.74 cores=0,2,4,6
/proc/21351/stat : 21351 (hybridGM3) R 21349 21351 21351 0 -1 4202496 11684 0 0 0 473 1 0 0 25 0 1 0 638852573 276103168 5713 33554432000 134512640 135204385 4291662032 18446744073709551615 134536887 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21351/statm: 67408 5713 85 169 0 67238 0
[pid=21320/tid=21341] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21341/stat : 21341 (python) S 21318 21320 20819 0 -1 4202560 24 931 0 0 0 0 0 0 19 0 5 0 638852570 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
[pid=21320/tid=21344] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21344/stat : 21344 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852571 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 4 0 0 0
[pid=21320/tid=21347] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21347/stat : 21347 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852572 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 2 0 0 0
[pid=21320/tid=21350] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21350/stat : 21350 (python) S 21318 21320 20819 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 638852573 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20.18
Current children cumulated vsize (KiB) 2766600

[startup+12.7013 s]
/proc/loadavg: 8.16 8.11 6.99 9/421 21363
/proc/meminfo: memFree=22113184/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=322056 CPUtime=1.26 cores=0,2,4,6
/proc/21320/stat : 21320 (python) S 21318 21320 20819 0 -1 4202496 13891 931 1 0 113 13 0 0 20 0 5 0 638852418 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21320/statm: 80514 7711 1881 364 0 16423 0
[pid=21340] ppid=21320 vsize=280760 CPUtime=0.02 cores=0,2,4,6
/proc/21340/stat : 21340 (python) S 21320 21320 20819 0 -1 4202560 881 0 0 0 1 1 0 0 18 0 1 0 638852570 287498240 6152 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675407 0 0 16781312 514 2860260752403431682 0 0 17 4 0 0 0
/proc/21340/statm: 70190 6152 377 364 0 6108 0
[pid=21342] ppid=21340 vsize=268420 CPUtime=10.95 cores=0,2,4,6
/proc/21342/stat : 21342 (hybridGM3) R 21340 21342 21342 0 -1 4202496 5234 0 0 0 1095 0 0 0 25 0 1 0 638852570 274862080 4970 33554432000 134512640 135204385 4288593744 18446744073709551615 134537510 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21342/statm: 67105 4970 64 169 0 66935 0
[pid=21343] ppid=21320 vsize=291168 CPUtime=0.03 cores=0,2,4,6
/proc/21343/stat : 21343 (python) S 21320 21320 20819 0 -1 4202560 908 0 0 0 1 2 0 0 18 0 1 0 638852571 298156032 6172 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431683 0 0 17 6 0 0 0
/proc/21343/statm: 72792 6172 371 364 0 8707 0
[pid=21345] ppid=21343 vsize=456732 CPUtime=11.13 cores=0,2,4,6
/proc/21345/stat : 21345 (TNM) R 21343 21345 21345 0 -1 4202496 1163 0 0 0 1113 0 0 0 25 0 1 0 638852571 467693568 902 33554432000 134512640 135008748 4286942704 18446744073709551615 134527773 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21345/statm: 114183 902 46 122 0 113083 0
[pid=21346] ppid=21320 vsize=301424 CPUtime=0.03 cores=0,2,4,6
/proc/21346/stat : 21346 (python) S 21320 21320 20819 0 -1 4202560 899 0 0 0 1 2 0 0 18 0 1 0 638852572 308658176 6176 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431682 0 0 17 2 0 0 0
/proc/21346/statm: 75356 6176 371 364 0 11268 0
[pid=21348] ppid=21346 vsize=268428 CPUtime=11.11 cores=0,2,4,6
/proc/21348/stat : 21348 (hybridGM3) R 21346 21348 21348 0 -1 4202496 5233 0 0 0 1110 1 0 0 25 0 1 0 638852572 274870272 4971 33554432000 134512640 135204385 4292781424 18446744073709551615 134537013 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/21348/statm: 67107 4971 64 169 0 66937 0
[pid=21349] ppid=21320 vsize=311812 CPUtime=0.03 cores=0,2,4,6
/proc/21349/stat : 21349 (python) S 21320 21320 20819 0 -1 4202560 917 0 0 0 2 1 0 0 18 0 1 0 638852573 319295488 6197 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431681 0 0 17 6 0 0 0
/proc/21349/statm: 77953 6197 371 364 0 13862 0
[pid=21351] ppid=21349 vsize=269632 CPUtime=11.14 cores=0,2,4,6
/proc/21351/stat : 21351 (hybridGM3) R 21349 21351 21351 0 -1 4202496 11684 0 0 0 1113 1 0 0 25 0 1 0 638852573 276103168 5713 33554432000 134512640 135204385 4291662032 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21351/statm: 67408 5713 85 169 0 67238 0
[pid=21320/tid=21341] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21341/stat : 21341 (python) S 21318 21320 20819 0 -1 4202560 24 931 0 0 0 0 0 0 19 0 5 0 638852570 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
[pid=21320/tid=21344] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21344/stat : 21344 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852571 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 4 0 0 0
[pid=21320/tid=21347] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21347/stat : 21347 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852572 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 2 0 0 0
[pid=21320/tid=21350] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21350/stat : 21350 (python) S 21318 21320 20819 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 638852573 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 45.7
Current children cumulated vsize (KiB) 2770432

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

[startup+12.8013 s]
/proc/loadavg: 8.16 8.11 6.99 9/421 21363

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

[pid=21320/tid=21347] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21347/stat : 21347 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852572 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 2 0 0 0
[pid=21320/tid=21350] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21350/stat : 21350 (python) S 21318 21320 20819 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 638852573 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 52.52
Current children cumulated vsize (KiB) 2770432

[startup+15.2008 s]
/proc/loadavg: 8.15 8.11 6.99 9/421 21363
/proc/meminfo: memFree=22113308/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=322056 CPUtime=1.26 cores=0,2,4,6
/proc/21320/stat : 21320 (python) S 21318 21320 20819 0 -1 4202496 13891 931 1 0 113 13 0 0 20 0 5 0 638852418 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21320/statm: 80514 7711 1881 364 0 16423 0
[pid=21340] ppid=21320 vsize=280760 CPUtime=0.02 cores=0,2,4,6
/proc/21340/stat : 21340 (python) S 21320 21320 20819 0 -1 4202560 881 0 0 0 1 1 0 0 18 0 1 0 638852570 287498240 6152 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675407 0 0 16781312 514 2860260752403431682 0 0 17 4 0 0 0
/proc/21340/statm: 70190 6152 377 364 0 6108 0
[pid=21342] ppid=21340 vsize=268420 CPUtime=13.41 cores=0,2,4,6
/proc/21342/stat : 21342 (hybridGM3) R 21340 21342 21342 0 -1 4202496 5234 0 0 0 1341 0 0 0 25 0 1 0 638852570 274862080 4970 33554432000 134512640 135204385 4288593744 18446744073709551615 134536762 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21342/statm: 67105 4970 64 169 0 66935 0
[pid=21343] ppid=21320 vsize=291168 CPUtime=0.03 cores=0,2,4,6
/proc/21343/stat : 21343 (python) S 21320 21320 20819 0 -1 4202560 908 0 0 0 1 2 0 0 18 0 1 0 638852571 298156032 6172 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431683 0 0 17 6 0 0 0
/proc/21343/statm: 72792 6172 371 364 0 8707 0
[pid=21345] ppid=21343 vsize=456732 CPUtime=13.63 cores=0,2,4,6
/proc/21345/stat : 21345 (TNM) R 21343 21345 21345 0 -1 4202496 1163 0 0 0 1363 0 0 0 25 0 1 0 638852571 467693568 902 33554432000 134512640 135008748 4286942704 18446744073709551615 134529409 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21345/statm: 114183 902 46 122 0 113083 0
[pid=21346] ppid=21320 vsize=301424 CPUtime=0.03 cores=0,2,4,6
/proc/21346/stat : 21346 (python) S 21320 21320 20819 0 -1 4202560 899 0 0 0 1 2 0 0 18 0 1 0 638852572 308658176 6176 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431682 0 0 17 2 0 0 0
/proc/21346/statm: 75356 6176 371 364 0 11268 0
[pid=21348] ppid=21346 vsize=268428 CPUtime=13.61 cores=0,2,4,6
/proc/21348/stat : 21348 (hybridGM3) R 21346 21348 21348 0 -1 4202496 5233 0 0 0 1360 1 0 0 25 0 1 0 638852572 274870272 4971 33554432000 134512640 135204385 4292781424 18446744073709551615 134546086 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/21348/statm: 67107 4971 64 169 0 66937 0
[pid=21349] ppid=21320 vsize=311812 CPUtime=0.03 cores=0,2,4,6
/proc/21349/stat : 21349 (python) S 21320 21320 20819 0 -1 4202560 917 0 0 0 2 1 0 0 18 0 1 0 638852573 319295488 6197 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431681 0 0 17 6 0 0 0
/proc/21349/statm: 77953 6197 371 364 0 13862 0
[pid=21351] ppid=21349 vsize=269632 CPUtime=13.64 cores=0,2,4,6
/proc/21351/stat : 21351 (hybridGM3) R 21349 21351 21351 0 -1 4202496 11685 0 0 0 1363 1 0 0 25 0 1 0 638852573 276103168 5714 33554432000 134512640 135204385 4291662032 18446744073709551615 134536762 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21351/statm: 67408 5714 85 169 0 67238 0
[pid=21320/tid=21341] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21341/stat : 21341 (python) S 21318 21320 20819 0 -1 4202560 24 931 0 0 0 0 0 0 19 0 5 0 638852570 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
[pid=21320/tid=21344] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21344/stat : 21344 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852571 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 4 0 0 0
[pid=21320/tid=21347] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21347/stat : 21347 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852572 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 2 0 0 0
[pid=21320/tid=21350] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21350/stat : 21350 (python) S 21318 21320 20819 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 638852573 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 55.66
Current children cumulated vsize (KiB) 2770432

[startup+15.6008 s]
/proc/loadavg: 8.15 8.11 6.99 9/421 21363
/proc/meminfo: memFree=22113308/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=322056 CPUtime=1.26 cores=0,2,4,6
/proc/21320/stat : 21320 (python) S 21318 21320 20819 0 -1 4202496 13891 931 1 0 113 13 0 0 20 0 5 0 638852418 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21320/statm: 80514 7711 1881 364 0 16423 0
[pid=21340] ppid=21320 vsize=280760 CPUtime=0.02 cores=0,2,4,6
/proc/21340/stat : 21340 (python) S 21320 21320 20819 0 -1 4202560 881 0 0 0 1 1 0 0 18 0 1 0 638852570 287498240 6152 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675407 0 0 16781312 514 2860260752403431682 0 0 17 4 0 0 0
/proc/21340/statm: 70190 6152 377 364 0 6108 0
[pid=21342] ppid=21340 vsize=268420 CPUtime=13.8 cores=0,2,4,6
/proc/21342/stat : 21342 (hybridGM3) R 21340 21342 21342 0 -1 4202496 5234 0 0 0 1380 0 0 0 25 0 1 0 638852570 274862080 4970 33554432000 134512640 135204385 4288593744 18446744073709551615 134546086 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21342/statm: 67105 4970 64 169 0 66935 0
[pid=21343] ppid=21320 vsize=291168 CPUtime=0.03 cores=0,2,4,6
/proc/21343/stat : 21343 (python) S 21320 21320 20819 0 -1 4202560 908 0 0 0 1 2 0 0 18 0 1 0 638852571 298156032 6172 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431683 0 0 17 6 0 0 0
/proc/21343/statm: 72792 6172 371 364 0 8707 0
[pid=21345] ppid=21343 vsize=456732 CPUtime=14.03 cores=0,2,4,6
/proc/21345/stat : 21345 (TNM) R 21343 21345 21345 0 -1 4202496 1163 0 0 0 1403 0 0 0 25 0 1 0 638852571 467693568 902 33554432000 134512640 135008748 4286942704 18446744073709551615 134528967 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21345/statm: 114183 902 46 122 0 113083 0
[pid=21346] ppid=21320 vsize=301424 CPUtime=0.03 cores=0,2,4,6
/proc/21346/stat : 21346 (python) S 21320 21320 20819 0 -1 4202560 899 0 0 0 1 2 0 0 18 0 1 0 638852572 308658176 6176 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431682 0 0 17 2 0 0 0
/proc/21346/statm: 75356 6176 371 364 0 11268 0
[pid=21348] ppid=21346 vsize=268428 CPUtime=14.01 cores=0,2,4,6
/proc/21348/stat : 21348 (hybridGM3) R 21346 21348 21348 0 -1 4202496 5233 0 0 0 1400 1 0 0 25 0 1 0 638852572 274870272 4971 33554432000 134512640 135204385 4292781424 18446744073709551615 134537435 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/21348/statm: 67107 4971 64 169 0 66937 0
[pid=21349] ppid=21320 vsize=311812 CPUtime=0.03 cores=0,2,4,6
/proc/21349/stat : 21349 (python) S 21320 21320 20819 0 -1 4202560 917 0 0 0 2 1 0 0 18 0 1 0 638852573 319295488 6197 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431681 0 0 17 6 0 0 0
/proc/21349/statm: 77953 6197 371 364 0 13862 0
[pid=21351] ppid=21349 vsize=270896 CPUtime=14.04 cores=0,2,4,6
/proc/21351/stat : 21351 (hybridGM3) R 21349 21351 21351 0 -1 4202496 11900 0 0 0 1403 1 0 0 25 0 1 0 638852573 277397504 5929 33554432000 134512640 135204385 4291662032 18446744073709551615 134712527 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21351/statm: 67724 5929 85 169 0 67554 0
[pid=21320/tid=21341] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21341/stat : 21341 (python) S 21318 21320 20819 0 -1 4202560 24 931 0 0 0 0 0 0 19 0 5 0 638852570 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
[pid=21320/tid=21344] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21344/stat : 21344 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852571 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 4 0 0 0
[pid=21320/tid=21347] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21347/stat : 21347 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852572 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 2 0 0 0
[pid=21320/tid=21350] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21350/stat : 21350 (python) S 21318 21320 20819 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 638852573 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 57.25
Current children cumulated vsize (KiB) 2771696

[startup+15.8007 s]
/proc/loadavg: 8.15 8.11 6.99 9/421 21363
/proc/meminfo: memFree=22113308/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=322056 CPUtime=1.26 cores=0,2,4,6
/proc/21320/stat : 21320 (python) S 21318 21320 20819 0 -1 4202496 13891 931 1 0 113 13 0 0 20 0 5 0 638852418 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21320/statm: 80514 7711 1881 364 0 16423 0
[pid=21340] ppid=21320 vsize=280760 CPUtime=0.02 cores=0,2,4,6
/proc/21340/stat : 21340 (python) S 21320 21320 20819 0 -1 4202560 881 0 0 0 1 1 0 0 18 0 1 0 638852570 287498240 6152 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675407 0 0 16781312 514 2860260752403431682 0 0 17 4 0 0 0
/proc/21340/statm: 70190 6152 377 364 0 6108 0
[pid=21342] ppid=21340 vsize=268420 CPUtime=14 cores=0,2,4,6
/proc/21342/stat : 21342 (hybridGM3) R 21340 21342 21342 0 -1 4202496 5234 0 0 0 1400 0 0 0 25 0 1 0 638852570 274862080 4970 33554432000 134512640 135204385 4288593744 18446744073709551615 134537573 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21342/statm: 67105 4970 64 169 0 66935 0
[pid=21343] ppid=21320 vsize=291168 CPUtime=0.03 cores=0,2,4,6
/proc/21343/stat : 21343 (python) S 21320 21320 20819 0 -1 4202560 908 0 0 0 1 2 0 0 18 0 1 0 638852571 298156032 6172 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431683 0 0 17 6 0 0 0
/proc/21343/statm: 72792 6172 371 364 0 8707 0
[pid=21345] ppid=21343 vsize=456732 CPUtime=14.23 cores=0,2,4,6
/proc/21345/stat : 21345 (TNM) R 21343 21345 21345 0 -1 4202496 1163 0 0 0 1423 0 0 0 25 0 1 0 638852571 467693568 902 33554432000 134512640 135008748 4286942704 18446744073709551615 134528942 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21345/statm: 114183 902 46 122 0 113083 0
[pid=21346] ppid=21320 vsize=301424 CPUtime=0.03 cores=0,2,4,6
/proc/21346/stat : 21346 (python) S 21320 21320 20819 0 -1 4202560 899 0 0 0 1 2 0 0 18 0 1 0 638852572 308658176 6176 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431682 0 0 17 2 0 0 0
/proc/21346/statm: 75356 6176 371 364 0 11268 0
[pid=21348] ppid=21346 vsize=268428 CPUtime=14.21 cores=0,2,4,6
/proc/21348/stat : 21348 (hybridGM3) R 21346 21348 21348 0 -1 4202496 5233 0 0 0 1420 1 0 0 25 0 1 0 638852572 274870272 4971 33554432000 134512640 135204385 4292781424 18446744073709551615 134536663 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/21348/statm: 67107 4971 64 169 0 66937 0
[pid=21349] ppid=21320 vsize=311812 CPUtime=0.03 cores=0,2,4,6
/proc/21349/stat : 21349 (python) S 21320 21320 20819 0 -1 4202560 917 0 0 0 2 1 0 0 18 0 1 0 638852573 319295488 6197 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431681 0 0 17 6 0 0 0
/proc/21349/statm: 77953 6197 371 364 0 13862 0
[pid=21351] ppid=21349 vsize=269400 CPUtime=14.24 cores=0,2,4,6
/proc/21351/stat : 21351 (hybridGM3) R 21349 21351 21351 0 -1 4202496 13031 0 0 0 1423 1 0 0 25 0 1 0 638852573 275865600 5713 33554432000 134512640 135204385 4291662032 18446744073709551615 134547584 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21351/statm: 67350 5713 85 169 0 67180 0
[pid=21320/tid=21341] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21341/stat : 21341 (python) S 21318 21320 20819 0 -1 4202560 24 931 0 0 0 0 0 0 19 0 5 0 638852570 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
[pid=21320/tid=21344] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21344/stat : 21344 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852571 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 4 0 0 0
[pid=21320/tid=21347] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21347/stat : 21347 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852572 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 2 0 0 0
[pid=21320/tid=21350] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21350/stat : 21350 (python) S 21318 21320 20819 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 638852573 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 58.05
Current children cumulated vsize (KiB) 2770200

[startup+15.9007 s]
/proc/loadavg: 8.15 8.11 6.99 9/421 21363
/proc/meminfo: memFree=22113308/32951124 swapFree=51873460/67111528
[pid=21320] ppid=21318 vsize=322056 CPUtime=1.26 cores=0,2,4,6
/proc/21320/stat : 21320 (python) S 21318 21320 20819 0 -1 4202496 13891 931 1 0 113 13 0 0 20 0 5 0 638852418 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21320/statm: 80514 7711 1881 364 0 16423 0
[pid=21340] ppid=21320 vsize=280760 CPUtime=0.02 cores=0,2,4,6
/proc/21340/stat : 21340 (python) S 21320 21320 20819 0 -1 4202560 881 0 0 0 1 1 0 0 18 0 1 0 638852570 287498240 6152 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675407 0 0 16781312 514 2860260752403431682 0 0 17 4 0 0 0
/proc/21340/statm: 70190 6152 377 364 0 6108 0
[pid=21342] ppid=21340 vsize=268420 CPUtime=14.1 cores=0,2,4,6
/proc/21342/stat : 21342 (hybridGM3) R 21340 21342 21342 0 -1 4202496 5234 0 0 0 1410 0 0 0 25 0 1 0 638852570 274862080 4970 33554432000 134512640 135204385 4288593744 18446744073709551615 134537020 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21342/statm: 67105 4970 64 169 0 66935 0
[pid=21343] ppid=21320 vsize=291168 CPUtime=0.03 cores=0,2,4,6
/proc/21343/stat : 21343 (python) S 21320 21320 20819 0 -1 4202560 908 0 0 0 1 2 0 0 18 0 1 0 638852571 298156032 6172 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431683 0 0 17 6 0 0 0
/proc/21343/statm: 72792 6172 371 364 0 8707 0
[pid=21345] ppid=21343 vsize=456732 CPUtime=14.33 cores=0,2,4,6
/proc/21345/stat : 21345 (TNM) R 21343 21345 21345 0 -1 4202496 1163 0 0 0 1433 0 0 0 25 0 1 0 638852571 467693568 902 33554432000 134512640 135008748 4286942704 18446744073709551615 134529176 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21345/statm: 114183 902 46 122 0 113083 0
[pid=21346] ppid=21320 vsize=301424 CPUtime=0.03 cores=0,2,4,6
/proc/21346/stat : 21346 (python) S 21320 21320 20819 0 -1 4202560 899 0 0 0 1 2 0 0 18 0 1 0 638852572 308658176 6176 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431682 0 0 17 2 0 0 0
/proc/21346/statm: 75356 6176 371 364 0 11268 0
[pid=21348] ppid=21346 vsize=268428 CPUtime=14.31 cores=0,2,4,6
/proc/21348/stat : 21348 (hybridGM3) R 21346 21348 21348 0 -1 4202496 5233 0 0 0 1430 1 0 0 25 0 1 0 638852572 274870272 4971 33554432000 134512640 135204385 4292781424 18446744073709551615 134537366 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/21348/statm: 67107 4971 64 169 0 66937 0
[pid=21349] ppid=21320 vsize=311812 CPUtime=0.03 cores=0,2,4,6
/proc/21349/stat : 21349 (python) S 21320 21320 20819 0 -1 4202560 917 0 0 0 2 1 0 0 18 0 1 0 638852573 319295488 6197 33554432000 4194304 5683644 140734574759424 18446744073709551615 212039675462 0 0 16781312 514 2860260752403431681 0 0 17 6 0 0 0
/proc/21349/statm: 77953 6197 371 364 0 13862 0
[pid=21351] ppid=21349 vsize=272180 CPUtime=14.34 cores=0,2,4,6
/proc/21351/stat : 21351 (hybridGM3) R 21349 21351 21351 0 -1 4202496 13479 0 0 0 1433 1 0 0 25 0 1 0 638852573 278712320 6161 33554432000 134512640 135204385 4291662032 18446744073709551615 134572187 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21351/statm: 68045 6162 85 169 0 67875 0
[pid=21320/tid=21341] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21341/stat : 21341 (python) S 21318 21320 20819 0 -1 4202560 24 931 0 0 0 0 0 0 19 0 5 0 638852570 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
[pid=21320/tid=21344] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21344/stat : 21344 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852571 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 4 0 0 0
[pid=21320/tid=21347] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21347/stat : 21347 (python) S 21318 21320 20819 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 638852572 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 2 0 0 0
[pid=21320/tid=21350] ppid=21318 vsize=322056 CPUtime=0 cores=0,2,4,6
/proc/21320/task/21350/stat : 21350 (python) S 21318 21320 20819 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 638852573 329785344 7711 33554432000 4194304 5683644 140734574759424 18446744073709551615 212051478961 0 0 16781312 2 18446604453119848512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 58.45
Current children cumulated vsize (KiB) 2772980

Child status: 0
Real time (s): 15.9499
CPU time (s): 58.6531
CPU user time (s): 58.3791
CPU system time (s): 0.273958
CPU usage (%): 367.733
Max. virtual memory (cumulated for all children) (KiB): 2772980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.3791
system time used= 0.273958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49404
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= 5093
involuntary context switches= 371

runsolver used 0.069989 second user time and 0.154976 second system time

The end