runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3317147-1304267790/watcher-3317147-1304267790 -o /tmp/evaluation-result-3317147-1304267790/solver-3317147-1304267790 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317147-1304267790.cnf -seed 1621517985 -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.26 6.55 3.30 5/213 22372
/proc/meminfo: memFree=29852532/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/22372/stat : 22372 (python) R 22370 22372 22144 0 -1 4202496 793 0 0 0 0 0 0 0 18 0 1 0 519194964 15753216 681 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816236288 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22372/statm: 3846 682 322 364 0 333 0

[startup+0.0255371 s]
/proc/loadavg: 8.26 6.55 3.30 5/213 22372
/proc/meminfo: memFree=29852532/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/22372/stat : 22372 (python) S 22370 22372 22144 0 -1 4202496 1115 0 0 0 1 0 0 0 17 0 1 0 519194964 16789504 984 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/22372/statm: 4099 984 408 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396

[startup+0.100668 s]
/proc/loadavg: 8.26 6.55 3.30 5/213 22372
/proc/meminfo: memFree=29852532/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=89768 CPUtime=0.06 cores=0,2,4,6
/proc/22372/stat : 22372 (python) S 22370 22372 22144 0 -1 4202496 2672 0 0 0 5 1 0 0 17 0 1 0 519194964 91922432 2388 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/22372/statm: 22442 2388 750 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89768

[startup+0.300478 s]
/proc/loadavg: 8.26 6.55 3.30 5/213 22372
/proc/meminfo: memFree=29852532/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=135752 CPUtime=0.17 cores=0,2,4,6
/proc/22372/stat : 22372 (python) S 22370 22372 22144 0 -1 4202496 5962 932 1 0 13 4 0 0 17 0 1 0 519194964 139010048 4152 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816232453 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/22372/statm: 33938 4152 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 135752

[startup+0.700337 s]
/proc/loadavg: 8.26 6.55 3.30 5/213 22372
/proc/meminfo: memFree=29852532/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=280008 CPUtime=0.4 cores=0,2,4,6
/proc/22372/stat : 22372 (python) R 22370 22372 22144 0 -1 4202496 9638 932 1 0 32 8 0 0 16 0 1 0 519194964 286728192 7322 33554432000 4194304 5683644 140736534212320 18446744073709551615 47367541308096 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/22372/statm: 70002 7322 1761 364 0 5926 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 280008

[startup+1.50019 s]
/proc/loadavg: 8.26 6.55 3.30 6/214 22377
/proc/meminfo: memFree=29828468/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=321004 CPUtime=0.88 cores=0,2,4,6
/proc/22372/stat : 22372 (python) S 22370 22372 22144 0 -1 4202496 12782 932 1 0 79 9 0 0 22 0 5 0 519194964 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22372/statm: 80251 7448 1881 364 0 16160 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 321004

