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-3317177-1304267996/watcher-3317177-1304267996 -o /tmp/evaluation-result-3317177-1304267996/solver-3317177-1304267996 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317177-1304267996.cnf -seed 1317240943 -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: 7.90 7.32 4.26 5/217 12716
/proc/meminfo: memFree=29685312/32950928 swapFree=67086616/67111528
[pid=12716] ppid=12714 vsize=15752 CPUtime=0 cores=1,3,5,7
/proc/12716/stat : 12716 (python) S 12714 12716 12303 0 -1 4202496 840 0 0 0 0 0 0 0 25 0 1 0 538396731 16130048 723 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/12716/statm: 3938 723 334 364 0 425 0

[startup+0.096085 s]
/proc/loadavg: 7.90 7.32 4.26 5/217 12716
/proc/meminfo: memFree=29685312/32950928 swapFree=67086616/67111528
[pid=12716] ppid=12714 vsize=102008 CPUtime=0.06 cores=1,3,5,7
/proc/12716/stat : 12716 (python) R 12714 12716 12303 0 -1 4202496 3002 0 0 0 5 1 0 0 17 0 1 0 538396731 104456192 2694 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476738183 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12716/statm: 25502 2694 841 364 0 1802 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 102008

[startup+0.101092 s]
/proc/loadavg: 7.90 7.32 4.26 5/217 12716
/proc/meminfo: memFree=29685312/32950928 swapFree=67086616/67111528
[pid=12716] ppid=12714 vsize=104228 CPUtime=0.06 cores=1,3,5,7
/proc/12716/stat : 12716 (python) R 12714 12716 12303 0 -1 4202496 3072 0 0 0 5 1 0 0 17 0 1 0 538396731 106729472 2752 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476692992 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/12716/statm: 26057 2752 847 364 0 1805 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 104228

[startup+0.30129 s]
/proc/loadavg: 7.90 7.32 4.26 5/217 12716
/proc/meminfo: memFree=29685312/32950928 swapFree=67086616/67111528
[pid=12716] ppid=12714 vsize=187688 CPUtime=0.23 cores=1,3,5,7
/proc/12716/stat : 12716 (python) S 12714 12716 12303 0 -1 4202496 6826 932 1 0 18 5 0 0 17 0 1 0 538396731 192192512 4882 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/12716/statm: 46922 4882 1399 364 0 3723 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 187688

[startup+0.700966 s]
/proc/loadavg: 7.90 7.32 4.26 5/217 12716
/proc/meminfo: memFree=29685312/32950928 swapFree=67086616/67111528
[pid=12716] ppid=12714 vsize=282456 CPUtime=0.61 cores=1,3,5,7
/proc/12716/stat : 12716 (python) R 12714 12716 12303 0 -1 4202496 10988 932 1 0 53 8 0 0 17 0 1 0 538396731 289234944 7999 33554432000 4194304 5683644 140734381069552 18446744073709551615 47031470796187 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12716/statm: 70614 7999 1826 364 0 6538 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 282456

[startup+1.50075 s]
/proc/loadavg: 7.90 7.32 4.26 6/218 12721
/proc/meminfo: memFree=29658520/32950928 swapFree=67086616/67111528
[pid=12716] ppid=12714 vsize=322056 CPUtime=1.3 cores=1,3,5,7
/proc/12716/stat : 12716 (python) S 12714 12716 12303 0 -1 4202496 13983 932 1 0 121 9 0 0 20 0 5 0 538396731 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488521675 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12716/statm: 80514 7711 1881 364 0 16423 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 322056

