runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3484131-1307747713/watcher-3484131-1307747713 -o /tmp/evaluation-result-3484131-1307747713/solver-3484131-1307747713 -C 1200 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3484131-1307747713.cnf -seed 1698788713 -budget 1200 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.94 3.64 2.15 4/250 5949
/proc/meminfo: memFree=31166896/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=15752 CPUtime=0 cores=5,7
/proc/5949/stat : 5949 (python) S 5947 5949 5426 0 -1 4202496 841 0 0 0 0 0 0 0 25 0 1 0 867187467 16130048 723 33554432000 4194304 5683644 140735076668864 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/5949/statm: 3938 723 334 364 0 425 0

[startup+0.035534 s]
/proc/loadavg: 3.94 3.64 2.15 4/250 5949
/proc/meminfo: memFree=31166896/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=18884 CPUtime=0.02 cores=5,7
/proc/5949/stat : 5949 (python) R 5947 5949 5426 0 -1 4202496 1286 0 0 0 2 0 0 0 25 0 1 0 867187467 19337216 1137 33554432000 4194304 5683644 140735076668864 18446744073709551615 4864831 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5949/statm: 4721 1137 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884

[startup+0.100526 s]
/proc/loadavg: 3.94 3.64 2.15 4/250 5949
/proc/meminfo: memFree=31166896/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=104216 CPUtime=0.06 cores=5,7
/proc/5949/stat : 5949 (python) R 5947 5949 5426 0 -1 4202496 3034 0 0 0 5 1 0 0 17 0 1 0 867187467 106717184 2722 33554432000 4194304 5683644 140735076668864 18446744073709551615 255101846962 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5949/statm: 26054 2725 847 364 0 1802 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 104216

[startup+0.300463 s]
/proc/loadavg: 3.94 3.64 2.15 4/250 5949
/proc/meminfo: memFree=31166896/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=157384 CPUtime=0.21 cores=5,7
/proc/5949/stat : 5949 (python) R 5947 5949 5426 0 -1 4202496 6604 936 1 0 16 5 0 0 18 0 1 0 867187467 161161216 4696 33554432000 4194304 5683644 140735076668864 18446744073709551615 4989778 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/5949/statm: 39346 4696 1257 364 0 3454 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 157384

[startup+0.700389 s]
/proc/loadavg: 3.94 3.64 2.15 4/250 5949
/proc/meminfo: memFree=31166896/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=282456 CPUtime=0.57 cores=5,7
/proc/5949/stat : 5949 (python) R 5947 5949 5426 0 -1 4202496 11001 936 1 0 50 7 0 0 18 0 1 0 867187467 289234944 7999 33554432000 4194304 5683644 140735076668864 18446744073709551615 4602349 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/5949/statm: 70614 7999 1826 364 0 6538 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 282456

[startup+1.50025 s]
/proc/loadavg: 3.94 3.64 2.15 5/251 5954
/proc/meminfo: memFree=31141492/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=291000 CPUtime=1.18 cores=5,7
/proc/5949/stat : 5949 (python) S 5947 5949 5426 0 -1 4202496 11470 936 1 0 110 8 0 0 21 0 2 0 867187467 297984000 7645 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5949/statm: 72750 7645 1867 364 0 8668 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 291000

[startup+3.10101 s]
/proc/loadavg: 3.94 3.64 2.15 5/254 5957
/proc/meminfo: memFree=31121712/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=291000 CPUtime=1.18 cores=5,7
/proc/5949/stat : 5949 (python) S 5947 5949 5426 0 -1 4202496 11470 936 1 0 110 8 0 0 21 0 2 0 867187467 297984000 7645 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5949/statm: 72750 7645 1867 364 0 8668 0
[pid=5955] ppid=5949 vsize=280756 CPUtime=0 cores=5,7
/proc/5955/stat : 5955 (python) S 5949 5949 5426 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 1 0 867187598 287494144 6128 33554432000 4194304 5683644 140735076668864 18446744073709551615 255106788879 0 0 16781312 514 4591938244131651847 0 0 17 5 0 0 0
/proc/5955/statm: 70189 6128 354 364 0 6107 0
[pid=5957] ppid=5955 vsize=268420 CPUtime=1.77 cores=5,7
/proc/5957/stat : 5957 (hybridGM3) R 5955 5957 5957 0 -1 4202496 5234 0 0 0 177 0 0 0 25 0 1 0 867187598 274862080 4970 33554432000 134512640 135204385 4294460256 18446744073709551615 134536656 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/5957/statm: 67105 4970 64 169 0 66935 0
[pid=5949/tid=5956] ppid=5947 vsize=291000 CPUtime=0 cores=5,7
/proc/5949/task/5956/stat : 5956 (python) S 5947 5949 5426 0 -1 4202560 27 936 0 0 0 0 0 0 21 0 2 0 867187598 297984000 7645 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 840176

