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

running on 4 cores: 1,3,5,7

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.14 7.73 5.10 5/241 22036
/proc/meminfo: memFree=28308120/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/22036/stat : 22036 (python) R 22034 22036 21633 0 -1 4202496 792 0 0 0 0 0 0 0 25 0 1 0 538421528 15749120 679 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905729024 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22036/statm: 3846 680 322 364 0 333 0

[startup+0.0805759 s]
/proc/loadavg: 8.14 7.73 5.10 5/241 22036
/proc/meminfo: memFree=28308120/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=50012 CPUtime=0.04 cores=1,3,5,7
/proc/22036/stat : 22036 (python) S 22034 22036 21633 0 -1 4202496 1949 0 0 0 3 1 0 0 25 0 1 0 538421528 51212288 1713 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 3 0 0 0
/proc/22036/statm: 12503 1713 476 364 0 1203 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 50012

[startup+0.100554 s]
/proc/loadavg: 8.14 7.73 5.10 5/241 22036
/proc/meminfo: memFree=28308120/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=87704 CPUtime=0.06 cores=1,3,5,7
/proc/22036/stat : 22036 (python) S 22034 22036 21633 0 -1 4202496 2638 0 0 0 4 2 0 0 17 0 1 0 538421528 89808896 2354 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 3 0 0 0
/proc/22036/statm: 21926 2354 717 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87704

[startup+0.300519 s]
/proc/loadavg: 8.14 7.73 5.10 5/241 22036
/proc/meminfo: memFree=28308120/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=135748 CPUtime=0.18 cores=1,3,5,7
/proc/22036/stat : 22036 (python) R 22034 22036 21633 0 -1 4202496 5964 935 1 0 13 5 0 0 18 0 1 0 538421528 139005952 4151 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905726981 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22036/statm: 33937 4151 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135748

[startup+0.700459 s]
/proc/loadavg: 8.14 7.73 5.10 5/241 22036
/proc/meminfo: memFree=28308120/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=280216 CPUtime=0.42 cores=1,3,5,7
/proc/22036/stat : 22036 (python) R 22034 22036 21633 0 -1 4202496 9692 935 1 0 31 11 0 0 16 0 1 0 538421528 286941184 7375 33554432000 4194304 5683644 140733962537776 18446744073709551615 4602976 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22036/statm: 70054 7375 1761 364 0 5978 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 280216

[startup+1.50027 s]
/proc/loadavg: 8.14 7.73 5.10 6/242 22041
/proc/meminfo: memFree=28279840/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=291156 CPUtime=1.22 cores=1,3,5,7
/proc/22036/stat : 22036 (python) R 22034 22036 21633 0 -1 4202496 11822 935 1 0 111 11 0 0 19 0 2 0 538421528 298143744 7667 33554432000 4194304 5683644 140733962537776 18446744073709551615 218909184911 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/22036/statm: 72789 7667 1866 364 0 8707 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 291156