[startup+3.10144 s]
/proc/loadavg: 7.90 7.32 4.26 9/230 12733
/proc/meminfo: memFree=29583140/32950928 swapFree=67086616/67111528
[pid=12716] ppid=12714 vsize=322056 CPUtime=1.3 cores=1,3,5,7
/proc/12716/stat : 12716 (python) S 12714 12716 12303 0 -1 4202496 13983 932 1 0 121 9 0 0 20 0 5 0 538396731 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488521675 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12716/statm: 80514 7711 1881 364 0 16423 0
[pid=12722] ppid=12716 vsize=280756 CPUtime=0 cores=1,3,5,7
/proc/12722/stat : 12722 (python) S 12716 12716 12303 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 538396861 287494144 6128 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715023 0 0 16781312 514 12718395424797327621 0 0 17 1 0 0 0
/proc/12722/statm: 70189 6128 354 364 0 6107 0
[pid=12724] ppid=12722 vsize=268424 CPUtime=1.78 cores=1,3,5,7
/proc/12724/stat : 12724 (hybridGM3) R 12722 12724 12724 0 -1 4202496 5233 0 0 0 178 0 0 0 25 0 1 0 538396861 274866176 4970 33554432000 134512640 135204385 4294943008 18446744073709551615 134537228 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12724/statm: 67106 4970 64 169 0 66936 0
[pid=12725] ppid=12716 vsize=291164 CPUtime=0 cores=1,3,5,7
/proc/12725/stat : 12725 (python) S 12716 12716 12303 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 538396864 298151936 6149 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 17363676746133536767 0 0 17 1 0 0 0
/proc/12725/statm: 72791 6149 348 364 0 8706 0
[pid=12727] ppid=12725 vsize=452900 CPUtime=1.76 cores=1,3,5,7
/proc/12727/stat : 12727 (TNM) R 12725 12727 12727 0 -1 4202496 1166 0 0 0 176 0 0 0 25 0 1 0 538396864 463769600 901 33554432000 134512640 135008748 4290327168 18446744073709551615 134528448 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/12727/statm: 113225 901 46 122 0 112125 0
[pid=12728] ppid=12716 vsize=301420 CPUtime=0 cores=1,3,5,7
/proc/12728/stat : 12728 (python) S 12716 12716 12303 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 538396867 308654080 6153 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 6758450864995664135 0 0 17 5 0 0 0
/proc/12728/statm: 75355 6153 348 364 0 11267 0
[pid=12730] ppid=12728 vsize=268420 CPUtime=1.72 cores=1,3,5,7
/proc/12730/stat : 12730 (hybridGM3) R 12728 12730 12730 0 -1 4202496 5234 0 0 0 172 0 0 0 25 0 1 0 538396867 274862080 4969 33554432000 134512640 135204385 4293571744 18446744073709551615 134537020 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/12730/statm: 67105 4969 64 169 0 66935 0
[pid=12731] ppid=12716 vsize=311812 CPUtime=0 cores=1,3,5,7
/proc/12731/stat : 12731 (python) S 12716 12716 12303 0 -1 4202560 749 0 0 0 0 0 0 0 18 0 1 0 538396870 319295488 6174 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 4473583239105052935 0 0 17 1 0 0 0
/proc/12731/statm: 77953 6174 348 364 0 13862 0
[pid=12733] ppid=12731 vsize=268424 CPUtime=1.69 cores=1,3,5,7
/proc/12733/stat : 12733 (hybridGM3) R 12731 12733 12733 0 -1 4202496 5233 0 0 0 169 0 0 0 25 0 1 0 538396870 274866176 4969 33554432000 134512640 135204385 4287784352 18446744073709551615 134546153 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/12733/statm: 67106 4969 64 169 0 66936 0
[pid=12716/tid=12723] ppid=12714 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12723/stat : 12723 (python) S 12714 12716 12303 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 5 0 538396861 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 5 0 0 0
[pid=12716/tid=12726] ppid=12714 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12726/stat : 12726 (python) S 12714 12716 12303 0 -1 4202560 24 932 0 0 0 0 0 0 22 0 5 0 538396864 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 3 0 0 0
[pid=12716/tid=12729] ppid=12714 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12729/stat : 12729 (python) S 12714 12716 12303 0 -1 4202560 19 932 0 0 0 0 0 0 20 0 5 0 538396867 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 5 0 0 0
[pid=12716/tid=12732] ppid=12714 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12732/stat : 12732 (python) S 12714 12716 12303 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 5 0 538396870 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 2765376