[startup+3.10089 s]
/proc/loadavg: 8.26 6.55 3.30 9/226 22390
/proc/meminfo: memFree=29756336/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=321004 CPUtime=0.88 cores=0,2,4,6
/proc/22372/stat : 22372 (python) S 22370 22372 22144 0 -1 4202496 12782 932 1 0 79 9 0 0 22 0 5 0 519194964 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22372/statm: 80251 7448 1881 364 0 16160 0
[pid=22378] ppid=22372 vsize=279452 CPUtime=0 cores=0,2,4,6
/proc/22378/stat : 22378 (python) S 22372 22372 22144 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 519195073 286158848 5802 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256527 0 0 16781312 514 4402718065427448068 0 0 17 6 0 0 0
/proc/22378/statm: 69863 5802 354 364 0 5781 0
[pid=22380] ppid=22378 vsize=268428 CPUtime=1.99 cores=0,2,4,6
/proc/22380/stat : 22380 (hybridGM3) R 22378 22380 22380 0 -1 4202496 4993 0 0 0 199 0 0 0 25 0 1 0 519195073 274870272 4730 33554432000 134512640 135204385 4289702512 18446744073709551615 134547843 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22380/statm: 67107 4730 64 169 0 66937 0
[pid=22382] ppid=22372 vsize=290248 CPUtime=0 cores=0,2,4,6
/proc/22382/stat : 22382 (python) S 22372 22372 22144 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 519195076 297213952 5903 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 4352824976538075135 0 0 17 6 0 0 0
/proc/22382/statm: 72562 5903 348 364 0 8477 0
[pid=22384] ppid=22382 vsize=451844 CPUtime=1.97 cores=0,2,4,6
/proc/22384/stat : 22384 (TNM) R 22382 22384 22384 0 -1 4202496 758 0 0 0 197 0 0 0 25 0 1 0 519195076 462688256 497 33554432000 134512640 135008748 4288704032 18446744073709551615 134524860 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22384/statm: 112961 497 46 122 0 111861 0
[pid=22385] ppid=22372 vsize=300504 CPUtime=0 cores=0,2,4,6
/proc/22385/stat : 22385 (python) S 22372 22372 22144 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 1 0 519195079 307716096 5907 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 4361333547269587203 0 0 17 2 0 0 0
/proc/22385/statm: 75126 5907 348 364 0 11038 0
[pid=22387] ppid=22385 vsize=268424 CPUtime=1.94 cores=0,2,4,6
/proc/22387/stat : 22387 (hybridGM3) R 22385 22387 22387 0 -1 4202496 4990 0 0 0 194 0 0 0 25 0 1 0 519195079 274866176 4728 33554432000 134512640 135204385 4291390496 18446744073709551615 134536977 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22387/statm: 67106 4728 64 169 0 66936 0
[pid=22388] ppid=22372 vsize=310760 CPUtime=0 cores=0,2,4,6
/proc/22388/stat : 22388 (python) S 22372 22372 22144 0 -1 4202560 750 0 0 0 0 0 0 0 18 0 1 0 519195082 318218240 5911 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 4362916294257770753 0 0 17 6 0 0 0
/proc/22388/statm: 77690 5911 348 364 0 13599 0
[pid=22390] ppid=22388 vsize=268428 CPUtime=1.9 cores=0,2,4,6
/proc/22390/stat : 22390 (hybridGM3) R 22388 22390 22390 0 -1 4202496 4991 0 0 0 190 0 0 0 25 0 1 0 519195082 274870272 4728 33554432000 134512640 135204385 4294686608 18446744073709551615 134537272 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22390/statm: 67107 4728 64 169 0 66937 0
[pid=22372/tid=22379] ppid=22370 vsize=321004 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22379/stat : 22379 (python) S 22370 22372 22144 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 5 0 519195073 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 0 0 0 0
[pid=22372/tid=22383] ppid=22370 vsize=321004 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22383/stat : 22383 (python) S 22370 22372 22144 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 5 0 519195076 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 4 0 0 0
[pid=22372/tid=22386] ppid=22370 vsize=321004 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22386/stat : 22386 (python) S 22370 22372 22144 0 -1 4202560 21 932 0 0 0 0 0 0 20 0 5 0 519195079 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 2 0 0 0
[pid=22372/tid=22389] ppid=22370 vsize=321004 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22389/stat : 22389 (python) S 22370 22372 22144 0 -1 4202560 26 932 0 0 0 0 0 0 22 0 5 0 519195082 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 2759092