[startup+6.30044 s]
/proc/loadavg: 3.94 3.64 2.16 5/254 5957
/proc/meminfo: memFree=31121216/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=291000 CPUtime=1.18 cores=5,7
/proc/5949/stat : 5949 (python) S 5947 5949 5426 0 -1 4202496 11470 936 1 0 110 8 0 0 21 0 2 0 867187467 297984000 7645 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5949/statm: 72750 7645 1867 364 0 8668 0
[pid=5955] ppid=5949 vsize=280756 CPUtime=0 cores=5,7
/proc/5955/stat : 5955 (python) S 5949 5949 5426 0 -1 4202560 864 0 0 0 0 0 0 0 18 0 1 0 867187598 287494144 6151 33554432000 4194304 5683644 140735076668864 18446744073709551615 255106788879 0 0 16781312 514 4591938244131651847 0 0 17 5 0 0 0
/proc/5955/statm: 70189 6151 377 364 0 6107 0
[pid=5957] ppid=5955 vsize=268420 CPUtime=4.97 cores=5,7
/proc/5957/stat : 5957 (hybridGM3) R 5955 5957 5957 0 -1 4202496 5234 0 0 0 497 0 0 0 25 0 1 0 867187598 274862080 4970 33554432000 134512640 135204385 4294460256 18446744073709551615 134536986 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/5957/statm: 67105 4970 64 169 0 66935 0
[pid=5949/tid=5956] ppid=5947 vsize=291000 CPUtime=0 cores=5,7
/proc/5949/task/5956/stat : 5956 (python) S 5947 5949 5426 0 -1 4202560 27 936 0 0 0 0 0 0 21 0 2 0 867187598 297984000 7645 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 840176

[startup+12.7003 s]
/proc/loadavg: 3.95 3.65 2.17 5/254 5957
/proc/meminfo: memFree=31121284/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=291000 CPUtime=1.18 cores=5,7
/proc/5949/stat : 5949 (python) S 5947 5949 5426 0 -1 4202496 11470 936 1 0 110 8 0 0 21 0 2 0 867187467 297984000 7645 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5949/statm: 72750 7645 1867 364 0 8668 0
[pid=5955] ppid=5949 vsize=280756 CPUtime=0.01 cores=5,7
/proc/5955/stat : 5955 (python) S 5949 5949 5426 0 -1 4202560 866 0 0 0 0 1 0 0 18 0 1 0 867187598 287494144 6151 33554432000 4194304 5683644 140735076668864 18446744073709551615 255106788879 0 0 16781312 514 3292008182305489159 0 0 17 5 0 0 0
/proc/5955/statm: 70189 6151 377 364 0 6107 0
[pid=5957] ppid=5955 vsize=268420 CPUtime=11.36 cores=5,7
/proc/5957/stat : 5957 (hybridGM3) R 5955 5957 5957 0 -1 4202496 5234 0 0 0 1136 0 0 0 25 0 1 0 867187598 274862080 4970 33554432000 134512640 135204385 4294460256 18446744073709551615 134537383 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/5957/statm: 67105 4970 64 169 0 66935 0
[pid=5949/tid=5956] ppid=5947 vsize=291000 CPUtime=0 cores=5,7
/proc/5949/task/5956/stat : 5956 (python) S 5947 5949 5426 0 -1 4202560 27 936 0 0 0 0 0 0 21 0 2 0 867187598 297984000 7645 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 840176

[startup+25.5011 s]
/proc/loadavg: 3.96 3.66 2.19 5/254 5958
/proc/meminfo: memFree=31121908/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=291000 CPUtime=1.18 cores=5,7
/proc/5949/stat : 5949 (python) S 5947 5949 5426 0 -1 4202496 11470 936 1 0 110 8 0 0 21 0 2 0 867187467 297984000 7645 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5949/statm: 72750 7645 1867 364 0 8668 0
[pid=5955] ppid=5949 vsize=280756 CPUtime=0.03 cores=5,7
/proc/5955/stat : 5955 (python) S 5949 5949 5426 0 -1 4202560 871 0 0 0 1 2 0 0 18 0 1 0 867187598 287494144 6151 33554432000 4194304 5683644 140735076668864 18446744073709551615 255106788879 0 0 16781312 514 3292008182305489159 0 0 17 5 0 0 0
/proc/5955/statm: 70189 6151 377 364 0 6107 0
[pid=5957] ppid=5955 vsize=268420 CPUtime=24.15 cores=5,7
/proc/5957/stat : 5957 (hybridGM3) R 5955 5957 5957 0 -1 4202496 5234 0 0 0 2415 0 0 0 25 0 1 0 867187598 274862080 4970 33554432000 134512640 135204385 4294460256 18446744073709551615 134659368 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/5957/statm: 67105 4970 64 169 0 66935 0
[pid=5949/tid=5956] ppid=5947 vsize=291000 CPUtime=0 cores=5,7
/proc/5949/task/5956/stat : 5956 (python) S 5947 5949 5426 0 -1 4202560 27 936 0 0 0 0 0 0 21 0 2 0 867187598 297984000 7645 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 840176