[startup+6.30083 s]
/proc/loadavg: 7.91 7.33 4.28 9/230 12733
/proc/meminfo: memFree=29581516/32950928 swapFree=67086616/67111528
[pid=12716] ppid=12714 vsize=322056 CPUtime=1.3 cores=1,3,5,7
/proc/12716/stat : 12716 (python) S 12714 12716 12303 0 -1 4202496 13983 932 1 0 121 9 0 0 20 0 5 0 538396731 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488521675 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12716/statm: 80514 7711 1881 364 0 16423 0
[pid=12722] ppid=12716 vsize=280756 CPUtime=0 cores=1,3,5,7
/proc/12722/stat : 12722 (python) S 12716 12716 12303 0 -1 4202560 883 0 0 0 0 0 0 0 18 0 1 0 538396861 287494144 6151 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715023 0 0 16781312 514 12718395424797327621 0 0 17 1 0 0 0
/proc/12722/statm: 70189 6151 377 364 0 6107 0
[pid=12724] ppid=12722 vsize=268424 CPUtime=4.95 cores=1,3,5,7
/proc/12724/stat : 12724 (hybridGM3) R 12722 12724 12724 0 -1 4202496 5233 0 0 0 495 0 0 0 25 0 1 0 538396861 274866176 4970 33554432000 134512640 135204385 4294943008 18446744073709551615 134547462 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12724/statm: 67106 4970 64 169 0 66936 0
[pid=12725] ppid=12716 vsize=291164 CPUtime=0 cores=1,3,5,7
/proc/12725/stat : 12725 (python) S 12716 12716 12303 0 -1 4202560 904 0 0 0 0 0 0 0 18 0 1 0 538396864 298151936 6171 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 17363676746133504264 0 0 17 1 0 0 0
/proc/12725/statm: 72791 6171 370 364 0 8706 0
[pid=12727] ppid=12725 vsize=452900 CPUtime=4.96 cores=1,3,5,7
/proc/12727/stat : 12727 (TNM) R 12725 12727 12727 0 -1 4202496 1166 0 0 0 496 0 0 0 25 0 1 0 538396864 463769600 901 33554432000 134512640 135008748 4290327168 18446744073709551615 134528942 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/12727/statm: 113225 901 46 122 0 112125 0
[pid=12728] ppid=12716 vsize=301420 CPUtime=0 cores=1,3,5,7
/proc/12728/stat : 12728 (python) S 12716 12716 12303 0 -1 4202560 891 0 0 0 0 0 0 0 18 0 1 0 538396867 308654080 6176 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 6758450864995664135 0 0 17 5 0 0 0
/proc/12728/statm: 75355 6176 371 364 0 11267 0
[pid=12730] ppid=12728 vsize=268420 CPUtime=4.9 cores=1,3,5,7
/proc/12730/stat : 12730 (hybridGM3) R 12728 12730 12730 0 -1 4202496 5235 0 0 0 490 0 0 0 25 0 1 0 538396867 274862080 4970 33554432000 134512640 135204385 4293571744 18446744073709551615 134537292 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/12730/statm: 67105 4970 64 169 0 66935 0
[pid=12731] ppid=12716 vsize=311812 CPUtime=0 cores=1,3,5,7
/proc/12731/stat : 12731 (python) S 12716 12716 12303 0 -1 4202560 932 0 0 0 0 0 0 0 18 0 1 0 538396870 319295488 6197 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 4473583239105052935 0 0 17 1 0 0 0
/proc/12731/statm: 77953 6197 371 364 0 13862 0
[pid=12733] ppid=12731 vsize=268424 CPUtime=4.88 cores=1,3,5,7
/proc/12733/stat : 12733 (hybridGM3) R 12731 12733 12733 0 -1 4202496 5234 0 0 0 488 0 0 0 25 0 1 0 538396870 274866176 4970 33554432000 134512640 135204385 4287784352 18446744073709551615 134537242 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/12733/statm: 67106 4970 64 169 0 66936 0
[pid=12716/tid=12723] ppid=12714 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12723/stat : 12723 (python) S 12714 12716 12303 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 5 0 538396861 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 5 0 0 0
[pid=12716/tid=12726] ppid=12714 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12726/stat : 12726 (python) S 12714 12716 12303 0 -1 4202560 24 932 0 0 0 0 0 0 22 0 5 0 538396864 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 3 0 0 0
[pid=12716/tid=12729] ppid=12714 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12729/stat : 12729 (python) S 12714 12716 12303 0 -1 4202560 19 932 0 0 0 0 0 0 20 0 5 0 538396867 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 5 0 0 0
[pid=12716/tid=12732] ppid=12714 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12732/stat : 12732 (python) S 12714 12716 12303 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 5 0 538396870 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.99
Current children cumulated vsize (KiB) 2765376

