Les erreurs d'allocation de pages et le blocage du système au démarrage du jeu

Je viens d'acheter un nouveau jeu, mais malheureusement, mon PC se bloque au démarrage. L'examen /var/log/kern.logaprès un redémarrage forcé (par exemple, en appuyant sur le bouton de réinitialisation) montre quelques-unes des erreurs suivantes:

[  609.975750] TaskSchedulerBa: page allocation stalls for 12688ms, order:0, mode:0x14201ca(GFP_HIGHUSER_MOVABLE|__GFP_COLD), nodemask=(null)
[  609.975752] TaskSchedulerBa cpuset=/ mems_allowed=0
[  609.975754] CPU: 1 PID: 1905 Comm: TaskSchedulerBa Tainted: G           OE   4.13.0-21-generic #24-Ubuntu
[  609.975755] Hardware name: To Be Filled By O.E.M. To Be Filled By O.E.M./Z77 Extreme4, BIOS P2.80 01/17/2013
[  609.975755] Call Trace:
[  609.975757]  dump_stack+0x63/0x8b
[  609.975759]  warn_alloc+0x114/0x1c0
[  609.975761]  __alloc_pages_slowpath+0x850/0xe30
[  609.975762]  ? get_page_from_freelist+0xa3/0xb20
[  609.975764]  ? crypt_extent+0x112/0x1a0
[  609.975765]  __alloc_pages_nodemask+0x25d/0x280
[  609.975767]  alloc_pages_current+0x6a/0xe0
[  609.975768]  __page_cache_alloc+0x86/0x90
[  609.975769]  filemap_fault+0x214/0x5e0
[  609.975771]  ? filemap_map_pages+0x179/0x320
[  609.975772]  __do_fault+0x1e/0xb0
[  609.975773]  __handle_mm_fault+0xba7/0x1020
[  609.975775]  handle_mm_fault+0xb1/0x200
[  609.975776]  __do_page_fault+0x24d/0x4d0
[  609.975777]  do_page_fault+0x22/0x30
[  609.975778]  page_fault+0x28/0x30
[  609.975779] RIP: 0033:0x7fc84a1ec427
[  609.975779] RSP: 002b:00007fc83685ea00 EFLAGS: 00010202
[  609.975780] RAX: 0000000000000000 RBX: 00007fc83685ea10 RCX: 00007fc847507b9a
[  609.975781] RDX: 00007fc83685ea30 RSI: 0000000000000000 RDI: 00007fc83685ea30
[  609.975781] RBP: 00007fc83685eae0 R08: 0000000000000000 R09: 0000000000000080
[  609.975782] R10: 00007fc83685e9c0 R11: 0000000000000206 R12: 00007fc83685ea18
[  609.975782] R13: 00000a99eba5aa38 R14: 0000000019fa2701 R15: 00007fc84f1e9298

Je ne suis pas tout à fait sûr de ce que cela pourrait signifier. Je lis ceci car le système manque de RAM; Toutefois, si l’on considère la configuration minimale requise pour le jeu (6 Go requis, le PC en a 8 Go), celui-ci devrait en avoir assez. D'autre part, ma carte graphique (Intel HD 4000) n'est pas officiellement prise en charge, mais cela ne semble pas être lié à l'erreur.

Suis-je vraiment à court de mémoire ici? Certains matériels sont-ils probablement défectueux? Ou est-ce le graphique intégré?

Le système est un Ubuntu Artful assez récent:

~ lsb_release -a      
LSB Version:    core-9.20160110ubuntu5-amd64:core-9.20160110ubuntu5-noarch:security-9.20160110ubuntu5-amd64:security-9.20160110ubuntu5-noarch
Distributor ID: Ubuntu
Description:    Ubuntu 17.10
Release:    17.10
Codename:   artful

Situation de mémoire typique avant de commencer le jeu:

~ free -m
              total        used        free      shared  buff/cache   available
Mem:           7678        1321        3992         343        2364        5758
Swap:          7883           0        7883

Edit: J'ai couru continuellement free -mjusqu'au gel; c'est la dernière entrée:

              total        used        free      shared  buff/cache   available
Mem:           7678        3986         129        3348        3562         104
Swap:          7883          42        7840

Donc, même s'il semble que le système manque vraiment de mémoire, il reste encore beaucoup de swap ...

— Rainer
source