[startup+6.3013 s]
/proc/loadavg: 8.23 6.57 3.32 9/226 22390
/proc/meminfo: memFree=29753924/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=321004 CPUtime=0.88 cores=0,2,4,6
/proc/22372/stat : 22372 (python) S 22370 22372 22144 0 -1 4202496 12782 932 1 0 79 9 0 0 22 0 5 0 519194964 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22372/statm: 80251 7448 1881 364 0 16160 0
[pid=22378] ppid=22372 vsize=279452 CPUtime=0 cores=0,2,4,6
/proc/22378/stat : 22378 (python) S 22372 22372 22144 0 -1 4202560 892 0 0 0 0 0 0 0 18 0 1 0 519195073 286158848 5825 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256527 0 0 16781312 514 4402718065427448068 0 0 17 6 0 0 0
/proc/22378/statm: 69863 5825 377 364 0 5781 0
[pid=22380] ppid=22378 vsize=268428 CPUtime=5.19 cores=0,2,4,6
/proc/22380/stat : 22380 (hybridGM3) R 22378 22380 22380 0 -1 4202496 4993 0 0 0 519 0 0 0 25 0 1 0 519195073 274870272 4730 33554432000 134512640 135204385 4289702512 18446744073709551615 134537292 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22380/statm: 67107 4730 64 169 0 66937 0
[pid=22382] ppid=22372 vsize=290248 CPUtime=0 cores=0,2,4,6
/proc/22382/stat : 22382 (python) S 22372 22372 22144 0 -1 4202560 888 0 0 0 0 0 0 0 18 0 1 0 519195076 297213952 5926 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 4352824976538042628 0 0 17 6 0 0 0
/proc/22382/statm: 72562 5926 371 364 0 8477 0
[pid=22384] ppid=22382 vsize=451844 CPUtime=5.16 cores=0,2,4,6
/proc/22384/stat : 22384 (TNM) R 22382 22384 22384 0 -1 4202496 758 0 0 0 516 0 0 0 25 0 1 0 519195076 462688256 497 33554432000 134512640 135008748 4288704032 18446744073709551615 134527091 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22384/statm: 112961 497 46 122 0 111861 0
[pid=22385] ppid=22372 vsize=300504 CPUtime=0 cores=0,2,4,6
/proc/22385/stat : 22385 (python) S 22372 22372 22144 0 -1 4202560 902 0 0 0 0 0 0 0 18 0 1 0 519195079 307716096 5930 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 4361333547269587203 0 0 17 2 0 0 0
/proc/22385/statm: 75126 5930 371 364 0 11038 0
[pid=22387] ppid=22385 vsize=268424 CPUtime=5.14 cores=0,2,4,6
/proc/22387/stat : 22387 (hybridGM3) R 22385 22387 22387 0 -1 4202496 4990 0 0 0 514 0 0 0 25 0 1 0 519195079 274866176 4728 33554432000 134512640 135204385 4291390496 18446744073709551615 134536744 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22387/statm: 67106 4728 64 169 0 66936 0
[pid=22388] ppid=22372 vsize=310760 CPUtime=0 cores=0,2,4,6
/proc/22388/stat : 22388 (python) S 22372 22372 22144 0 -1 4202560 894 0 0 0 0 0 0 0 18 0 1 0 519195082 318218240 5934 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 4362916294257770753 0 0 17 6 0 0 0
/proc/22388/statm: 77690 5934 371 364 0 13599 0
[pid=22390] ppid=22388 vsize=268428 CPUtime=5.05 cores=0,2,4,6
/proc/22390/stat : 22390 (hybridGM3) R 22388 22390 22390 0 -1 4202496 4991 0 0 0 505 0 0 0 25 0 1 0 519195082 274870272 4728 33554432000 134512640 135204385 4294686608 18446744073709551615 134536663 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22390/statm: 67107 4728 64 169 0 66937 0
[pid=22372/tid=22379] ppid=22370 vsize=321004 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22379/stat : 22379 (python) S 22370 22372 22144 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 5 0 519195073 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 0 0 0 0
[pid=22372/tid=22383] ppid=22370 vsize=321004 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22383/stat : 22383 (python) S 22370 22372 22144 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 5 0 519195076 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 4 0 0 0
[pid=22372/tid=22386] ppid=22370 vsize=321004 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22386/stat : 22386 (python) S 22370 22372 22144 0 -1 4202560 21 932 0 0 0 0 0 0 20 0 5 0 519195079 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 2 0 0 0
[pid=22372/tid=22389] ppid=22370 vsize=321004 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22389/stat : 22389 (python) S 22370 22372 22144 0 -1 4202560 26 932 0 0 0 0 0 0 22 0 5 0 519195082 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.42
Current children cumulated vsize (KiB) 2759092