[startup+12.7006 s]
/proc/loadavg: 7.92 7.34 4.30 9/230 12733
/proc/meminfo: memFree=29581028/32950928 swapFree=67086616/67111528
[pid=12716] ppid=12714 vsize=322056 CPUtime=1.3 cores=1,3,5,7
/proc/12716/stat : 12716 (python) S 12714 12716 12303 0 -1 4202496 13983 932 1 0 121 9 0 0 20 0 5 0 538396731 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488521675 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12716/statm: 80514 7711 1881 364 0 16423 0
[pid=12722] ppid=12716 vsize=280756 CPUtime=0.01 cores=1,3,5,7
/proc/12722/stat : 12722 (python) S 12716 12716 12303 0 -1 4202560 885 0 0 0 1 0 0 0 18 0 1 0 538396861 287494144 6151 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715023 0 0 16781312 514 7523456691568869637 0 0 17 1 0 0 0
/proc/12722/statm: 70189 6151 377 364 0 6107 0
[pid=12724] ppid=12722 vsize=268424 CPUtime=11.32 cores=1,3,5,7
/proc/12724/stat : 12724 (hybridGM3) R 12722 12724 12724 0 -1 4202496 5234 0 0 0 1132 0 0 0 25 0 1 0 538396861 274866176 4971 33554432000 134512640 135204385 4294943008 18446744073709551615 134537249 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12724/statm: 67106 4971 64 169 0 66936 0
[pid=12725] ppid=12716 vsize=291164 CPUtime=0.01 cores=1,3,5,7
/proc/12725/stat : 12725 (python) S 12716 12716 12303 0 -1 4202560 908 0 0 0 0 1 0 0 18 0 1 0 538396864 298151936 6172 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 7523456691568869640 0 0 17 1 0 0 0
/proc/12725/statm: 72791 6172 371 364 0 8706 0
[pid=12727] ppid=12725 vsize=452900 CPUtime=11.36 cores=1,3,5,7
/proc/12727/stat : 12727 (TNM) R 12725 12727 12727 0 -1 4202496 1166 0 0 0 1136 0 0 0 25 0 1 0 538396864 463769600 901 33554432000 134512640 135008748 4290327168 18446744073709551615 134529367 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/12727/statm: 113225 901 46 122 0 112125 0
[pid=12728] ppid=12716 vsize=301420 CPUtime=0.01 cores=1,3,5,7
/proc/12728/stat : 12728 (python) S 12716 12716 12303 0 -1 4202560 892 0 0 0 0 1 0 0 18 0 1 0 538396867 308654080 6176 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 7523456691568869639 0 0 17 5 0 0 0
/proc/12728/statm: 75355 6176 371 364 0 11267 0
[pid=12730] ppid=12728 vsize=268420 CPUtime=11.25 cores=1,3,5,7
/proc/12730/stat : 12730 (hybridGM3) R 12728 12730 12730 0 -1 4202496 5235 0 0 0 1125 0 0 0 25 0 1 0 538396867 274862080 4970 33554432000 134512640 135204385 4293571744 18446744073709551615 134536646 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/12730/statm: 67105 4970 64 169 0 66935 0
[pid=12731] ppid=12716 vsize=311812 CPUtime=0.01 cores=1,3,5,7
/proc/12731/stat : 12731 (python) S 12716 12716 12303 0 -1 4202560 936 0 0 0 0 1 0 0 18 0 1 0 538396870 319295488 6197 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 7523456691568869639 0 0 17 1 0 0 0
/proc/12731/statm: 77953 6197 371 364 0 13862 0
[pid=12733] ppid=12731 vsize=268424 CPUtime=11.27 cores=1,3,5,7
/proc/12733/stat : 12733 (hybridGM3) R 12731 12733 12733 0 -1 4202496 5234 0 0 0 1127 0 0 0 25 0 1 0 538396870 274866176 4970 33554432000 134512640 135204385 4287784352 18446744073709551615 134537272 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/12733/statm: 67106 4970 64 169 0 66936 0
[pid=12716/tid=12723] ppid=12714 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12723/stat : 12723 (python) S 12714 12716 12303 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 5 0 538396861 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 5 0 0 0
[pid=12716/tid=12726] ppid=12714 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12726/stat : 12726 (python) S 12714 12716 12303 0 -1 4202560 24 932 0 0 0 0 0 0 22 0 5 0 538396864 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 3 0 0 0
[pid=12716/tid=12729] ppid=12714 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12729/stat : 12729 (python) S 12714 12716 12303 0 -1 4202560 19 932 0 0 0 0 0 0 20 0 5 0 538396867 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 5 0 0 0
[pid=12716/tid=12732] ppid=12714 vsize=322056 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12732/stat : 12732 (python) S 12714 12716 12303 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 5 0 538396870 329785344 7711 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46.54
Current children cumulated vsize (KiB) 2765376

[startup+25.5011 s]
/proc/loadavg: 8.01 7.39 4.36 9/230 12733
/proc/meminfo: memFree=29577544/32950928 swapFree=67086616/67111528
[pid=12716] ppid=12714 vsize=322056 CPUtime=1.3 cores=1,3,5,7

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