[startup+3.10098 s]
/proc/loadavg: 8.14 7.73 5.10 9/254 22053
/proc/meminfo: memFree=28205628/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=322056 CPUtime=1.3 cores=1,3,5,7
/proc/22036/stat : 22036 (python) S 22034 22036 21633 0 -1 4202496 13984 935 1 0 118 12 0 0 20 0 5 0 538421528 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22036/statm: 80514 7711 1881 364 0 16423 0
[pid=22042] ppid=22036 vsize=280760 CPUtime=0 cores=1,3,5,7
/proc/22042/stat : 22042 (python) S 22036 22036 21633 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 538421677 287498240 6129 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751055 0 0 16781312 514 6591054342835372295 0 0 17 3 0 0 0
/proc/22042/statm: 70190 6129 354 364 0 6108 0
[pid=22044] ppid=22042 vsize=268420 CPUtime=1.59 cores=1,3,5,7
/proc/22044/stat : 22044 (hybridGM3) R 22042 22044 22044 0 -1 4202496 5233 0 0 0 159 0 0 0 23 0 1 0 538421678 274862080 4970 33554432000 134512640 135204385 4287771440 18446744073709551615 134547415 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/22044/statm: 67105 4970 64 169 0 66935 0
[pid=22045] ppid=22036 vsize=291168 CPUtime=0 cores=1,3,5,7
/proc/22045/stat : 22045 (python) S 22036 22036 21633 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 538421680 298156032 6149 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 4599715364752850943 0 0 17 7 0 0 0
/proc/22045/statm: 72792 6149 348 364 0 8707 0
[pid=22047] ppid=22045 vsize=452900 CPUtime=1.56 cores=1,3,5,7
/proc/22047/stat : 22047 (TNM) R 22045 22047 22047 0 -1 4202496 1166 0 0 0 156 0 0 0 25 0 1 0 538421681 463769600 901 33554432000 134512640 135008748 4292654080 18446744073709551615 134527228 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/22047/statm: 113225 901 46 122 0 112125 0
[pid=22048] ppid=22036 vsize=301424 CPUtime=0 cores=1,3,5,7
/proc/22048/stat : 22048 (python) S 22036 22036 21633 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 538421683 308658176 6153 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 4405077617380655364 0 0 17 7 0 0 0
/proc/22048/statm: 75356 6153 348 364 0 11268 0
[pid=22050] ppid=22048 vsize=268420 CPUtime=1.52 cores=1,3,5,7
/proc/22050/stat : 22050 (hybridGM3) R 22048 22050 22050 0 -1 4202496 5232 0 0 0 152 0 0 0 25 0 1 0 538421684 274862080 4969 33554432000 134512640 135204385 4289736848 18446744073709551615 134545975 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/22050/statm: 67105 4969 64 169 0 66935 0
[pid=22051] ppid=22036 vsize=311812 CPUtime=0 cores=1,3,5,7
/proc/22051/stat : 22051 (python) S 22036 22036 21633 0 -1 4202560 750 0 0 0 0 0 0 0 18 0 1 0 538421686 319295488 6174 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 237630580458488069 0 0 17 1 0 0 0
/proc/22051/statm: 77953 6174 348 364 0 13862 0
[pid=22053] ppid=22051 vsize=268424 CPUtime=1.5 cores=1,3,5,7
/proc/22053/stat : 22053 (hybridGM3) R 22051 22053 22053 0 -1 4202496 5233 0 0 0 150 0 0 0 25 0 1 0 538421687 274866176 4970 33554432000 134512640 135204385 4291701248 18446744073709551615 134536961 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22053/statm: 67106 4970 64 169 0 66936 0
[pid=22036/tid=22043] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22043/stat : 22043 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 19 0 5 0 538421678 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 3 0 0 0
[pid=22036/tid=22046] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22046/stat : 22046 (python) S 22034 22036 21633 0 -1 4202560 21 935 0 0 0 0 0 0 21 0 5 0 538421680 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22049] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22049/stat : 22049 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 23 0 5 0 538421683 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22052] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22052/stat : 22052 (python) S 22034 22036 21633 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 5 0 538421687 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 2765384