[startup+12.7011 s]
/proc/loadavg: 8.22 6.59 3.35 9/226 22390
/proc/meminfo: memFree=29754204/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=321004 CPUtime=0.88 cores=0,2,4,6
/proc/22372/stat : 22372 (python) S 22370 22372 22144 0 -1 4202496 12782 932 1 0 79 9 0 0 22 0 5 0 519194964 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22372/statm: 80251 7448 1881 364 0 16160 0
[pid=22378] ppid=22372 vsize=279452 CPUtime=0 cores=0,2,4,6
/proc/22378/stat : 22378 (python) S 22372 22372 22144 0 -1 4202560 894 0 0 0 0 0 0 0 18 0 1 0 519195073 286158848 5825 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256527 0 0 16781312 514 12100362958186447108 0 0 17 6 0 0 0
/proc/22378/statm: 69863 5825 377 364 0 5781 0
[pid=22380] ppid=22378 vsize=268428 CPUtime=11.59 cores=0,2,4,6
/proc/22380/stat : 22380 (hybridGM3) R 22378 22380 22380 0 -1 4202496 4993 0 0 0 1159 0 0 0 25 0 1 0 519195073 274870272 4730 33554432000 134512640 135204385 4289702512 18446744073709551615 134537440 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22380/statm: 67107 4730 64 169 0 66937 0
[pid=22382] ppid=22372 vsize=290248 CPUtime=0.01 cores=0,2,4,6
/proc/22382/stat : 22382 (python) S 22372 22372 22144 0 -1 4202560 890 0 0 0 0 1 0 0 18 0 1 0 519195076 297213952 5926 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 12100362958186447108 0 0 17 6 0 0 0
/proc/22382/statm: 72562 5926 371 364 0 8477 0
[pid=22384] ppid=22382 vsize=455676 CPUtime=11.55 cores=0,2,4,6
/proc/22384/stat : 22384 (TNM) R 22382 22384 22384 0 -1 4202496 759 0 0 0 1155 0 0 0 25 0 1 0 519195076 466612224 498 33554432000 134512640 135008748 4288704032 18446744073709551615 134529414 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22384/statm: 113919 498 46 122 0 112819 0
[pid=22385] ppid=22372 vsize=300504 CPUtime=0 cores=0,2,4,6
/proc/22385/stat : 22385 (python) S 22372 22372 22144 0 -1 4202560 903 0 0 0 0 0 0 0 18 0 1 0 519195079 307716096 5930 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 12100362958186447107 0 0 17 2 0 0 0
/proc/22385/statm: 75126 5930 371 364 0 11038 0
[pid=22387] ppid=22385 vsize=268424 CPUtime=11.54 cores=0,2,4,6
/proc/22387/stat : 22387 (hybridGM3) R 22385 22387 22387 0 -1 4202496 4990 0 0 0 1154 0 0 0 25 0 1 0 519195079 274866176 4728 33554432000 134512640 135204385 4291390496 18446744073709551615 134547490 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22387/statm: 67106 4728 64 169 0 66936 0
[pid=22388] ppid=22372 vsize=310760 CPUtime=0 cores=0,2,4,6
/proc/22388/stat : 22388 (python) S 22372 22372 22144 0 -1 4202560 896 0 0 0 0 0 0 0 18 0 1 0 519195082 318218240 5934 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 12100362958186447105 0 0 17 6 0 0 0
/proc/22388/statm: 77690 5934 371 364 0 13599 0
[pid=22390] ppid=22388 vsize=268428 CPUtime=11.39 cores=0,2,4,6
/proc/22390/stat : 22390 (hybridGM3) R 22388 22390 22390 0 -1 4202496 4991 0 0 0 1139 0 0 0 25 0 1 0 519195082 274870272 4728 33554432000 134512640 135204385 4294686608 18446744073709551615 134659356 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22390/statm: 67107 4728 64 169 0 66937 0
[pid=22372/tid=22379] ppid=22370 vsize=321004 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22379/stat : 22379 (python) S 22370 22372 22144 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 5 0 519195073 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 0 0 0 0
[pid=22372/tid=22383] ppid=22370 vsize=321004 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22383/stat : 22383 (python) S 22370 22372 22144 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 5 0 519195076 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 4 0 0 0
[pid=22372/tid=22386] ppid=22370 vsize=321004 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22386/stat : 22386 (python) S 22370 22372 22144 0 -1 4202560 21 932 0 0 0 0 0 0 20 0 5 0 519195079 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 2 0 0 0
[pid=22372/tid=22389] ppid=22370 vsize=321004 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22389/stat : 22389 (python) S 22370 22372 22144 0 -1 4202560 26 932 0 0 0 0 0 0 22 0 5 0 519195082 328708096 7448 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 46.96
Current children cumulated vsize (KiB) 2762924

[startup+25.5008 s]
/proc/loadavg: 8.17 6.66 3.42 9/229 22393
/proc/meminfo: memFree=29752700/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=321004 CPUtime=0.88 cores=0,2,4,6

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