/proc/12728/statm: 75355 6206 400 364 0 11267 0
[pid=12730] ppid=12728 vsize=268420 CPUtime=102.58 cores=1,3,5,7
/proc/12730/stat : 12730 (hybridGM3) R 12728 12730 12730 0 -1 4202496 5236 0 0 0 10258 0 0 0 25 0 1 0 538396867 274862080 4971 33554432000 134512640 135204385 4293571744 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/12730/statm: 67105 4971 64 169 0 66935 0
[pid=12728/tid=12761] ppid=12716 vsize=301420 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12761/stat : 12761 (python) S 12716 12716 12303 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538406886 308654080 6206 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 514 18446604463076202304 0 0 -1 5 0 0 0
[pid=12731] ppid=12716 vsize=311812 CPUtime=0.14 cores=1,3,5,7
/proc/12731/stat : 12731 (python) S 12716 12716 12303 0 -1 4202560 1122 0 0 0 5 9 0 0 19 0 2 0 538396870 319295488 6227 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488521675 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12731/statm: 77953 6227 400 364 0 13862 0
[pid=12733] ppid=12731 vsize=268424 CPUtime=100.02 cores=1,3,5,7
/proc/12733/stat : 12733 (hybridGM3) T 12731 12733 12733 0 -1 4202496 5235 0 0 0 10002 0 0 0 25 0 1 0 538396870 274866176 4971 33554432000 134512640 135204385 4287784352 18446744073709551615 134537233 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/12733/statm: 67106 4971 64 169 0 66936 0
[pid=12731/tid=12762] ppid=12716 vsize=311812 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12762/stat : 12762 (python) S 12716 12716 12303 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538406889 319295488 6227 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 514 18446604471134149696 0 0 -1 1 0 0 0
[pid=12755] ppid=12716 vsize=322068 CPUtime=0 cores=1,3,5,7
/proc/12755/stat : 12755 (python) S 12716 12716 12303 0 -1 4202560 764 0 0 0 0 0 0 0 18 0 1 0 538406882 329797632 6178 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 4546688667724251398 0 0 17 1 0 0 0
/proc/12755/statm: 80517 6178 348 364 0 16423 0
[pid=12757] ppid=12755 vsize=268428 CPUtime=3.16 cores=1,3,5,7
/proc/12757/stat : 12757 (hybridGM3) R 12755 12757 12757 0 -1 4202496 5234 0 0 0 316 0 0 0 25 0 1 0 538406882 274870272 4969 33554432000 134512640 135204385 4291455696 18446744073709551615 134546082 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/12757/statm: 67107 4969 64 169 0 66937 0
[pid=12758] ppid=12716 vsize=331948 CPUtime=0 cores=1,3,5,7
/proc/12758/stat : 12758 (python) S 12716 12716 12303 0 -1 4202560 759 0 0 0 0 0 0 0 18 0 1 0 538406885 339914752 6104 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 4540851085614481672 0 0 17 3 0 0 0
/proc/12758/statm: 82987 6104 348 364 0 18890 0
[pid=12760] ppid=12758 vsize=1018864 CPUtime=3.12 cores=1,3,5,7
/proc/12760/stat : 12760 (gnovelty+2) R 12758 12760 12760 0 -1 4202496 834 0 0 0 312 0 0 0 25 0 1 0 538406886 1043316736 571 33554432000 134512640 135663704 4289361696 18446744073709551615 134524670 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/12760/statm: 254716 571 113 282 0 254432 0
[pid=12716/tid=12723] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12723/stat : 12723 (python) S 12714 12716 12303 0 -1 4202560 30 932 0 0 0 0 0 0 18 0 7 0 538396861 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 5 0 0 0
[pid=12716/tid=12726] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12726/stat : 12726 (python) S 12714 12716 12303 0 -1 4202560 24 932 0 0 0 0 0 0 22 0 7 0 538396864 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 3 0 0 0
[pid=12716/tid=12729] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12729/stat : 12729 (python) S 12714 12716 12303 0 -1 4202560 24 932 0 0 0 0 0 0 18 0 7 0 538396867 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 5 0 0 0
[pid=12716/tid=12732] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12732/stat : 12732 (python) S 12714 12716 12303 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 7 0 538396870 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 1 0 0 0
[pid=12716/tid=12756] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12756/stat : 12756 (python) S 12714 12716 12303 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 7 0 538406882 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 1 0 0 0
[pid=12716/tid=12759] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12759/stat : 12759 (python) S 12714 12716 12303 0 -1 4202560 28 932 0 0 0 0 0 0 22 0 7 0 538406886 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 413.88
Current children cumulated vsize (KiB) 4742276