[startup+51.1006 s]
/proc/loadavg: 3.97 3.69 2.24 5/254 5959
/proc/meminfo: memFree=31122064/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=291000 CPUtime=1.18 cores=5,7
/proc/5949/stat : 5949 (python) S 5947 5949 5426 0 -1 4202496 11470 936 1 0 110 8 0 0 21 0 2 0 867187467 297984000 7645 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5949/statm: 72750 7645 1867 364 0 8668 0
[pid=5955] ppid=5949 vsize=280756 CPUtime=0.07 cores=5,7
/proc/5955/stat : 5955 (python) S 5949 5949 5426 0 -1 4202560 884 0 0 0 3 4 0 0 18 0 1 0 867187598 287494144 6151 33554432000 4194304 5683644 140735076668864 18446744073709551615 255106788879 0 0 16781312 514 3292008182305489159 0 0 17 5 0 0 0
/proc/5955/statm: 70189 6151 377 364 0 6107 0
[pid=5957] ppid=5955 vsize=268420 CPUtime=49.73 cores=5,7
/proc/5957/stat : 5957 (hybridGM3) R 5955 5957 5957 0 -1 4202496 5234 0 0 0 4973 0 0 0 25 0 1 0 867187598 274862080 4970 33554432000 134512640 135204385 4294460256 18446744073709551615 134545979 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/5957/statm: 67105 4970 64 169 0 66935 0
[pid=5949/tid=5956] ppid=5947 vsize=291000 CPUtime=0 cores=5,7
/proc/5949/task/5956/stat : 5956 (python) S 5947 5949 5426 0 -1 4202560 27 936 0 0 0 0 0 0 21 0 2 0 867187598 297984000 7645 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 840176

[startup+102.309 s]
/proc/loadavg: 3.99 3.74 2.33 5/264 5970
/proc/meminfo: memFree=31098884/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=301408 CPUtime=1.19 cores=5,7
/proc/5949/stat : 5949 (python) S 5947 5949 5426 0 -1 4202496 12333 936 1 0 111 8 0 0 20 0 3 0 867187467 308641792 7674 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5949/statm: 75352 7674 1870 364 0 11267 0
[pid=5955] ppid=5949 vsize=291000 CPUtime=0.14 cores=5,7
/proc/5955/stat : 5955 (python) S 5949 5949 5426 0 -1 4202560 1148 0 0 0 7 7 0 0 19 0 2 0 867187598 297984000 6194 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/5955/statm: 72750 6194 415 364 0 8668 0
[pid=5957] ppid=5955 vsize=268420 CPUtime=100.07 cores=5,7
/proc/5957/stat : 5957 (hybridGM3) T 5955 5957 5957 0 -1 4202496 5235 0 0 0 10007 0 0 0 25 0 1 0 867187598 274862080 4971 33554432000 134512640 135204385 4294460256 18446744073709551615 134537510 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/5957/statm: 67105 4971 64 169 0 66935 0
[pid=5955/tid=5967] ppid=5949 vsize=291000 CPUtime=0 cores=5,7
/proc/5955/task/5967/stat : 5967 (python) S 5949 5949 5426 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 867197617 297984000 6194 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 514 18446604471161706368 0 0 -1 7 0 0 0
[pid=5968] ppid=5949 vsize=291164 CPUtime=0 cores=5,7
/proc/5968/stat : 5968 (python) S 5949 5949 5426 0 -1 4202560 718 0 0 0 0 0 0 0 20 0 1 0 867197618 298151936 6144 33554432000 4194304 5683644 140735076668864 18446744073709551615 255106788934 0 0 16781312 514 15778303849304948735 0 0 17 5 0 0 0
/proc/5968/statm: 72791 6144 344 364 0 8706 0
[pid=5970] ppid=5968 vsize=452900 CPUtime=0.79 cores=5,7
/proc/5970/stat : 5970 (TNM) R 5968 5970 5970 0 -1 4202496 1164 0 0 0 79 0 0 0 25 0 1 0 867197618 463769600 901 33554432000 134512640 135008748 4294391840 18446744073709551615 134527542 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/5970/statm: 113225 901 46 122 0 112125 0
[pid=5949/tid=5956] ppid=5947 vsize=301408 CPUtime=0 cores=5,7
/proc/5949/task/5956/stat : 5956 (python) S 5947 5949 5426 0 -1 4202560 27 936 0 0 0 0 0 0 21 0 3 0 867187598 308641792 7674 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
[pid=5949/tid=5969] ppid=5947 vsize=301408 CPUtime=0 cores=5,7
/proc/5949/task/5969/stat : 5969 (python) S 5947 5949 5426 0 -1 4202560 28 936 0 0 0 0 0 0 20 0 3 0 867197618 308641792 7674 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 1604892