[startup+183.502 s]
/proc/loadavg: 8.14 7.25 4.14 9/243 22411
/proc/meminfo: memFree=29677472/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=331476 CPUtime=0.99 cores=0,2,4,6
/proc/22372/stat : 22372 (python) S 22370 22372 22144 0 -1 4202496 14294 932 1 0 90 9 0 0 18 0 6 0 519194964 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22372/statm: 82869 7530 1884 364 0 18775 0
[pid=22378] ppid=22372 vsize=289696 CPUtime=0.23 cores=0,2,4,6
/proc/22378/stat : 22378 (python) S 22372 22372 22144 0 -1 4202560 1105 0 0 0 15 8 0 0 18 0 2 0 519195073 296648704 5864 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/22378/statm: 72424 5864 411 364 0 8342 0
[pid=22380] ppid=22378 vsize=268892 CPUtime=182.13 cores=0,2,4,6
/proc/22380/stat : 22380 (hybridGM3) R 22378 22380 22380 0 -1 4202496 5958 0 0 0 18213 0 0 0 25 0 1 0 519195073 275345408 5113 33554432000 134512640 135204385 4289702512 18446744073709551615 134546025 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22380/statm: 67223 5113 85 169 0 67053 0
[pid=22378/tid=22400] ppid=22372 vsize=289696 CPUtime=0 cores=0,2,4,6
/proc/22378/task/22400/stat : 22400 (python) S 22372 22372 22144 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 519205088 296648704 5864 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 514 18446604453937780928 0 0 -1 0 0 0 0
[pid=22382] ppid=22372 vsize=290248 CPUtime=0.13 cores=0,2,4,6
/proc/22382/stat : 22382 (python) S 22372 22372 22144 0 -1 4202560 1069 0 0 0 7 6 0 0 19 0 2 0 519195076 297213952 5956 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/22382/statm: 72562 5956 400 364 0 8477 0
[pid=22384] ppid=22382 vsize=455676 CPUtime=99.98 cores=0,2,4,6
/proc/22384/stat : 22384 (TNM) T 22382 22384 22384 0 -1 4202496 759 0 0 0 9998 0 0 0 25 0 1 0 519195076 466612224 498 33554432000 134512640 135008748 4288704032 18446744073709551615 134529094 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/22384/statm: 113919 498 46 122 0 112819 0
[pid=22382/tid=22401] ppid=22372 vsize=290248 CPUtime=0 cores=0,2,4,6
/proc/22382/task/22401/stat : 22401 (python) S 22372 22372 22144 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 519205089 297213952 5956 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 514 18446604453926164288 0 0 -1 0 0 0 0
[pid=22385] ppid=22372 vsize=300504 CPUtime=0.23 cores=0,2,4,6
/proc/22385/stat : 22385 (python) S 22372 22372 22144 0 -1 4202560 1103 0 0 0 11 12 0 0 18 0 2 0 519195079 307716096 5960 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/22385/statm: 75126 5960 400 364 0 11038 0
[pid=22387] ppid=22385 vsize=268424 CPUtime=182.2 cores=0,2,4,6
/proc/22387/stat : 22387 (hybridGM3) R 22385 22387 22387 0 -1 4202496 4990 0 0 0 18219 1 0 0 25 0 1 0 519195079 274866176 4728 33554432000 134512640 135204385 4291390496 18446744073709551615 134536986 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22387/statm: 67106 4728 64 169 0 66936 0
[pid=22385/tid=22402] ppid=22372 vsize=300504 CPUtime=0 cores=0,2,4,6
/proc/22385/task/22402/stat : 22402 (python) S 22372 22372 22144 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 519205094 307716096 5960 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 514 18446604453928145344 0 0 -1 2 0 0 0
[pid=22388] ppid=22372 vsize=310760 CPUtime=0.23 cores=0,2,4,6
/proc/22388/stat : 22388 (python) S 22372 22372 22144 0 -1 4202560 1122 0 0 0 12 11 0 0 18 0 2 0 519195082 318218240 5964 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/22388/statm: 77690 5964 400 364 0 13599 0
[pid=22390] ppid=22388 vsize=268812 CPUtime=179.72 cores=0,2,4,6
/proc/22390/stat : 22390 (hybridGM3) R 22388 22390 22390 0 -1 4202496 6094 0 0 0 17972 0 0 0 25 0 1 0 519195082 275263488 5112 33554432000 134512640 135204385 4294686608 18446744073709551615 134536744 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22390/statm: 67203 5112 85 169 0 67033 0
[pid=22388/tid=22396] ppid=22372 vsize=310760 CPUtime=0 cores=0,2,4,6
/proc/22388/task/22396/stat : 22396 (python) S 22372 22372 22144 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 519204998 318218240 5964 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 514 18446604453928513856 0 0 -1 6 0 0 0
[pid=22397] ppid=22372 vsize=321016 CPUtime=0.1 cores=0,2,4,6
/proc/22397/stat : 22397 (python) S 22372 22372 22144 0 -1 4202560 930 0 0 0 6 4 0 0 18 0 1 0 519205000 328720384 5955 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 12100362958186447108 0 0 17 6 0 0 0
/proc/22397/statm: 80254 5955 371 364 0 16160 0
[pid=22399] ppid=22397 vsize=1018340 CPUtime=83.09 cores=0,2,4,6
/proc/22399/stat : 22399 (gnovelty+2) R 22397 22399 22399 0 -1 4202496 617 0 0 0 8309 0 0 0 25 0 1 0 519205001 1042780160 352 33554432000 134512640 135663704 4290116272 18446744073709551615 134524868 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22399/statm: 254585 352 113 282 0 254301 0
[pid=22372/tid=22379] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22379/stat : 22379 (python) S 22370 22372 22144 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 6 0 519195073 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 2 0 0 0
[pid=22372/tid=22383] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22383/stat : 22383 (python) S 22370 22372 22144 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 6 0 519195076 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 4 0 0 0
[pid=22372/tid=22386] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22386/stat : 22386 (python) S 22370 22372 22144 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 6 0 519195079 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 2 0 0 0
[pid=22372/tid=22389] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22389/stat : 22389 (python) S 22370 22372 22144 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 6 0 519195082 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 0 0 0 0
[pid=22372/tid=22398] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22398/stat : 22398 (python) S 22370 22372 22144 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 519205001 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 729.03
Current children cumulated vsize (KiB) 4123844