[startup+105.502 s]
/proc/loadavg: 8.09 7.56 4.67 9/256 12762
/proc/meminfo: memFree=29513176/32950928 swapFree=67086616/67111528
[pid=12716] ppid=12714 vsize=342732 CPUtime=1.43 cores=1,3,5,7
/proc/12716/stat : 12716 (python) S 12714 12716 12303 0 -1 4202496 16389 932 1 0 133 10 0 0 22 0 7 0 538396731 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488521675 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12716/statm: 85683 7765 1886 364 0 21586 0
[pid=12722] ppid=12716 vsize=291000 CPUtime=0.15 cores=1,3,5,7
/proc/12722/stat : 12722 (python) S 12716 12716 12303 0 -1 4202560 1071 0 0 0 8 7 0 0 18 0 2 0 538396861 297984000 6190 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12722/statm: 72750 6190 411 364 0 8668 0
[pid=12724] ppid=12722 vsize=269268 CPUtime=103.66 cores=1,3,5,7
/proc/12724/stat : 12724 (hybridGM3) R 12722 12724 12724 0 -1 4202496 6712 0 0 0 10366 0 0 0 25 0 1 0 538396861 275730432 5702 33554432000 134512640 135204385 4294943008 18446744073709551615 134536986 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12724/statm: 67317 5702 85 169 0 67147 0
[pid=12722/tid=12754] ppid=12716 vsize=291000 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12754/stat : 12754 (python) S 12716 12716 12303 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538406881 297984000 6190 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 514 18446604460168892736 0 0 -1 1 0 0 0
[pid=12725] ppid=12716 vsize=291164 CPUtime=0.15 cores=1,3,5,7
/proc/12725/stat : 12725 (python) S 12716 12716 12303 0 -1 4202560 1087 0 0 0 9 6 0 0 19 0 2 0 538396864 298151936 6202 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488521675 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12725/statm: 72791 6202 400 364 0 8706 0
[pid=12727] ppid=12725 vsize=456728 CPUtime=100.13 cores=1,3,5,7
/proc/12727/stat : 12727 (TNM) T 12725 12727 12727 0 -1 4202496 1167 0 0 0 10013 0 0 0 25 0 1 0 538396864 467689472 902 33554432000 134512640 135008748 4290327168 18446744073709551615 134529398 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12727/statm: 114182 902 46 122 0 113082 0
[pid=12725/tid=12753] ppid=12716 vsize=291164 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12753/stat : 12753 (python) S 12716 12716 12303 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538406878 298151936 6202 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 514 18446604456955489280 0 0 -1 1 0 0 0
[pid=12728] ppid=12716 vsize=301420 CPUtime=0.15 cores=1,3,5,7
/proc/12728/stat : 12728 (python) S 12716 12716 12303 0 -1 4202560 1077 0 0 0 8 7 0 0 18 0 2 0 538396867 308654080 6206 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/12728/statm: 75355 6206 400 364 0 11267 0
[pid=12730] ppid=12728 vsize=268420 CPUtime=103.39 cores=1,3,5,7
/proc/12730/stat : 12730 (hybridGM3) R 12728 12730 12730 0 -1 4202496 5236 0 0 0 10339 0 0 0 25 0 1 0 538396867 274862080 4971 33554432000 134512640 135204385 4293571744 18446744073709551615 134537249 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/12730/statm: 67105 4971 64 169 0 66935 0
[pid=12728/tid=12761] ppid=12716 vsize=301420 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12761/stat : 12761 (python) S 12716 12716 12303 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538406886 308654080 6206 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 514 18446604463076202304 0 0 -1 5 0 0 0
[pid=12731] ppid=12716 vsize=311812 CPUtime=0.14 cores=1,3,5,7
/proc/12731/stat : 12731 (python) S 12716 12716 12303 0 -1 4202560 1122 0 0 0 5 9 0 0 19 0 2 0 538396870 319295488 6227 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488521675 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12731/statm: 77953 6227 400 364 0 13862 0
[pid=12733] ppid=12731 vsize=268424 CPUtime=100.02 cores=1,3,5,7
/proc/12733/stat : 12733 (hybridGM3) T 12731 12733 12733 0 -1 4202496 5235 0 0 0 10002 0 0 0 25 0 1 0 538396870 274866176 4971 33554432000 134512640 135204385 4287784352 18446744073709551615 134537233 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/12733/statm: 67106 4971 64 169 0 66936 0
[pid=12731/tid=12762] ppid=12716 vsize=311812 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12762/stat : 12762 (python) S 12716 12716 12303 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538406889 319295488 6227 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 514 18446604471134149696 0 0 -1 1 0 0 0
[pid=12755] ppid=12716 vsize=322068 CPUtime=0 cores=1,3,5,7
/proc/12755/stat : 12755 (python) S 12716 12716 12303 0 -1 4202560 764 0 0 0 0 0 0 0 18 0 1 0 538406882 329797632 6178 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 4546688667724251398 0 0 17 1 0 0 0
/proc/12755/statm: 80517 6178 348 364 0 16423 0
[pid=12757] ppid=12755 vsize=268428 CPUtime=3.97 cores=1,3,5,7
/proc/12757/stat : 12757 (hybridGM3) R 12755 12757 12757 0 -1 4202496 5235 0 0 0 397 0 0 0 25 0 1 0 538406882 274870272 4970 33554432000 134512640 135204385 4291455696 18446744073709551615 134536676 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/12757/statm: 67107 4970 64 169 0 66937 0
[pid=12758] ppid=12716 vsize=331948 CPUtime=0 cores=1,3,5,7
/proc/12758/stat : 12758 (python) S 12716 12716 12303 0 -1 4202560 759 0 0 0 0 0 0 0 18 0 1 0 538406885 339914752 6104 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 4540851085614481672 0 0 17 3 0 0 0
/proc/12758/statm: 82987 6104 348 364 0 18890 0
[pid=12760] ppid=12758 vsize=1018864 CPUtime=3.92 cores=1,3,5,7
/proc/12760/stat : 12760 (gnovelty+2) R 12758 12760 12760 0 -1 4202496 834 0 0 0 392 0 0 0 25 0 1 0 538406886 1043316736 571 33554432000 134512640 135663704 4289361696 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/12760/statm: 254716 571 113 282 0 254432 0
[pid=12716/tid=12723] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12723/stat : 12723 (python) S 12714 12716 12303 0 -1 4202560 30 932 0 0 0 0 0 0 18 0 7 0 538396861 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 5 0 0 0
[pid=12716/tid=12726] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12726/stat : 12726 (python) S 12714 12716 12303 0 -1 4202560 24 932 0 0 0 0 0 0 22 0 7 0 538396864 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 3 0 0 0
[pid=12716/tid=12729] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12729/stat : 12729 (python) S 12714 12716 12303 0 -1 4202560 24 932 0 0 0 0 0 0 18 0 7 0 538396867 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 5 0 0 0
[pid=12716/tid=12732] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12732/stat : 12732 (python) S 12714 12716 12303 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 7 0 538396870 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 1 0 0 0
[pid=12716/tid=12756] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12756/stat : 12756 (python) S 12714 12716 12303 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 7 0 538406882 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 1 0 0 0
[pid=12716/tid=12759] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12759/stat : 12759 (python) S 12714 12716 12303 0 -1 4202560 28 932 0 0 0 0 0 0 22 0 7 0 538406886 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 417.11
Current children cumulated vsize (KiB) 4742276