[startup+162.301 s]
/proc/loadavg: 3.99 3.78 2.43 5/264 5971
/proc/meminfo: memFree=31097232/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=301408 CPUtime=1.19 cores=5,7
/proc/5949/stat : 5949 (python) S 5947 5949 5426 0 -1 4202496 12333 936 1 0 111 8 0 0 20 0 3 0 867187467 308641792 7674 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5949/statm: 75352 7674 1870 364 0 11267 0
[pid=5955] ppid=5949 vsize=291000 CPUtime=0.14 cores=5,7
/proc/5955/stat : 5955 (python) S 5949 5949 5426 0 -1 4202560 1148 0 0 0 7 7 0 0 19 0 2 0 867187598 297984000 6194 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/5955/statm: 72750 6194 415 364 0 8668 0
[pid=5957] ppid=5955 vsize=268420 CPUtime=100.07 cores=5,7
/proc/5957/stat : 5957 (hybridGM3) T 5955 5957 5957 0 -1 4202496 5235 0 0 0 10007 0 0 0 25 0 1 0 867187598 274862080 4971 33554432000 134512640 135204385 4294460256 18446744073709551615 134537510 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/5957/statm: 67105 4971 64 169 0 66935 0
[pid=5955/tid=5967] ppid=5949 vsize=291000 CPUtime=0 cores=5,7
/proc/5955/task/5967/stat : 5967 (python) S 5949 5949 5426 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 867197617 297984000 6194 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 514 18446604471161706368 0 0 -1 7 0 0 0
[pid=5968] ppid=5949 vsize=291164 CPUtime=0.08 cores=5,7

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

[pid=6034] ppid=6032 vsize=268424 CPUtime=197.3 cores=5,7
/proc/6034/stat : 6034 (hybridGM3) T 6032 6034 6034 0 -1 4202496 5235 0 0 0 19730 0 0 0 25 0 1 0 867207633 274866176 4971 33554432000 134512640 135204385 4291827760 18446744073709551615 134537292 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/6034/statm: 67106 4971 64 169 0 66936 0
[pid=6032/tid=6043] ppid=5949 vsize=301552 CPUtime=0 cores=5,7
/proc/6032/task/6043/stat : 6043 (python) S 5949 5949 5426 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 867217652 308789248 6222 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 514 18446604469471266880 0 0 -1 7 0 0 0
[pid=6221] ppid=5949 vsize=322192 CPUtime=0 cores=5,7
/proc/6221/stat : 6221 (python) S 5949 5949 5426 0 -1 4202560 758 0 0 0 0 0 0 0 18 0 1 0 867247045 329924608 6232 33554432000 4194304 5683644 140735076668864 18446744073709551615 255106788934 0 0 16781312 514 4381504362959044872 0 0 17 7 0 0 0
/proc/6221/statm: 80548 6232 348 364 0 16454 0
[pid=6223] ppid=6221 vsize=268424 CPUtime=2.51 cores=5,7
/proc/6223/stat : 6223 (hybridGM3) R 6221 6223 6223 0 -1 4202496 5233 0 0 0 251 0 0 0 25 0 1 0 867247045 274866176 4970 33554432000 134512640 135204385 4289156016 18446744073709551615 134536806 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6223/statm: 67106 4970 64 169 0 66936 0
[pid=5949/tid=5956] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/5956/stat : 5956 (python) S 5947 5949 5426 0 -1 4202560 32 8819 0 0 0 0 9957 9 18 0 6 0 867187598 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
[pid=5949/tid=5969] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/5969/stat : 5969 (python) S 5947 5949 5426 0 -1 4202560 28 8819 0 0 0 0 9957 9 20 0 6 0 867197618 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
[pid=5949/tid=6033] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/6033/stat : 6033 (python) S 5947 5949 5426 0 -1 4202560 30 8819 0 0 0 0 9957 9 18 0 6 0 867207633 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
[pid=5949/tid=6045] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/6045/stat : 6045 (python) S 5947 5949 5426 0 -1 4202560 25 8819 0 0 0 0 9957 9 20 0 6 0 867217653 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
[pid=5949/tid=6222] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/6222/stat : 6222 (python) S 5947 5949 5426 0 -1 4202560 28 8819 0 0 0 0 9957 9 20 0 6 0 867247045 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 598.54
Current children cumulated vsize (KiB) 2800348