[startup+6.3014 s]
/proc/loadavg: 8.21 7.75 5.12 9/254 22053
/proc/meminfo: memFree=28205256/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=322056 CPUtime=1.3 cores=1,3,5,7
/proc/22036/stat : 22036 (python) S 22034 22036 21633 0 -1 4202496 13984 935 1 0 118 12 0 0 20 0 5 0 538421528 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22036/statm: 80514 7711 1881 364 0 16423 0
[pid=22042] ppid=22036 vsize=280760 CPUtime=0 cores=1,3,5,7
/proc/22042/stat : 22042 (python) S 22036 22036 21633 0 -1 4202560 882 0 0 0 0 0 0 0 18 0 1 0 538421677 287498240 6152 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751055 0 0 16781312 514 6591054342835372295 0 0 17 3 0 0 0
/proc/22042/statm: 70190 6152 377 364 0 6108 0
[pid=22044] ppid=22042 vsize=268420 CPUtime=4.79 cores=1,3,5,7
/proc/22044/stat : 22044 (hybridGM3) R 22042 22044 22044 0 -1 4202496 5233 0 0 0 479 0 0 0 25 0 1 0 538421678 274862080 4970 33554432000 134512640 135204385 4287771440 18446744073709551615 134537265 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/22044/statm: 67105 4970 64 169 0 66935 0
[pid=22045] ppid=22036 vsize=291168 CPUtime=0 cores=1,3,5,7
/proc/22045/stat : 22045 (python) S 22036 22036 21633 0 -1 4202560 887 0 0 0 0 0 0 0 18 0 1 0 538421680 298156032 6171 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 4599715364752818437 0 0 17 7 0 0 0
/proc/22045/statm: 72792 6171 370 364 0 8707 0
[pid=22047] ppid=22045 vsize=456728 CPUtime=4.76 cores=1,3,5,7
/proc/22047/stat : 22047 (TNM) R 22045 22047 22047 0 -1 4202496 1167 0 0 0 476 0 0 0 25 0 1 0 538421681 467689472 902 33554432000 134512640 135008748 4292654080 18446744073709551615 134527421 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/22047/statm: 114182 902 46 122 0 113082 0
[pid=22048] ppid=22036 vsize=301424 CPUtime=0 cores=1,3,5,7
/proc/22048/stat : 22048 (python) S 22036 22036 21633 0 -1 4202560 898 0 0 0 0 0 0 0 18 0 1 0 538421683 308658176 6175 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 4405077617380655364 0 0 17 7 0 0 0
/proc/22048/statm: 75356 6175 370 364 0 11268 0
[pid=22050] ppid=22048 vsize=268420 CPUtime=4.68 cores=1,3,5,7
/proc/22050/stat : 22050 (hybridGM3) R 22048 22050 22050 0 -1 4202496 5232 0 0 0 468 0 0 0 25 0 1 0 538421684 274862080 4969 33554432000 134512640 135204385 4289736848 18446744073709551615 134536663 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/22050/statm: 67105 4969 64 169 0 66935 0
[pid=22051] ppid=22036 vsize=311812 CPUtime=0 cores=1,3,5,7
/proc/22051/stat : 22051 (python) S 22036 22036 21633 0 -1 4202560 924 0 0 0 0 0 0 0 18 0 1 0 538421686 319295488 6197 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 237630580458488069 0 0 17 1 0 0 0
/proc/22051/statm: 77953 6197 371 364 0 13862 0
[pid=22053] ppid=22051 vsize=268424 CPUtime=4.69 cores=1,3,5,7
/proc/22053/stat : 22053 (hybridGM3) R 22051 22053 22053 0 -1 4202496 5234 0 0 0 469 0 0 0 25 0 1 0 538421687 274866176 4971 33554432000 134512640 135204385 4291701248 18446744073709551615 134536676 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22053/statm: 67106 4971 64 169 0 66936 0
[pid=22036/tid=22043] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22043/stat : 22043 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 19 0 5 0 538421678 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 3 0 0 0
[pid=22036/tid=22046] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22046/stat : 22046 (python) S 22034 22036 21633 0 -1 4202560 21 935 0 0 0 0 0 0 21 0 5 0 538421680 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22049] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22049/stat : 22049 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 23 0 5 0 538421683 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22052] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22052/stat : 22052 (python) S 22034 22036 21633 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 5 0 538421687 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.22
Current children cumulated vsize (KiB) 2769212

############
# WARNING:
# current cumulated CPU time (25.41 s) is less than in the last sample (32.98 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (7.57 s) to the 'lost time'.