[startup+183.708 s]
/proc/loadavg: 8.13 7.27 4.16 9/243 22411
/proc/meminfo: memFree=29677472/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=331476 CPUtime=0.99 cores=0,2,4,6
/proc/22372/stat : 22372 (python) S 22370 22372 22144 0 -1 4202496 14294 932 1 0 90 9 0 0 18 0 6 0 519194964 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22372/statm: 82869 7530 1884 364 0 18775 0
[pid=22378] ppid=22372 vsize=289696 CPUtime=0.23 cores=0,2,4,6
/proc/22378/stat : 22378 (python) S 22372 22372 22144 0 -1 4202560 1105 0 0 0 15 8 0 0 18 0 2 0 519195073 296648704 5864 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/22378/statm: 72424 5864 411 364 0 8342 0
[pid=22380] ppid=22378 vsize=268892 CPUtime=182.33 cores=0,2,4,6
/proc/22380/stat : 22380 (hybridGM3) R 22378 22380 22380 0 -1 4202496 5958 0 0 0 18233 0 0 0 25 0 1 0 519195073 275345408 5113 33554432000 134512640 135204385 4289702512 18446744073709551615 134537608 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22380/statm: 67223 5113 85 169 0 67053 0
[pid=22378/tid=22400] ppid=22372 vsize=289696 CPUtime=0 cores=0,2,4,6
/proc/22378/task/22400/stat : 22400 (python) S 22372 22372 22144 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 519205088 296648704 5864 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 514 18446604453937780928 0 0 -1 0 0 0 0
[pid=22382] ppid=22372 vsize=290248 CPUtime=0.13 cores=0,2,4,6
/proc/22382/stat : 22382 (python) S 22372 22372 22144 0 -1 4202560 1069 0 0 0 7 6 0 0 19 0 2 0 519195076 297213952 5956 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/22382/statm: 72562 5956 400 364 0 8477 0
[pid=22384] ppid=22382 vsize=455676 CPUtime=99.98 cores=0,2,4,6
/proc/22384/stat : 22384 (TNM) T 22382 22384 22384 0 -1 4202496 759 0 0 0 9998 0 0 0 25 0 1 0 519195076 466612224 498 33554432000 134512640 135008748 4288704032 18446744073709551615 134529094 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/22384/statm: 113919 498 46 122 0 112819 0
[pid=22382/tid=22401] ppid=22372 vsize=290248 CPUtime=0 cores=0,2,4,6
/proc/22382/task/22401/stat : 22401 (python) S 22372 22372 22144 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 519205089 297213952 5956 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 514 18446604453926164288 0 0 -1 0 0 0 0
[pid=22385] ppid=22372 vsize=300504 CPUtime=0.23 cores=0,2,4,6
/proc/22385/stat : 22385 (python) S 22372 22372 22144 0 -1 4202560 1103 0 0 0 11 12 0 0 18 0 2 0 519195079 307716096 5960 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/22385/statm: 75126 5960 400 364 0 11038 0
[pid=22387] ppid=22385 vsize=268424 CPUtime=182.41 cores=0,2,4,6
/proc/22387/stat : 22387 (hybridGM3) R 22385 22387 22387 0 -1 4202496 4990 0 0 0 18240 1 0 0 25 0 1 0 519195079 274866176 4728 33554432000 134512640 135204385 4291390496 18446744073709551615 134536663 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22387/statm: 67106 4728 64 169 0 66936 0
[pid=22385/tid=22402] ppid=22372 vsize=300504 CPUtime=0 cores=0,2,4,6
/proc/22385/task/22402/stat : 22402 (python) S 22372 22372 22144 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 519205094 307716096 5960 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 514 18446604453928145344 0 0 -1 2 0 0 0
[pid=22388] ppid=22372 vsize=310760 CPUtime=0.23 cores=0,2,4,6
/proc/22388/stat : 22388 (python) S 22372 22372 22144 0 -1 4202560 1122 0 0 0 12 11 0 0 18 0 2 0 519195082 318218240 5964 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/22388/statm: 77690 5964 400 364 0 13599 0
[pid=22390] ppid=22388 vsize=268812 CPUtime=179.92 cores=0,2,4,6
/proc/22390/stat : 22390 (hybridGM3) R 22388 22390 22390 0 -1 4202496 6094 0 0 0 17992 0 0 0 25 0 1 0 519195082 275263488 5112 33554432000 134512640 135204385 4294686608 18446744073709551615 134537608 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22390/statm: 67203 5112 85 169 0 67033 0
[pid=22388/tid=22396] ppid=22372 vsize=310760 CPUtime=0 cores=0,2,4,6
/proc/22388/task/22396/stat : 22396 (python) S 22372 22372 22144 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 519204998 318218240 5964 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 514 18446604453928513856 0 0 -1 6 0 0 0
[pid=22397] ppid=22372 vsize=321016 CPUtime=0.1 cores=0,2,4,6
/proc/22397/stat : 22397 (python) S 22372 22372 22144 0 -1 4202560 930 0 0 0 6 4 0 0 18 0 1 0 519205000 328720384 5955 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 12100362958186447108 0 0 17 6 0 0 0
/proc/22397/statm: 80254 5955 371 364 0 16160 0
[pid=22399] ppid=22397 vsize=1018340 CPUtime=83.3 cores=0,2,4,6
/proc/22399/stat : 22399 (gnovelty+2) R 22397 22399 22399 0 -1 4202496 617 0 0 0 8330 0 0 0 25 0 1 0 519205001 1042780160 352 33554432000 134512640 135663704 4290116272 18446744073709551615 134524857 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22399/statm: 254585 352 113 282 0 254301 0
[pid=22372/tid=22379] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22379/stat : 22379 (python) S 22370 22372 22144 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 6 0 519195073 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 2 0 0 0
[pid=22372/tid=22383] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22383/stat : 22383 (python) S 22370 22372 22144 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 6 0 519195076 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 4 0 0 0
[pid=22372/tid=22386] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22386/stat : 22386 (python) S 22370 22372 22144 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 6 0 519195079 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 2 0 0 0
[pid=22372/tid=22389] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22389/stat : 22389 (python) S 22370 22372 22144 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 6 0 519195082 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 0 0 0 0
[pid=22372/tid=22398] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22398/stat : 22398 (python) S 22370 22372 22144 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 519205001 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 729.85
Current children cumulated vsize (KiB) 4123844