[startup+598.701 s]
/proc/loadavg: 4.01 3.95 3.02 5/235 6223
/proc/meminfo: memFree=31520000/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=332436 CPUtime=100.88 cores=5,7
/proc/5949/stat : 5949 (python) S 5947 5949 5426 0 -1 4202496 14896 8819 1 0 114 8 9957 9 19 0 6 0 867187467 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5949/statm: 83109 7764 1876 364 0 19015 0
[pid=5955] ppid=5949 vsize=291000 CPUtime=0.3 cores=5,7
/proc/5955/stat : 5955 (python) S 5949 5949 5426 0 -1 4202560 1194 0 0 0 16 14 0 0 18 0 2 0 867187598 297984000 6195 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/5955/statm: 72750 6195 416 364 0 8668 0
[pid=5957] ppid=5955 vsize=268420 CPUtime=197.11 cores=5,7
/proc/5957/stat : 5957 (hybridGM3) T 5955 5957 5957 0 -1 4202496 5235 0 0 0 19711 0 0 0 25 0 1 0 867187598 274862080 4971 33554432000 134512640 135204385 4294460256 18446744073709551615 134536922 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/5957/statm: 67105 4971 64 169 0 66935 0
[pid=5955/tid=5967] ppid=5949 vsize=291000 CPUtime=0 cores=5,7
/proc/5955/task/5967/stat : 5967 (python) S 5949 5949 5426 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 867197617 297984000 6195 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 514 18446604471161706368 0 0 -1 7 0 0 0
[pid=5968] ppid=5949 vsize=291164 CPUtime=0.14 cores=5,7
/proc/5968/stat : 5968 (python) S 5949 5949 5426 0 -1 4202560 1075 0 0 0 7 7 0 0 19 0 2 0 867197618 298151936 6201 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/5968/statm: 72791 6201 400 364 0 8706 0
[pid=5970] ppid=5968 vsize=456736 CPUtime=100.02 cores=5,7
/proc/5970/stat : 5970 (TNM) T 5968 5970 5970 0 -1 4202496 1165 0 0 0 10002 0 0 0 25 0 1 0 867197618 467697664 902 33554432000 134512640 135008748 4294391840 18446744073709551615 134527771 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/5970/statm: 114184 902 46 122 0 113084 0
[pid=5968/tid=6031] ppid=5949 vsize=291164 CPUtime=0 cores=5,7
/proc/5968/task/6031/stat : 6031 (python) S 5949 5949 5426 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 867207632 298151936 6201 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 514 18446604469471267776 0 0 -1 5 0 0 0
[pid=6032] ppid=5949 vsize=301552 CPUtime=0.28 cores=5,7
/proc/6032/stat : 6032 (python) S 5949 5949 5426 0 -1 4202560 1112 0 0 0 16 12 0 0 18 0 2 0 867207633 308789248 6222 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/6032/statm: 75388 6222 400 364 0 11300 0
[pid=6034] ppid=6032 vsize=268424 CPUtime=197.3 cores=5,7
/proc/6034/stat : 6034 (hybridGM3) T 6032 6034 6034 0 -1 4202496 5235 0 0 0 19730 0 0 0 25 0 1 0 867207633 274866176 4971 33554432000 134512640 135204385 4291827760 18446744073709551615 134537292 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/6034/statm: 67106 4971 64 169 0 66936 0
[pid=6032/tid=6043] ppid=5949 vsize=301552 CPUtime=0 cores=5,7
/proc/6032/task/6043/stat : 6043 (python) S 5949 5949 5426 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 867217652 308789248 6222 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 514 18446604469471266880 0 0 -1 7 0 0 0
[pid=6221] ppid=5949 vsize=322192 CPUtime=0 cores=5,7
/proc/6221/stat : 6221 (python) S 5949 5949 5426 0 -1 4202560 758 0 0 0 0 0 0 0 18 0 1 0 867247045 329924608 6232 33554432000 4194304 5683644 140735076668864 18446744073709551615 255106788934 0 0 16781312 514 4381504362959044872 0 0 17 7 0 0 0
/proc/6221/statm: 80548 6232 348 364 0 16454 0
[pid=6223] ppid=6221 vsize=268424 CPUtime=2.9 cores=5,7
/proc/6223/stat : 6223 (hybridGM3) R 6221 6223 6223 0 -1 4202496 5233 0 0 0 290 0 0 0 25 0 1 0 867247045 274866176 4970 33554432000 134512640 135204385 4289156016 18446744073709551615 134546153 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6223/statm: 67106 4970 64 169 0 66936 0
[pid=5949/tid=5956] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/5956/stat : 5956 (python) S 5947 5949 5426 0 -1 4202560 32 8819 0 0 0 0 9957 9 18 0 6 0 867187598 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
[pid=5949/tid=5969] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/5969/stat : 5969 (python) S 5947 5949 5426 0 -1 4202560 28 8819 0 0 0 0 9957 9 20 0 6 0 867197618 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
[pid=5949/tid=6033] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/6033/stat : 6033 (python) S 5947 5949 5426 0 -1 4202560 30 8819 0 0 0 0 9957 9 18 0 6 0 867207633 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
[pid=5949/tid=6045] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/6045/stat : 6045 (python) S 5947 5949 5426 0 -1 4202560 25 8819 0 0 0 0 9957 9 20 0 6 0 867217653 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
[pid=5949/tid=6222] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/6222/stat : 6222 (python) S 5947 5949 5426 0 -1 4202560 28 8819 0 0 0 0 9957 9 20 0 6 0 867247045 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 598.93
Current children cumulated vsize (KiB) 2800348