[startup+105.902 s]
/proc/loadavg: 8.09 7.56 4.67 9/256 12762
/proc/meminfo: memFree=29513176/32950928 swapFree=67086616/67111528
[pid=12716] ppid=12714 vsize=342732 CPUtime=1.43 cores=1,3,5,7
/proc/12716/stat : 12716 (python) S 12714 12716 12303 0 -1 4202496 16389 932 1 0 133 10 0 0 22 0 7 0 538396731 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488521675 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12716/statm: 85683 7765 1886 364 0 21586 0
[pid=12722] ppid=12716 vsize=291000 CPUtime=0.15 cores=1,3,5,7
/proc/12722/stat : 12722 (python) S 12716 12716 12303 0 -1 4202560 1071 0 0 0 8 7 0 0 18 0 2 0 538396861 297984000 6190 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12722/statm: 72750 6190 411 364 0 8668 0
[pid=12724] ppid=12722 vsize=269268 CPUtime=104.04 cores=1,3,5,7
/proc/12724/stat : 12724 (hybridGM3) R 12722 12724 12724 0 -1 4202496 6712 0 0 0 10404 0 0 0 25 0 1 0 538396861 275730432 5702 33554432000 134512640 135204385 4294943008 18446744073709551615 134546059 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12724/statm: 67317 5702 85 169 0 67147 0
[pid=12722/tid=12754] ppid=12716 vsize=291000 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12754/stat : 12754 (python) S 12716 12716 12303 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538406881 297984000 6190 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 514 18446604460168892736 0 0 -1 1 0 0 0
[pid=12725] ppid=12716 vsize=291164 CPUtime=0.15 cores=1,3,5,7
/proc/12725/stat : 12725 (python) S 12716 12716 12303 0 -1 4202560 1087 0 0 0 9 6 0 0 19 0 2 0 538396864 298151936 6202 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488521675 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12725/statm: 72791 6202 400 364 0 8706 0
[pid=12727] ppid=12725 vsize=456728 CPUtime=100.13 cores=1,3,5,7
/proc/12727/stat : 12727 (TNM) T 12725 12727 12727 0 -1 4202496 1167 0 0 0 10013 0 0 0 25 0 1 0 538396864 467689472 902 33554432000 134512640 135008748 4290327168 18446744073709551615 134529398 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12727/statm: 114182 902 46 122 0 113082 0
[pid=12725/tid=12753] ppid=12716 vsize=291164 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12753/stat : 12753 (python) S 12716 12716 12303 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538406878 298151936 6202 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 514 18446604456955489280 0 0 -1 1 0 0 0
[pid=12728] ppid=12716 vsize=301420 CPUtime=0.15 cores=1,3,5,7
/proc/12728/stat : 12728 (python) S 12716 12716 12303 0 -1 4202560 1101 0 0 0 8 7 0 0 15 0 2 0 538396867 308654080 6207 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/12728/statm: 75355 6207 401 364 0 11267 0
[pid=12730] ppid=12728 vsize=0 CPUtime=103.78 cores=1,3,5,7
/proc/12730/stat : 12730 (hybridGM3) R 12728 12730 12730 0 -1 4202500 8014 0 0 0 10377 1 0 0 25 0 1 0 538396867 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/12730/statm: 0 0 0 0 0 0 0
[pid=12728/tid=12761] ppid=12716 vsize=301420 CPUtime=0 cores=1,3,5,7
/proc/12728/task/12761/stat : 12761 (python) S 12716 12716 12303 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538406886 308654080 6207 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 514 18446604463076202304 0 0 -1 5 0 0 0
[pid=12731] ppid=12716 vsize=311812 CPUtime=0.14 cores=1,3,5,7
/proc/12731/stat : 12731 (python) S 12716 12716 12303 0 -1 4202560 1122 0 0 0 5 9 0 0 19 0 2 0 538396870 319295488 6227 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488521675 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12731/statm: 77953 6227 400 364 0 13862 0
[pid=12733] ppid=12731 vsize=268424 CPUtime=100.02 cores=1,3,5,7
/proc/12733/stat : 12733 (hybridGM3) T 12731 12733 12733 0 -1 4202496 5235 0 0 0 10002 0 0 0 25 0 1 0 538396870 274866176 4971 33554432000 134512640 135204385 4287784352 18446744073709551615 134537233 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/12733/statm: 67106 4971 64 169 0 66936 0
[pid=12731/tid=12762] ppid=12716 vsize=311812 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12762/stat : 12762 (python) S 12716 12716 12303 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538406889 319295488 6227 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 514 18446604471134149696 0 0 -1 1 0 0 0
[pid=12755] ppid=12716 vsize=322068 CPUtime=0 cores=1,3,5,7
/proc/12755/stat : 12755 (python) S 12716 12716 12303 0 -1 4202560 932 0 0 0 0 0 0 0 18 0 1 0 538406882 329797632 6201 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 4546688667724251398 0 0 17 1 0 0 0
/proc/12755/statm: 80517 6201 371 364 0 16423 0
[pid=12757] ppid=12755 vsize=268428 CPUtime=4.36 cores=1,3,5,7
/proc/12757/stat : 12757 (hybridGM3) R 12755 12757 12757 0 -1 4202496 5235 0 0 0 436 0 0 0 25 0 1 0 538406882 274870272 4970 33554432000 134512640 135204385 4291455696 18446744073709551615 134536749 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/12757/statm: 67107 4970 64 169 0 66937 0
[pid=12758] ppid=12716 vsize=331948 CPUtime=0 cores=1,3,5,7
/proc/12758/stat : 12758 (python) S 12716 12716 12303 0 -1 4202560 932 0 0 0 0 0 0 0 18 0 1 0 538406885 339914752 6127 33554432000 4194304 5683644 140734381069552 18446744073709551615 239476715078 0 0 16781312 514 4540851085614481672 0 0 17 3 0 0 0
/proc/12758/statm: 82987 6127 371 364 0 18890 0
[pid=12760] ppid=12758 vsize=1018864 CPUtime=4.31 cores=1,3,5,7
/proc/12760/stat : 12760 (gnovelty+2) R 12758 12760 12760 0 -1 4202496 834 0 0 0 431 0 0 0 25 0 1 0 538406886 1043316736 571 33554432000 134512640 135663704 4289361696 18446744073709551615 134524498 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/12760/statm: 254716 571 113 282 0 254432 0
[pid=12716/tid=12723] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12723/stat : 12723 (python) S 12714 12716 12303 0 -1 4202560 30 932 0 0 0 0 0 0 18 0 7 0 538396861 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 5 0 0 0
[pid=12716/tid=12726] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12726/stat : 12726 (python) S 12714 12716 12303 0 -1 4202560 24 932 0 0 0 0 0 0 22 0 7 0 538396864 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 3 0 0 0
[pid=12716/tid=12729] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12729/stat : 12729 (python) S 12714 12716 12303 0 -1 4202560 24 932 0 0 0 0 0 0 18 0 7 0 538396867 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 5 0 0 0
[pid=12716/tid=12732] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12732/stat : 12732 (python) S 12714 12716 12303 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 7 0 538396870 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 1 0 0 0
[pid=12716/tid=12756] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12756/stat : 12756 (python) S 12714 12716 12303 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 7 0 538406882 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 1 0 0 0
[pid=12716/tid=12759] ppid=12714 vsize=342732 CPUtime=0 cores=1,3,5,7
/proc/12716/task/12759/stat : 12759 (python) S 12714 12716 12303 0 -1 4202560 28 932 0 0 0 0 0 0 22 0 7 0 538406886 350957568 7765 33554432000 4194304 5683644 140734381069552 18446744073709551615 239488518577 0 0 16781312 2 18446604454685005696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 418.66
Current children cumulated vsize (KiB) 4473856

Child status: 0
Real time (s): 105.943
CPU time (s): 418.867
CPU user time (s): 418.39
CPU system time (s): 0.476927
CPU usage (%): 395.372
Max. virtual memory (cumulated for all children) (KiB): 4744764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 418.39
system time used= 0.476927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55706
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= 1734
involuntary context switches= 3661

runsolver used 0.223965 second user time and 0.502923 second system time

The end