[startup+9.50082 s]
/proc/loadavg: 8.27 7.78 5.14 9/257 22056
/proc/meminfo: memFree=28187752/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=322056 CPUtime=1.3 cores=1,3,5,7
/proc/22036/stat : 22036 (python) S 22034 22036 21633 0 -1 4202496 13984 935 1 0 118 12 0 0 20 0 5 0 538421528 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22036/statm: 80514 7711 1881 364 0 16423 0
[pid=22042] ppid=22036 vsize=280760 CPUtime=0 cores=1,3,5,7
/proc/22042/stat : 22042 (python) S 22036 22036 21633 0 -1 4202560 882 0 0 0 0 0 0 0 18 0 1 0 538421677 287498240 6152 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751055 0 0 16781312 514 6591054342835372295 0 0 17 3 0 0 0
/proc/22042/statm: 70190 6152 377 364 0 6108 0
[pid=22044] ppid=22042 vsize=268420 CPUtime=7.99 cores=1,3,5,7
/proc/22044/stat : 22044 (hybridGM3) R 22042 22044 22044 0 -1 4202496 5233 0 0 0 799 0 0 0 25 0 1 0 538421678 274862080 4970 33554432000 134512640 135204385 4287771440 18446744073709551615 134537613 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/22044/statm: 67105 4970 64 169 0 66935 0
[pid=22045] ppid=22036 vsize=291168 CPUtime=0 cores=1,3,5,7
/proc/22045/stat : 22045 (python) S 22036 22036 21633 0 -1 4202560 887 0 0 0 0 0 0 0 18 0 1 0 538421680 298156032 6171 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 4599715364752818437 0 0 17 7 0 0 0
/proc/22045/statm: 72792 6171 370 364 0 8707 0
[pid=22047] ppid=22045 vsize=456728 CPUtime=7.95 cores=1,3,5,7
/proc/22047/stat : 22047 (TNM) R 22045 22047 22047 0 -1 4202496 1167 0 0 0 795 0 0 0 25 0 1 0 538421681 467689472 902 33554432000 134512640 135008748 4292654080 18446744073709551615 134527503 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/22047/statm: 114182 902 46 122 0 113082 0
[pid=22048] ppid=22036 vsize=301424 CPUtime=0 cores=1,3,5,7
/proc/22048/stat : 22048 (python) S 22036 22036 21633 0 -1 4202560 898 0 0 0 0 0 0 0 18 0 1 0 538421683 308658176 6175 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 4405077617380655364 0 0 17 7 0 0 0
/proc/22048/statm: 75356 6175 370 364 0 11268 0
[pid=22050] ppid=22048 vsize=268420 CPUtime=7.85 cores=1,3,5,7
/proc/22050/stat : 22050 (hybridGM3) R 22048 22050 22050 0 -1 4202496 5232 0 0 0 785 0 0 0 25 0 1 0 538421684 274862080 4969 33554432000 134512640 135204385 4289736848 18446744073709551615 134537403 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/22050/statm: 67105 4969 64 169 0 66935 0
[pid=22051] ppid=22036 vsize=311812 CPUtime=0 cores=1,3,5,7
/proc/22051/stat : 22051 (python) S 22036 22036 21633 0 -1 4202560 924 0 0 0 0 0 0 0 18 0 1 0 538421686 319295488 6197 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 237630580458488069 0 0 17 1 0 0 0
/proc/22051/statm: 77953 6197 371 364 0 13862 0
[pid=22053] ppid=22051 vsize=268424 CPUtime=7.89 cores=1,3,5,7
/proc/22053/stat : 22053 (hybridGM3) R 22051 22053 22053 0 -1 4202496 5234 0 0 0 789 0 0 0 25 0 1 0 538421687 274866176 4971 33554432000 134512640 135204385 4291701248 18446744073709551615 134536646 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22053/statm: 67106 4971 64 169 0 66936 0
[pid=22036/tid=22043] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22043/stat : 22043 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 19 0 5 0 538421678 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 3 0 0 0
[pid=22036/tid=22046] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22046/stat : 22046 (python) S 22034 22036 21633 0 -1 4202560 21 935 0 0 0 0 0 0 21 0 5 0 538421680 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22049] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22049/stat : 22049 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 23 0 5 0 538421683 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22052] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22052/stat : 22052 (python) S 22034 22036 21633 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 5 0 538421687 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 1 0 0 0

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

/proc/22053/stat : 22053 (hybridGM3) R 22051 22053 22053 0 -1 4202496 5234 0 0 0 629 0 0 0 25 0 1 0 538421687 274866176 4971 33554432000 134512640 135204385 4291701248 18446744073709551615 134537363 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22053/statm: 67106 4971 64 169 0 66936 0
[pid=22036/tid=22043] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22043/stat : 22043 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 19 0 5 0 538421678 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 3 0 0 0
[pid=22036/tid=22046] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22046/stat : 22046 (python) S 22034 22036 21633 0 -1 4202560 21 935 0 0 0 0 0 0 21 0 5 0 538421680 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22049] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22049/stat : 22049 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 23 0 5 0 538421683 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22052] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22052/stat : 22052 (python) S 22034 22036 21633 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 5 0 538421687 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 26.6
Current children cumulated vsize (KiB) 2769212