[startup+598.901 s]
/proc/loadavg: 4.01 3.95 3.02 5/235 6223
/proc/meminfo: memFree=31520000/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=332436 CPUtime=100.88 cores=5,7
/proc/5949/stat : 5949 (python) S 5947 5949 5426 0 -1 4202496 14896 8819 1 0 114 8 9957 9 19 0 6 0 867187467 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5949/statm: 83109 7764 1876 364 0 19015 0
[pid=5955] ppid=5949 vsize=291000 CPUtime=0.3 cores=5,7
/proc/5955/stat : 5955 (python) S 5949 5949 5426 0 -1 4202560 1194 0 0 0 16 14 0 0 18 0 2 0 867187598 297984000 6195 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/5955/statm: 72750 6195 416 364 0 8668 0
[pid=5957] ppid=5955 vsize=268420 CPUtime=197.11 cores=5,7
/proc/5957/stat : 5957 (hybridGM3) T 5955 5957 5957 0 -1 4202496 5235 0 0 0 19711 0 0 0 25 0 1 0 867187598 274862080 4971 33554432000 134512640 135204385 4294460256 18446744073709551615 134536922 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/5957/statm: 67105 4971 64 169 0 66935 0
[pid=5955/tid=5967] ppid=5949 vsize=291000 CPUtime=0 cores=5,7
/proc/5955/task/5967/stat : 5967 (python) S 5949 5949 5426 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 867197617 297984000 6195 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 514 18446604471161706368 0 0 -1 7 0 0 0
[pid=5968] ppid=5949 vsize=291164 CPUtime=0.14 cores=5,7
/proc/5968/stat : 5968 (python) S 5949 5949 5426 0 -1 4202560 1075 0 0 0 7 7 0 0 19 0 2 0 867197618 298151936 6201 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/5968/statm: 72791 6201 400 364 0 8706 0
[pid=5970] ppid=5968 vsize=456736 CPUtime=100.02 cores=5,7
/proc/5970/stat : 5970 (TNM) T 5968 5970 5970 0 -1 4202496 1165 0 0 0 10002 0 0 0 25 0 1 0 867197618 467697664 902 33554432000 134512640 135008748 4294391840 18446744073709551615 134527771 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/5970/statm: 114184 902 46 122 0 113084 0
[pid=5968/tid=6031] ppid=5949 vsize=291164 CPUtime=0 cores=5,7
/proc/5968/task/6031/stat : 6031 (python) S 5949 5949 5426 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 867207632 298151936 6201 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 514 18446604469471267776 0 0 -1 5 0 0 0
[pid=6032] ppid=5949 vsize=301552 CPUtime=0.28 cores=5,7
/proc/6032/stat : 6032 (python) S 5949 5949 5426 0 -1 4202560 1112 0 0 0 16 12 0 0 18 0 2 0 867207633 308789248 6222 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/6032/statm: 75388 6222 400 364 0 11300 0
[pid=6034] ppid=6032 vsize=268424 CPUtime=197.3 cores=5,7
/proc/6034/stat : 6034 (hybridGM3) T 6032 6034 6034 0 -1 4202496 5235 0 0 0 19730 0 0 0 25 0 1 0 867207633 274866176 4971 33554432000 134512640 135204385 4291827760 18446744073709551615 134537292 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/6034/statm: 67106 4971 64 169 0 66936 0
[pid=6032/tid=6043] ppid=5949 vsize=301552 CPUtime=0 cores=5,7
/proc/6032/task/6043/stat : 6043 (python) S 5949 5949 5426 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 867217652 308789248 6222 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 514 18446604469471266880 0 0 -1 7 0 0 0
[pid=6221] ppid=5949 vsize=322192 CPUtime=0 cores=5,7
/proc/6221/stat : 6221 (python) S 5949 5949 5426 0 -1 4202560 758 0 0 0 0 0 0 0 18 0 1 0 867247045 329924608 6232 33554432000 4194304 5683644 140735076668864 18446744073709551615 255106788934 0 0 16781312 514 4381504362959044872 0 0 17 7 0 0 0
/proc/6221/statm: 80548 6232 348 364 0 16454 0
[pid=6223] ppid=6221 vsize=272492 CPUtime=3.11 cores=5,7
/proc/6223/stat : 6223 (hybridGM3) R 6221 6223 6223 0 -1 4202496 6658 0 0 0 310 1 0 0 25 0 1 0 867247045 279031808 6213 33554432000 134512640 135204385 4289156016 18446744073709551615 134572877 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6223/statm: 68123 6213 80 169 0 67953 0
[pid=5949/tid=5956] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/5956/stat : 5956 (python) S 5947 5949 5426 0 -1 4202560 32 8819 0 0 0 0 9957 9 18 0 6 0 867187598 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
[pid=5949/tid=5969] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/5969/stat : 5969 (python) S 5947 5949 5426 0 -1 4202560 28 8819 0 0 0 0 9957 9 20 0 6 0 867197618 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
[pid=5949/tid=6033] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/6033/stat : 6033 (python) S 5947 5949 5426 0 -1 4202560 30 8819 0 0 0 0 9957 9 18 0 6 0 867207633 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
[pid=5949/tid=6045] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/6045/stat : 6045 (python) S 5947 5949 5426 0 -1 4202560 25 8819 0 0 0 0 9957 9 20 0 6 0 867217653 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
[pid=5949/tid=6222] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/6222/stat : 6222 (python) S 5947 5949 5426 0 -1 4202560 28 8819 0 0 0 0 9957 9 20 0 6 0 867247045 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 599.14
Current children cumulated vsize (KiB) 2804416