[startup+183.802 s]
/proc/loadavg: 8.13 7.27 4.16 9/243 22411
/proc/meminfo: memFree=29677472/32951124 swapFree=67105204/67111528
[pid=22372] ppid=22370 vsize=331476 CPUtime=0.99 cores=0,2,4,6
/proc/22372/stat : 22372 (python) S 22370 22372 22144 0 -1 4202496 14294 932 1 0 90 9 0 0 18 0 6 0 519194964 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22372/statm: 82869 7530 1884 364 0 18775 0
[pid=22378] ppid=22372 vsize=289696 CPUtime=0.23 cores=0,2,4,6
/proc/22378/stat : 22378 (python) S 22372 22372 22144 0 -1 4202560 1105 0 0 0 15 8 0 0 18 0 2 0 519195073 296648704 5864 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/22378/statm: 72424 5864 411 364 0 8342 0
[pid=22380] ppid=22378 vsize=268892 CPUtime=182.43 cores=0,2,4,6
/proc/22380/stat : 22380 (hybridGM3) R 22378 22380 22380 0 -1 4202496 5958 0 0 0 18243 0 0 0 25 0 1 0 519195073 275345408 5113 33554432000 134512640 135204385 4289702512 18446744073709551615 134536663 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22380/statm: 67223 5113 85 169 0 67053 0
[pid=22378/tid=22400] ppid=22372 vsize=289696 CPUtime=0 cores=0,2,4,6
/proc/22378/task/22400/stat : 22400 (python) S 22372 22372 22144 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 519205088 296648704 5864 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 514 18446604453937780928 0 0 -1 0 0 0 0
[pid=22382] ppid=22372 vsize=290248 CPUtime=0.13 cores=0,2,4,6
/proc/22382/stat : 22382 (python) S 22372 22372 22144 0 -1 4202560 1069 0 0 0 7 6 0 0 19 0 2 0 519195076 297213952 5956 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/22382/statm: 72562 5956 400 364 0 8477 0
[pid=22384] ppid=22382 vsize=455676 CPUtime=99.98 cores=0,2,4,6
/proc/22384/stat : 22384 (TNM) T 22382 22384 22384 0 -1 4202496 759 0 0 0 9998 0 0 0 25 0 1 0 519195076 466612224 498 33554432000 134512640 135008748 4288704032 18446744073709551615 134529094 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/22384/statm: 113919 498 46 122 0 112819 0
[pid=22382/tid=22401] ppid=22372 vsize=290248 CPUtime=0 cores=0,2,4,6
/proc/22382/task/22401/stat : 22401 (python) S 22372 22372 22144 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 519205089 297213952 5956 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 514 18446604453926164288 0 0 -1 0 0 0 0
[pid=22385] ppid=22372 vsize=300504 CPUtime=0.23 cores=0,2,4,6
/proc/22385/stat : 22385 (python) S 22372 22372 22144 0 -1 4202560 1103 0 0 0 11 12 0 0 18 0 2 0 519195079 307716096 5960 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/22385/statm: 75126 5960 400 364 0 11038 0
[pid=22387] ppid=22385 vsize=268424 CPUtime=182.5 cores=0,2,4,6
/proc/22387/stat : 22387 (hybridGM3) R 22385 22387 22387 0 -1 4202496 4990 0 0 0 18249 1 0 0 25 0 1 0 519195079 274866176 4728 33554432000 134512640 135204385 4291390496 18446744073709551615 134537292 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22387/statm: 67106 4728 64 169 0 66936 0
[pid=22385/tid=22402] ppid=22372 vsize=300504 CPUtime=0 cores=0,2,4,6
/proc/22385/task/22402/stat : 22402 (python) S 22372 22372 22144 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 519205094 307716096 5960 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 514 18446604453928145344 0 0 -1 2 0 0 0
[pid=22388] ppid=22372 vsize=310760 CPUtime=0.23 cores=0,2,4,6
/proc/22388/stat : 22388 (python) S 22372 22372 22144 0 -1 4202560 1122 0 0 0 12 11 0 0 18 0 2 0 519195082 318218240 5964 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/22388/statm: 77690 5964 400 364 0 13599 0
[pid=22390] ppid=22388 vsize=268812 CPUtime=180.02 cores=0,2,4,6
/proc/22390/stat : 22390 (hybridGM3) R 22388 22390 22390 0 -1 4202496 6094 0 0 0 18002 0 0 0 25 0 1 0 519195082 275263488 5112 33554432000 134512640 135204385 4294686608 18446744073709551615 134537608 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22390/statm: 67203 5112 85 169 0 67033 0
[pid=22388/tid=22396] ppid=22372 vsize=310760 CPUtime=0 cores=0,2,4,6
/proc/22388/task/22396/stat : 22396 (python) S 22372 22372 22144 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 519204998 318218240 5964 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 514 18446604453928513856 0 0 -1 6 0 0 0
[pid=22397] ppid=22372 vsize=321016 CPUtime=0.1 cores=0,2,4,6
/proc/22397/stat : 22397 (python) S 22372 22372 22144 0 -1 4202560 930 0 0 0 6 4 0 0 18 0 1 0 519205000 328720384 5955 33554432000 4194304 5683644 140736534212320 18446744073709551615 220816256582 0 0 16781312 514 12100362958186447108 0 0 17 6 0 0 0
/proc/22397/statm: 80254 5955 371 364 0 16160 0
[pid=22399] ppid=22397 vsize=1018340 CPUtime=83.39 cores=0,2,4,6
/proc/22399/stat : 22399 (gnovelty+2) R 22397 22399 22399 0 -1 4202496 617 0 0 0 8339 0 0 0 25 0 1 0 519205001 1042780160 352 33554432000 134512640 135663704 4290116272 18446744073709551615 134545793 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22399/statm: 254585 352 113 282 0 254301 0
[pid=22372/tid=22379] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22379/stat : 22379 (python) S 22370 22372 22144 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 6 0 519195073 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 2 0 0 0
[pid=22372/tid=22383] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22383/stat : 22383 (python) S 22370 22372 22144 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 6 0 519195076 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 4 0 0 0
[pid=22372/tid=22386] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22386/stat : 22386 (python) S 22370 22372 22144 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 6 0 519195079 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 2 0 0 0
[pid=22372/tid=22389] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22389/stat : 22389 (python) S 22370 22372 22144 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 6 0 519195082 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 0 0 0 0
[pid=22372/tid=22398] ppid=22370 vsize=331476 CPUtime=0 cores=0,2,4,6
/proc/22372/task/22398/stat : 22398 (python) S 22370 22372 22144 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 519205001 339431424 7530 33554432000 4194304 5683644 140736534212320 18446744073709551615 220828060081 0 0 16781312 2 18446604453951146176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 730.23
Current children cumulated vsize (KiB) 4123844

Child status: 0
Real time (s): 183.852
CPU time (s): 730.494
CPU user time (s): 729.904
CPU system time (s): 0.58991
CPU usage (%): 397.326
Max. virtual memory (cumulated for all children) (KiB): 4123844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 729.904
system time used= 0.58991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43649
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= 3946
involuntary context switches= 4336

runsolver used 0.358945 second user time and 0.811876 second system time

The end