[startup+8.70097 s]
/proc/loadavg: 8.27 7.78 5.14 9/257 22056
/proc/meminfo: memFree=28187752/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=322056 CPUtime=1.3 cores=1,3,5,7
/proc/22036/stat : 22036 (python) S 22034 22036 21633 0 -1 4202496 13984 935 1 0 118 12 0 0 20 0 5 0 538421528 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22036/statm: 80514 7711 1881 364 0 16423 0
[pid=22042] ppid=22036 vsize=280760 CPUtime=0 cores=1,3,5,7
/proc/22042/stat : 22042 (python) S 22036 22036 21633 0 -1 4202560 882 0 0 0 0 0 0 0 18 0 1 0 538421677 287498240 6152 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751055 0 0 16781312 514 6591054342835372295 0 0 17 3 0 0 0
/proc/22042/statm: 70190 6152 377 364 0 6108 0
[pid=22044] ppid=22042 vsize=268420 CPUtime=7.2 cores=1,3,5,7
/proc/22044/stat : 22044 (hybridGM3) R 22042 22044 22044 0 -1 4202496 5233 0 0 0 720 0 0 0 25 0 1 0 538421678 274862080 4970 33554432000 134512640 135204385 4287771440 18446744073709551615 134547313 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/22044/statm: 67105 4970 64 169 0 66935 0
[pid=22045] ppid=22036 vsize=291168 CPUtime=0 cores=1,3,5,7
/proc/22045/stat : 22045 (python) S 22036 22036 21633 0 -1 4202560 887 0 0 0 0 0 0 0 18 0 1 0 538421680 298156032 6171 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 4599715364752818437 0 0 17 7 0 0 0
/proc/22045/statm: 72792 6171 370 364 0 8707 0
[pid=22047] ppid=22045 vsize=456728 CPUtime=7.16 cores=1,3,5,7
/proc/22047/stat : 22047 (TNM) R 22045 22047 22047 0 -1 4202496 1167 0 0 0 716 0 0 0 25 0 1 0 538421681 467689472 902 33554432000 134512640 135008748 4292654080 18446744073709551615 134527771 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/22047/statm: 114182 902 46 122 0 113082 0
[pid=22048] ppid=22036 vsize=301424 CPUtime=0 cores=1,3,5,7
/proc/22048/stat : 22048 (python) S 22036 22036 21633 0 -1 4202560 898 0 0 0 0 0 0 0 18 0 1 0 538421683 308658176 6175 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 4405077617380655364 0 0 17 7 0 0 0
/proc/22048/statm: 75356 6175 370 364 0 11268 0
[pid=22050] ppid=22048 vsize=268420 CPUtime=7.06 cores=1,3,5,7
/proc/22050/stat : 22050 (hybridGM3) R 22048 22050 22050 0 -1 4202496 5232 0 0 0 706 0 0 0 25 0 1 0 538421684 274862080 4969 33554432000 134512640 135204385 4289736848 18446744073709551615 134537292 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/22050/statm: 67105 4969 64 169 0 66935 0
[pid=22051] ppid=22036 vsize=311812 CPUtime=0 cores=1,3,5,7
/proc/22051/stat : 22051 (python) S 22036 22036 21633 0 -1 4202560 924 0 0 0 0 0 0 0 18 0 1 0 538421686 319295488 6197 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 237630580458488069 0 0 17 1 0 0 0
/proc/22051/statm: 77953 6197 371 364 0 13862 0
[pid=22053] ppid=22051 vsize=268424 CPUtime=7.1 cores=1,3,5,7
/proc/22053/stat : 22053 (hybridGM3) R 22051 22053 22053 0 -1 4202496 5234 0 0 0 710 0 0 0 25 0 1 0 538421687 274866176 4971 33554432000 134512640 135204385 4291701248 18446744073709551615 134536843 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22053/statm: 67106 4971 64 169 0 66936 0
[pid=22036/tid=22043] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22043/stat : 22043 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 19 0 5 0 538421678 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 3 0 0 0
[pid=22036/tid=22046] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22046/stat : 22046 (python) S 22034 22036 21633 0 -1 4202560 21 935 0 0 0 0 0 0 21 0 5 0 538421680 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22049] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22049/stat : 22049 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 23 0 5 0 538421683 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22052] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22052/stat : 22052 (python) S 22034 22036 21633 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 5 0 538421687 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 29.82
Current children cumulated vsize (KiB) 2769212