[startup+599.001 s]
/proc/loadavg: 4.01 3.95 3.02 5/235 6223
/proc/meminfo: memFree=31520000/32951124 swapFree=67088052/67111528
[pid=5949] ppid=5947 vsize=332436 CPUtime=100.88 cores=5,7
/proc/5949/stat : 5949 (python) S 5947 5949 5426 0 -1 4202496 14896 8819 1 0 114 8 9957 9 19 0 6 0 867187467 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5949/statm: 83109 7764 1876 364 0 19015 0
[pid=5955] ppid=5949 vsize=291000 CPUtime=0.3 cores=5,7
/proc/5955/stat : 5955 (python) S 5949 5949 5426 0 -1 4202560 1194 0 0 0 16 14 0 0 18 0 2 0 867187598 297984000 6195 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/5955/statm: 72750 6195 416 364 0 8668 0
[pid=5957] ppid=5955 vsize=268420 CPUtime=197.11 cores=5,7
/proc/5957/stat : 5957 (hybridGM3) T 5955 5957 5957 0 -1 4202496 5235 0 0 0 19711 0 0 0 25 0 1 0 867187598 274862080 4971 33554432000 134512640 135204385 4294460256 18446744073709551615 134536922 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/5957/statm: 67105 4971 64 169 0 66935 0
[pid=5955/tid=5967] ppid=5949 vsize=291000 CPUtime=0 cores=5,7
/proc/5955/task/5967/stat : 5967 (python) S 5949 5949 5426 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 867197617 297984000 6195 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 514 18446604471161706368 0 0 -1 7 0 0 0
[pid=5968] ppid=5949 vsize=291164 CPUtime=0.14 cores=5,7
/proc/5968/stat : 5968 (python) S 5949 5949 5426 0 -1 4202560 1075 0 0 0 7 7 0 0 19 0 2 0 867197618 298151936 6201 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/5968/statm: 72791 6201 400 364 0 8706 0
[pid=5970] ppid=5968 vsize=456736 CPUtime=100.02 cores=5,7
/proc/5970/stat : 5970 (TNM) T 5968 5970 5970 0 -1 4202496 1165 0 0 0 10002 0 0 0 25 0 1 0 867197618 467697664 902 33554432000 134512640 135008748 4294391840 18446744073709551615 134527771 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/5970/statm: 114184 902 46 122 0 113084 0
[pid=5968/tid=6031] ppid=5949 vsize=291164 CPUtime=0 cores=5,7
/proc/5968/task/6031/stat : 6031 (python) S 5949 5949 5426 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 867207632 298151936 6201 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 514 18446604469471267776 0 0 -1 5 0 0 0
[pid=6032] ppid=5949 vsize=301552 CPUtime=0.28 cores=5,7
/proc/6032/stat : 6032 (python) S 5949 5949 5426 0 -1 4202560 1112 0 0 0 16 12 0 0 18 0 2 0 867207633 308789248 6222 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/6032/statm: 75388 6222 400 364 0 11300 0
[pid=6034] ppid=6032 vsize=268424 CPUtime=197.3 cores=5,7
/proc/6034/stat : 6034 (hybridGM3) T 6032 6034 6034 0 -1 4202496 5235 0 0 0 19730 0 0 0 25 0 1 0 867207633 274866176 4971 33554432000 134512640 135204385 4291827760 18446744073709551615 134537292 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/6034/statm: 67106 4971 64 169 0 66936 0
[pid=6032/tid=6043] ppid=5949 vsize=301552 CPUtime=0 cores=5,7
/proc/6032/task/6043/stat : 6043 (python) S 5949 5949 5426 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 867217652 308789248 6222 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 514 18446604469471266880 0 0 -1 7 0 0 0
[pid=6221] ppid=5949 vsize=322192 CPUtime=0 cores=5,7
/proc/6221/stat : 6221 (python) S 5949 5949 5426 0 -1 4202560 758 0 0 0 0 0 0 0 18 0 1 0 867247045 329924608 6232 33554432000 4194304 5683644 140735076668864 18446744073709551615 255106788934 0 0 16781312 514 4381504362959044872 0 0 17 7 0 0 0
/proc/6221/statm: 80548 6232 348 364 0 16454 0
[pid=6223] ppid=6221 vsize=270912 CPUtime=3.21 cores=5,7
/proc/6223/stat : 6223 (hybridGM3) R 6221 6223 6223 0 -1 4202496 6953 0 0 0 320 1 0 0 25 0 1 0 867247045 277413888 5932 33554432000 134512640 135204385 4289156016 18446744073709551615 134704945 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6223/statm: 67728 5932 85 169 0 67558 0
[pid=5949/tid=5956] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/5956/stat : 5956 (python) S 5947 5949 5426 0 -1 4202560 32 8819 0 0 0 0 9957 9 18 0 6 0 867187598 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
[pid=5949/tid=5969] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/5969/stat : 5969 (python) S 5947 5949 5426 0 -1 4202560 28 8819 0 0 0 0 9957 9 20 0 6 0 867197618 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
[pid=5949/tid=6033] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/6033/stat : 6033 (python) S 5947 5949 5426 0 -1 4202560 30 8819 0 0 0 0 9957 9 18 0 6 0 867207633 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 7 0 0 0
[pid=5949/tid=6045] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/6045/stat : 6045 (python) S 5947 5949 5426 0 -1 4202560 25 8819 0 0 0 0 9957 9 20 0 6 0 867217653 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
[pid=5949/tid=6222] ppid=5947 vsize=332436 CPUtime=99.66 cores=5,7
/proc/5949/task/6222/stat : 6222 (python) S 5947 5949 5426 0 -1 4202560 28 8819 0 0 0 0 9957 9 20 0 6 0 867247045 340414464 7764 33554432000 4194304 5683644 140735076668864 18446744073709551615 255118592433 0 0 16781312 2 18446604471110769600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 599.24
Current children cumulated vsize (KiB) 2802836

Child status: 0
Real time (s): 599.083
CPU time (s): 599.412
CPU user time (s): 598.843
CPU system time (s): 0.568913
CPU usage (%): 100.055
Max. virtual memory (cumulated for all children) (KiB): 2804416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 598.843
system time used= 0.568913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52414
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= 1787
involuntary context switches= 1931

runsolver used 1.15282 second user time and 2.72558 second system time

The end