Stderr output

<core_client_version>7.16.3</core_client_version>
<![CDATA[
<stderr_txt>
2020-01-13 09:56:46 (22056): Detected: vboxwrapper 26197
2020-01-13 09:56:46 (22056): Detected: BOINC client v7.7
2020-01-13 09:56:48 (22056): Detected: VirtualBox VboxManage Interface (Version: 5.2.8)
2020-01-13 09:56:49 (22056): Detected: Heartbeat check (file: 'heartbeat' every 1200.000000 seconds)
2020-01-13 09:56:49 (22056): Successfully copied 'init_data.xml' to the shared directory.
2020-01-13 09:56:49 (22056): Successfully copied 'input' to the shared directory.
2020-01-13 09:56:51 (22056): Create VM. (boinc_29452a22276f5707, slot#4)
2020-01-13 09:56:53 (22056): Setting Memory Size for VM. (630MB)
2020-01-13 09:56:54 (22056): Setting CPU Count for VM. (1)
2020-01-13 09:56:54 (22056): Setting Chipset Options for VM.
2020-01-13 09:56:55 (22056): Setting Boot Options for VM.
2020-01-13 09:56:56 (22056): Setting Network Configuration for NAT.
2020-01-13 09:56:56 (22056): Enabling VM Network Access.
2020-01-13 09:56:57 (22056): Disabling USB Support for VM.
2020-01-13 09:56:58 (22056): Disabling COM Port Support for VM.
2020-01-13 09:56:58 (22056): Disabling LPT Port Support for VM.
2020-01-13 09:56:59 (22056): Disabling Audio Support for VM.
2020-01-13 09:57:00 (22056): Disabling Clipboard Support for VM.
2020-01-13 09:57:01 (22056): Disabling Drag and Drop Support for VM.
2020-01-13 09:57:01 (22056): Adding storage controller(s) to VM.
2020-01-13 09:57:02 (22056): Adding virtual disk drive to VM. (vm_image.vdi)
2020-01-13 09:57:03 (22056): Adding VirtualBox Guest Additions to VM.
2020-01-13 09:57:04 (22056): Adding network bandwidth throttle group to VM. (Defaulting to 1024GB)
2020-01-13 09:57:05 (22056): forwarding host port 51508 to guest port 80
2020-01-13 09:57:06 (22056): Enabling remote desktop for VM.
2020-01-13 09:57:08 (22056): Enabling shared directory for VM.
2020-01-13 09:57:09 (22056): Starting VM using VBoxManage interface. (boinc_29452a22276f5707, slot#4)
2020-01-13 09:57:18 (22056): Successfully started VM. (PID = '20700')
2020-01-13 09:57:18 (22056): Reporting VM Process ID to BOINC.
2020-01-13 09:57:18 (22056): Guest Log: BIOS: VirtualBox 5.2.8

2020-01-13 09:57:18 (22056): Guest Log: CPUID EDX: 0x078bfbff

2020-01-13 09:57:18 (22056): Guest Log: BIOS: ata0-0: PCHS=16383/16/63 LCHS=1024/255/63

2020-01-13 09:57:18 (22056): VM state change detected. (old = 'PoweredOff', new = 'Running')
2020-01-13 09:57:18 (22056): Detected: Web Application Enabled (http://localhost:51508)
2020-01-13 09:57:18 (22056): Detected: Remote Desktop Enabled (localhost:51511)
2020-01-13 09:57:18 (22056): Preference change detected
2020-01-13 09:57:18 (22056): Setting CPU throttle for VM. (100%)
2020-01-13 09:57:19 (22056): Setting checkpoint interval to 600 seconds. (Higher value of (Preference: 60 seconds) or (Vbox_job.xml: 600 seconds))
2020-01-13 09:57:20 (22056): Guest Log: BIOS: Boot : bseqnr=1, bootseq=0032

2020-01-13 09:57:20 (22056): Guest Log: BIOS: Booting from Hard Disk...

2020-01-13 09:57:23 (22056): Guest Log: BIOS: KBD: unsupported int 16h function 03

2020-01-13 09:57:23 (22056): Guest Log: BIOS: AX=0305 BX=0000 CX=0000 DX=0000 

2020-01-13 09:57:50 (22056): Guest Log: vgdrvHeartbeatInit: Setting up heartbeat to trigger every 2000 milliseconds

2020-01-13 09:57:50 (22056): Guest Log: vboxguest: misc device minor 56, IRQ 20, I/O port d020, MMIO at 00000000f0400000 (size 0x400000)

2020-01-13 09:57:57 (22056): Guest Log: VBoxService 5.2.6 r120293 (verbosity: 0) linux.amd64 (Jan 15 2018 14:51:00) release log

2020-01-13 09:57:57 (22056): Guest Log: 00:00:00.000267 main     Log opened 2020-01-13T15:58:48.750104000Z

2020-01-13 09:57:57 (22056): Guest Log: 00:00:00.000426 main     OS Product: Linux

2020-01-13 09:57:57 (22056): Guest Log: 00:00:00.000484 main     OS Release: 4.14.76-13.cernvm.x86_64

2020-01-13 09:57:57 (22056): Guest Log: 00:00:00.000568 main     OS Version: #1 SMP Tue Oct 16 18:26:15 CEST 2018

2020-01-13 09:57:57 (22056): Guest Log: 00:00:00.000649 main     Executable: /usr/sbin/VBoxService

2020-01-13 09:57:57 (22056): Guest Log: 00:00:00.000651 main     Process ID: 3195

2020-01-13 09:57:57 (22056): Guest Log: 00:00:00.000652 main     Package type: LINUX_64BITS_GENERIC

2020-01-13 09:57:57 (22056): Guest Log: 00:00:00.005752 main     5.2.6 r120293 started. Verbose level = 0

2020-01-13 09:58:29 (22056): Guest Log: 16:59:21 CET +01:00 2020-01-13: cranky: [INFO] Detected Theory App

2020-01-13 09:58:29 (22056): Guest Log: 16:59:21 CET +01:00 2020-01-13: cranky: [INFO] Checking CVMFS.

2020-01-13 09:58:43 (22056): Guest Log: 16:59:36 CET +01:00 2020-01-13: cranky: [INFO] Checking runc.

2020-01-13 09:58:43 (22056): Guest Log: 16:59:36 CET +01:00 2020-01-13: cranky: [INFO] Creating the filesystem.

2020-01-13 09:58:43 (22056): Guest Log: 16:59:36 CET +01:00 2020-01-13: cranky: [INFO] Using /cvmfs/cernvm-prod.cern.ch/cvm3

2020-01-13 09:58:45 (22056): Guest Log: 16:59:36 CET +01:00 2020-01-13: cranky: [INFO] Updating config.json.

2020-01-13 09:58:45 (22056): Guest Log: 16:59:36 CET +01:00 2020-01-13: cranky: [INFO] Running Container 'runc'.

2020-01-13 09:58:45 (22056): Guest Log: job: htmld=/shared/html/job

2020-01-13 09:58:47 (22056): Guest Log: 16:59:38 CET +01:00 2020-01-13: cranky: [INFO] ===> [runRivet] Mon Jan 13 15:59:37 UTC 2020 [boinc pp jets 7000 80,-,960 - pythia8 8.235 default-MBR 100000 14]

2020-01-13 10:56:59 (22056): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-13 11:02:57 (22056): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-13 11:41:28 (22056): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-14 12:03:01 (22056): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-14 12:03:09 (22056): Guest Log: 01:37:42.879806 timesync vgsvcTimeSyncWorker: Radical host time change: 87 703 752 000 000ns (HostNow=1 579 024 989 118 000 000 ns HostLast=1 578 937 285 366 000 000 ns)

2020-01-14 12:03:20 (22056): Guest Log: 01:37:52.908030 timesync vgsvcTimeSyncWorker: Radical guest time change: 88 007 849 034 000ns (GuestNow=1 579 024 999 264 466 000 ns GuestLast=1 578 936 991 415 432 000 ns fSetTimeLastLoop=true )

2020-01-14 12:27:56 (22056): Status Report: Job Duration: '864000.000000'
2020-01-14 12:27:56 (22056): Status Report: Elapsed Time: '6001.229746'
2020-01-14 12:27:56 (22056): Status Report: CPU Time: '6092.656250'
2020-01-14 12:48:15 (22056): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-14 12:48:25 (22056): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-14 13:04:01 (22056): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-15 12:57:20 (22056): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-15 12:57:29 (22056): Guest Log: 02:38:34.703695 timesync vgsvcTimeSyncWorker: Radical host time change: 86 008 950 000 000ns (HostNow=1 579 114 649 413 000 000 ns HostLast=1 579 028 640 463 000 000 ns)

2020-01-15 12:57:39 (22056): Guest Log: 02:38:44.705653 timesync vgsvcTimeSyncWorker: Radical guest time change: 86 018 354 906 000ns (GuestNow=1 579 114 659 414 997 000 ns GuestLast=1 579 028 641 060 091 000 ns fSetTimeLastLoop=true )

12:58:12 (22056): BOINC client no longer exists - exiting
12:58:12 (22056): timer handler: client dead, exiting
2020-01-15 12:58:13 (22056): Stopping VM.
2020-01-15 12:58:13 (22056): Error in stop VM for VM: -108
Command:
VBoxManage -q controlvm "boinc_29452a22276f5707" savestate
Output:

2020-01-15 12:58:13 (22056): VM did not stop when requested.
2020-01-15 12:58:13 (22056): VM was successfully terminated.
2020-01-19 22:46:12 (15988): Detected: vboxwrapper 26197
2020-01-19 22:46:12 (15988): Detected: BOINC client v7.7
2020-01-19 22:46:17 (15988): Detected: VirtualBox VboxManage Interface (Version: 5.2.8)
2020-01-19 22:46:22 (15988): Detected: Heartbeat check (file: 'heartbeat' every 1200.000000 seconds)
2020-01-19 22:46:33 (15988): Create VM. (boinc_29452a22276f5707, slot#4)
2020-01-19 22:46:49 (15988): Setting Memory Size for VM. (630MB)
2020-01-19 22:46:57 (15988): Setting CPU Count for VM. (1)
2020-01-19 22:46:58 (15988): Setting Chipset Options for VM.
2020-01-19 22:46:59 (15988): Setting Boot Options for VM.
2020-01-19 22:47:01 (15988): Setting Network Configuration for NAT.
2020-01-19 22:47:03 (15988): Enabling VM Network Access.
2020-01-19 22:47:04 (15988): Disabling USB Support for VM.
2020-01-19 22:47:05 (15988): Disabling COM Port Support for VM.
2020-01-19 22:47:06 (15988): Disabling LPT Port Support for VM.
2020-01-19 22:47:07 (15988): Disabling Audio Support for VM.
2020-01-19 22:47:08 (15988): Disabling Clipboard Support for VM.
2020-01-19 22:47:11 (15988): Disabling Drag and Drop Support for VM.
2020-01-19 22:47:11 (15988): Adding storage controller(s) to VM.
2020-01-19 22:47:12 (15988): Adding virtual disk drive to VM. (vm_image.vdi)
2020-01-19 22:47:13 (15988): Adding VirtualBox Guest Additions to VM.
2020-01-19 22:47:13 (15988): Adding network bandwidth throttle group to VM. (Defaulting to 1024GB)
2020-01-19 22:47:14 (15988): forwarding host port 51508 to guest port 80
2020-01-19 22:47:15 (15988): Enabling remote desktop for VM.
2020-01-19 22:47:17 (15988): Enabling shared directory for VM.
2020-01-19 22:47:18 (15988): Starting VM using VBoxManage interface. (boinc_29452a22276f5707, slot#4)
2020-01-19 22:47:27 (15988): Successfully started VM. (PID = '15372')
2020-01-19 22:47:27 (15988): Reporting VM Process ID to BOINC.
2020-01-19 22:47:27 (15988): Guest Log: BIOS: VirtualBox 5.2.8

2020-01-19 22:47:27 (15988): Guest Log: CPUID EDX: 0x078bfbff

2020-01-19 22:47:27 (15988): Guest Log: BIOS: ata0-0: PCHS=16383/16/63 LCHS=1024/255/63

2020-01-19 22:47:27 (15988): VM state change detected. (old = 'PoweredOff', new = 'Running')
2020-01-19 22:47:27 (15988): Detected: Web Application Enabled (http://localhost:51508)
2020-01-19 22:47:27 (15988): Detected: Remote Desktop Enabled (localhost:58103)
2020-01-19 22:47:27 (15988): Status Report: Job Duration: '864000.000000'
2020-01-19 22:47:27 (15988): Status Report: Elapsed Time: '7843.672110'
2020-01-19 22:47:27 (15988): Status Report: CPU Time: '8092.890625'
2020-01-19 22:47:27 (15988): Preference change detected
2020-01-19 22:47:27 (15988): Setting CPU throttle for VM. (100%)
2020-01-19 22:47:28 (15988): Setting checkpoint interval to 600 seconds. (Higher value of (Preference: 60 seconds) or (Vbox_job.xml: 600 seconds))
2020-01-19 22:47:28 (15988): Guest Log: BIOS: Boot : bseqnr=1, bootseq=0032

2020-01-19 22:47:28 (15988): Guest Log: BIOS: Booting from Hard Disk...

2020-01-19 22:47:32 (15988): Guest Log: BIOS: KBD: unsupported int 16h function 03

2020-01-19 22:47:32 (15988): Guest Log: BIOS: AX=0305 BX=0000 CX=0000 DX=0000 

2020-01-19 22:48:10 (15988): Guest Log: vgdrvHeartbeatInit: Setting up heartbeat to trigger every 2000 milliseconds

2020-01-19 22:48:10 (15988): Guest Log: vboxguest: misc device minor 56, IRQ 20, I/O port d020, MMIO at 00000000f0400000 (size 0x400000)

2020-01-19 22:48:16 (15988): Guest Log: VBoxService 5.2.6 r120293 (verbosity: 0) linux.amd64 (Jan 15 2018 14:51:00) release log

2020-01-19 22:48:16 (15988): Guest Log: 00:00:00.000215 main     Log opened 2020-01-20T04:48:10.806211000Z

2020-01-19 22:48:16 (15988): Guest Log: 00:00:00.000480 main     OS Product: Linux

2020-01-19 22:48:16 (15988): Guest Log: 00:00:00.000546 main     OS Release: 4.14.76-13.cernvm.x86_64

2020-01-19 22:48:16 (15988): Guest Log: 00:00:00.000607 main     OS Version: #1 SMP Tue Oct 16 18:26:15 CEST 2018

2020-01-19 22:48:16 (15988): Guest Log: 00:00:00.000689 main     Executable: /usr/sbin/VBoxService

2020-01-19 22:48:16 (15988): Guest Log: 00:00:00.000692 main     Process ID: 3201

2020-01-19 22:48:16 (15988): Guest Log: 00:00:00.000693 main     Package type: LINUX_64BITS_GENERIC

2020-01-19 22:48:16 (15988): Guest Log: 00:00:00.054460 main     5.2.6 r120293 started. Verbose level = 0

2020-01-19 22:48:53 (15988): Guest Log: 05:48:46 CET +01:00 2020-01-20: cranky: [INFO] Detected Theory App

2020-01-19 22:48:53 (15988): Guest Log: 05:48:46 CET +01:00 2020-01-20: cranky: [INFO] Checking CVMFS.

2020-01-19 22:49:09 (15988): Guest Log: 05:49:03 CET +01:00 2020-01-20: cranky: [INFO] Checking runc.

2020-01-19 22:49:09 (15988): Guest Log: 05:49:03 CET +01:00 2020-01-20: cranky: [INFO] Creating the filesystem.

2020-01-19 22:49:09 (15988): Guest Log: 05:49:03 CET +01:00 2020-01-20: cranky: [INFO] Using /cvmfs/cernvm-prod.cern.ch/cvm3

2020-01-19 22:49:09 (15988): Guest Log: 05:49:03 CET +01:00 2020-01-20: cranky: [INFO] Updating config.json.

2020-01-19 22:49:10 (15988): Guest Log: 05:49:03 CET +01:00 2020-01-20: cranky: [INFO] Running Container 'runc'.

2020-01-19 22:49:10 (15988): Guest Log: job: htmld=/shared/html/job

2020-01-19 22:49:12 (15988): Guest Log: 05:49:05 CET +01:00 2020-01-20: cranky: [INFO] ===> [runRivet] Mon Jan 20 04:49:04 UTC 2020 [boinc pp jets 7000 80,-,960 - pythia8 8.235 default-MBR 100000 14]

2020-01-19 23:10:41 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-19 23:10:51 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-19 23:23:58 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-19 23:24:18 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 00:23:30 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 00:23:41 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 00:38:15 (15988): Status Report: Job Duration: '864000.000000'
2020-01-20 00:38:15 (15988): Status Report: Elapsed Time: '13844.016505'
2020-01-20 00:38:15 (15988): Status Report: CPU Time: '12919.562500'
2020-01-20 02:28:06 (15988): Status Report: Job Duration: '864000.000000'
2020-01-20 02:28:06 (15988): Status Report: Elapsed Time: '19844.113718'
2020-01-20 02:28:06 (15988): Status Report: CPU Time: '17853.843750'
2020-01-20 02:33:37 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 02:33:42 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 02:57:27 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 02:57:37 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 04:17:44 (15988): Status Report: Job Duration: '864000.000000'
2020-01-20 04:17:44 (15988): Status Report: Elapsed Time: '25844.866394'
2020-01-20 04:17:44 (15988): Status Report: CPU Time: '23066.421875'
2020-01-20 04:25:31 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 04:25:40 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 04:49:38 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 04:49:49 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 05:26:13 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 05:26:20 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 05:50:43 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 05:50:55 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 06:13:36 (15988): Status Report: Job Duration: '864000.000000'
2020-01-20 06:13:36 (15988): Status Report: Elapsed Time: '31845.480984'
2020-01-20 06:13:36 (15988): Status Report: CPU Time: '28387.578125'
2020-01-20 06:38:42 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 06:38:53 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 06:51:22 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 06:51:32 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 06:51:55 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 06:52:10 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 07:00:05 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 07:00:19 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 07:52:36 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 07:52:44 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 08:02:25 (15988): Status Report: Job Duration: '864000.000000'
2020-01-20 08:02:25 (15988): Status Report: Elapsed Time: '37846.292353'
2020-01-20 08:02:25 (15988): Status Report: CPU Time: '33361.250000'
2020-01-20 08:31:29 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 08:31:45 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 08:52:59 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 08:53:09 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 09:58:27 (15988): Status Report: Job Duration: '864000.000000'
2020-01-20 09:58:27 (15988): Status Report: Elapsed Time: '43846.507021'
2020-01-20 09:58:27 (15988): Status Report: CPU Time: '39310.140625'
2020-01-20 10:19:48 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 10:19:58 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 10:50:58 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 10:51:09 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 11:16:31 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 11:16:44 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 11:45:59 (15988): Status Report: Job Duration: '864000.000000'
2020-01-20 11:45:59 (15988): Status Report: Elapsed Time: '49846.816174'
2020-01-20 11:45:59 (15988): Status Report: CPU Time: '44916.203125'
2020-01-20 12:14:45 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 12:14:56 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 13:19:48 (15988): VM state change detected. (old = 'Running', new = 'Paused')
2020-01-20 13:19:58 (15988): VM state change detected. (old = 'Paused', new = 'Running')
2020-01-20 13:34:15 (15988): Status Report: Job Duration: '864000.000000'
2020-01-20 13:34:15 (15988): Status Report: Elapsed Time: '55846.854903'
2020-01-20 13:34:15 (15988): Status Report: CPU Time: '51063.015625'
2020-01-20 15:23:09 (15988): Status Report: Job Duration: '864000.000000'
2020-01-20 15:23:09 (15988): Status Report: Elapsed Time: '61846.854903'
2020-01-20 15:23:09 (15988): Status Report: CPU Time: '56962.796875'
2020-01-20 15:25:37 (15988): Guest Log: job: CPU usage:

2020-01-20 15:25:37 (15988): Guest Log: 0m0.016s 0m0.019s

2020-01-20 15:25:37 (15988): Guest Log: 965m50.804s 6m19.578s

2020-01-20 15:25:37 (15988): Guest Log: 22:22:11 CET +01:00 2020-01-20: cranky: [INFO] Container 'runc' finished with status code 0.

2020-01-20 15:25:37 (15988): Guest Log: 22:22:11 CET +01:00 2020-01-20: cranky: [INFO] Preparing output.

2020-01-20 15:25:42 (15988): Guest Log: [INFO] Job Finished

2020-01-20 15:25:42 (15988): Guest Log: [INFO] Shutting Down.

2020-01-20 15:25:42 (15988): VM Completion File Detected.
2020-01-20 15:25:42 (15988): Powering off VM.
2020-01-20 15:30:44 (15988): VM did not power off when requested.
2020-01-20 15:30:44 (15988): VM was successfully terminated.
2020-01-20 15:30:44 (15988): Deregistering VM. (boinc_29452a22276f5707, slot#4)
2020-01-20 15:30:45 (15988): Removing network bandwidth throttle group from VM.
2020-01-20 15:30:46 (15988): Removing VM from VirtualBox.
15:30:53 (15988): called boinc_finish(0)

</stderr_txt>
]]>

©2024 CERN