[startup+9.1009 s]
/proc/loadavg: 8.27 7.78 5.14 9/257 22056
/proc/meminfo: memFree=28187752/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=322056 CPUtime=1.3 cores=1,3,5,7
/proc/22036/stat : 22036 (python) S 22034 22036 21633 0 -1 4202496 13984 935 1 0 118 12 0 0 20 0 5 0 538421528 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22036/statm: 80514 7711 1881 364 0 16423 0
[pid=22042] ppid=22036 vsize=280760 CPUtime=0 cores=1,3,5,7
/proc/22042/stat : 22042 (python) S 22036 22036 21633 0 -1 4202560 882 0 0 0 0 0 0 0 18 0 1 0 538421677 287498240 6152 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751055 0 0 16781312 514 6591054342835372295 0 0 17 3 0 0 0
/proc/22042/statm: 70190 6152 377 364 0 6108 0
[pid=22044] ppid=22042 vsize=268420 CPUtime=7.59 cores=1,3,5,7
/proc/22044/stat : 22044 (hybridGM3) R 22042 22044 22044 0 -1 4202496 5233 0 0 0 759 0 0 0 25 0 1 0 538421678 274862080 4970 33554432000 134512640 135204385 4287771440 18446744073709551615 134547418 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/22044/statm: 67105 4970 64 169 0 66935 0
[pid=22045] ppid=22036 vsize=291168 CPUtime=0 cores=1,3,5,7
/proc/22045/stat : 22045 (python) S 22036 22036 21633 0 -1 4202560 887 0 0 0 0 0 0 0 18 0 1 0 538421680 298156032 6171 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 4599715364752818437 0 0 17 7 0 0 0
/proc/22045/statm: 72792 6171 370 364 0 8707 0
[pid=22047] ppid=22045 vsize=456728 CPUtime=7.55 cores=1,3,5,7
/proc/22047/stat : 22047 (TNM) R 22045 22047 22047 0 -1 4202496 1167 0 0 0 755 0 0 0 25 0 1 0 538421681 467689472 902 33554432000 134512640 135008748 4292654080 18446744073709551615 134524772 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/22047/statm: 114182 902 46 122 0 113082 0
[pid=22048] ppid=22036 vsize=301424 CPUtime=0 cores=1,3,5,7
/proc/22048/stat : 22048 (python) S 22036 22036 21633 0 -1 4202560 898 0 0 0 0 0 0 0 18 0 1 0 538421683 308658176 6175 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 4405077617380655364 0 0 17 7 0 0 0
/proc/22048/statm: 75356 6175 370 364 0 11268 0
[pid=22050] ppid=22048 vsize=268420 CPUtime=7.45 cores=1,3,5,7
/proc/22050/stat : 22050 (hybridGM3) R 22048 22050 22050 0 -1 4202496 5232 0 0 0 745 0 0 0 25 0 1 0 538421684 274862080 4969 33554432000 134512640 135204385 4289736848 18446744073709551615 134537292 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/22050/statm: 67105 4969 64 169 0 66935 0
[pid=22051] ppid=22036 vsize=311812 CPUtime=0 cores=1,3,5,7
/proc/22051/stat : 22051 (python) S 22036 22036 21633 0 -1 4202560 924 0 0 0 0 0 0 0 18 0 1 0 538421686 319295488 6197 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 237630580458488069 0 0 17 1 0 0 0
/proc/22051/statm: 77953 6197 371 364 0 13862 0
[pid=22053] ppid=22051 vsize=268424 CPUtime=7.49 cores=1,3,5,7
/proc/22053/stat : 22053 (hybridGM3) R 22051 22053 22053 0 -1 4202496 5234 0 0 0 749 0 0 0 25 0 1 0 538421687 274866176 4971 33554432000 134512640 135204385 4291701248 18446744073709551615 134537403 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22053/statm: 67106 4971 64 169 0 66936 0
[pid=22036/tid=22043] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22043/stat : 22043 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 19 0 5 0 538421678 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 3 0 0 0
[pid=22036/tid=22046] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22046/stat : 22046 (python) S 22034 22036 21633 0 -1 4202560 21 935 0 0 0 0 0 0 21 0 5 0 538421680 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22049] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22049/stat : 22049 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 23 0 5 0 538421683 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22052] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22052/stat : 22052 (python) S 22034 22036 21633 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 5 0 538421687 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 31.38
Current children cumulated vsize (KiB) 2769212

[startup+9.50082 s]
/proc/loadavg: 8.27 7.78 5.14 9/257 22056
/proc/meminfo: memFree=28187752/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=322056 CPUtime=1.3 cores=1,3,5,7
/proc/22036/stat : 22036 (python) S 22034 22036 21633 0 -1 4202496 13984 935 1 0 118 12 0 0 20 0 5 0 538421528 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22036/statm: 80514 7711 1881 364 0 16423 0
[pid=22042] ppid=22036 vsize=280760 CPUtime=0 cores=1,3,5,7
/proc/22042/stat : 22042 (python) S 22036 22036 21633 0 -1 4202560 882 0 0 0 0 0 0 0 18 0 1 0 538421677 287498240 6152 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751055 0 0 16781312 514 6591054342835372295 0 0 17 3 0 0 0
/proc/22042/statm: 70190 6152 377 364 0 6108 0
[pid=22044] ppid=22042 vsize=268420 CPUtime=7.99 cores=1,3,5,7
/proc/22044/stat : 22044 (hybridGM3) R 22042 22044 22044 0 -1 4202496 5233 0 0 0 799 0 0 0 25 0 1 0 538421678 274862080 4970 33554432000 134512640 135204385 4287771440 18446744073709551615 134537613 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/22044/statm: 67105 4970 64 169 0 66935 0
[pid=22045] ppid=22036 vsize=291168 CPUtime=0 cores=1,3,5,7
/proc/22045/stat : 22045 (python) S 22036 22036 21633 0 -1 4202560 887 0 0 0 0 0 0 0 18 0 1 0 538421680 298156032 6171 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 4599715364752818437 0 0 17 7 0 0 0
/proc/22045/statm: 72792 6171 370 364 0 8707 0
[pid=22047] ppid=22045 vsize=456728 CPUtime=7.95 cores=1,3,5,7
/proc/22047/stat : 22047 (TNM) R 22045 22047 22047 0 -1 4202496 1167 0 0 0 795 0 0 0 25 0 1 0 538421681 467689472 902 33554432000 134512640 135008748 4292654080 18446744073709551615 134527503 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/22047/statm: 114182 902 46 122 0 113082 0
[pid=22048] ppid=22036 vsize=301424 CPUtime=0 cores=1,3,5,7
/proc/22048/stat : 22048 (python) S 22036 22036 21633 0 -1 4202560 898 0 0 0 0 0 0 0 18 0 1 0 538421683 308658176 6175 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 4405077617380655364 0 0 17 7 0 0 0
/proc/22048/statm: 75356 6175 370 364 0 11268 0
[pid=22050] ppid=22048 vsize=268420 CPUtime=7.85 cores=1,3,5,7
/proc/22050/stat : 22050 (hybridGM3) R 22048 22050 22050 0 -1 4202496 5232 0 0 0 785 0 0 0 25 0 1 0 538421684 274862080 4969 33554432000 134512640 135204385 4289736848 18446744073709551615 134537403 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/22050/statm: 67105 4969 64 169 0 66935 0
[pid=22051] ppid=22036 vsize=311812 CPUtime=0 cores=1,3,5,7
/proc/22051/stat : 22051 (python) S 22036 22036 21633 0 -1 4202560 924 0 0 0 0 0 0 0 18 0 1 0 538421686 319295488 6197 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751110 0 0 16781312 514 237630580458488069 0 0 17 1 0 0 0
/proc/22051/statm: 77953 6197 371 364 0 13862 0
[pid=22053] ppid=22051 vsize=268424 CPUtime=7.89 cores=1,3,5,7
/proc/22053/stat : 22053 (hybridGM3) R 22051 22053 22053 0 -1 4202496 5234 0 0 0 789 0 0 0 25 0 1 0 538421687 274866176 4971 33554432000 134512640 135204385 4291701248 18446744073709551615 134536646 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22053/statm: 67106 4971 64 169 0 66936 0
[pid=22036/tid=22043] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22043/stat : 22043 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 19 0 5 0 538421678 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 3 0 0 0
[pid=22036/tid=22046] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22046/stat : 22046 (python) S 22034 22036 21633 0 -1 4202560 21 935 0 0 0 0 0 0 21 0 5 0 538421680 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22049] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22049/stat : 22049 (python) S 22034 22036 21633 0 -1 4202560 24 935 0 0 0 0 0 0 23 0 5 0 538421683 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22052] ppid=22034 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/22036/task/22052/stat : 22052 (python) S 22034 22036 21633 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 5 0 538421687 329785344 7711 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 32.98
Current children cumulated vsize (KiB) 2769212

[startup+9.60081 s]
/proc/loadavg: 8.27 7.78 5.14 9/257 22056
/proc/meminfo: memFree=28187752/32951124 swapFree=67111356/67111528
[pid=22036] ppid=22034 vsize=322056 CPUtime=9.27 cores=1,3,5,7
/proc/22036/stat : 22036 (python) S 22034 22036 21633 0 -1 4202496 14169 7114 1 0 118 12 795 2 17 0 5 0 538421528 329785344 7712 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917561151 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22036/statm: 80514 7712 1882 364 0 16423 0
[pid=22042] ppid=22036 vsize=280760 CPUtime=0 cores=1,3,5,7
/proc/22042/stat : 22042 (python) S 22036 22036 21633 0 -1 4202560 882 0 0 0 0 0 0 0 18 0 1 0 538421677 287498240 6152 33554432000 4194304 5683644 140733962537776 18446744073709551615 218905751055 0 0 16781312 514 6591054342835372295 0 0 17 3 0 0 0
/proc/22042/statm: 70190 6152 377 364 0 6108 0
[pid=22044] ppid=22042 vsize=268420 CPUtime=8.09 cores=1,3,5,7
/proc/22044/stat : 22044 (hybridGM3) R 22042 22044 22044 0 -1 4202496 5233 0 0 0 809 0 0 0 25 0 1 0 538421678 274862080 4970 33554432000 134512640 135204385 4287771440 18446744073709551615 134536929 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/22044/statm: 67105 4970 64 169 0 66935 0
[pid=22045] ppid=22036 vsize=0 CPUtime=8.05 cores=1,3,5,7
/proc/22045/stat : 22045 (python) Z 22036 22036 21633 0 -1 4202588 1336 1183 0 0 0 1 804 0 18 0 1 0 538421680 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 7 0 0 0
/proc/22045/statm: 0 0 0 0 0 0 0
[pid=22036/tid=22043] ppid=22034 vsize=322056 CPUtime=15.98 cores=1,3,5,7
/proc/22036/task/22043/stat : 22043 (python) S 22034 22036 21633 0 -1 4202560 24 13321 0 0 0 0 1595 3 19 0 5 0 538421678 329785344 7712 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 3 0 0 0
[pid=22036/tid=22046] ppid=22034 vsize=322056 CPUtime=15.98 cores=1,3,5,7
/proc/22036/task/22046/stat : 22046 (python) S 22034 22036 21633 0 -1 4202560 21 13321 0 0 0 0 1595 3 21 0 5 0 538421680 329785344 7712 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22049] ppid=22034 vsize=322056 CPUtime=15.98 cores=1,3,5,7
/proc/22036/task/22049/stat : 22049 (python) S 22034 22036 21633 0 -1 4202560 24 13321 0 0 0 0 1595 3 23 0 5 0 538421683 329785344 7712 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 7 0 0 0
[pid=22036/tid=22052] ppid=22034 vsize=322056 CPUtime=15.98 cores=1,3,5,7
/proc/22036/task/22052/stat : 22052 (python) S 22034 22036 21633 0 -1 4202560 29 13321 0 0 0 0 1595 3 20 0 5 0 538421687 329785344 7712 33554432000 4194304 5683644 140733962537776 18446744073709551615 218917554609 0 0 16781312 2 18446604468832626624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 871236

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 7.57
#  lost CPU user time (s): 7.6
#  lost CPU system time (s): -0.03

Real time (s): 9.62509
CPU time (s): 41.0889
CPU user time (s): 40.9219
CPU system time (s): 0.16697
CPU usage (%): 426.893
Max. virtual memory (cumulated for all children) (KiB): 2769212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.3219
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40918
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= 3080
involuntary context switches= 305

runsolver used 0.012998 second user time and 0.05999 second system time

The end